Pr-1st-1.1-m05-Slajd34: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
== | ==Algorytm Chandy, Misra, Hass dla modelu OR (2)== | ||
[[Image: | [[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>. | ||
* <math>contPassive_i[j]</math> - jest ''True'' wtedy i tylko wtedy, gdy <math>P_i</math> pozostawał pasywny przez cały czas od momentu ostatniego uaktualniania zmiennej <math>maxQueryNo_i[j]</math>początkowo <math>contPassive_i[j]</math> jest równe ''False''. | * <math>contPassive_i[j]</math> - jest ''True'' wtedy i tylko wtedy, gdy <math>P_i</math> pozostawał pasywny przez cały czas od momentu ostatniego uaktualniania zmiennej <math>maxQueryNo_i[j]</math>początkowo <math>contPassive_i[j]</math> jest równe ''False''. | ||
[[ | [[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 >>]] | ||
Aktualna wersja na dzień 10:50, 5 wrz 2023
Algorytm Chandy, Misra, Hass dla modelu OR (2)
Najistotniejsze zmienne wykorzystywane w przedstawionym algorytmie detekcji zakleszczenia dla modelu OR są następujące:
- - oznacza największy numer sekwencyjny spośród wszystkich zapytań QUERY zainicjowanych przez , a wysłanych lub odebranych przez .
- - indeks monitora , , który spowodował zapisanie aktualnej wartości do .
- - jest różnicą liczby zapytań QUERY zainicjowanych przez i wysłanych dalej przez oraz liczby odpowiedzi REPLY na te zapytania; wartość oznacza, że otrzymał odpowiedzi na wszystkie zapytania związane z ostatnim procesem detekcji zainicjowanym przez .
- - jest True wtedy i tylko wtedy, gdy pozostawał pasywny przez cały czas od momentu ostatniego uaktualniania zmiennej początkowo jest równe False.
