Pr-1st-1.1-m02-Slajd33

Dostępność wiadomości

Należy zaznaczyć, że zdarzenie e\_send($P_i,P_j,M$) odpowiada na ogół wykonaniu operacji asynchronicznej, która zapisuje wiadomość $M$ do kanału wyjściowego (bufora łącza transmisyjnego). Następnie środowisko rozproszone transmituje wiadomość $M$ do węzła docelowego i zapisuje ją w buforze wejściowym procesu docelowego $P_j$. Gdy wiadomość dotrze do bufora wejściowego procesu docelowego, to wiadomość staje się dostępna i może być natychmiast pobrana z bufora w wyniku wykonania operacji receive($P_i,P_j,inM$).

Dostępność wiadomości utożsamiać też można z zajściem zdarzeń w środowisku komunikacyjnym: zdarzenia dostarczenia wiadomości e\_deliver($P_i,P_j,M$), albo zdarzenia nadejścia wiadomości - e\_arrive($P_i,P_j,M$). W tym kontekście, przez ${{𝒫}}_j^A$ oznaczymy zbiór procesów, których wiadomości dotarły i są dostępne dla $P_j$. Jeżeli proces odbiorcy $P_j$ odczytuje skierowaną do niego wiadomość $M$, wykonując operację receive(Parser nie mógł rozpoznać (błąd składni): {\displaystyle P_i,P_j,inM<math>), wiadomość ta jest przepisywana (przemieszczana) z bufora wyjściowego łącza (bufora wejściowego procesu <math>P_i} ) do lokalnej zmiennej procesu $inM$. Jeżeli przepisanie to nastąpiło, to mówimy, że wiadomość została odebrana lub, że zaszło zdarzenie odbioru e\_receive($P_i,P_j,inM$).

Warto przypomnieć, że wiadomości mają swoje unikalne identyfikatory, które pozwalają na jednoznaczne kojarzenie zdarzenia nadania konkretnej wiadomości ze zdarzeniem odbioru tej samej wiadomości.

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