Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleOctober 2022
Checking causal consistency of distributed databases
Computing (CMPT), Volume 104, Issue 10Oct 2022, Pages 2181–2201https://doi.org/10.1007/s00607-021-00911-3AbstractThe CAP Theorem shows that (strong) consistency, availability, and partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency models that can be implemented to ensure availability and partition ...
MonkeyDB: effectively testing correctness under weak isolation levels
Proceedings of the ACM on Programming Languages (PACMPL), Volume 5, Issue OOPSLAArticle No.: 132, Pages 1–27https://doi.org/10.1145/3485546Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale storage systems for storing and retrieving data. In the presence of concurrent accesses, these storage systems trade off isolation for ...
- ArticleOctober 2020
Boosting Sequential Consistency Checking Using Saturation
Automated Technology for Verification and AnalysisOct 2020, Pages 360–376https://doi.org/10.1007/978-3-030-59152-6_20AbstractWe address the problem of checking that an execution of a shared memory concurrent program is sequentially consistent (SC). This problem is NP-hard due to the necessity of finding a total order between the write operations that induces an acyclic ...
On the complexity of checking transactional consistency
Proceedings of the ACM on Programming Languages (PACMPL), Volume 3, Issue OOPSLAArticle No.: 165, Pages 1–28https://doi.org/10.1145/3360591Transactions simplify concurrent programming by enabling computations on shared data that are isolated from other concurrent computations and are resilient to failures. Modern databases provide different consistency models for transactions corresponding ...
- ArticleJune 2019
Checking Causal Consistency of Distributed Databases
AbstractCausal consistency is one of the strongest models that can be implemented to ensure availability and partition tolerance in distributed systems. In this paper, we propose a tool to check automatically the conformance of distributed/concurrent ...