Detecting global predicates in distributed systems with clocks

Distributed Computing

Volumn 13, Issue 2, 2000, Pages 85-98

  Stoller, Scott D ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; PROGRAM DEBUGGING; REAL TIME SYSTEMS;

GLOBAL PREDICATE PREDICTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0033749515     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050069     Document Type: Article

References (35)

1. S. Alagar, S. Venkatesan: Techniques to tackle state explosion in global predicate detection. In: Proc. International Conference on Parallel and Distributed Systems, pp 412-417, December 1994. An expanded version is available from the authors
2. Ö. Babaoǧlu, K. Marzullo: Consistent global states of distributed systems: Fundamental concepts and mechanisms. In: S. Mullender (ed) Distributed Systems, chapter 5. pp 97-145. Reading, Ma: Addison Wesley, 2nd edition. 1993
3. Ö. Babaoǧlu. M. Raynal: Specification and verification of dynamic properties in distributed computations. J Parallel Distrib Comput. 28(2): 173-185 (1995)
4. B. Charron-Bost, C. Delporte-Gallet, H. Fauconnier: Local and temporal predicates in distributed systems. ACM Trans Program Lang Syst. 17(1):157-179 (1995)
5. C.M. Chase, V.K. Garg: Detection of global predicates: Techniques and their limitations. Distrib Comput, 11(4): 169-189 (1998)
6. R. Cooper, K. Marzullo: Consistent detection of global predicates. In: Proc. ACM/ONR Workshop on Parallel and Distributed Debugging. 1991. Appeared as ACM SIGPLAN Notices 26(12): 167-174 (1991)
7. B.A. Davey, H.A. Priestley: Introduction to Lattices and Order. Cambridge University Press 1990
8. C. Diehl, C. Jard, J.-X. Rampon: Reachability analysis on distributed executions. In: J.-P. Jouannaud, M.-C. Gaudel (eds) TAPSOFT '93: Theory and Practice of Software Development, Lecture Notes in Computer Science. Vol. 668, pp 629-643. Berlin Heidelberg New York, Springer 1993
9. E. Fromentin, M. Raynal: Characterizing and detecting the set of global states seen by all observers of a distributed computation. In: Proc. IEEE 15th International Conference on Distributed Computing Systems (ICDCS), 1995
10. E. Fromentin, M. Raynal: Shared global states in distributed computations. J Comput Syst Sci 55(3):522-528 (1997)
11. E. Fromentin, M. Raynal, V.K. Garg, A. Tomlinson: On-the-fly testing of regular patterns in distributed computations. In: Proc. 23rd International Conference on Parallel Processing, Vol. 2, pp 73-76, August 1994
12. V. Garg, C. Chase, R. Kilgore, J.R. Mitchell: Efficient detection of channel predicates in distributed systems. J Parallel Distrib Comput 45(2): 134-147 (1997)
13. V.K. Garg, B. Waldecker: Detection of weak unstable predicates in distributed programs. IEEE Trans Parallel Distrib Syst 5(3):299-307 (1994)
14. V.K. Garg, B. Waldecker: Detection of strong unstable predicates in distributed programs. IEEE Trans Parallel Distrib Syst 7(12): 1323-1333 (1996)
15. C. Gray, D. Cheriton: Leases: An efficient fault-tolerant mechanism for distributed file system consistency. In: Proc. 11th ACM Symposium on Operating System Principles, pp 202-210, 1989
16. M. Hurfin, M. Mizuno, M. Raynal, M. Singhal: Efficient distributed detection of conjunctions of local predicates. IEEE Trans Software Eng 24(8):664-677 (1998)
17. M. Hurfin, N. Plouzeau, M. Raynal: Detecting atomic sequences of predicates in distributed computations. In: Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, 1993
18. R. Jegou, R. Medina, L. Nourine: Linear space algorithm for on-line detection of global predicates. In: J. Desel (ed) Proc. International Workshop on Structures in Concurrency Theory (STRICT '95). Berlin Heidelberg New York, Springer 1995
19. L. Lamport: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7):558-564 (1978)
20. L. Lamport: Using time instead of timeout in fault-tolerant systems. ACM Trans Program Lang Syst 6(2):256-280 (1984)
21. L. Lamport: The mutual exclusion problem: Part i - a theory of interprocess communication. Journal of the ACM 33(2):313-326 (1986)
22. L. Lamport: On interprocess communication: Part 1. Distrib Comput 1:76-101 (1986)
23. B. Liskov: Practical uses of synchronized clocks in distributed systems. In: Proc. Tenth ACM Symposium on Principles of Distributed Computing, pp 1-9. ACM Press, August 1991
24. K. Marzullo, G. Neiger: Detection of global state predicates. In: Proc. 5th Int'l. Workshop on Distributed Algorithms (WDAG '91), Lecture Notes in Computer Science, Vol. 579. pp 254-272. Berlin Heidelberg New York, Springer, 1991
25. J. Mayo, P. Kearns: Global predicates in rough real time. In: Proc. 7th IEEE Symposium on Parallel and Distributed Processing (SPDP), pp 17-24, 1995
26. D.L. Mills: Internet time synchronization: the Network Time Protocol. IEEE Trans. Communications 39(10):1482-1493 (1991)
27. D.L. Mills: Network time protocol (version 3) specification, implementation and analysis. DARPA Network Working Group Report RFC-1305. University of Delaware, March 1992
28. D.L. Mills: Improved algorithms for synchronizing computer network clocks. IEEE/ACM Transactions on Networking 3(3):245-254, June 1995
29. OSF: Introduction to OSF DCE. Englewood Cliffs: Prentice-Hall 1992
30. R. Schwarz, F. Mattern: Detecting causal relationships in distributed computations: In search of the holy grail. Distrib Comput 7(3):149-174 (1994)
31. A. Silberschatz, P.B. Galvin: Operating System Concepts. Reading, Ma: Addison Wesley, 4th edn, 1994
32. S.D. Stoller: Detecting global predicates in distributed systems with clocks. In Marios Mavronikolas, editor, Proc. 11th International Workshop on Distributed Algorithms (WDAG '97), Lecture Notes in Computer Science, Vol. 1320, pp 185-199. Berlin Heidelberg New York, Springer, 1997
33. S.D. Stoller, Y. A. Lin: Efficient symbolic detection of global properties in distributed systems. In: A.J. Hu, M.Y. Vardi (eds) Proc. 10th Int'l. Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science, Vol. 1427, pp. 357-368. Berlin Heidelberg New York, Springer, 1998
34. S.D. Stoller, F.B. Schneider: Faster possibility detection by combining two approaches. In: J.-M. Hélary, M. Raynal (eds) Proc. 9th International Workshop on Distributed Algorithms (WDAG '95), Lecture Notes in Computer Science, Vol. 972, pp 318-332. Berlin Heidelberg New York, Springer, 1995
35. P. Veríssimo: Real-time communication. In: S. Mullender (ed) Distributed Systems, chapter 17, pp 447-490. Reading, Ma: Addison Wesley 1993