CausalMesh delivers coordination-free causally consistent reads and writes plus read transactions under client migration, with formal Dafny verification and better performance than prior systems.
https://docs.aws.amazon.com/amazon dynamodb/latest/developerguide/DAX.consistency.html
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration
CausalMesh delivers coordination-free causally consistent reads and writes plus read transactions under client migration, with formal Dafny verification and better performance than prior systems.