Spécification des objets partagés dans les systèmes répartis sans-attente

Abstract : In large scale distributed systems, strong consistency criteria like sequential consistency and linearizability are often very expensive or even unachievable. This thesis investigates the best ways to specify the objects that are still possible to implement in these systems. We assert that it is still possible to separate their specification in two complementary facets: an abstract data type that specifies the functional aspect of the operations and a weak consistency criterion that describes the level of quality of service ensured by the object in its distributed environment. We illustrate these concepts by an implementation in the D programming language: abstract data types are described by classes in the program and consistency criteria are taken from a list in the CODS library. We also draw up a map of the space of weak consistency criteria, organised around three families of primary criteria (state locality, eventual consistency and validity) and three families of secondary criteria (update consistency, pipelined consistency and serializability). Each secondary criterion strenghtens two primary criteria, but the three criteria can not be implemented together in considered systems. We also study the effects of causality on these families.
Complete list of metadatas

Cited literature [125 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01390700
Contributor : Matthieu Perrin <>
Submitted on : Wednesday, November 2, 2016 - 12:54:46 PM
Last modification on : Thursday, April 5, 2018 - 10:36:49 AM
Long-term archiving on : Friday, February 3, 2017 - 1:50:36 PM

Identifiers

  • HAL Id : tel-01390700, version 1

Collections

Citation

Matthieu Perrin. Spécification des objets partagés dans les systèmes répartis sans-attente. Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français. ⟨tel-01390700⟩

Share

Metrics

Record views

249

Files downloads

423