Pr-1st-1.1-m04-Slajd17

Algorytm Matterna (2)

Odebranie pakietu pcktIn przez $Q_i$ powoduje zwiększenie $vCloc{k}_i[i]$, a następnie wyznaczenie nowej wartości zegara wektorowego odbiorcy $P_i$, jako:

$\mathrm{\forall }::l\le k\le n::vCloc{k}_i[k]:=max(vCloc{k}_i[k],pcktIn.vClock[k])$

Po uaktualnieniu zegara przez monitor, wiadomość aplikacyjna jest udostępniona procesowi $P_i$ i zachodzi odpowiednie zdarzenie odbioru.

Podobnie jak w przypadku zegarów skalarnych, monitor $Q_i$ uaktualnia zegar $vCloc{k}_i[i]$ w wyniku zajścia każdego zdarzenia wewnętrznego procesu aplikacyjnego. Uaktualnienie to jest związane ze zmianą jedynie pozycji $vCloc{k}_i[i]$.

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