Analyzing Convergence in Consistency Models for Distributed Objects

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 formalizat...

Full description

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 346 - 356
Main Authors Torres-Rojas, Francisco J., Meneses, Esteban
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2005
Springer
SeriesLecture Notes in Computer Science
Subjects
Absolute Convergence
Applied sciences
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Consistency Model
Exact sciences and technology
Partial Order
Read Operation
Software
Time Consistency
Distributed system
Distributed computing
Modeling
Object oriented
Sequential consistency
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783540273240
3540273247
ISSN:0302-9743
1611-3349
DOI:10.1007/11516798_25