Checking Causal Consistency of Distributed Databases
| Autor: | Mohammed Erradi, Ahmed Bouajjani, Ranadeep Biswas, Rachid Zennou, Constantin Enea |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Theoretical computer science
Distributed database Computer science 020207 software engineering Causal consistency 0102 computer and information sciences 02 engineering and technology 01 natural sciences Partition (database) Datalog 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering computer Computer communication networks computer.programming_language |
| Zdroj: | Networked Systems ISBN: 9783030312763 NETYS Networked Systems-7th International Conference, {NETYS} 2019 Lecture Notes in Computer Science Lecture Notes in Computer Science-Networked Systems |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-030-31277-0_3 |
| Popis: | Causal 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 systems executions to causal consistency models. Our approach consists in reducing the problem of checking if an execution is causally consistent to solving Datalog queries. The reduction is based on complete characterizations of the executions violating causal consistency in terms of the existence of cycles in suitably defined relations between the operations occurring in these executions. We have implemented the reduction in a testing tool for distributed databases, and carried out several experiments on real case studies, showing the efficiency of the suggested approach. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|