Pr-1st-1.1-m04-Slajd50

Algorytm Birmana, Schipera i Stephensona (3)

Po odebraniu pakietu $pcktIn$ od $Q_j$, monitor $Q_i$ wstrzymuje dalsze jego przetwarzanie, do momentu gdy spełnione zostaną dwa następujące warunki:

Pierwszy z nich polega na sprawdzeniu czy otrzymany pakiet zawiera wiadomość wysłaną przez proces $P_j$ do $P_i$ bezpośrednio po wiadomości o numerze sekwencyjnym zapisanym w odpowiednim polu tablicy $vSentCloc{k}_i$. Warunek ten gwarantuje zatem uporządkowanie FIFO w kanale. Drugi z warunków oznacza, że nadawca $P_j$ wiadomości $M$ nie otrzymał przed wysłaniem wiadomości $M$ innej wiadomości $M^{\prime }$ od $P_k$ o numerze sekwencyjnym większym niż $vSentCloc{k}_i[k]$. Gdyby taki przypadek miał miejsce, to wysłanie wiadomości $M$ przez $P_j$ byłoby przyczynowo zależne od wysłania wiadomości $M^{\prime }$, a wówczas wiadomość $M^{\prime }$ powinna być odebrana przez wszystkie procesy, w tym również przez $P_i$, przed wiadomością $M$.

Jeżeli oba warunki zostaną spełnione, monitor $Q_i$ sprawdza, czy adresatem wiadomości jest proces $P_i$. W przypadku, gdy rzeczywiście wiadomość aplikacyjna skierowana jest do tego procesu, monitor przekazuje ją adresatowi. Następnie monitor uaktualnia swój zegar wektorowy $vSentCloc{k}_i$. Jeżeli natomiast nie jest spełniony jeden z powyższych warunków, to pakiet zawierający wiadomość $M$ jest zachowywany w monitorze $Q_i$. Stan taki jest utrzymywany aż do nadejścia pewnego kolejnego pakietu, którego wiadomość będzie mogła zostać odebrana, spełniając w efekcie oba wymienione warunki dla wiadomości $M$.

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