Automated Detection of Serializability Violations under Weak Consistency

Kartik Nagar, Suresh Jagannathan

While a number of weak consistency mechanisms have been developed in recent years to improve performance and ensure availability in distributed, replicated systems, ensuring correc…