Pr-1st-1.1-m05-Slajd49

Przykład działania algorytmu (2)

Drugi przykład zastosowania algorytmu przedstawia kolejny slajd. Rozważany teraz graf jest podobny do poprzedniego, z tą tylko różnicą, że węzeł $P_4$ nie ma krawędzi wychodzącej.

Oznacza to, że proces $P_4$ jest aktywny. Załóżmy jeszcze, że każdy proces oczekuje potwierdzeń od wszystkich procesów tworzących jego zbiór warunkujący. Niech ponadto $Q_1$ będzie ponownie jedynym inicjatorem. Rozpoczyna on fazę powiadamiania, wysyłając wiadomość typu NOTIFY do monitorów wszystkich procesów tworzących zbiór ${{𝒪}{𝒰}{𝒯}}_1$,. Kiedy wiadomość typu NOTIFY dotrze do $Q_4$, którego ${{𝒪}{𝒰}{𝒯}}_4=\mathrm{\varnothing }$, monitor $Q_4$ wywołuje procedurę NotifyProc. Procedura ta zmienia stan $p{S}_4[1]$ na 1, a następnie wywołuje procedurę ConfirmProc. W efekcie, $p{S}_4[1]=1$ i wiadomość typu CONFIRM zostaje wysłana do monitorów wszystkich procesów tworzących zbiór ${{ℐ}{𝒩}}_4$. W kroku tym, monitory $Q_2$ i $Q_3$ zmieniają swoje zmienne stanu $p{S}_2[1]$ oraz $p{S}_3[1]$ na 1 i wysyłają wiadomości typu NOTIFY do monitorów wszystkich procesów tworzących ich zbiory ${{𝒪}{𝒰}{𝒯}}_i$. Tak więc monitor $Q_4$ jest inicjatorem fazy potwierdzania dla $Q_1$, $Q_2$ i $Q_3$. Tym samym $Q_4$ wyśle wiadomość typu DONE do inicjatora jego fazy powiadamiania, czyli do $Q_1$, dopiero po otrzymaniu wiadomości typu ACK, w odpowiedzi na wszystkie wiadomości typu CONFIRM. W następnym kroku, między innymi monitor $Q_3$ otrzymuje wiadomość typu CONFIRM od $Q_4$ i przekazuje ją do wszystkich swoich poprzedników w grafie.

Należy zauważyć, że w kroku tym $Q_2$ nie przesyła wiadomości typu CONFIRM do $Q_1$, gdyż w przyjętym modelu żądań jest to dopuszczalne dopiero po otrzymaniu wiadomości typu CONFIRM od wszystkich następników w grafie. Warunek ten jest spełniony w następnym kroku, kiedy to $Q_2$ otrzymał już wiadomość typu CONFIRM od $Q_3$. Wówczas, $Q_2$ wysyła wiadomość typu CONFIRM do $Q_1$. W efekcie, w następnym kroku wiadomości typu ACK przesłane są kolejno do $Q_2$, $Q_3$ i $Q_4$. Gdy wiadomość typu ACK dotrze do $Q_4$, monitor ten kończy fazę potwierdzania, co umożliwia mu wysłanie wiadomości typu DONE do monitora będącego dla $Q_4$ inicjatorem jego fazy powiadamiania.

<< Poprzedni slajd | Spis treści | Następny slajd >>