détecteurs de fautes pour réseaux dynamiques p. sens, l. arantes, m. bouillaguet projet regal
TRANSCRIPT
![Page 1: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/1.jpg)
Détecteurs de fautes pour réseaux dynamiques
P. Sens, L. Arantes, M. Bouillaguet
Projet REGAL
![Page 2: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/2.jpg)
Plan
• Détecteurs de fautes non fiables• Implémentation asynchrone• Caractéristiques des réseaux dynamiques• Algorithmes• Performances
![Page 3: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/3.jpg)
FLP 85
• Impossible de résoudre le consensus de façon déterministe– Asynchrone– Réseau fiable– 1 seul crash
• Idée : – Impossible de différencier un processus défaillant
d’un processus lent– La décision peut dépendre d’un seul vote
![Page 4: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/4.jpg)
Contourner FLP 85
• Changer le problème– k-agreement [Cha90]
• Plusieurs valeurs peuvent être décidées
– Consensus probabiliste [BO83]• Des processus peuvent ne pas terminer
• Systèmes partiellement synchrones [DDS87]– Les bornes sont non connues, valables uniquement à partir d’un
moment– Algorithmique dépendante du système
• Les détecteurs de défaillances non fiables [CT96]– Algorithmique en asynchrone (indépendante du système)– Hypothèses plus facilement utilisables
![Page 5: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/5.jpg)
Détecteur de défaillances
• Oracle local sur chaque nœud• Fournit une liste des processus suspectés
d’être défaillants• Informations non fiables
– Possibilité de fausses suspicions
p
rq
ts
u
s
s
s
s
s
s
LENT
r
r
r
Complétude : un processus défaillant doit être détecté comme défaillant
Justesse : un processus correct ne doit pas être considéré comme défaillant
![Page 6: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/6.jpg)
Classes de détecteurs
• Complétude forte : – Il existe un instant à partir duquel tout processus défaillant est suspecté par
tous les processus corrects
• Justesse :– Forte : aucun processus correct n’est suspecté
– Faible : il existe au moins un processus correct qui n’est jamais suspecté
– Finalement forte : il existe un instant à partir duquel tout processus correct n’est plus suspecté par aucun processus correct
– Finalement faible : il existe un instant à partir duquel au moins un processus correct n’est suspecté par aucun processus correct
• Consensus résoluble avec ◊S• Impossible à implémenter en asynchrone
Justesse
Forte Faible Finalement forte Finalement faible
Complétude forte P S ◊P ◊S
![Page 7: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/7.jpg)
Implémentations basées sur les temporisateurs
• Pinging
• Heartbeat
toDétecteur de q
p up
p down
p up
p
q
Détecteur de qp up
p down
p up
p
q
H
H
to
to
to
![Page 8: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/8.jpg)
Implémentations asynchrones• [Mostefaoui03]• Hypothèses:
– Ensemble de processus connus – Réseau maillé / fiable – f crashs au maximum– pas de temporisateur
• Basé sur un mécanisme de requêtes-réponse• Principe nœud pi:
Envoyer requête aux n nœudsAttendre n-f réponsesConstruire l’ensemble des suspects
Réception requête :• Renvoyer l’ensemble des réponses recus
![Page 9: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/9.jpg)
Caractéristiques réseaux dynamiques
• Nombre de nœuds inconnu• Graphe non complet• Mobilité
![Page 10: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/10.jpg)
Modèle
• Nombre de nœuds inconnu• f fautes maximum• Chaque nœud possède un « range » de
transmission contenant au moins d nœuds (densité)
• Communication fiable• Hypothèse temporelle :
– Certains nœuds (les nœuds relais) doivent avoir la « Responsivness Property »: répondre parmi les premiers
![Page 11: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/11.jpg)
F-covering network
1
2 3
4
5
67
89
range 1,2
range 5,6
range 9
range 3, 4
range 7, 8
![Page 12: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/12.jpg)
Algorithmes (1)
• Variables du processus i:– range i– suspected i : ensemble des suspects– mistake i : les dernières erreurs– K i : la connaissance des voisins directs
![Page 13: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/13.jpg)
Algorithmes (2)
Agrégation des réponsesAgrégation des suspectsAgrégation des erreurs
![Page 14: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/14.jpg)
Exemple
![Page 15: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/15.jpg)
Exemple
![Page 16: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/16.jpg)
Exemple
![Page 17: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/17.jpg)
Exemple
![Page 18: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/18.jpg)
Preuve
• Preuve de <>S (voir rapport)• Nécessité de propriété de responsivness : « Il
existe dans chaque intersection au moins un nœud qui répond parmi les premiers »
![Page 19: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/19.jpg)
Extension pour la mobilité
• Mobilité limitée : les propriétés de densité et « f-covering » doivent maintenue
• Idée : Lorsque la mobilité est détectée retirer le nœud des K du range source
![Page 20: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/20.jpg)
Algorithme avec mobilité
![Page 21: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/21.jpg)
Performances - Configurations
![Page 22: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/22.jpg)
Performances – temps de détection
![Page 23: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/23.jpg)
Performances – temps de détection
![Page 24: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/24.jpg)
Performances – Justesse
![Page 25: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/25.jpg)
Performances - Mobilité
![Page 26: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/26.jpg)
Conclusion
• Problèmes ouverts :– F-covering trop « fort » : l’algorithme marcherait avec
des hypothèses plus faibles– Le consensus
• Perspectives :– Algorithme moins dépendant de la densité – Etendre la mobilité
![Page 27: Détecteurs de fautes pour réseaux dynamiques P. Sens, L. Arantes, M. Bouillaguet Projet REGAL](https://reader035.vdocuments.mx/reader035/viewer/2022062511/551d9d81497959293b8ba8fe/html5/thumbnails/27.jpg)
Référence
• Titre :– Asynchronous Implementation of Failure Detectors
with partial connectivity and unknown participants
• Auteur :– Pierre Sens, Luciana Arantes, Mathieu Bouillaguet
• Rapport de recherche RR6088• hal.inria.fr