Pr-1st-1.1-m04-Slajd11

Algorytm Lamporta (3)

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 $cloc{k}_i$ oraz utworzenie pakietu pcktOut. Pakiet ten zawiera wiadomość aplikacyjną w polu pcktOut.data, oraz aktualną wartość zegara lokalnego $cloc{k}_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 >>