Pr-1st-1.1-m06-Slajd04: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 4: | Linia 4: | ||
Wyróżnia się cztery kolory łuków: ''Grey'', ''Black'', ''White'' i ''Translucent''. | Wyróżnia się cztery kolory łuków: ''Grey'', ''Black'', ''White'' i ''Translucent''. | ||
* Łukowi <math>\mathcal{A}_{i,j} = \left \langle P_i, P_j \right \rangle </math> w grafie przypisuje się kolor ''Grey'', jeżeli proces | * Łukowi <math>\mathcal{A}_{i,j} = \left \langle P_i, P_j \right \rangle</math> w grafie przypisuje się kolor ''Grey'', jeżeli proces | ||
<math>P_i</math> wysłał do <math>P_j</math> wiadomość typu REQUEST, a <math>P_j</math> jeszcze tej wiadomości nie odebrał, ani też <math>P_i</math> nie wysłał jeszcze wiadomości typu CANCEL. | <math>P_i</math> wysłał do <math>P_j</math> wiadomość typu REQUEST, a <math>P_j</math> jeszcze tej wiadomości nie odebrał, ani też <math>P_i</math> nie wysłał jeszcze wiadomości typu CANCEL. | ||
* Łukowi <math>\left \langle P_i, P_j \right \rangle </math> w grafie <math>WFG^C</math> nadaje się kolor ''Black'', jeżeli <math>P_j</math> odebrał już wiadomość typu REQUEST od | * Łukowi <math>\left \langle P_i, P_j \right \rangle</math> w grafie <math>WFG^C</math> nadaje się kolor ''Black'', jeżeli <math>P_j</math> odebrał już wiadomość typu REQUEST od | ||
<math>P_i</math>, lecz <math>P_j</math> jeszcze nie wysłał w odpowiedzi wiadomości typu GRANT do <math>P_i</math>, ani też <math>P_i</math> nie wysłał jeszcze wiadomości typu CANCEL do <math>P_j</math>. | <math>P_i</math>, lecz <math>P_j</math> jeszcze nie wysłał w odpowiedzi wiadomości typu GRANT do <math>P_i</math>, ani też <math>P_i</math> nie wysłał jeszcze wiadomości typu CANCEL do <math>P_j</math>. | ||
* Łukowi <math>\left \langle P_i, P_j \right \rangle </math> przypisuje się kolor ''White'', jeżeli <math>P_j</math> wysłał już wiadomość typu GRANT do <math>P_i</math>, lecz <math>P_i</math> jeszcze jej nie odebrał, ani też <math>P_j</math> nie wysłał jeszcze do <math>P_i</math> wiadomości typu CANCEL. | * Łukowi <math>\left \langle P_i, P_j \right \rangle</math> przypisuje się kolor ''White'', jeżeli <math>P_j</math> wysłał już wiadomość typu GRANT do <math>P_i</math>, lecz <math>P_i</math> jeszcze jej nie odebrał, ani też <math>P_j</math> nie wysłał jeszcze do <math>P_i</math> wiadomości typu CANCEL. | ||
* Łukowi <math>\left \langle P_i, P_j \right \rangle </math> nadaje się kolor ''Translucent'', jeżeli <math>P_i</math> wysłał wiadomość typu CANCEL do <math>P_j</math>, lecz <math>P_j</math> jeszcze jej nie odebrał. | * Łukowi <math>\left \langle P_i, P_j \right \rangle</math> nadaje się kolor ''Translucent'', jeżeli <math>P_i</math> wysłał wiadomość typu CANCEL do <math>P_j</math>, lecz <math>P_j</math> jeszcze jej nie odebrał. | ||
[[pr-1st-1.1-m06-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m06-toc|Spis treści ]] | [[pr-1st-1.1-m06-Slajd05 | Następny slajd >>]] | [[pr-1st-1.1-m06-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m06-toc|Spis treści ]] | [[pr-1st-1.1-m06-Slajd05 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:47, 5 wrz 2023
Algorytm detekcji zakleszczenia w środowisku asynchronicznym (2)
Wyróżnia się cztery kolory łuków: Grey, Black, White i Translucent.
- Łukowi w grafie przypisuje się kolor Grey, jeżeli proces
wysłał do wiadomość typu REQUEST, a jeszcze tej wiadomości nie odebrał, ani też nie wysłał jeszcze wiadomości typu CANCEL.
- Łukowi w grafie nadaje się kolor Black, jeżeli odebrał już wiadomość typu REQUEST od
, lecz jeszcze nie wysłał w odpowiedzi wiadomości typu GRANT do , ani też nie wysłał jeszcze wiadomości typu CANCEL do .
- Łukowi przypisuje się kolor White, jeżeli wysłał już wiadomość typu GRANT do , lecz jeszcze jej nie odebrał, ani też nie wysłał jeszcze do wiadomości typu CANCEL.
- Łukowi nadaje się kolor Translucent, jeżeli wysłał wiadomość typu CANCEL do , lecz jeszcze jej nie odebrał.
