Pr-1st-1.1-m08-Slajd22

Algorytm Lai-Yang (2)

Wiadomość msgIn to wiadomość aplikacyjna wypakowywana z odebranego przez monitor pakietu, która zostanie dostarczona procesowi aplikacyjnemu. Wysyłane wiadomości są opakowywane i wysyłane jako pcktOut . Stan procesu przesyłany jest w wiadomości stateOut . Zakładamy, że stan procesu $P_i$ określony jest w zmiennej $procStat{e}_i$. Zmienna $procColou{r}_i$ zawiera kolor monitora, początkowo ustawiony na White. Zmienna $sentLo{g}_i$ określa zbiór wiadomości aplikacyjnych wysłanych przez $P_i$ do chwili zapamiętania stanu procesu. Zmienna $outLo{g}_i$ określa zbiór wiadomości wysłanych przez $P_i$ do chwili obecnej. Zbiór wiadomości aplikacyjnych odebranych przez $P_i$ do chwili zapamiętania stanu procesu przechowywany jest w zmiennej $recvLo{g}_i$, a zbiór wiadomości aplikacyjnych odebranych przez $P_i$ do chwili obecnej w $inLo{g}_i$.

Pakiet typu dummyOut to wiadomość oznaczona specjalnym znacznikiem inicjującym, przenoszący pustą wiadomość aplikacyjną.

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