I noticed that Si_Liu opened a topic on causal consistency of MongoDB: MongoDB may achieve STRONGER causal consistency guarantee?. This topic got a solution and was automatically closed by the Community Platform. Therefore, I open this topic to add some references:
- The work in this paper MongoDB-CCC@JCST2022: Checking Causal Consistency of MongoDB tested MongoDB against several well-known variants of causal consistency, including CC (Causal Consistency), CM (Causal Memory), and CCv (Causal Convergence). No (real) violations were found.
- The work in [this paper Spec@SRDS2020: A Generic Specification Framework for Weakly Consistent Replicated Data Types] introduced another causal consistency variant called CMv (Causal Memory Convergence) and proved that the causal consistency protocol of (a simplified version of) MongoDB (in the failure-free sharded cluster deployment) satisfies CMv.
Hope these are helpful.