Eventual Consistency Formalized

Edel Sherratt, Andreas Prinz

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)


Distribution of computation is well-known, and there are several frameworks, including some formal frameworks, that capture distributed computation. As yet, however, models of distributed computation are based on the idea that data is conceptually centralized. That is, they assume that data, even if it is distributed, is consistent. This assumption is not valid for many of the database systems in use today, where consistency is compromised to ensure availability and partition tolerance. Starting with an informal definition of eventual consistency, this paper explores several measures of inconsistency that quantify how far from consistency a system is. These measures capture key aspects of eventual consistency in terms of distributed abstract state machines. The definitions move from the traditional binary definition of consistency to more quantitative definitions, where the classical consistency is given by the highest possible level of consistency. Expressing eventual consistency in terms of abstract state machines allows models to be developed that capture distributed computation and highly available distributed data within a single framework
Iaith wreiddiolSaesneg
TeitlSystem Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Proceedings
Is-deitlSystem Analysis and Modeling. Languages, Methods, and Tools for Industry
GolygyddionPau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
CyhoeddwrSpringer Nature
Nifer y tudalennau17
ISBN (Electronig)978-3-030-30690-8
ISBN (Argraffiad)978-3-030-30689-2
Dynodwyr Gwrthrych Digidol (DOIs)
StatwsCyhoeddwyd - 09 Medi 2019

Cyfres gyhoeddiadau

EnwLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Cyfrol11753 LNCS
ISSN (Argraffiad)0302-9743
ISSN (Electronig)1611-3349

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Eventual Consistency Formalized'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn