A note on the determination of the immediate predecessors in a distributed computation

International Journal of Foundations of Computer Science

Volumn 13, Issue 6, 2002, Pages 865-872

  Anceaume, Emmanuelle ^a   Helary, Jean Michel ^a   Raynal, Michel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Asynchronous Distributed Computation; Causality Tracking; Hasse Diagram; Immediate Predecessor; Message Passing; Timestamp; Vector Clock

Indexed keywords

EID: 84859896596     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054102001503     Document Type: Article

References (19)

1. E. Anceaume, J.-M. Helary and M. Raynal, "Tracking Immediate Predecessors in Distributed Computations," Research Report #1344, IRIS A, Universite de Rennes, Prance, July 2002. (http://www.irisa.fr/bibli/publi/pi/ 2000/1344/)
2. H. Attiya and J. Welch, Distributed Computing: Fundamentals, Simulations and Advanced Topics, McGraw-Hill, 451 pages, 1998.
3. K. M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems," ACM Transactions on Computer Systems 3(1) (1985) 63-75.
4. C. Diehl, C. Jard and J.-X. Rampon, "Reachability Analysis of Distributed Executions," Proc. Theory and Practice of Soft. Development Conf. (TAPSOFT), (Springer-Verlag LNCS 668, 1993), pp. 629-643.
5. C. J. Fidge, "Timestamps in Message-Passing Systems that Preserve Partial Ordering," Proc. 11th Australian Computing Conference, 1988, pp. 56-66.
6. E. Fromentin, C. Jard, G.-V. Jourdan and M. Raynal, "On-The-fly Analysis of Distributed Computations," Information Processing Letters 54 (1995) 267-274.
7. E. Fromentin and M. Raynal, "Shared Global States in Distributed Computations," Journal of Computer and System Sciences 55(3) (1997) 522-528.
8. E. Fromentin, M. Raynal, V. K. Garg and A. Tomlinson, "On-The-Fly Testing of Regular Patterns in Distributed Computations," Proc. 23th Int. Conference on Parallel Processing (ICPP'94), 1994, Volume 2, pp.73-76.
9. V. K. Garg, Principles of Distributed Systems (Kluwer Academic Press, 1996).
10. J.-M. Helary, G. Melideo and M. Raynal, "Tracking Causality in Distributed Systems: a Suite of Efficient Protocols," Proc. 7th Int. Colloquium on Structural Information and Communication Complexity (SIROCCO), L'Aquila (Italy), June 2000, (Carleton University Press), pp. 181-195.
11. J.-M. Helary, R. Netzer and M. Raynal, "Consistency Issues in Distributed Checkpoints," IEEE Transactions on Software Engineering 25(4) (1999) 274-281.
12. M. Hurfin, M. Mizuno, M. Raynal and M. Singhal, "Efficient Distributed Detection of Conjunction of Local Predicates in Asynchronous Computations," IEEE Transactions on Software Engineering 24(8) (1998) 664-677.
13. L. Lamport, "Time, Clocks and the Ordering of Events in a Distributed System," Communications of the ACM 21(7) (1978) 558-565.
14. N. A. Lynch, Distributed Algorithms (Morgan Kaufmann, San Francisco, 1996).
15. K. Marzullo and L. Sabel, "Efficient Detection of a Class of Stable Properties," Distributed Computing 8(2) (1994) 81-91.
16. F. Mattern, "Virtual Time and Global States of Distributed Systems," Proc. Int. Conf. Parallel and Distributed Algorithms, eds. M. Cosnard, P. Quinton, M. Raynal and Y.Robert (North-Holland, Amsterdam, 1988) pp. 215-226.
17. M. Raynal and M. Singhal, "Logical Time: Capturing Causality in Distributed Systems," IEEE Computer 29(2) (1996) 49-57.
18. M. Singhal and A. Kshemkalyani, "An Efficient Implementation of Vector Clocks," Information Processing Letters 43 (1992) 47-52.
19. Y. M. Wang, "Consistent Global Checkpoints That Contain a Given Set of Local Checkpoints," IEEE Transactions on Computers 46(4) (1997) 456-468.