当前位置:
X-MOL 学术
›
arXiv.cs.DC
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Checking Causal Consistency of Distributed Databases
arXiv - CS - Distributed, Parallel, and Cluster Computing Pub Date : 2020-11-19 , DOI: arxiv-2011.09753 Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
arXiv - CS - Distributed, Parallel, and Cluster Computing Pub Date : 2020-11-19 , DOI: arxiv-2011.09753 Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
The 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 tolerance in distributed systems. In this work, 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.
中文翻译:
检查分布式数据库的因果一致性
CAP 定理表明,不可能同时确保(强)一致性、可用性和分区容错性。因果一致性是可以实现的弱一致性模型之一,以确保分布式系统中的可用性和分区容错性。在这项工作中,我们提出了一种工具来自动检查分布式/并发系统执行对因果一致性模型的一致性。我们的方法包括减少检查执行是否与解决 Datalog 查询在因果上一致的问题。减少是基于违反因果一致性的执行的完整表征,就这些执行中发生的操作之间适当定义的关系中循环的存在而言。我们减少了分布式数据库的测试工具,
更新日期:2020-11-20
中文翻译:
检查分布式数据库的因果一致性
CAP 定理表明,不可能同时确保(强)一致性、可用性和分区容错性。因果一致性是可以实现的弱一致性模型之一,以确保分布式系统中的可用性和分区容错性。在这项工作中,我们提出了一种工具来自动检查分布式/并发系统执行对因果一致性模型的一致性。我们的方法包括减少检查执行是否与解决 Datalog 查询在因果上一致的问题。减少是基于违反因果一致性的执行的完整表征,就这些执行中发生的操作之间适当定义的关系中循环的存在而言。我们减少了分布式数据库的测试工具,