Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems
This paper introduces a shared object, namely a set object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition suited to such an object is introduced. This condition, named value-based sequential consistency, is weaker than linearizability. The paper also addresses the construction of a set object in a synchronous anonymous distributed system where participants can continuously join and leave the system. Interestingly, the protocol is proved correct under the assumption that some constraint on the churn is satisfied. This shows that the notion of “provably correct software” can be applied to dynamic systems.
KeywordsChurn Consistency condition Dynamic system Infinite arrival model Set object Synchronous system
Unable to display preview. Download preview PDF.
- 4.Schiper, A., Raynal, M., Raynal, M.: A suite of formal definitions for consistency criteria in distributed shared memories. In: ISCA Proceedings of the International Conference PDCS, Dijon, France, pp. 125–130 (1996)Google Scholar
- 7.Ko, S.Y., Hoque, I., Gupta, I.: Using tractable and realistic churn models to analyze quiescence behavior of distributed protocols. In: SRDS 2008: Proceedings of the 2008 Symposium on Reliable Distributed Systems, Washington, DC, USA, pp. 259–268. IEEE Computer Society, Los Alamitos (2008)CrossRefGoogle Scholar
- 8.Hadzilacos, V., Toueg, S.: Reliable broadcast and related problems. Distributed Systems, 97–145 (1993)Google Scholar
- 10.Baldoni, R., Bonomi, S., Raynal, M.: Value-based Sequential Consistency for Set Objects in Dynamic Distributed Systems. Technical report, MIDLAB 3/2010 (2010)Google Scholar
- 11.Aguilera, M.K.: A pleasant stroll through the land of infinitely many creatures. Distributed Computing 35(2), 36–59 (2004)Google Scholar
- 14.Baldoni, R., Bonomi, S., Kermarrec, A.M., Raynal, M.: Implementing a Register in a Dynamic Distributed System. In: 29th International Conference on Distributed Computing Systems, ICDCS 2009 (2009)Google Scholar