MongoDB is one of the first commercial distributed databases that support causal *** implementation of causal consistency combines several research ideas for achieving scalability,fault tolerance,and *** its inherent ...
详细信息
MongoDB is one of the first commercial distributed databases that support causal *** implementation of causal consistency combines several research ideas for achieving scalability,fault tolerance,and *** its inherent complexity,a natural question arises:"Has MongoDB correctly implemented causal consistency as it claimed?"To address this concern,the Jepsen team has conducted black-box testing of ***,this Jepsen testing has several drawbacks in terms of specification,test case generation,implementation of causal consistency checking algorithms,and testing scenarios,which undermine the credibility of its *** this work,we propose a more thorough design of Jepsen testing of causal consistency of ***,we fully implement the causal consistency checking algorithms proposed by Bouajjani et *** test MongoDB against three well-known variants of causal consistency,namely CC,CCv,and CM,under various scenarios including node failures,data movement,and network *** addition,we develop formal specifications of causal consistency and their checking algorithms in TLA^(+),and verify them using the TLC model *** also explain how TLA^(+) specification can be related to Jepsen testing.
暂无评论