Analyzing convergence in consistency models for distributed objects

Authors:
Francisco J. Torres-Rojas;Esteban Meneses
Affiliations:
Costa Rica Institute of Technology (I.T.C.R.) and, University of Costa Rica (U.C.R.);Costa Rica Institute of Technology and PrediSoft, Costa Rica
Venue:
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Year:
2004

Citing 16
Cited 0

Concurrency control in groupware systems

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Linearizability: a correctness condition for concurrent objects

ACM Transactions on Programming Languages and Systems (TOPLAS)
Lightweight causal and atomic group multicast

ACM Transactions on Computer Systems (TOCS)
Sequential consistency versus linearizability

ACM Transactions on Computer Systems (TOCS)
Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems

ACM Transactions on Computer-Human Interaction (TOCHI)
Timed consistency for shared distributed objects

Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Scalable information sharing in large scale distributed systems

EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
On the consistency problem in mobile distributed computing

Proceedings of the second ACM international workshop on Principles of mobile computing
Lifetime Based Consistency Protocols for Distributed Objects

DISC '98 Proceedings of the 12th International Symposium on Distributed Computing
From Causal Consistency to Sequential Consistency in Shared Memory Systems

Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
A scalable technique for implementing multiple consistency levels for distributed objects

ICDCS '96 Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)
System support for scalable services

System support for scalable services
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

IEEE Transactions on Computers
Detecting Mutual Consistency of Shared Objects

WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
Ordering vs timeliness: two facets of consistency?

Future directions in distributed computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

At instant t, two or more sites could perceive different values for the same distributed object X. However, depending on the consistency protocol used, it might be expected that, after a while, every site in the system should see the same value for this object. In this paper, we present a formalization of the concept of convergence and analyze its relationships with several consistency models. Among other things, we claim that, by itself, sequential consistency is not a convergent protocol.