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.

Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems / Baldoni, Roberto; Bonomi, Silvia; Michel, Raynal. - STAMPA. - 6271:PART 1(2010), pp. 523-534. ((Intervento presentato al convegno 16th International Euro-Par Conference on Parallel Processing tenutosi a Ischia, ITALY nel AUG 31-SEP 03, 2010 [10.1007/978-3-642-15277-1_50].

Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems

BALDONI, Roberto;BONOMI, Silvia;
2010

Abstract

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.
9783642152764
9783642152771
File allegati a questo prodotto
File Dimensione Formato  
VE_2010_11573-212478.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 268.83 kB
Formato Adobe PDF
268.83 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11573/212478
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact