Conflict-free replicated data types

M Shapiro, N Preguiça, C Baquero… - Stabilization, Safety, and …, 2011 - Springer
Abstract Replicating data under Eventual Consistency (EC) allows any replica to accept
updates without remote synchronisation. This ensures performance and scalability in large …

Conflict-free replicated data types: An overview

N Preguiça - arXiv preprint arXiv:1806.10254, 2018 - arxiv.org
Internet-scale distributed systems often replicate data at multiple geographic locations to
provide low latency and high availability, despite node and network failures. Geo-replicated …

Local-first software: you own your data, in spite of the cloud

M Kleppmann, A Wiggins, P Van Hardenberg… - Proceedings of the …, 2019 - dl.acm.org
Cloud apps like Google Docs and Trello are popular because they enable real-time
collaboration with colleagues, and they make it easy for us to access our work from all of our …

Highly available transactions: virtues and limitations (extended version)

P Bailis, A Davidson, A Fekete, A Ghodsi… - arXiv preprint arXiv …, 2013 - arxiv.org
To minimize network latency and remain online during server failures and network partitions,
many modern distributed data storage systems eschew transactional functionality, which …

Coordination avoidance in database systems (Extended version)

P Bailis, A Fekete, MJ Franklin, A Ghodsi… - arXiv preprint arXiv …, 2014 - arxiv.org
Minimizing coordination, or blocking communication between concurrently executing
operations, is key to maximizing scalability, availability, and high performance in database …

Eventual consistency today: Limitations, extensions, and beyond

P Bailis, A Ghodsi - Communications of the ACM, 2013 - dl.acm.org
Eventual consistency today Page 1 MAy 2013 | VOl. 56 | nO. 5 | CommuNiCatioNS of the aCm 55
Doi:10.1145/2447976.2447992 Article development led by queue.acm.org How can applications …

Replicated data types: specification, verification, optimality

S Burckhardt, A Gotsman, H Yang, M Zawirski - ACM Sigplan Notices, 2014 - dl.acm.org
Geographically distributed systems often rely on replicated eventually consistent data stores
to achieve availability and performance. To resolve conflicting updates at different replicas …

Cure: Strong semantics meets high availability and low latency

DD Akkoorath, AZ Tomsic, M Bravo, Z Li… - 2016 IEEE 36th …, 2016 - ieeexplore.ieee.org
Developers of cloud-scale applications face a difficult decision of which kind of storage to
use, summarised by the CAP theorem. Currently the choice is between classical CP …

NoSQL database systems: a survey and decision guidance

F Gessert, W Wingerath, S Friedrich, N Ritter - … Science-Research and …, 2017 - Springer
Today, data is generated and consumed at unprecedented scale. This has lead to novel
approaches for scalable data management subsumed under the term “NoSQL” database …

'Cause I'm strong enough: Reasoning about consistency choices in distributed systems

A Gotsman, H Yang, C Ferreira, M Najafzadeh… - Proceedings of the 43rd …, 2016 - dl.acm.org
Large-scale distributed systems often rely on replicated databases that allow a programmer
to request different data consistency guarantees for different operations, and thereby control …