Chaos Monkey

Chang, Michael Alan; Tschaen, Bredan; Benson, Theophilus; Vanbever, Laurent

doi:10.1145/2785956.2790038

Cited by 14 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Through these properties, the microservice concept promises to improve scalability, streamline deployment of new services and reduce time to market while simultaneously increasing reliability [172]. A popular example of the application of these principles is Chaos Monkey by Netflix [173,174], a software tool that systematically introduces link or network failures. Thereby, the idea is that the injection of realistic, manageable failures simulates real world operation and helps identify breaking points of a live production environment.…”

Section: Background and Related Workmentioning

confidence: 99%

Performance Evaluation of Next-Generation Data Plane Architectures and their Components

Geissler

Hoßfeld

2023

NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium

View full text Add to dashboard Cite

Section: Background and Related Workmentioning

confidence: 99%

Performance Evaluation of Next-Generation Data Plane Architectures and their Components

Geissler

Hoßfeld

2023

NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium

View full text Add to dashboard Cite

A Framework of Virtual War Room and Matrix Sketch-Based Streaming Anomaly Detection for Microservice Systems

Chen

2020

IEEE Access

View full text Add to dashboard Cite

Recently, microservice has been a popular architecture to construct cloud-native systems. This novel architecture brings agility and accelerates the software development process significantly. However, it is not easy to manage and operate microservice systems due to their scale and complexity. Many approaches are proposed to automatically operate microservice systems such as anomaly detection. Nevertheless, those methods cannot be sufficiently validated and compared due to a lack of real microservice systems, which leads to the slow process of intelligent operation. These challenges inspire us to build a system named ''VWR'', a framework of Virtual War Room for operating microservice applications which allows users to simulate their microservice architectures with low overhead and inject multiple types of faults into the microservice system with chaos engineering. VWR can mimic user requests and record the end-to-end tracing data (i.e., service call chains) for each request in a way consistent with OpenTracing. With easily designed tests and the produced streaming tracing data, the users can validate the performance of their intelligent operation algorithms and improve the algorithms as needed. Besides, based on the streaming tracing data generated by VWR, we introduce a novel unsupervised anomaly detection algorithm based on Matrix Sketch and set it as a default intelligent operation algorithm in VWR. This algorithm can detect anomalies by analyzing high-dimensional performance data collected from a microservice system in a streaming manner. The experimental result in VWR shows that the matrix sketch based method can precisely detect anomalies in microservice systems and outperform some widely used anomaly detection methods such as isolation forest in some scenario. We believe more approaches on the intelligent operation of microservice systems can be constructed based on VWR. INDEX TERMS Microservice, virtual war room, matrix sketch, anomaly detection, chaos engineering.

show abstract

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

Yin

Wang

et al. 2019

IEEE Commun. Surv. Tutorials

View full text Add to dashboard Cite

Networks have grown increasingly complicated. Violations of intended policies can compromise network availability and network reliability. Network operators need to ensure that their policies are correctly implemented. This has inspired a research field, network verification and testing, that enables users to automatically detect bugs and systematically reason their network. Furthermore, techniques ranging from formal modeling to verification and testing have been applied to help operators build reliable systems in electronic design automation and software. Inspired by its success, network verification has recently seen increased attention in the academic and industrial communities. As an area of current interest, it is an interdisciplinary subject (with fields including formal methods, mathematical logic, programming languages, and networks), making it daunting for a nonprofessional. We perform a comprehensive survey on well-developed methodologies and tools for data plane verification, control plane verification, data plane testing and control plane testing. This survey also provides lessons gained from existing solutions and a perspective of future research developments.

show abstract

Chaos Monkey

Cited by 14 publications

References 1 publication

Performance Evaluation of Next-Generation Data Plane Architectures and their Components

Performance Evaluation of Next-Generation Data Plane Architectures and their Components

A Framework of Virtual War Room and Matrix Sketch-Based Streaming Anomaly Detection for Microservice Systems

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

Contact Info

Product

Resources

About