On Composition and Implementation of Sequential Consistency (Extended Version)

Matthieu Perrin 1, * Matoula Petrolia 1 Achour Mostefaoui 2 Claude Jard 3
* Corresponding author
1 AeLos/GDD
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
3 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : 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.
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01346805
Contributor : Matthieu Perrin <>
Submitted on : Thursday, July 28, 2016 - 5:56:21 PM
Last modification on : Thursday, April 5, 2018 - 10:37:00 AM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01346805, version 4
  • ARXIV : 1607.05596

Collections

Citation

Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. On Composition and Implementation of Sequential Consistency (Extended Version). [Research Report] LINA-University of Nantes. 2016. ⟨hal-01346805v4⟩

Share

Metrics

Record views

1141

Files downloads

50