PROAR: A Weak Consistency Model for Ceph
Causal memory: definitions, implementation, and programming