Consistency in non-transactional distributed storage systems
Over the years, different meanings have been associated with the word consistency in the
distributed systems community. While in the'80s “consistency” typically meant strong …
distributed systems community. While in the'80s “consistency” typically meant strong …
Data storage management in cloud environments: Taxonomy, survey, and future directions
Storage as a Service (StaaS) is a vital component of cloud computing by offering the vision
of a virtually infinite pool of storage resources. It supports a variety of cloud-based data store …
of a virtually infinite pool of storage resources. It supports a variety of cloud-based data store …
Coordination avoidance in database systems (Extended version)
Minimizing coordination, or blocking communication between concurrently executing
operations, is key to maximizing scalability, availability, and high performance in database …
operations, is key to maximizing scalability, availability, and high performance in database …
Katara: Synthesizing CRDTs with verified lifting
Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable,
coordination-free distributed systems. However, constructing correct CRDTs is difficult …
coordination-free distributed systems. However, constructing correct CRDTs is difficult …
Feral concurrency control: An empirical investigation of modern application integrity
The rise of data-intensive" Web 2.0" Internet services has led to a range of popular new
programming frameworks that collectively embody the latest incarnation of the vision of …
programming frameworks that collectively embody the latest incarnation of the vision of …
Lasp: A language for distributed, coordination-free programming
C Meiklejohn, P Van Roy - … of the 17th International Symposium on …, 2015 - dl.acm.org
We propose Lasp, a new programming model designed to simplify large-scale distributed
programming. Lasp combines ideas from deterministic dataflow programming together with …
programming. Lasp combines ideas from deterministic dataflow programming together with …
New directions in cloud programming
Nearly twenty years after the launch of AWS, it remains difficult for most developers to
harness the enormous potential of the cloud. In this paper we lay out an agenda for a new …
harness the enormous potential of the cloud. In this paper we lay out an agenda for a new …
Keeping CALM: when distributed consistency is easy
JM Hellerstein, P Alvaro - Communications of the ACM, 2020 - dl.acm.org
Keeping CALM: when distributed consistency is easy Page 1 72 COMMUNICATIONS OF THE
ACM | SEPTEMBER 2020 | VOL. 63 | NO. 9 review articles DISTRIBUTED SYSTEMS ARE …
ACM | SEPTEMBER 2020 | VOL. 63 | NO. 9 review articles DISTRIBUTED SYSTEMS ARE …
Making state explicit for imperative big data processing
Data scientists often implement machine learning algorithms in imperative languages such
as Java, Matlab and R. Yet such implementations fail to achieve the performance and …
as Java, Matlab and R. Yet such implementations fail to achieve the performance and …
IPA: Invariant-preserving applications for weakly-consistent replicated databases
Storage systems based on Weak Consistency provide better availability and lower latency
than systems that use Strong Consistency, especially in geo-replicated settings. However …
than systems that use Strong Consistency, especially in geo-replicated settings. However …