期刊名称：Bulletin of the Technical Committee on Data Engineering
出版年度：2016
卷号：39
期号：1
页码：45
出版社：IEEE Computer Society
摘要：Weak consistency can improve availability and performance when replicating data across slow or inter-mittent connections, but is difficult to describe abstractly and precisely. We shine a spotlight on recentresults in this area, in particular the use of abstract executions to specify the behavior of replicated ob-jects or stores. Abstract executions are directed acyclic graphs of operations, ordered by visibility andarbitration. This specification approach has enabled several interesting theoretical results, includingsystematic investigations of the correctness and optimality of replicated data types, and has shed morelight on the nature of the fundamental trade-off between availability and consistency.
