Debugging distributed systems

TL;DR: In this paper , the authors provide a structured overview and qualitative analysis of currently available techniques for anomaly detection and root cause analysis in modern multi-service applications and some open challenges and research directions stemming out from the analysis are also discussed.

TL;DR: In this paper, the authors conduct a survey of 82 robotics developers from a diversity of backgrounds, addressing the current capabilities and limits of simulation in practice, and find that simulation is used by 84% of their participants for testing, and that many participants want to use simulation as part of their test automation.

TL;DR: In this paper, the authors conduct a broad, mixed-method study that includes in-depth interviews with 21 practitioners and a follow-up online survey with 37 respondents, covering 37 companies in total.

TL;DR: This article presents a novel approach for tackling three tasks frequently performed during analysis of distributed system executions: understanding the relative ordering of events, searching for specific patterns of interaction between hosts, and identifying structural similarities and differences between pairs of executions.

TL;DR: Spanner as mentioned in this paper is Google's scalable, multiversion, globally distributed, and synchronously replicated database, which is the first system to distribute data at global scale and support externally-consistent distributed transactions.

TL;DR: The design of Dapper is introduced, Google’s production distributed systems tracing infrastructure is described, and how its design goals of low overhead, application-level transparency, and ubiquitous deployment on a very large scale system were met are described.

TL;DR: The design and implementation of Spanner is discussed, as well as some of the lessons it has learned along the way, and some open challenges in building scalable distributed storage systems are discussed.

TL;DR: Engineers use TLA+ to prevent serious but subtle bugs from reaching production and find ways to reduce the number of bugs in the final product.