Université de Rennes 1 Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances Informatique répartiecalculabilitétolérance aux défaillanceAsynchroniedétecteurs de fautes Distributed ComputingComputabilityFault-toleranceAsynchronyFailure Detectors Traitement répartiThèses et écrits académiques Tolérance aux fautes (informatique)Thèses et écrits académiques Fonctions calculablesThèses et écrits académiques 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. This thesis studies computability in systems composed of multiple computers exchanging messages or sharing memory. The considered models take into account the possible failure of some of these computers, as well as variations in time and heterogeneity of their execution speeds. The presented results essentially consider agreement problems, systems prone to partitioning and failure detectors. The document establishes relations between known iterated models and the concept of failure detector and presents a hierarchy of agreement problems spanning from k-set agreement to s-simultaneous consensus. It also introduces a new universal construction based on s-simultaneous consensus objects and a family of iterated models allowing several processes to run in isolation. Electronic Thesis or DissertationText en application/pdf1 : 931 Kohttps://ecm.univ-rennes1.fr/nuxeo/site/esupversions/2ccde55e-60d3-412e-9d28-9ce6f417d820 Stainer Julien 1983-07-15 FR 158772814 julien.stainer@irisa.fr 2015REN1S054 http://www.theses.fr/2015REN1S054 2015-03-18 Informatique Université de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiRaynalMichelintervenant_102859181X Mathématiques, informatique, signal, électronique et télécommunicationsecoleDoctorale_1 139007164 IRISApartenaireRecherche_1 026386909 Université européenne de BretagnepartenaireRecherche_2 139075119 ddc:004 RaynalMichelUniversité de Rennes 1Sciences et technologie, médecine, pharmacie, odontologie, droit, économie, gestion, philosophieMathématiques, informatique, signal, électronique et télécommunicationsÉcole doctorale Mathématiques, informatique, signal, électronique et télécommunications (Rennes)IRISAUniversité européenne de Bretagne ASCII PDF 953416