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 $vSentClock_{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'$ od $P_{k}$ o numerze sekwencyjnym większym niż $vSentClock_{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'$, a wówczas wiadomość $M'$ 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 $vSentClock_{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 >>