Pr-1st-1.1-m04-Slajd52

Algorytm Schipera, Egli, Sandoza (2)

Podstawowe zmienne wykorzystywane w tym algorytmie mają następujące znaczenie:

$m s g I n$ jest wiadomością aplikacyjną
$p c k t O u t$ jest zmienną reprezentującą pakiet przenoszący wiadomość
$v S e n t C l o c k_{i}$ to wektorowy zegar logiczny zdarzeń wysłania
$v P_{i}$ jest zbiorem odpowiednich par zawierających informację o etykietach czasowych ostatnio wysłanych wiadomości do poszczególnych procesów, którego liczność nie przekracza $n - 1$ . Poszczególne elementy tego zbioru, czyli odpowiednie pary składać się będą z identyfikatora procesu, do którego wysłana została już wiadomość aplikacyjna i etykiety czasowej zdarzenia wysłania ostatniej takiej wiadomości.
$d e l a y B u f_{i}$ , to zmienna zawierająca zbiór wiadomości oczekujących