Pr-1st-1.1-m04-Slajd09

Algorytm Lamporta (1)

Algorytm używa pakietów typu PACKET, przenoszących wiadomości aplikacyjne w polu $data$ oraz zawierających pole $clock$ będące etykietą czasową pakietu. Wiadomości $msgIn$ są typu PACKET, a zmienne $pcktOut$ są typu PACKET. Zmienna $clock_{i}$ reprezentuje skalarny zegar logiczny procesu $P_{i}$. Stała $d$ oznacza jakąś ustaloną wartość, o którą jest zwiększana wartość zegara logicznego.

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