Efficient causality-tracking timestamping

IEEE Transactions on Knowledge and Data Engineering

Volumn 15, Issue 5, 2003, Pages 1239-1250

  Hélary, Jean Michel ^a   Raynal, Michel ^a   Melideo, Giovanna ^b   Baldoni, Roberto ^c  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITY OF L'AQUILA   (Italy)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Asynchronous distributed computation; Causality; Message passing; Timestamp; Vector clock

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); DATA STRUCTURES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; RESPONSE TIME (COMPUTER SYSTEMS); THEOREM PROVING;

TIMESTAMP; TRACK CAUSALITY; VECTOR CLOCK;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0141684985     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2003.1232275     Document Type: Article

References (20)

1. R. Baldoni and M. Raynal, "Fundamentals of Distributed Computing: A Practical Tour of Vector Clocks," IEEE Distributed Systems Online, vol. 3, no. 2, 2002.
2. K. Birman, A. Schiper, and P. Stephenson, "Lightweight Causal Order and Atomic Group Multicast," ACM Trans. Computer Systems, vol. 9, no. 3, pp. 282-314, 1991.
3. B. Charron-Bost, "Concerning the Size of Logical Clocks in Distributed Systems," Information Processing Letters, vol. 39, pp. 11-16, 1991.
4. C.J. Fidge, "Timestamps in Message-Passing Systems that Preserve Partial Ordering," Proc. 11th Australian Computing Conf., pp. 56-66, 1988.
5. E. Fromentin, C. Jard, G.V. Jourdan, and M. Raynal, "On-the-Fly Analysis of Distributed Computations," Information Processing Letters, vol. 54, pp. 267-274, 1995.
6. E. Fromentin and M. Raynal, "Shared Global States in Distributed Computations," J. Computer and System Sciences, vol. 55, no. 3, pp. 522-528, 1997.
7. V.K. Garg, Principles of Distributed Systems. Kluwer Academic Press, 1996.
8. V.K. Garg, "Observation and Control for Debugging Distributed Computations," Proc. Third Int'l Workshop Automatic Debugging, pp 1-12, 1997.
9. J.M. Hélary, G. Melideo, and M. Raynal, "Tracking Causality in Distributed Systems: A Suite of Efficient Protocols," Proc. Seventh Int'l Colloquium on Structural Information and Communication Complexity (SIROCCO), pp. 181-195, June 2000.
10. L. Lamport, "Time, Clocks and the Ordering of Events in a Distributed System," Comm. ACM, vol. 21, no. 7, pp. 558-565, 1978.
11. B. Liskov and R. Ladin, "Highly Available Distributed Services and Fault-Tolerant Distributed Garbage Collection," Proc. Fifth ACM Symp. Principles of Distributed Computing, pp. 29-39, 1986.
12. K. Marzullo and L. Sabel, "Efficient Detection of a Class of Stable Properties," Distributed Computing, vol. 8, no. 2, pp. 81-91, 1994.
13. F. Mattern, "Virtual Time and Global and Distributed Systems," Proc. Int'l Conf. Parallel and Distributed Algorithms, Cosnard, Quinton, Raynal, and Robert, eds., pp. 215-226, 1988.
14. S. Meldal, S. Sankar, and J. Vera, "Exploiting Locality in Maintaining Potential Causality," Proc. 10th ACM Symp. Principles of Distributed Computing, pp. 231-239, 1991.
15. D.S. Parker et al., "Detection of Mutual Inconsistency in Distributed Systems," IEEE Trans. Software Eng., vol. 9, no. 3, pp. 240-246, 1983.
16. M. Raynal, "A Distributed Algorithm to Prevent Mutual Drift Between n Logical Clocks," Information Processing Letters, vol. 24, pp. 199-202, 1987.
17. M. Singhal and A. Kshemkalyani, "An Efficient Implementation of Vector Clocks," Information Processing Letters, vol. 43, pp. 47-52, 1992.
18. R.E. Strom and S. Yemini, "Optimistic Recovery in Distributed Systems," ACM Trans. Computer Systems, vol. 3, no. 3, pp. 204-226, 1985.
19. D.B. Terry, M.M. Theimer, K. Petersen, A.J. Demers, M.J. Spreitzer, and C.H. Hauser, "Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage Systems," Proc. ACM Symp. Operating Systems Principles, pp. 172-183, 1995.
20. F.J. Torres-Rojas and M. Ahamad, "Plausible Clocks: Constant Size Logical Clocks for Distributed Systems," Distributed Computing, vol. 12, no. 4, pp. 179-196, 1999.