ACM Transactions on Software Engineering and Methodology · 2020 · 41 citations · 93 references
ComputingComputer ScienceVisualizationData VisualizationDistributed SystemsInformation VisualizationClock SynchronizationConcurrency AnalysisDistributed ComputingSystem RepresentationCase Study EvaluationDistributed Communication TopologyDistributed Event OrderingEffect SizeExecution Trace AnalysisHappens-before RelationSystem Log AnalysisTrace Visualization
Distributed systems pose unique challenges for software developers. Understanding the system’s communication topology and reasoning about concurrent activities of system hosts can be difficult. The standard approach, analyzing system logs, can be a tedious and complex process that involves reconstructing a system log from multiple hosts’ logs, reconciling timestamps among hosts with non-synchronized clocks, and understanding what took place during the execution encoded by the log. This article presents a novel approach for tackling three tasks frequently performed during analysis of distributed system executions: (1) understanding the relative ordering of events, (2) searching for specific patterns of interaction between hosts, and (3) identifying structural similarities and differences between pairs of executions. Our approach consists of XVector , which instruments distributed systems to capture partial ordering information that encodes the happens-before relation between events, and ShiViz , which processes the resulting logs and presents distributed system executions as interactive time-space diagrams. Two user studies with a total of 109 students and a case study with 2 developers showed that our method was effective, helping participants answer statistically significantly more system-comprehension questions correctly, with a very large effect size.
93
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
New Effect Size Rules of Thumb
Shlomo S. Sawilowsky · Journal of Modern Applied Statistical Methods · 2009 · 3.2K citations · Full text
Virtual Time and Global States of Distributed Systems
Friedemann Mattern · 2002 · 1.3K citations