Pr-1st-1.1-m12-Slajd30

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Jednolite rozgłaszanie niezawodne: Operacje komunikacyjne

Jednolite rozgłaszanie niezawodne: Operacje komunikacyjne


Operację jednolitego rozgłaszania niezawodnego wiadomości przez do zbioru procesów 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 >>