A framework for transactional consistency models with atomic visibility

DOI10.4230/LIPICS.CONCUR.2015.58MaRDI QIDQ5357694zbMATH OpenOpenAlexFDO

Authors Andrea Cerone, Giovanni Bernardi, Alexey Gotsman

Publication date 12 September 2017

Full work available at URL https://doi.org/10.4230/LIPIcs.CONCUR.2015.58

zbMATH Keywords

consistency modelsreplicationtransactions

Mathematics Subject Classification ID

Distributed systems (68M14) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Robustness against consistency models with atomic visibility
• Algebraic laws for weak consistency
• Checking robustness between weak transactional consistency models
• Eventually consistent transactions
• scientific article; zbMATH DE number 1979557

Cited in

(12)

• Categorical specification and implementation of replicated data types
• Checking robustness between weak transactional consistency models
• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
• scientific article; zbMATH DE number 1747795 (Why is no real title available?)
• Robustness against consistency models with atomic visibility
• Automated detection of serializability violations under weak consistency
• Scalable atomic visibility with RAMP transactions
• Algebraic laws for weak consistency
• Reconfigurable Atomic Transaction Commit
• Automatic analysis of consistency properties of distributed transaction systems in Maude
• Robustness against Read Committed for Transaction Templates with Functional Constraints
• Consistency models with global operation sequencing and their composition

This page was built for publication: A framework for transactional consistency models with atomic visibility

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