Optimal propagation-based protocols implementing causal memories

Distributed Computing

Volumn 18, Issue 6, 2006, Pages 461-474

  Baldoni, Roberto ^a,b   Milani, Alessia ^a,c   Piergiovanni, Sara Tucci ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b University of Rome La Sapienza ^*  (Italy)

^c UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Causal consistency; Distributed shared memory; Distributed systems; Optimality criterion; Propagation based protocols

Indexed keywords

CAUSAL CONSISTENCY; DISTRIBUTED SHARED MEMORY; OPTIMALITY CRITERION; PROPAGATION-BASED PROTOCOLS;

BROADCASTING; COMPUTER NETWORKS; COMPUTER SIMULATION; OPTIMAL CONTROL SYSTEMS; STORAGE ALLOCATION (COMPUTER);

NETWORK PROTOCOLS;

EID: 33744778778     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00446-005-0128-5     Document Type: Article

References (29)

1. Ahamad, M., Neiger, G., Burns, I.E., Kohli, P., Hutto, P.W.: Causal memory: definitions, implementation and programming. Distributed Computing 9(1), 37-49 (1995)
2. Ahamad, M., Raynal, M., Thia-Kime, G.: An adaptive architecture for causally consistent distributed services. Distributed System Engineering 6(2), 63-70 (1999)
3. Attiya, H., Welch, J.: Distributed Computing, 2nd ed. Wiley (2004)
4. Baldoni, R., Melideo, G.: On the minimal information to encode timestamps in a distributed computation. Information Processing Letter 84(3), 159-166 (2002)
5. Baldoni, R., Milani, A., Tucci Piergiovanni, S.: Optimal Propagation based Protocols implementing causal memories. Technical Report 19-04, Dipartimento di Informatica e Sistemistica, Universita' di Roma "La Sapienza", (2004) http://www.dis.uniromal.it/~midlab
6. Baldoni, R., Spaziani, C., Tucci Piergiovanni S., Tulone, D.: An implementation of causal memories using the writing semantics. In: Proceedings of 6th International Conference On Principles Of Distributed Systems, pp. 43-52. HERMES Press, Reims France (2002)
7. Birman, K.P., Joseph, T. A.: Reliable communication in the presence of failures. ACM Transactions on Computer Systems 5(1), 47-76 (1987)
8. Birman, K.P., Schiper, A., Stephenson, P.: Lightweigt causal and atomic group multicast. ACM Transactions on Computer Systems 9(3), 272-314 (1991)
9. Charron-Bost, B.: Concerning the size of logical clocks in distributed systems. Information Processing Letter 39(1), 11-16 (1991)
10. Cheriton, D.R., Skeen, D.: Understanding the limitations of causally and totally ordered communication. In: Proceedings of 14th ACM Symposium on Operating Systems Principles, pp. 44-57. ACM Press (1993)
11. Fidge, C.J.: Logical time in distributed computing systems. IEEE Computer 24(8), 28-33 (1991)
12. Gambhire, P., Kshemkalyani, A.D.: Reducing false causality in causal message ordering. In: Proceedings of International Conference on High Performance Computing, LNCS 1970, pp. 61-72 (2000)
13. Hadzilacos, V., Toueg, S.: Fault tolerant broadcasts and related problems. Distributed Systems 2nd ed. Mullender, vol. 5, (1994)
14. Herlihy, M., Wing, J.M.: Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems 12(3), 463-492 (1990)
15. Kshemkalyani, A.D., Singhal, M.: Necessary and sufficient conditions on the information for causal message ordering and their optimal implementation. Distributed Computing 11(2), 91-111 (1998)
16. Jimenez, E., Fernández, A., Cholvi, V.: A parametrized algorithm that implements sequential, causal, and cache memory consistency. In: Brief Announcements of the Proceedings of 15th International Symposium on Distributed Computing, Lisboa Portugal (October 3-5 2001).
17. An extended version appeared in Proceedings of 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing (2002)
18. Jimenez, E., Fernández, A., Cholvi, V.: On the interconnection of causal memory systems. In: Press in Journal of Parallel and Distributed Computing (2004)
19. Lamport, L.: Time, clocks and the ordering of events in a distributed system. communications of the ACM 21(7), 558-565 (1978)
20. Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers 28(9), 690-691 (1979)
21. Lamport, L.: On interprocess communication. Part I: Basic Formalism. Distributed Computing 1(2), 77-85 (1986)
22. Lipton, R., Sandberg, J.: PRAM: a scalable shared memory. Technical Report CS-TR-180-88, Princeton University (1988)
23. Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, Q., Raynal, R. (ed.), Proceedings of Parallel and Distributed Algorithms Conference, pp. 215-226. North-Holland (1988)
24. OMNeT++home page: http://www.omnetpp.org/
25. Prakash, R., Raynal, M., Singhal, M.: An adaptive causal ering algorithm suited to mobile computing environments. Journal of Parallel and Distributed Computing 41(2), 190-204 (1997)
26. Raynal, M., Ahamad, M.: Exploiting write semantics in implementing partially replicated causal objects. In: Proceedings of 6th Euromicro Conference on Parallel and Distributed Systems, pp. 175-164 (1998)
27. Raynal, M., Schiper, A.: From causal consistency to sequential consistency in shared memory systems. In: Thiagarajan, P.S. (ed.), Proceedings of 15th International Conference on Foundations of Software Technology & Theoretical Computer Science, Springer-Verlag LNCS 1026, pp. 180-194. Bangalore, India (1995)
28. Singhal, M., Kshemkalyani, A.D.: An efficient implementation of vector clocks. Information Processing Letters 43(1), 47-52 (1992)
29. Tarafdar, A., Garg, V.K.: Addressing false causality while detecting predicates in distributed programs. 8th International Conference on Distributed Computing Systems, pp. 94-101 (1998)