Pr-1st-1.1-m04-Slajd10

Algorytm Lamporta (2)

Algorytm ten opisuje działania realizowane przez monitor $Q_{i}$ w wyniku zajścia określonych zdarzeń. Zdarzenie wysłania wiadomości aplikacyjnej msgOut implikuje zwiększenie zmiennej $clock_{i}$ oraz utworzenie pakietu pcktOut. Pakiet ten zawiera wiadomość aplikacyjną w polu pcktOut.data, oraz aktualną wartość zegara lokalnego $clock_{i}$ w polu skalarnej etykiety czasowej pcktOut.clock. Tak zbudowany pakiet jest następnie wysyłany od monitora skojarzonego z adresatem wiadomości.

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