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.
Type de document :
Thèse
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S054〉
Liste complète des métadonnées

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

https://hal.inria.fr/tel-01256926
Contributeur : Abes Star <>
Soumis le : lundi 18 janvier 2016 - 05:44:05
Dernière modification le : mardi 22 mai 2018 - 14:07:16
Document(s) archivé(s) le : vendredi 11 novembre 2016 - 09:16:07

Fichier

STAINER_Julien.pdf
Version validée par le jury (STAR)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

388

Téléchargements de fichiers

177