Conference article

Observation and Control for Debugging Distributed Computations

Vijay K. Garg
Parallel and Distributed Systems Laboratory, Electrical and Computer Engineering Department, The University of Texas at Austin, USA

Download article;article=001

Published in: Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Linköping Electronic Conference Proceedings 1:1, s. 1-12

Linköping Electronic Articles in Computer and Information Science 009:1, s. 1-12

Show more +

Published: 1997-09-10


ISSN: 1650-3686 (print), 1650-3740 (online)


I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distributed debugging to stop a distributed program under certain undesirable global conditions. I present the main ideas required for developing efficient algorithms for observation. Algorithms for control are useful in debugging to restrict the behavior of the distributed program to suspicious executions. It is also useful when a programmer wants to test a distributed program under certain conditions. I present different models and their limitations for controlling distributed computations.


No keywords available


No references available

Citations in Crossref