Robustness against consistency models with atomic visibility

DOI10.4230/LIPICS.CONCUR.2016.7zbMATH Open1392.68164OpenAlexW2540479136MaRDI QIDQ4608658FDOQ4608658

Authors: Giovanni Bernardi, Alexey Gotsman 

Publication date: 21 March 2018

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

Recommendations

• Checking robustness between weak transactional consistency models
• A framework for transactional consistency models with atomic visibility
• scientific article; zbMATH DE number 7327945
• Algebraic laws for weak consistency
• Automated detection of serializability violations under weak consistency

zbMATH Keywords

robustnessreplicationtransactionsconsistency models

Mathematics Subject Classification ID

Database theory (68P15) Distributed systems (68M14)

Cited In (13)

• ROLA: a new distributed transaction protocol and its formal analysis
• Scalable atomic visibility with RAMP transactions
• Robustness against Read Committed for Transaction Templates with Functional Constraints
• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
• Algebraic laws for weak consistency
• Automated detection of serializability violations under weak consistency
• Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
• Checking robustness between weak transactional consistency models
• 'Cause I'm strong enough: reasoning about consistency choices in distributed systems
• A framework for transactional consistency models with atomic visibility
• Title not available (Why is that?)
• Robustness Against Transactional Causal Consistency.
• Optimal stateless model checking for causal consistency

This page was built for publication: Robustness against consistency models with atomic visibility

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