Methods for observing global properties in distributed systems

IEEE Concurrency

Volumn 5, Issue 4, 1997, Pages 69-77

  Garg, Vijay K ^a,b,c,d  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d IEEE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; FAULT TOLERANT COMPUTER SYSTEMS; GRAPH THEORY; PROGRAM DEBUGGING; RECURSIVE FUNCTIONS;

CENTRALIZED ALGORITHMS; DECENTRALIZED ALGORITHMS; DIRECTED ACYCLIC GRAPHS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0031249016     PISSN: 10923063     EISSN: None     Source Type: Journal    
DOI: 10.1109/4434.641629     Document Type: Article

References (19)

1. K.M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems," ACM Trans. Computer Systems, Feb. 1985, pp. 63-75.
2. R. Cooper and K. Marzullo, "Consistent Detection of Global Predicates," in Proc. Workshop Parallel and Distributed Debugging, ACM Press, New York, pp. 163-173.
3. V.K. Garg and B. Waldecker, "Detection of Weak Unstable Predicates in Distributed Programs," IEEE Trans. Parallel and Distributed Systems, Mar. 1994, pp. 299-307.
4. V.K. Garg, Principles of Distributed Systems, Kluwer Academic Publishing, Boston, 1996.
5. F. Mattern, Virtual Time and Global States of Distributed Systems," in Proc. Workshop Parallel and Distributed Algorithms, Elsevier Science Pub., Amsterdam, 1989, pp. 215-226.
6. C. Chase and V. K. Garg, "On Techniques and Their Limitations for the Global Predicate Detection Problem," in Proc. Workshop on Distributed Algorithms, Lecture Notes on Computer Science 971, Springer-Verlag, Berlin, 1995, pp. 303-317.
7. C.J. Fidge, "Partial Orders for Parallel Debugging, ACM Sigplan Notices, Jan. 1989, pp. 183-194.
8. V.K. Garg and C. Chase, "Distributed Algorithms for Detecting Conjunctive Predicates," in Proc. Int'l Conf. Distributed Computing Systems, IEEE CS Press, Los Alamitos, Calif., 1995, pp. 423-430.
9. M. Hurfin et al., Efficient Distributed Detection of Conjunction of Local Predicates, Tech. Report 2731, Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes, France, Nov. 1995.
10. V.K. Garg et al., "Detecting Conjunctive Channel Predicates in a Distributed Programming Environment," in Proc. Int'l Conf. System Sciences, IEEE CS Press, 1995, pp. 232-241.
11. A.I. Tomlinson and V.K. Garg, "Monitoring Functions on Global States of Distributed Programs," J. Parallel and Distributed Computing, Mar. 1997, pp. 173-189.
12. S.D. Stoller and F.B. Schneider, "Faster Possibility Detection by Combining Two Approaches," in Proc. Workshop Distributed Algorithms, LNCS 971, Springer-Verlag, 1995, pp. 318-332.
13. V.K. Garg and B. Waldecker, "Detection of Strong Unstable Predicates in Distributed Programs, IEEE Trans. Parallel and Distributed Systems, Dec. 1996, pp. 1323-1333.
14. B.P. Miller and J. Choi, "Breakpoints and Halting in Distributed Programs," in Proc. Int'l Conf. Distributed Computing Systems, IEEE CS Press, 1988, pp. 316-323.
15. M. Hurfin, N. Plouzeau, and M. Raynal, "Detecting Atomic Sequences of Predicates in Distributed Computations," in Proc. Workshop Parallel and Distributed Debugging, 1993, ACM Press, pp. 32-42.
16. O. Babaouglu and M. Raynal, "Specification and Verification of Dynamic Properties in Distributed Computations," J. Parallel and Distributed Computing, Aug. 1995, pp. 173-185.
17. V.K. Garg et al., "Expressing and Detecting General Control Flow Properties of Distributed Computations," in Proc. Symp. Parallel and Distributed Processing, IEEE CS Press, 1995, pp. 432-438.
18. H. Chiou and W. Korfhage, "Efficient Global Event Predicate Detection," in Int'l Conf. Distributed Computing Systems, IEEE CS Press, 1994, pp. 642-649.
19. A.I. Tomlinson and V.K. Garg, "Observation of Software for Distributed Systems with RCL," in Proc. Conf. Foundations of Software Technology & Theoretical Computer Science, Lecture Notes in Computer Science, Springer Verlag, 1995, pp. 195-209.