Does the operational model capture partition tolerance in distributed systems? (Extended Version): Separating the operational model and the wait-free model

Grégoire Bonin 1 Achour Mostefaoui 1 Matthieu Perrin 1
1 GDD - Gestion de Données Distribuées
LS2N - Laboratoire des Sciences du Numérique de Nantes
Abstract : In large scale distributed systems, replication is essential in order to provide availability and partition tolerance. Such systems are abstracted by the wait-free model, composed of asynchronous processes that communicate by sending and receiving messages, and in which any process may crash. Complexity in local memory has already been studied for several objects, including sets, databases and collaborative editors. However, the literature has focused on a subclass of algorithms, called the operational model, in which processes can only broadcast one message per update operation and the read operation incurs no communication. This paper tackles the following question: are the operational model and the wait-free model equivalent from the complexity point of view? We show that update consistency allows implementations in the wait-free model that require strictly less local memory than their counterparts in the operational model.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02055328
Contributor : Grégoire Bonin <>
Submitted on : Sunday, March 3, 2019 - 7:45:01 PM
Last modification on : Monday, September 9, 2019 - 2:38:55 PM
Long-term archiving on: Tuesday, June 4, 2019 - 12:50:59 PM

File

PaCT2019versionlongue.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02055328, version 1

Collections

Citation

Grégoire Bonin, Achour Mostefaoui, Matthieu Perrin. Does the operational model capture partition tolerance in distributed systems? (Extended Version): Separating the operational model and the wait-free model. 2019. ⟨hal-02055328⟩

Share

Metrics

Record views

118

Files downloads

293