Vijay K. Garg
Parallel and Distributed Systems Laboratory, Electrical and Computer Engineering Department, The University of Texas at Austin, USA
Download article
Published in: Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Linköping Electronic Conference Proceedings 1:1, p. 1-12
Linköping Electronic Articles in Computer and Information Science vol. 2 1:1, p. 1-12
Published: 1997-09-10
ISBN:
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.
