Open Access
Causeway: a message-oriented distributed debugger
Terry Stanley,Tyler Close,Mark S. Miller +2 more
- 01 Jan 2009
TL;DR: Causeway is presented, a postmortem distributed debugger that demonstrates a novel approach to understanding the behavior of a distributed program and includes adaptive, customizable event abstraction mechanisms and graphical views that follow message flow across process and machine boundaries.
read more
Abstract: An increasing number of developers face the difficult task of debugging distributed asynchronous programs. This trend has outpaced the development of adequate debugging tools and currently, the best option for many is an ad hoc patchwork of sequential tools and printf debugging. This paper presents Causeway, a postmortem distributed debugger that demonstrates a novel approach to understanding the behavior of a distributed program. Our message-oriented approach borrows an effective strategy from sequential debugging: To find the source of unintended side-effects, start with the chain of expressed intentions. We show how Causeway's integrated views – describing both distributed and sequential computation – help users navigate causal pathways as they pursue suspicions. We highlight Causeway's innovative features which include adaptive, customizable event abstraction mechanisms and graphical views that follow message flow across process and machine boundaries.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
Causal-Consistent Reversibility
TL;DR: This paper presents an overview of the main approaches, results, and applications of causal-consistent reversibility.
A distributed debugger for Amoeba
I. J. P. Elshoff
- 01 Jan 1988
TL;DR: The Amoeba debugger as mentioned in this paper integrates many facilities found in other debuggers, such as execution replay, breakpointing, and an event-based view of the target program.
51
•Book
Reversible Computation: Extending Horizons of Computing
Irek Ulidowski,Ivan Lanese,Ulrik Pagh Schultz,Carla Ferreira +3 more
- 09 Oct 2020
TL;DR: Many threads of research in the area of foundations of reversible computing are reported on, giving particular emphasis to the results obtained in the framework of the European COST Action IC1405, entitled “Reversible Computation Extending Horizons of Computing”, which took place in the years 2015–2019.
21
•Posted Content
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
TL;DR: This study taxonomizes concurrency bugs in actor-based programs reported in literature and analyzes the bugs to identify the patterns causing them as well as their observable behavior, and finds that current approaches to static analysis and testing focus on communication deadlocks and message protocol violations.
18
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
Carmen Torres Lopez,Stefan Marr,Elisa Gonzalez Boix,Hanspeter Mössenböck +3 more
- 20 Aug 2018
TL;DR: The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state as mentioned in this paper, but are not immune to concurrency bugs in general.
17
References
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this article, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
•Book
MPI: The Complete Reference
Marc Snir,Steve W. Otto,David W. Walker,Jack Dongarra,Steven Huss-Lederman +4 more
- 01 Jan 1996
TL;DR: MPI: The Complete Reference is an annotated manual for the latest 1.1 version of the standard that illuminates the more advanced and subtle features of MPI and covers such advanced issues in parallel computing and programming as true portability, deadlock, high-performance message passing, and libraries for distributed and parallel computing.
2.8K
•Book
Communicating and Mobile Systems: the Pi-Calculus
Robin Milner
- 01 Jan 1999
TL;DR: Communicating Systems: Behaviour of automata and Observation equivalence: theory, examples, and Discussion and related work Bibliography Index.
2.6K