Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users

Heterogeneous users usually have different requirements as far as consistency of shared data is concerned. This paper proposes and investigates a mixed consistency model to meet this heterogeneity challenge in large scale distributed systems that support shared objects. This model allows combining strong (sequential) consistency and weak (causal) consistency. The paper defines the model, motivates it and proposes a protocol implementing it

[1]  Roy Friedman,et al.  A Correctness Condition for High-Performance Multiprocessors , 1998, SIAM J. Comput..

[2]  Alan L. Cox,et al.  Lazy release consistency for software distributed shared memory , 1992, ISCA '92.

[3]  Martin K. Purvis,et al.  Homeless and Home-based Lazy Release Consistency Protocols on Distributed Shared Memory , 2004, ACSC.

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

[5]  Michel Raynal,et al.  Shared state consistency for time-sensitive distributed applications , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[6]  Chengjie Liu,et al.  Maintaining Strong Cache Consistency in the World Wide Web , 1998, IEEE Trans. Computers.

[7]  Roy Friedman,et al.  A correctness condition for high-performance multiprocessors (extended abstract) , 1992, STOC '92.

[8]  Liviu Iftode,et al.  Performance evaluation of two home-based lazy release consistency protocols for shared virtual memory systems , 1996, OSDI '96.

[9]  André Schiper,et al.  From Causal Consistency to Sequential Consistency in Shared Memory Systems , 1995, FSTTCS.

[10]  Hagit Attiya,et al.  Sequential consistency versus linearizability , 1994, TOCS.

[11]  Manhoi Choy,et al.  Mixed consistency: a model for parallel programming (extended abstract) , 1994, PODC '94.

[12]  Jessica K. Hodgins,et al.  Temporal notions of synchronization and consistency in Beehive , 1997, SPAA '97.

[13]  Willy Zwaenepoel,et al.  Implementation and performance of Munin , 1991, SOSP '91.

[14]  Amin Vahdat,et al.  Design and evaluation of a continuous consistency model for replicated services , 2000, OSDI.

[15]  Eyal de Lara,et al.  A performance comparison of homeless and home-based lazy release consistency protocols in software shared memory , 1999, Proceedings Fifth International Symposium on High-Performance Computer Architecture.

[16]  Antonio Fernández,et al.  Decoupled Interconnection of Distributed Memory Models , 2003, OPODIS.

[17]  M. Raynal,et al.  How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth) , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.

[18]  Antonio Fernández,et al.  On the interconnection of causal memory systems , 2004, J. Parallel Distributed Comput..

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

[20]  Marvin Theimer,et al.  Managing update conflicts in Bayou, a weakly connected replicated storage system , 1995, SOSP.

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