r PIF sur l’arbre Je lance une vague
r PIF sur l’arbre J’ai une vague en cours: j’attends la réponse de mes fils
r PIF sur l’arbre J’ai une vague en cours: j ’attends la réponse de mes fils
r PIF sur l’arbre Je n’est pas de fils: j’accuse réception et j’ai terminé ma vague Le message est long à être traité
r PIF sur l’arbre Un de mes fils m’a répondu: j’attends que tous me répondent.
r PIF sur l’arbre
r
r
r J’ai reçu une réponse de tous mes fils: j’accuse réception. J’attends...
r PIF sur l’arbre
r
r
r
r QUESTION : Est-il possible d’implémenter le PIF avec seulement 2 états ? La vague est terminée : je suis content!
r PIF sur l’arbre REPONSE : Non. Intuitivement, les états « J’attend_les_réponses_de_mes_fils » poussent les états « J’ai_terminé_ma_vague » de la vague précédente (ou état initial), et les états « J’ai_terminé_ma_vague » de la vague précédente poussent les états « J’attend_les_réponses_de_mes_fils ». QUI GAGNE ? EST-CE UNE PHASE DE BROADCAST ou UNE PHASE DE FEEDBACK
Spécifications formelles
Nombre Minimum d’états par processeur
Optimal en nombre d’état
Temps de Stabilisation r Partie Anormale Partie Normale
Temps de Stabilisation r
r
r
r
r
r
r
r
r
r
r
r
r
r
r...
Stabilisation Instantanée Un algorithme distribué est instantanément stabilisé pour une tâche T ssi pour toute configuration initiale , pour toute exécution (possible) e en partant de , e satisfait les spécification de T. L’algorithme de base est instantanément stabilisé Mais peut être retardé O(h 2 ) étapes. Amélioration (réduire le retard possible) ?
Temps de Stabilisation r Partie Anormale Partie Normale
Temps de Stabilisation r
r
r
r
r
r
r
r... Algorithme amélioré instantanément stabilisé Peut être retardé d’au plus 1 étape !
Sans sens d’orientation ?
Temps de Stabilisation r Partie Anormale Partie Normale N4 L1 N2 L1 N4
Temps de Stabilisation r Branches non visitée par la vague venant de r Algorithme non instantanément stabilisé!
Temps de Stabilisation r N2 L1 N2 L2
Temps de Stabilisation r N2 L2
Temps de Stabilisation r N2 N3 L2
Temps de Stabilisation r N3 L2 N3 R2
Temps de Stabilisation r N3 R2 N3
Temps de Stabilisation r R2... Version instantanément stabilisée ?
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre
r PIF sur l’arbre...
Temps de Stabilisation r IF LF ICor Icor LF
Temps de Stabilisation r LC Icor LC IF LC
Temps de Stabilisation r Icor LC IB
Temps de Stabilisation r IC
Temps de Stabilisation r LF IB LF... Algorithme instantanément stabilisé Peut être retardé d’au plus O(h) étapes !