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.

• Type: Conference
• Year: 2010
• Where: EUROPAR
• Authors: Roberto Baldoni, Silvia Bonomi, Michel Raynal
• Keywords: Distributed And Parallel Computing, EUROPAR 2010, Set Object, Shared Object, Value-based Sequential Consistency