Pr-1st-1.1-m12-Slajd63

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

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

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


Operację zgodnego rozgłaszania niezawodnego przez do zbioru procesów , z zachowaniem przyczynowego uporządkowania 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 >>