Pr-1st-1.1-m08-Slajd37

Algorytm Matterna (7)

W wyniku dalszej komunikacji między procesami aplikacyjnymi, bądź w wyniku przesłania dodatkowych wiadomości synchronizujących między monitorami, każdy z procesów osiągnie w końcu, lub będzie usiłował przekroczyć, wyznaczony moment $vRecordClock_{i}$. Przed przekroczeniem wartości $\tau _{s}$, zapamiętany zostanie stan lokalny procesu.

Kolekcja takich stanów tworzy konfigurację spójną.

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