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 $vCloc{k}_i$ jest wektorowym zegarem logicznym procesu $P_i$. Zmienna $vRecordCloc{k}_i$ reprezentuje logiczny czas zadanego momentu zapamiętania obrazu spójnego. Wreszcie, stan lokalny procesu $P_i$ jest zapamiętany w zmiennej $procStat{e}_i$. Zmienna $recorde{d}_i$ służy do określania, czy został już zapamiętany stan procesu $P_i$.

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