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.

Présentation au sujet: "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."— Transcription de la présentation:

1 r PIF sur l’arbre Je lance une vague

2 r PIF sur l’arbre J’ai une vague en cours: j’attends la réponse de mes fils

3 r PIF sur l’arbre J’ai une vague en cours: j ’attends la réponse de mes fils

4 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é

5 r PIF sur l’arbre Un de mes fils m’a répondu: j’attends que tous me répondent.

6 r PIF sur l’arbre

7 r

8 r

9 r J’ai reçu une réponse de tous mes fils: j’accuse réception. J’attends...

10 r PIF sur l’arbre

11 r

12 r

13 r

14 r QUESTION : Est-il possible d’implémenter le PIF avec seulement 2 états ? La vague est terminée : je suis content!

15 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

16 Spécifications formelles

17 Nombre Minimum d’états par processeur

18

19 Optimal en nombre d’état

20 Temps de Stabilisation r Partie Anormale Partie Normale

21 Temps de Stabilisation r

22 r

23 r

24 r

25 r

26 r

27 r

28 r

29 r

30 r

31 r

32 r

33 r

34 r

35 r...

36 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) ?

37

38 Temps de Stabilisation r Partie Anormale Partie Normale

39 Temps de Stabilisation r

40 r

41 r

42 r

43 r

44 r

45 r

46 r... Algorithme amélioré instantanément stabilisé Peut être retardé d’au plus 1 étape !

47 Sans sens d’orientation ?

48

49 Temps de Stabilisation r Partie Anormale Partie Normale N4 L1 N2 L1 N4

50 Temps de Stabilisation r Branches non visitée par la vague venant de r Algorithme non instantanément stabilisé!

51 Temps de Stabilisation r N2 L1 N2 L2

52 Temps de Stabilisation r N2 L2

53 Temps de Stabilisation r N2 N3 L2

54 Temps de Stabilisation r N3 L2 N3 R2

55 Temps de Stabilisation r N3 R2 N3

56 Temps de Stabilisation r R2... Version instantanément stabilisée ?

57

58 r PIF sur l’arbre

59 r PIF sur l’arbre

60 r PIF sur l’arbre

61 r PIF sur l’arbre

62 r PIF sur l’arbre

63 r PIF sur l’arbre

64 r PIF sur l’arbre

65 r PIF sur l’arbre

66 r PIF sur l’arbre

67 r PIF sur l’arbre...

68 Temps de Stabilisation r IF LF ICor Icor LF

69 Temps de Stabilisation r LC Icor LC IF LC

70 Temps de Stabilisation r Icor LC IB

71 Temps de Stabilisation r IC

72 Temps de Stabilisation r LF IB LF... Algorithme instantanément stabilisé Peut être retardé d’au plus O(h) étapes !