CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration

Haoran Zhang, Zihao Zhang, Shuai Mu +2

Cloud applications often insert a caching lay\-er in front of a database in order to reduce I/O latency and improve throughput. One complication occurs when a client fetches some d…