Sciweavers

Share
EUROPAR
2010
Springer

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

9 years 14 days ago
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems
This paper introduces a set object, namely a shared 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 addresses also 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.
Roberto Baldoni, Silvia Bonomi, Michel Raynal
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where EUROPAR
Authors Roberto Baldoni, Silvia Bonomi, Michel Raynal
Comments (0)
books