Eventually consistent transactions

DOI10.1007/978-3-642-28869-2_4MaRDI QIDQ2892721zbMATH OpenOpenAlexFDO

Authors Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_4

Mathematics Subject Classification ID

Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) General topics in the theory of data (68P01)

Recommendations

• Eventually-serializable data services
• The weakest failure detector for eventual consistency
• Convergent and commutative replicated data types
• From sequential specifications to eventual consistency
• Brief Announcement

Cited in

(13)

• Deleting completed transactions
• Eventual consistency for CRDTs
• Limitations of highly-available eventually-consistent data stores
• From sequential specifications to eventual consistency
• Elastic Transactions
• Automated detection of serializability violations under weak consistency
• Traquest model -- a novel model for ACID concurrent computations
• Algebraic laws for weak consistency
• On Mixing Eventual and Strong Consistency: Bayou Revisited
• Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
• A framework for transactional consistency models with atomic visibility
• Monotonic Prefix Consistency in Distributed Systems
• Designing a software transactional memory for peer-to-peer systems

This page was built for publication: Eventually consistent transactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892721)