Consistent detection of global predicates

Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991

Volumn , Issue , 1991, Pages 167-174

  Cooper, Robert ^a   Marzullo, Keith ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85054922215     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/122759.122774     Document Type: Conference Paper

References (10)

1. K. M. Chandy and L. Lamport. Distributed snapshots: determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1):63-75, February 1985.
2. J.-D. Choi, B. P. Miller, and R. Netzer. Techniques for debugging parallel programs with flow-back analysis. Technical Report 786, University of Wisconsin-Madison, Computer Sciences Department, Aug. 1988.
3. A. Dinning and E. Schonberg. The task recycling technique for detecting access anomalies on-the-fly. Technical Report RC 15385 (68453), IBM T.J. Watson Research Center, Jan. 1990.
4. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
5. K. Marzullo and G. Neiger. Detection of global state predicates. In preparation.
6. K. Marzullo and M. Wood. Tools for monitoring and controlling distributed applications. Technical Report TR 91-1187, Cornell University, Jan. 1991. To appear in EurOpen 1991.
7. F. Mattern. Virtual time and global states of distributed systems. In M. Cosnard, editor, Parallel and Distributed Algorithms, pages 215-226. Elsevier Science Publishers, Amsterdam, 1989.
8. M. Spezialetti. A Generalized Approach to Monitoring Distributed Computations for Event Occurences. PhD thesis, University of Pittsburgh, 1989.
9. M. Spezialetti and J. P. Kearns. Simultanous regions: A framework for the consistent monitoring of distributed computations. In Proceedings of the Ninth International Conference on Distributed Computing Systems, pages 61-68. IEEE, 1989.
10. R. N. Taylor and L. J. Osterweil. Anomaly detection in concurrent software by static data flow analysis. IEEE Transactions on Software Engineering, SE-6(5):265-278, May 1980.