Skip to Main content Skip to Navigation
Theses

Building distributed computing abstractions in the presence of mobile byzantine failures

Antonella del Pozzo 1
1 NPA - Networks and Performance Analysis
LIP6 - Laboratoire d'Informatique de Paris 6
Résumé : Dans cette thèse on s’intéresse à un modèle de faute Byzantins Mobiles. Jusqu’à présent, seulement le problème du Consensus a été résolu en présente de faute Byzantines Mobiles et plusieurs variations de ce modèle de faute ont été proposé. Pour chacun de ces modelés ont été prouvées les bornes inferieures du nombre de processus correct nécessaire et des solutions asymptotiquement optimales ont été proposées. Notre première contribution porte sur les registres repartis dans ce modèle. Les registres repartis sont l’abstraction à la base du stockage reparti. Ces résultats préconisent donc notre deuxième contribution principale, un modèle de faute Byzantine Mobile généralisé. Notre troisième contribution est un ensemble de preuves de nécessité et d’impossibilité pour les registres repartis dans ces modèles. En particulier on prouve qu’il n’est pas possible d’implémenter la spécification plus faible des registres dans un système asynchrone. Par contre, pour les systèmes synchrones, on prouve des bornes inferieures et propose des protocoles asymptotiquement optimaux pour le registrer régulier. Pour conclure, notre dernière contribution porte sur le problème d’accord approximé, une forme affaiblie du consensus. On résout ce problème dans le modèle basé sur ronde, le même du consensus. En outre, il est intéressant de noter qua dans le modèle statique, la borne inferieure sur le nombre de répliques est la même pour le consensus et pour le problème d’accord approximé. Le même invariant s’applique avec les fautes byzantine mobiles. De plus, on accompagne ces bornes inferieures avec une solution asymptotiquement optimale pour le problème d’accord approximé.
Complete list of metadatas

Cited literature [50 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01653090
Contributor : Abes Star :  Contact
Submitted on : Friday, December 1, 2017 - 9:06:34 AM
Last modification on : Thursday, June 11, 2020 - 3:27:54 PM

File

2017PA066159.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01653090, version 1

Citation

Antonella del Pozzo. Building distributed computing abstractions in the presence of mobile byzantine failures. Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI; Università degli studi La Sapienza (Rome), 2017. English. ⟨NNT : 2017PA066159⟩. ⟨tel-01653090⟩

Share

Metrics

Record views

407

Files downloads

150