A Constraint-Based Formalism for Consistency in Replicated Systems
We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requested by independent users, and constraints, representing scheduling relations between actions. The formalism encompasses semantics of shared data, such as commutativity or conflict between actions, and user intents such as causal dependence or atomicity. It enables us to reason about the consistency properties of a replication protocol or of classes of protocols. It supports weak consistency (optimistic protocols) as well as the stronger pessimistic protocols. Our approach clarifies the requirements and assumptions common to all replication systems. We are able to prove a number of common properties. For instance consistency properties that appear different operationally are proved equivalent under suitable liveness assumptions. The formalism enables us to design a new, generalised peer-to-peer consistency protocol.
KeywordsTransition Rule Decision Algorithm Partial Replication Replicate System Consistency Property
Unable to display preview. Download preview PDF.
- 1.Saito, Y., Shapiro, M.: Optimistic replication. Computing Surveys (2005)Google Scholar
- 2.Shapiro, M., Bhargavan, K.: The Actions-Constraints approach to replication: Definitions and proofs. Technical Report MSR-TR-2004-14, Microsoft Research (2004)Google Scholar
- 5.Shapiro, M., Preguiça, N., O’Brien, J.: Rufis: mobile data sharing using a generic constraint-oriented reconciler. In: Conf. on Mobile Data Management, Berkeley, CA, USA (2004)Google Scholar
- 7.Terry, D.B., Theimer, M.M., Petersen, K., Demers, A.J., Spreitzer, M.J., Hauser, C.H.: Managing update conflicts in Bayou, a weakly connected replicated storage system. In: Proc. 15th ACM Symposium on Operating Systems Principles, Copper Mountain CO (USA). ACM SIGOPS, New York (1995)Google Scholar
- 11.Chong, Y., Hamadi, Y.: Distributed IceCube. Private communication (2004)Google Scholar
- 14.Frølund, S., Guerraoui, R.: X-Ability: A theory of replication. In: Symp. on Principles of Dist. Comp. (PODC 2000), Portland, Oregon, USA. ACM SIGACT-SIGOPS, New York (2000)Google Scholar
- 15.Chrysanthis, P.K., Ramamritham, K.: ACTA: The SAGA continues. In: Elmagarmid, A.K. (ed.) Database Transaction Models for Advanced Applications, pp. 349–397. Morgan Kaufmann, San Francisco (1992)Google Scholar