Pr-1st-1.1-m12-Slajd70

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zgodne rozgłaszanie niezawodne z globalnym uporządkowaniem wiadomości: Operacje komunikacyjne

Zgodne rozgłaszanie niezawodne z globalnym uporządkowaniem wiadomości: Operacje komunikacyjne


Operację zgodnego rozgłaszania niezawodnego wiadomości przez proces do zbioru procesów , zachowującą uporządkowanie globalne wiadomości, oznaczać będziemy przez (, , ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako (, , ). Analogicznie, przez ( , , ) oznaczać będziemy operację uaktywniającą zdarzenie (, , ) i przekazującą w efekcie wiadomość wysłaną przez proces do procesu aplikacyjnego .


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