Pr-1st-1.1-m05-Slajd34: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
następna edycja →
WizualnieWikikod
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
 
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
Linia 1: Linia 1:
==Alg. Chandy, Misra, Hass dla modelu OR (2)==
==Algorytm Chandy, Misra, Hass dla modelu OR (2)==


[[Image:pr-1st-1.1-m05-Slajd34.png|Alg. Chandy, Misra, Hass dla modelu OR (2)]]
[[Image:Pr-1st-1.1-m05-Slajd34.png|Algorytm Chandy, Misra, Hass dla modelu OR (2)]]


Najistotniejsze zmienne wykorzystywane w przedstawionym algorytmie detekcji zakleszczenia dla modelu OR są następujące:
Najistotniejsze zmienne wykorzystywane w przedstawionym algorytmie detekcji zakleszczenia dla modelu OR są następujące:
* <math>maxQueryNo_i[j]</math> - oznacza największy numer sekwencyjny <math>queryNo</math> spośród wszystkich zapytań QUERY zainicjowanych przez  <math>Q_j</math> , a wysłanych lub odebranych przez  <math>Q_i</math> .
* <math>maxQueryNo_i[j]</math> - oznacza największy numer sekwencyjny <math>queryNo</math> spośród wszystkich zapytań QUERY zainicjowanych przez  <math>Q_j</math>, a wysłanych lub odebranych przez  <math>Q_i</math>.
* <math>engager_i[j]</math> - indeks monitora  <math>Q_k</math>, <math>k \ne i </math>, który spowodował zapisanie aktualnej wartości do <math>maxQueryNo_i[j]</math>.
* <math>engager_i[j]</math> - indeks monitora  <math>Q_k</math>, <math>k \ne i </math>, który spowodował zapisanie aktualnej wartości do <math>maxQueryNo_i[j]</math>.
* <math>QRBalance_i[j]</math> - jest różnicą liczby zapytań QUERY zainicjowanych przez  <math>Q_j</math>  i wysłanych dalej przez  <math>Q_i</math>  oraz liczby odpowiedzi REPLY na te zapytania; wartość <math>QRBalance_i[j]=0</math> oznacza, że  <math>Q_i</math> otrzymał odpowiedzi na wszystkie zapytania związane z ostatnim procesem detekcji zainicjowanym przez  <math>Q_j</math>.
* <math>QRBalance_i[j]</math> - jest różnicą liczby zapytań QUERY zainicjowanych przez  <math>Q_j</math>  i wysłanych dalej przez  <math>Q_i</math>  oraz liczby odpowiedzi REPLY na te zapytania; wartość <math>QRBalance_i[j]=0</math> oznacza, że  <math>Q_i</math> otrzymał odpowiedzi na wszystkie zapytania związane z ostatnim procesem detekcji zainicjowanym przez  <math>Q_j</math>.
Linia 10: Linia 10:




[[pr-1st-1.1-m05-Slajd33 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd35 | Następny slajd >>]]
[[Pr-1st-1.1-m05-Slajd33 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd35 | Następny slajd >>]]

Wersja z 15:54, 7 wrz 2006

Algorytm Chandy, Misra, Hass dla modelu OR (2)

Algorytm Chandy, Misra, Hass dla modelu OR (2)

Najistotniejsze zmienne wykorzystywane w przedstawionym algorytmie detekcji zakleszczenia dla modelu OR są następujące:

  • maxQueryNoi[j] - oznacza największy numer sekwencyjny queryNo spośród wszystkich zapytań QUERY zainicjowanych przez Qj, a wysłanych lub odebranych przez Qi.
  • engageri[j] - indeks monitora Qk, k≠i, który spowodował zapisanie aktualnej wartości do maxQueryNoi[j].
  • QRBalancei[j] - jest różnicą liczby zapytań QUERY zainicjowanych przez Qj i wysłanych dalej przez Qi oraz liczby odpowiedzi REPLY na te zapytania; wartość QRBalancei[j]=0 oznacza, że Qi otrzymał odpowiedzi na wszystkie zapytania związane z ostatnim procesem detekcji zainicjowanym przez Qj.
  • contPassivei[j] - jest True wtedy i tylko wtedy, gdy Pi pozostawał pasywny przez cały czas od momentu ostatniego uaktualniania zmiennej maxQueryNoi[j]początkowo contPassivei[j] jest równe False.


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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m05-Slajd34&oldid=44696”