Convergence Through a Weak Consistency Model: Timed Causal Consistency

Given a distributed system with several shared objects and many processes concurrently updating and reading them, it is convenient that the system achieves convergence on the value of these objects. Such property can be guaranteed depending on the consistency model being employed. Causal Consistency is a weak consistency model that is easy and cheap to implement. However, due to the lack of real-time considerations, this model cannot oer convergence. A solution for overcoming that problem is to include time aspects within the framework of the model. This is the aim of Timed Causal Consistency.

[1]  Sarita V. Adve,et al.  Shared Memory Consistency Models: A Tutorial , 1996, Computer.

[2]  Michel Raynal,et al.  Timed consistency for shared distributed objects , 1999, PODC '99.

[3]  Michel Raynal,et al.  Ordering vs Timeliness: Two Facets of Consistency? , 2003, Future Directions in Distributed Computing.

[4]  Yanchun Zhang,et al.  Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems , 1998, TCHI.

[5]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[6]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[7]  Yuhua Luo,et al.  Mu3D: a causal consistency protocol for a collaborative VRML editor , 2000, VRML '00.

[8]  Michel Raynal,et al.  Lifetime Based Consistency Protocols for Distributed Objects , 1998, DISC.

[9]  Friedemann Mattern,et al.  Virtual Time and Global States of Distributed Systems , 2002 .

[10]  Rachid Guerraoui,et al.  On the consistency problem in mobile distributed computing , 2002, POMC '02.

[11]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

[12]  Clarence A. Ellis,et al.  Concurrency control in groupware systems , 1989, SIGMOD '89.

[13]  Michel Raynal,et al.  Ordering vs timeliness: two facets of consistency? , 2003 .

[14]  Clarence A. Ellis,et al.  Groupware: some issues and experiences , 1991, CACM.

[15]  D. Janaki Ram,et al.  Causal consistency in mobile environment , 2001, OPSR.

[16]  Gil Neiger,et al.  Causal memory: definitions, implementation, and programming , 1995, Distributed Computing.