On Composition and Implementation of Sequential Consistency

Matthieu Perrin 1, * Matoula Petrolia 1 Achour Mostefaoui 2 Claude Jard 3
* Auteur correspondant
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 : To implement a linearizable shared memory in synchronous message-passing systems it is necessary to wait for a time linear to the uncertainty in the latency of the network for both read and write operations. Waiting only for one of them suffices for sequential consistency. This paper extends this result to crash-prone asynchronous systems, proposing a distributed algorithm building a sequentially consistent shared snapshot memory on top of an asynchronous message-passing system where less than half of the processes may crash. We prove that waiting is needed only when a process invokes a read/snapshot right after a write. 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.
Type de document :
Communication dans un congrès
30th International Symposium on Distributed Computing, Sep 2016, Paris, France. Proceedings of the 30th International Symposium on Distributed Computing, 〈http://www.disc-conference.org/wp/disc2016/〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01347069
Contributeur : Matthieu Perrin <>
Soumis le : lundi 25 juillet 2016 - 13:26:58
Dernière modification le : mardi 27 juin 2017 - 09:50:03
Document(s) archivé(s) le : mercredi 26 octobre 2016 - 10:58:47

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01347069, version 2
  • ARXIV : 1607.06258

Collections

Citation

Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. On Composition and Implementation of Sequential Consistency. 30th International Symposium on Distributed Computing, Sep 2016, Paris, France. Proceedings of the 30th International Symposium on Distributed Computing, 〈http://www.disc-conference.org/wp/disc2016/〉. 〈hal-01347069v2〉

Partager

Métriques

Consultations de
la notice

424

Téléchargements du document

67