Pr-1st-1.1-m05-Slajd36: 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 (4)== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd36.png|Algorytm Chandy, Misra, Hass dla modelu OR (4)]] | ||
W przypadku odebrania przez monitor <math>Q_i</math> wiadomości typu QUERY od monitora <math>Q_j</math> monitor ten sprawdza czy monitorowany przez niego proces jest pasywny. Jeśli warunek ten jest spełniony to sprawdzany jest numer sekwencyjny zapytania QUERY. Jeśli jest on większy od największego otrzymanego dotychczas to aktualizowane są odpowiednio tablice | W przypadku odebrania przez monitor <math>Q_i</math> wiadomości typu QUERY od monitora <math>Q_j</math> monitor ten sprawdza czy monitorowany przez niego proces jest pasywny. Jeśli warunek ten jest spełniony to sprawdzany jest numer sekwencyjny zapytania QUERY. Jeśli jest on większy od największego otrzymanego dotychczas to aktualizowane są odpowiednio tablice | ||
<math>maxQueryNo_i</math>, <math>engager_i</math>, i <math>contPassive_i</math>. Następnie przygotowywany jest pakiet zawierający informację o tym numerze sekwencyjnym i inicjatorze detekcji, który zostanie wysłany do wszystkich monitorów, których monitorowane procesy należą do zbioru warunkującego procesu <math>P_i</math>. Po wysłaniu tej wiadomości tablicy <math>QRBalance_i</math> na pozycji odpowiadającej identyfikatorowi przypisywana jest wartość równa liczbie procesów tworzących zbiór warunkujący. | <math>maxQueryNo_i</math>, <math>engager_i</math>, i <math>contPassive_i</math>. Następnie przygotowywany jest pakiet zawierający informację o tym numerze sekwencyjnym i inicjatorze detekcji, który zostanie wysłany do wszystkich monitorów, których monitorowane procesy należą do zbioru warunkującego procesu <math>P_i</math>. Po wysłaniu tej wiadomości tablicy <math>QRBalance_i</math> na pozycji odpowiadającej identyfikatorowi przypisywana jest wartość równa liczbie procesów tworzących zbiór warunkujący. | ||
[[ | [[Pr-1st-1.1-m05-Slajd35 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd37 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:54, 7 wrz 2006
Algorytm Chandy, Misra, Hass dla modelu OR (4)
W przypadku odebrania przez monitor wiadomości typu QUERY od monitora monitor ten sprawdza czy monitorowany przez niego proces jest pasywny. Jeśli warunek ten jest spełniony to sprawdzany jest numer sekwencyjny zapytania QUERY. Jeśli jest on większy od największego otrzymanego dotychczas to aktualizowane są odpowiednio tablice , , i . Następnie przygotowywany jest pakiet zawierający informację o tym numerze sekwencyjnym i inicjatorze detekcji, który zostanie wysłany do wszystkich monitorów, których monitorowane procesy należą do zbioru warunkującego procesu . Po wysłaniu tej wiadomości tablicy na pozycji odpowiadającej identyfikatorowi przypisywana jest wartość równa liczbie procesów tworzących zbiór warunkujący.
