Pr-1st-1.1-m08-Slajd33

Algorytm Matterna (3)

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$. Istnieje specjalny pusty pakiet dummyOut zawierająca pusty komunikat aplikacyjny, wysyłana podczas rozpoczęcia algorytmu. Pakiety $ctrlOut$, $ackIn$, $ackOut$ to odpowiednio pakiety kontrolne i potwierdzenia. Pakiety $procStateOut$ oraz $chanStateOut$ służą do przesłania stanu kanałów i procesu. Zmienna $vClock_{i}$ jest wektorowym zegarem logicznym procesu $P_{i}$. Zmienna $vRecordClock_{i}$ reprezentuje logiczny czas zadanego momentu zapamiętania obrazu spójnego. Wreszcie, stan lokalny procesu $P_{i}$ jest zapamiętany w zmiennej $procState_{i}$. Zmienna $recorded_{i}$ służy do określania, czy został już zapamiętany stan procesu $P_{i}$.

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