Shedding light on distributed system executions

Download: ShiVector and ShiViz source code.

“Shedding light on distributed system executions” by Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, and Michael D. Ernst. In ICSE'14, Proceedings of the 36th International Conference on Software Engineering, (Hyderabad, India), June 4-6, 2014, pp. 598-599.

Abstract

In a distributed system, the hosts execute concurrently, generating asynchronous logs that are challenging to comprehend. We present two tools: ShiVector to transparently add vector timestamps to distributed system logs, and ShiViz to help developers understand distributed system logs by visualizing them as space-time diagrams. ShiVector is the first tool to offer automated vector timestamp instrumentation without modifying source code. The vector-timestamped logs capture partial ordering information, useful for analysis and comprehension. ShiViz space-time diagrams are simple to understand and interactive — the user can explore the log through the visualization to understand complex system behavior. We applied ShiVector and ShiViz to two systems and found that they aid developers in understanding and debugging.

Download: ShiVector and ShiViz source code.

BibTeX entry:

@inproceedings{AbrahamsonBBE2014,
   author = {Jenny Abrahamson and Ivan Beschastnikh and Yuriy Brun and
	Michael D. Ernst},
   title = {Shedding light on distributed system executions},
   booktitle = {ICSE'14, Proceedings of the 36th International Conference
	on Software Engineering},
   pages = {598--599},
   address = {Hyderabad, India},
   month = {June~4--6,},
   year = {2014}
}

Back to Publications that describe invariant detection techniques in Daikon.