Pr-1st-1.1-m08-Slajd22

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm Lai-Yang (2)

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 określony jest w zmiennej . Zmienna zawiera kolor monitora, początkowo ustawiony na White. Zmienna określa zbiór wiadomości aplikacyjnych wysłanych przez do chwili zapamiętania stanu procesu. Zmienna określa zbiór wiadomości wysłanych przez do chwili obecnej. Zbiór wiadomości aplikacyjnych odebranych przez do chwili zapamiętania stanu procesu przechowywany jest w zmiennej , a zbiór wiadomości aplikacyjnych odebranych przez do chwili obecnej w .

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


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