Paper Info
Title
The CISE tool: proving weakly-consistent applications correct.
Abstract
Designers of a replicated database face a vexing choice between strong consistency, which ensures certain application invariants but is slow and fragile, and asynchronous replication, which is highly available and responsive, but exposes the programmer to unfamiliar behaviours. To bypass this conundrum, recent research has studied hybrid consistency models, in which updates are asynchronous by default, but synchronisation is available upon request. To help programmers exploit hybrid consistency, we propose the first static analysis tool for proving integrity invariants of applications using databases with hybrid consistency models. This allows a programmer to find minimal consistency guarantees sufficient for application correctness.
Year
DOI
Venue
2016
10.1145/2911151.2911160
PaPoC@EuroSys
Keywords
Field
DocType
Program Analysis, Consistency, Invariant
Causal consistency,Programming language,Sequential consistency,Programmer,Computer science,Correctness,Theoretical computer science,Weak consistency,Consistency model,Strong consistency,Release consistency
Conference
Citations 
PageRank 
References 
8
0.50
7
Authors
5
Name
Order
Citations
PageRank
Mahsa Najafzadeh11075.36
Alexey Gotsman243928.62
Hongseok Yang32313115.85
Carla Ferreira4946.28
Marc Shapiro526216.21