TY - GEN
T1 - Checking causal consistency of distributed databases
AU - Zennou, Rachid
AU - Biswas, Ranadeep
AU - Bouajjani, Ahmed
AU - Enea, Constantin
AU - Erradi, Mohammed
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2019.
PY - 2019/1/1
Y1 - 2019/1/1
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-030-31277-0_3
DO - 10.1007/978-3-030-31277-0_3
M3 - Conference contribution
AN - SCOPUS:85075592294
SN - 9783030312763
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 35
EP - 51
BT - Networked Systems - 7th International Conference, NETYS 2019, Revised Selected Papers
A2 - Atig, Mohamed Faouzi
A2 - Schwarzmann, Alexander A.
PB - Springer
T2 - 7th International Conference on Networked Systems, NETYS 2019
Y2 - 19 June 2019 through 21 June 2019
ER -