Replicated data types that unify eventual consistency and observable atomic consistency

• Published in: Journal of logical and algebraic methods in programming Vol. 114; p. 100561
• Main Authors: Zhao, Xin, Haller, Philipp
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.08.2020
• Subjects: Actor model; Atomic consistency; CRDT; Distributed programming; Eventual consistency; Eventual consistency; CRDT; Distributed programming; Actor model; Atomic consistency

Strong consistency is widely used in systems such as relational databases. In a distributed system, strong consistency ensures that all clients observe consistent data updates atomically on all servers. However, such systems need to sacrifice availability when synchronization occurs. We propose a ne...