2 research outputs found
On Composition and Implementation of Sequential Consistency (Extended Version)
It has been proved that to implement a linearizable shared memory in
synchronous message-passing systems it is necessary to wait for a time
proportional to the uncertainty in the latency of the network for both read and
write operations, while waiting during read or during write operations is
sufficient for sequential consistency. This paper extends this result to
crash-prone asynchronous systems. We propose a distributed algorithm that
builds a sequentially consistent shared memory abstraction with snapshot on top
of an asynchronous message-passing system where less than half of the processes
may crash. We prove that it is only necessary to wait when a read/snapshot is
immediately preceded by a write on the same process. We also show that
sequential consistency is composable in some cases commonly encountered: 1)
objects that would be linearizable if they were implemented on top of a
linearizable memory become sequentially consistent when implemented on top of a
sequential memory while remaining composable and 2) in round-based algorithms,
where each object is only accessed within one round
Consistency models with global operation sequencing and their composition (extended version)
Modern distributed systems often achieve availability and scalability by
providing consistency guarantees about the data they manage weaker than
linearizability. We consider a class of such consistency models that, despite
this weakening, guarantee that clients eventually agree on a global sequence of
operations, while seeing a subsequence of this final sequence at any given
point of time. Examples of such models include the classical Total Store Order
(TSO) and recently proposed dual TSO, Global Sequence Protocol (GSP) and
Ordered Sequential Consistency.
We define a unified model, called Global Sequence Consistency (GSC), that has
the above models as its special cases, and investigate its key properties.
First, we propose a condition under which multiple objects each satisfying GSC
can be composed so that the whole set of objects satisfies GSC. Second, we
prove an interesting relationship between special cases of GSC---GSP, TSO and
dual TSO: we show that clients that do not communicate out-of-band cannot tell
the difference between these models. To obtain these results, we propose a
novel axiomatic specification of GSC and prove its equivalence to the
operational definition of the model.Comment: Extended version of the paper from DISC'1