Pr-1st-1.1-m05-Slajd38: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
== | ==Algorytm Chandy, Misra, Hass dla modelu OR (6)== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd38.png|Algorytm Chandy, Misra, Hass dla modelu OR (6)]] | ||
Zdarzenie odbioru wiadomości typu REPLY powoduje w przypadku gdy proces jest pasywny porównanie numerów sekwencyjnych zapisanych w odebranej wiadomości i odpowiedniej tablicy <math>maxQueryNo_i</math>. Jeśli okaże się że wartości te są sobie równe, a ponadto proces aplikacyjny <math>P_i</math> jest procesem pasywnym od czasu ostatniej aktualizacji porównywanego elementu tablicy <math>maxQueryNo_i</math> to zmniejszana o 1 na odpowiedniej pozycji. jest wartość zmiennej <math>QRBalance_i</math. Jeśli po zmniejszeniu wartość tej zmiennej wynosi 0 i monitor odbierający komunikat jest inicjatorem detekcji to stwierdza on, że proces aplikacyjny, który monitoruje jest zakleszczony. | Zdarzenie odbioru wiadomości typu REPLY powoduje w przypadku gdy proces jest pasywny porównanie numerów sekwencyjnych zapisanych w odebranej wiadomości i odpowiedniej tablicy <math>maxQueryNo_i</math>. Jeśli okaże się że wartości te są sobie równe, a ponadto proces aplikacyjny <math>P_i</math> jest procesem pasywnym od czasu ostatniej aktualizacji porównywanego elementu tablicy <math>maxQueryNo_i</math> to zmniejszana o 1 na odpowiedniej pozycji. jest wartość zmiennej <math>QRBalance_i</math>. Jeśli po zmniejszeniu wartość tej zmiennej wynosi 0 i monitor odbierający komunikat jest inicjatorem detekcji to stwierdza on, że proces aplikacyjny, który monitoruje jest zakleszczony. | ||
[[ | [[Pr-1st-1.1-m05-Slajd37 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd39 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:54, 7 wrz 2006
Algorytm Chandy, Misra, Hass dla modelu OR (6)
Zdarzenie odbioru wiadomości typu REPLY powoduje w przypadku gdy proces jest pasywny porównanie numerów sekwencyjnych zapisanych w odebranej wiadomości i odpowiedniej tablicy . Jeśli okaże się że wartości te są sobie równe, a ponadto proces aplikacyjny jest procesem pasywnym od czasu ostatniej aktualizacji porównywanego elementu tablicy to zmniejszana o 1 na odpowiedniej pozycji. jest wartość zmiennej . Jeśli po zmniejszeniu wartość tej zmiennej wynosi 0 i monitor odbierający komunikat jest inicjatorem detekcji to stwierdza on, że proces aplikacyjny, który monitoruje jest zakleszczony.
