Pr-1st-1.1-m12-Slajd10

Algorytm podstawowego rozgłaszanie niezawodnego (2)

Przypomnijmy, że $sen{d}^{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\mathrm{\_}receiv{e}^{PL}$( $Q_j$, $Q_i$, $M$ ) oraz wykonanie dalej operacji $delive{r}^{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\mathrm{\_}sen{d}^{BRB}$( $P_i$, ${𝒫}$, $msgOut$ ) powoduje wysłanie przez monitor $Q_i$ procesu $P_i$ wiadomości kolejno do wszystkich procesów zbioru ${𝒫}$. 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 >>