Orbe: Scalable Causal Consistency Using Dependency Matrices and Physical Clocks
We propose two protocols that provide scalable causal consistency for both partitioned and replicated data stores using dependency matrices (DM) and physical clocks. The DM protocol supports basic read and update operations and uses two-dimensional dependency matrices to track dependencies in a client session. It utilizes the transitivity of causality and sparse matrix encoding to keep dependency metadata small and bounded. The DM-Clock protocol extends the DM protocol to support read-only transactions using loosely synchronized physical clocks. We implement the two protocols in Orbe, a distributed key-value store, and valuate them experimentally. Orbe scales out well, incurs relatively small verhead over an eventually consistent key-value store, and outperforms an existing system that uses explicit dependency tracking to provide scalable causal consistency.
Cite this item
Du, J., Elnikety, S., Roy, A., & Zwaenepoel, W. (2013). Orbe: Scalable Causal Consistency Using Dependency Matrices and Physical Clocks. SOCC ’13: Proceedings of the 4th Annual Symposium on Cloud Computing. 2013 ACM Symposium on Cloud Computing (SOCC), Santa Clara, California, USA. https://doi.org/10.1145/2523616.2523628
Click Copy to copy the citation, or select the text manually.
orbe_socc13.pdf
openaccess
407.81 KB
Adobe PDF
66cf885d105494c8d05c36dc3f0d2f98