Pr-1st-1.1-m08-Slajd34

Algorytm Matterna (4)

Dla uproszczenia, będziemy tu zakładać, że $Q_{\alpha }=Q_{\beta }$.

• Monitor inicjatora zwiększa pozornie wartość swojego zegara wektorowego i tym samym wyznacza moment z jego perspektywy w przyszłości
• O czasie tym informuje wszystkie pozostałe monitory, wstrzymując jednocześnie postęp lokalnego czasu wirtualnego (blokuje postęp przetwarzania aplikacyjnego)

Dopiero po upewnieniu się, że wszystkie monitory znają wyznaczony moment w przyszłości, uwalniane jest przetwarzanie aplikacyjne, a więc również zegar lokalny. Monitor $Q_{\alpha }$ zapisuje wtedy stan skojarzonego procesu aplikacyjnego i rosyła pustą wiadomość $dummyOut$, zaznaczając jednocześnie, że stan procesu $P_{\alpha }$ został już zapisany.

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