Monotonic Prefix Consistency in Distributed Systems
We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitions, and which is assumed to be available (in the sense that queries are always eventually answered). In such a setting, strong consistency, where all replicas of the system apply synchronously every operation, is not possible to implement. However, many weaker consistency criteria that allow a greater number of behaviors than strong consistency, are implementable in available distributed systems.
We focus on determining the strongest consistency criterion that can be implemented in a convergent and available distributed system that tolerates partitions. We focus on objects where the set of operations can be split into updates and queries. We show that no criterion stronger than Monotonic Prefix Consistency (MPC) can be implemented.
- 6.Terry, D.: Replicated data consistency explained through baseball. Technical report MSR-TR-2011-137, Microsoft Research, October 2011Google Scholar
- 7.Guerraoui, R., Pavlovic, M., Seredinschi, D.A.: Trade-offs in replicated systems. IEEE Data Eng. Bull. 39, 14–26 (2016)Google Scholar
- 9.Bouajjani, A., Enea, C., Hamza, J.: Verifying eventual consistency of optimistic replication systems. In: Jagannathan, S., Sewell, P. (eds.) The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, USA, 20–21 January 2014, pp. 285–296. ACM (2014)Google Scholar
- 10.Mahajan, P., Alvisi, L., Dahlin, M.: Consistency, availability, convergence. Technical report TR-11-22, Computer Science Department, University of Texas at Austin, May 2011Google Scholar
- 11.Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008)Google Scholar