Pr-1st-1.1-m12-Slajd10

Algorytm podstawowego rozgłaszanie niezawodnego (2)

Przypomnijmy, że $send^{PL}$ ( $Q_{i}$, $Q_{j}$, $pcktOut$) jest mechanizmem kanałów niezawodnych. Operacja ta gwarantuje zatem, że każda wiadomość wysłana przez poprawnie działający proces, ostatecznie dotrze do adresata i umożliwi wówczas zajście zdarzenia $e\_receive^{PL}$( $Q_{j}$, $Q_{i}$, $M$ ) oraz wykonanie dalej operacji $deliver^{BRB}$( $P_{j}$, $P_{i}$, $M$ ). Warto przypomnieć, że w algorytmie implementującym kanały niezawodne monitor otrzymując dowolną wiadomość dostarcza ją tylko wtedy, jeżeli nie była już wcześniej dostarczona.

W przedstawionym algorytmie podstawowego rozgłaszania niezawodnego, zajście zdarzenia $e\_send^{BRB}$( $P_{i}$, ${\mathcal {P}}$, $msgOut$ ) powoduje wysłanie przez monitor $Q_{i}$ procesu $P_{i}$ wiadomości kolejno do wszystkich procesów zbioru ${\mathcal {P}}$. Odebranie z kolei pakietu przez monitor $Q_{i}$ adresata $P_{i}$, implikuje przekazanie wiadomości wyodrębnionej z pakietu procesowi $P_{i}$.

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