Pr-1st-1.1-m06-Slajd04

Algorytm detekcji zakleszczenia w środowisku asynchronicznym (2)

Wyróżnia się cztery kolory łuków: Grey, Black, White i Translucent.

• Łukowi ${{𝒜}}_{i,j}=⟨P_i,P_j⟩$ w grafie przypisuje się kolor Grey, jeżeli proces

$P_i$ wysłał do $P_j$ wiadomość typu REQUEST, a $P_j$ jeszcze tej wiadomości nie odebrał, ani też $P_i$ nie wysłał jeszcze wiadomości typu CANCEL.

• Łukowi $⟨P_i,P_j⟩$ w grafie $WF{G}^C$ nadaje się kolor Black, jeżeli $P_j$ odebrał już wiadomość typu REQUEST od

$P_i$, lecz $P_j$ jeszcze nie wysłał w odpowiedzi wiadomości typu GRANT do $P_i$, ani też $P_i$ nie wysłał jeszcze wiadomości typu CANCEL do $P_j$.

• Łukowi $⟨P_i,P_j⟩$ przypisuje się kolor White, jeżeli $P_j$ wysłał już wiadomość typu GRANT do $P_i$, lecz $P_i$ jeszcze jej nie odebrał, ani też $P_j$ nie wysłał jeszcze do $P_i$ wiadomości typu CANCEL.
• Łukowi $⟨P_i,P_j⟩$ nadaje się kolor Translucent, jeżeli $P_i$ wysłał wiadomość typu CANCEL do $P_j$, lecz $P_j$ jeszcze jej nie odebrał.

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