Convergence Through a Weak Consistency Model: Timed Causal Consistency

Francisco J. Torres-Rojas (1), Esteban Meneses (2)

e-mails: torres@ic-itcr.ac.cr, esteban.meneses@predisoft.com

(1) Centro de Investigación en Computación e Informática Avanzada and Costa Rica Institute of Technology Cartago Costa Rica
(2) Centro de Investigación en Computación e Informática Avanzada and Predisoft San José Costa Rica

Abstract

Giving a distributed system with several shared objects and many processes concurrently udpating and reading them, it would be very valuable if the system can achieve convergence for the value of the objects.

Such property can be guaranteed depending on the consistency model being employed. Some of these models which don’t require strict conditions are often called weak consistency models. Causal Consistency is one example that is easy and cheap to implement. However, due to the lack of real-time considerations, this model cannot offer 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.

Keywords:Convergence, Weak Consistency, Causal Consistency, Timed Consistency

BibTex

@INPROCEEDINGS{torres-rojas04:245,
                  AUTHOR       = {Francisco J. Torres-Rojas and Esteban Meneses},
                  TITLE        = {Convergence Through a Weak Consistency Model: Timed Causal Consistency},
                  BOOKTITLE    = {30ma Conferencia Latinoamericana de Informática (CLEI2004)},
                  YEAR         = {2004},
                  editor       = {Mauricio Solar and David Fernández-Baca and Ernesto Cuadros-Vargas},
                  pages        = {724--733},
                  address      = {},
                  month        = Sep,
                  organization = {Sociedad Peruana de Computación},
                  note         = {ISBN 9972-9876-2-0},
                  file         = {http://clei2004.spc.org.pe/es/html/pdfs/245.pdf}
}

PDF de este artículo
PDF de CLEI2004 (incluye todos los artículos)
Página principal CLEI 2004
Generado por Sociedad Peruana de Computación