Building distributed computing abstractions in the presence of mobile byzantine failures

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é.
Type de document :
Thèse
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2017. English. 〈NNT : 2017PA066159〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01653090
Contributeur : Abes Star <>
Soumis le : vendredi 1 décembre 2017 - 09:06:34
Dernière modification le : jeudi 22 novembre 2018 - 14:27:49

Fichier

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

Identifiants

  • 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, 2017. English. 〈NNT : 2017PA066159〉. 〈tel-01653090〉

Partager

Métriques

Consultations de la notice

297

Téléchargements de fichiers

85