Queue · 2016 · 34 citations · 12 references
ComputingComputer ScienceVisualizationDistributed SystemsDistributed DebuggingDistributed System DebuggingDistributed Systems DebuggingDistributed VisualizationTrace VisualizationVisual Debugging
Distributed systems pose unique challenges for software developers. Reasoning about concurrent activities of system nodes and even understanding the system’s communication topology can be difficult. A standard approach to gaining insight into system activity is to analyze system logs. Unfortunately, this can be a tedious and complex process. This article looks at several key features and debugging challenges that differentiate distributed systems from other kinds of software. The article presents several promising tools and ongoing research to help resolve these challenges.
12
Virtual Time and Global States of Distributed Systems
Friedemann Mattern · 2002 · 1.3K citations
Dapper, a Large-Scale Distributed Systems Tracing Infrastructure
Benjamin H. Sigelman, Luiz André Barroso, Mike Burrows et al. · 2010 · 471 citations
How Amazon web services uses formal methods
Chris Newcombe, Tim Rath, Fan Zhang et al. · Communications of the ACM · 2015 · 327 citations
Chris Hawblitzel, Jon Howell, Manos Kapritsos et al. · 2015 · 309 citations
Verdi: a framework for implementing and formally verifying distributed systems
James R. Wilcox, Doug Woos, Pavel Panchekha et al. · 2015 · 261 citations · Full text