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($P_i,P_j,inM$), wiadomość ta jest przepisywana (przemieszczana) z bufora wyjściowego łącza (bufora wejściowego procesu $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 >>