Vector time and causality among abstract events in distributed computations

Distributed Computing

Volumn 11, Issue 1, 1997, Pages 21-39

  Basten, Twan ^a   Kunz, Thomas ^b   Black, James P ^b   Coffin, Michael H ^b   Taylor, David J ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Distributed systems; Event abstraction causality; Logical time; Partial order; Precedence relation; Vector time

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; DATA STRUCTURES; MATHEMATICAL MODELS; VECTORS;

EVENT ABSTRACTION; EVENT BASED MODELS; LOGICAL VECTOR TIME;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0031356584     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050040     Document Type: Article

References (34)

1. Ahuja M. Ksheinkalyani AD. Carlson T: A basic unit of computation in distributed systems. In: IEEE Proceedings of the 10th. International Conference on Distributed Computing Systems, pp 12-19. Paris. France. May/June IEEE. Computer Society Press, Los Alamitos. CA
2. Ahuja M, Mishra S: Units of computation in fault-tolerant distributed systems. In: IEEE Proceedings of the 14th. International Conference on Distributed Computing Systems, pp 626-633, Poznan, Poland. June 1994. IEEE Computer Society Press. Los Alamitos, CA.
3. Babaoǧlu Ö, Marzullo K: Consistent global states of distributed systems: Fundamental concepts and mechanisms. In: Mullender SJ (ed). Distributed Systems (2nd. edn.). Chapter 4. pp 55-96, Addison-Wesley, Reading, MA 1993
4. Basten T: Breakpoints and time in distributed computations. In: Tel G, Vitáyi PMB (eds) Distributed Algorithms. 8th. International Workshop. WDAG '94. Proceedings, Vol 857 of Lecture Notes in Computer Science, pp 340-355, Terschelling, The Netherlands, September/October 1994, Springer Berlin, Heidelberg, New York 1994
5. Basten T, Kunz, T. Black JP, Coffin MH, Taylor DJ: Time and the order of abstract events in distributed computations. Computing Science Note 94/06, Kindhoven University of Technology, Department of Mathematics and Computing Science, Kindhoven. 1994
6. Bates PC: Debugging heterogeneous distributed systems using event-based models of behavior. ACM Trans Comput Syst, 13(1): 1-31 (1995)
7. Bates PC, Wileden JC: High-level debugging of distributed systems: The behavioral abstraction approach. J Syst Software. 3(4): 255-264 (1983)
8. Best E. Randell B: A formal model of atomicity in asynchronous systems. Acta Inf. 16: 93-124 (1981)
9. Birman K, Schiper A. Stephenson P: Lightweight causal and atomic group multicast. ACM Trans Comput Syst 9(3): 272-314 (1991)
10. Charron-Bost B: Combinatorics and geometry of consistent cuts: Application to concurrency theory. In: Bermond J-C, Raynal M (eds): Distributed Algorithms. 3rd. International Workshop, WDAG '89. Proceedings. Vol 392 of Lecture Notes in Computer Science, pp 45-56, Nice, France, September 1989, Springer Berlin, Heidelberg, New York 1989
11. Charron-Bost B: Concerning the size of logical clocks in distributed systems. Inf Process Lett. 39: 11-16 (1991)
12. Charron-Bost B. Mattern F. Tel G: Synchronous, asynchronous, and causally ordered communication. Distrib Comput 9(4): 173-191 (1996)
13. Cheung W-H: Process and event abstraction for debugging distributed programs. PhD thesis. University of Waterloo, Department of Computer Science, Waterloo, Ontario, Canada. 1989. Also appeared as CCNG Technical Report T-189, 1989
14. Cooper R, Marzullo K: Consistent detection of global predicates. In: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, pp 163-173, Santa Cruz. CA. May 1991. The proceedings appeared also as ACM SIGPLAN Notices 26(12), (1991)
15. Cooper R, Marzullo K: Consistent detection of global predicates. In: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, pp 163-173, Santa Cruz. CA. May 1991. The proceedings appeared also as ACM SIGPLAN Notices 26(12), (1991)
16. Fidge CJ: Partial orders for parallel debugging. ACM SIGPLAN Notices 24(1): 183-194 (1989)
17. Fidge CJ: Logical time in distributed computing systems. IEEE Computer 24(8): 28-33 (1991)
18. Fromentin F. Raynal M: Local states in distributed computations: A few relations and formulas. ACM Operating Systems Review 28(2): 65-72(1994)
19. Fromentin E. Raynal M: Characterizing and detecting the set of global states seen by all observers of a distributed compulation. In: IEEE Proceedings of the 15th. International Conference on Distributed Computing Systems, pp 431-438. IEEE Computer Society Press. Los Alamitos. CA. 1995
20. Haban D. Weigel W: Global events and global breakpoints in distributed systems. In: Proceedings of the 21st. Annual Hawaii International Conference on System Sciences. Vol II. pp 166-175 Kailua-Kona, Hawaii, 1988
21. Kundu J, Cuny JE: A scalable, visual interface for debugging with evevt-based behavioral abstraction. In: Frontiers 95. Proceedings of the 5th. Symposium on the Frontiers of Massively Parallel Compulation, pp 472-479, 1995
22. Kunz, T: Visualizing abstract events. In: Proceedings of the 1994 CAS Conference, pp 334-343. Toronto, Ontario, Canada, November 1994. IBM Canada Ltd. Laboratory, Centre for Advanced Studies
23. Kunz T, Black JP, Taylor DJ, Basten T: Targel-system-independent visualizations of complex distributed-application executions. The Computer Journal, special issue on software engineering for distributed system. 1997 (To appear)
24. Lamport L: Time, clocks and the ordering of events in a distributed system. Communications of the ACM. 21(7): 558-565 (1978)
25. Lamport L: On interprocess communication, part I: Basic formalism. Distrib Comput 1: 77-85 (1986)
26. Lamport L: On interprocess communication, part II: Algorithms. Distrib Comput 1: 86-101 (1986)
27. Marzullo K, Sabel I.S: Efficient detection of a class of stable properities. Distrib Comput 8: 81-91 (1994)
28. Mattern F: Virtual time and global states of distributed systems. In: Cosnard M (ed) Parallel and Distributed Algorithms. International Workshop. Proceedings, pp 21.5-226. Gers. France, October 1988. Elsevier Amsterdam. 1989
29. Mattern F: On the relativistic structure of logical time in distributed systems, Bigre 78: 3-20 (1992) Proceedings of the workshop: Datation et Contrôle des Exécutions Réparties, December 1991, Rennes. France. This paper is also available at URL: http: //www.Informatik.thdarmstadt.de/VS/Publikationen/
30. Pilarski S, Kameda T: Checkpointing for distributed databases: Starting from the basics. IEEE Trans Parall Distrib Syst 3(5): 602-610 (1992)
31. Schwarz R. Mattern F: Detecting causal relationships in distributed computations: In search of the holy grail. Distrib Comput 7(3): 149-174 (1994)
32. Strom RE, Bacon DF, Goldberg AP, Lowry A. Silvermann B. Yellin D, Russell J, Yemini S: Hermes: Unix user's guide, version 0.8alpha. Technical report, IBM T.J.Watson Research Center, Yorktown Heights, NY. 1992
33. Taylor DJ: A prototype debugger for Hermes. In: Proceedings of the 1992 CAS Conference, Vol I. pp 29-12, Toronto, Ontario, Canada. November 1992. IBM Canada Ltd. Laboratory, Centre for Advanced Studies
34. Zemik D, Snir M, Malki D: Using visualization tools to understand concurrency. IEEE Software 9(3): 87-92 (1992)