6533b832fe1ef96bd129a358

RESEARCH PRODUCT

Eventual Consistency Formalized

Edel SherrattAndreas Prinz

subject

050101 languages & linguisticsTheoretical computer scienceComputer scienceComputation05 social sciencesEventual consistencyBinary number02 engineering and technologyFormalityPartition (database)0202 electrical engineering electronic engineering information engineeringAbstract state machines020201 artificial intelligence & image processing0501 psychology and cognitive sciencesVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550

description

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.

yearjournalcountryeditionlanguage
2019-01-01
https://doi.org/10.1007/978-3-030-30690-8_15