Convergence Through a Weak Consistency Model: Timed Causal Consistency
TL;DR: Timed Causal Consistency (TCC) as discussed by the authors is a real-time consistency model that includes time aspects within the framework of the model, which is a solution for overcoming that problem.
read more
Abstract: Given a distributed system with several shared objects and many processes concurrently updating and reading them, it is convenient that the system achieves convergence on the value of these objects. Such property can be guaranteed depending on the consistency model being employed. Causal Consistency is a weak consistency model that is easy and cheap to implement. However, due to the lack of real-time considerations, this model cannot oer 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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Consistency in Distributed Storage Systems
David Bermbach,Jörn Kuhlenkamp +1 more
- 02 May 2013
TL;DR: In this paper, the authors define and describe consistency in distributed systems, show how different consistency models and perspectives are related and briefly discuss how concrete consistency guarantees of a distributed storage system can be measured.
CAP Theorem: Revision of its related consistency models
Francesc D. Muñoz-Escoí,Rubén de Juan-Marín,José-Ramón García-Escrivá,J. R. González de Mendívil,José M. Bernabéu-Aubán +4 more
TL;DR: This paper explores the set of consistency models not supported in an available and partition-tolerant service (CAP-constrained models) and proposes a hierarchy of consistency model depending on their strength and convergence is built.
Strict Timed Causal Consistency as a Hybrid Consistency Model in the Cloud Environment
TL;DR: The Strict Timed Causal Consistency (STCC) is presented as a hybrid consistency model which can be considered as an extension to the cloud computing and guarantees the consistency and satisfies data availability.
15
•Posted Content
Consistency in Non-Transactional Distributed Storage Systems
Paolo Viotti,Marko Vukolic +1 more
TL;DR: In this paper, the authors provide a structured and comprehensive overview of different consistency notions that appeared in distributed systems, and in particular storage systems research, in the last four decades, and map the consistency semantics to different practical systems and research prototypes.
9
•Posted Content
Consistency models in distributed systems: A survey on definitions, disciplines, challenges and applications.
TL;DR: This research proposes two different categories of consistency models, which are categorized into three groups of data-centric, client-centric and hybrid models, each of which is then grouped into three subcategories of traditional, extended, and novel consistency models.
6
References
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Linearizability: a correctness condition for concurrent objects
TL;DR: This paper defines linearizability, compares it to other correctness conditions, presents and demonstrates a method for proving the correctness of implementations, and shows how to reason about concurrent objects, given they are linearizable.
Groupware: some issues and experiences
TL;DR: C categories and examples of groupware are described and some underlying research and development issues are discussed and GROVE, a novel group editor, is explained in some detail as a salient groupware example.
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
TL;DR: Many large sequential computers execute operations in a different order than is specified by the program, and a correct execution by each processor does not guarantee the correct execution of the entire program.
Shared memory consistency models: a tutorial
TL;DR: This work describes an alternative, programmer-centric view of relaxed consistency models that describes them in terms of program behavior, not system optimizations, and most of these models emphasize the system optimizations they support.
Related Papers (5)
Matthieu Perrin,Achour Mostefaoui,Claude Jard +2 more
- 27 Feb 2016
Matthieu Perrin,Achour Mostefaoui,Claude Jard +2 more
- 25 May 2015