Distributed programming and consistency: principles and practice

Authors:
Peter Alvaro;Neil Conway;Joseph M. Hellerstein
Affiliations:
UC Berkeley;UC Berkeley;UC Berkeley
Venue:
Proceedings of the Third ACM Symposium on Cloud Computing
Year:
2012

Citing 14
Cited 0

Managing update conflicts in Bayou, a weakly connected replicated storage system

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Dynamo: amazon's highly available key-value store

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
BASE: An Acid Alternative

Queue - Object-Relational Mapping
Eventually consistent

Communications of the ACM - Rural engineering development
Toward a cloud computing research agenda

ACM SIGACT News
The declarative imperative: experiences and conjectures in distributed logic

ACM SIGMOD Record
Replicated abstract data types: Building blocks for collaborative applications

Journal of Parallel and Distributed Computing
Relational transducers for declarative networking

Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conflict-free replicated data types

SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
BloomUnit: declarative testing for distributed programs

DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Cloud types for eventual consistency

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Logic and lattices for distributed programming

Proceedings of the Third ACM Symposium on Cloud Computing
Confluence analysis for distributed programs: a model-theoretic approach

Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

In recent years, distributed programming has become a topic of widespread interest among developers. However, writing reliable distributed programs remains stubbornly difficult. In addition to the inherent challenges of distribution---asynchrony, concurrency, and partial failure---many modern distributed systems operate at massive scale. Scalability concerns have in turn encouraged many developers to eschew strongly consistent distributed storage in favor of application-level consistency criteria [5, 10, 18], which has raised the degree of difficulty still further.