Skip to Main content Skip to Navigation
Reports

Static and Dynamic Adaptation of Transactional Consistency

Oliver Theel 1 Michel Raynal 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Consistency criteria adopted for the management of persistent replicated objects in a distributed system define the degree of concurrency allowed among operations accessing objects. Several notions of consistency are known from the literature, among them are causal consistency, causal serializability, and serializability. In this paper, we propose a generalizing algorithm for concurrency control in a transaction system that exhibits a clean separation between policy and mechanism. A consistency criterion selected is manifested as a set of rules forming the policy. The mechanism, however, remains unchanged regardless of the currently used policy. The mechanism implements causally consistent message delivery and uses tokens and quorums of tokens to enforce access operation ordering according to the specified consistency criterion. Since a policy is implemented as a set of rules, switching on-the-fly from one consistency criterion to another one can easily be done whenever changes in access patterns or cost/availability requirements suggest a modification. An example of an application exploiting the advantages of switching among various consistency criteria concludes the paper.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073697
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 1:33:21 PM
Last modification on : Thursday, February 11, 2021 - 2:48:03 PM
Long-term archiving on: : Sunday, April 4, 2010 - 11:55:13 PM

Identifiers

  • HAL Id : inria-00073697, version 1

Citation

Oliver Theel, Michel Raynal. Static and Dynamic Adaptation of Transactional Consistency. [Research Report] RR-2999, INRIA. 1996. ⟨inria-00073697⟩

Share

Metrics

Record views

256

Files downloads

275