Pr-1st-1.1-m12-Slajd70: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
|||
| Linia 4: | Linia 4: | ||
Operację zgodnego rozgłaszania niezawodnego wiadomości <math>M</math> przez proces <math>P_i</math> do zbioru procesów <math>\mathcal{P}</math>, zachowującą uporządkowanie globalne wiadomości, oznaczać będziemy przez <math>\mathbf{send}^{RRB\_TO}</math>(<math>P_i</math>, <math>\mathcal{P}</math>, <math>M</math> ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako <math>e\_send^{RRB\_TO}</math>(<math>P_i</math>, <math>\mathcal{P}</math>, <math>M</math> ). Analogicznie, przez <math>\mathbf{deliver}^{RRB\_TO}</math>( <math>P_j</math>, <math>P_i</math>, <math>M</math> ) oznaczać będziemy operację uaktywniającą zdarzenie <math>e\_receive^{RRB\_TO}(<math>P_j</math>, <math>P_i</math>, <math>M</math> ) i przekazującą w efekcie wiadomość <math>M</math> wysłaną przez proces <math>P_j</math> do procesu aplikacyjnego <math>P_i</math>. | Operację zgodnego rozgłaszania niezawodnego wiadomości <math>M</math> przez proces <math>P_i</math> do zbioru procesów <math>\mathcal{P}</math>, zachowującą uporządkowanie globalne wiadomości, oznaczać będziemy przez <math>\mathbf{send}^{RRB\_TO}</math>(<math>P_i</math>, <math>\mathcal{P}</math>, <math>M</math> ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako <math>e\_send^{RRB\_TO}</math>(<math>P_i</math>, <math>\mathcal{P}</math>, <math>M</math> ). Analogicznie, przez <math>\mathbf{deliver}^{RRB\_TO}</math>( <math>P_j</math>, <math>P_i</math>, <math>M</math> ) oznaczać będziemy operację uaktywniającą zdarzenie <math>e\_receive^{RRB\_TO}</math>(<math>P_j</math>, <math>P_i</math>, <math>M</math> ) i przekazującą w efekcie wiadomość <math>M</math> wysłaną przez proces <math>P_j</math> do procesu aplikacyjnego <math>P_i</math>. | ||
[[pr-1st-1.1-m12-Slajd69 | << Poprzedni slajd]] | [[pr-1st-1.1-m12-toc|Spis treści ]] | [[pr-1st-1.1-m12-Slajd71 | Następny slajd >>]] | [[pr-1st-1.1-m12-Slajd69 | << Poprzedni slajd]] | [[pr-1st-1.1-m12-toc|Spis treści ]] | [[pr-1st-1.1-m12-Slajd71 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:16, 8 wrz 2006
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 .
