Skip to Main content Skip to Navigation
Theses

Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing

Julien Stainer 1, 2
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
UR1 - Université de Rennes 1, Inria Saclay - Ile de France, INSA - Institut National des Sciences Appliquées, CNRS - Centre National de la Recherche Scientifique : UMR
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : Cette thèse étudie ce qui peut-être calculé dans des systèmes composés de multiple ordinateurs communicant par messages ou partageant de la mémoire. Les modèles considérés prennent en compte la possibilité de défaillance d'une partie de ces ordinateurs ainsi que la variabilité et l'hétérogénéité de leurs vitesses d'exécution. Les résultats présentés considèrent principalement les problèmes d'accord, les systèmes sujets au partitionnement et les détecteurs de fautes. Ce document établis des relations entre les modèles itérés connus et la notion de détecteur de fautes. Il présente une hiérarchie de problèmes généralisant l'accord k-ensembliste et le consensus s-simultané. Une nouvelle construction universelle basée sur des objets consensus s-simultané ainsi qu'une famille de modèles itérés autorisant plusieurs processus à s'exécuter en isolation sont introduites.
Complete list of metadatas

Cited literature [91 references]  Display  Hide  Download

https://hal.inria.fr/tel-01256926
Contributor : Abes Star :  Contact
Submitted on : Monday, January 18, 2016 - 5:44:05 AM
Last modification on : Friday, March 6, 2020 - 1:09:52 AM
Document(s) archivé(s) le : Friday, November 11, 2016 - 9:16:07 AM

File

STAINER_Julien.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01256926, version 2

Citation

Julien Stainer. Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing. Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S054⟩. ⟨tel-01256926v2⟩

Share

Metrics

Record views

533

Files downloads

311