Pr-1st-1.1-m06-Slajd11

Algorytm Bacha, Touega dla środowiska asynchronicznego (6)

Jeśli przesyłanie wiadomości typu CONFIRM między monitorami jest możliwe, to należy interpretować to jako istnienie możliwości uaktywnienia procesu. W takim przypadku, odpowiedni monitor symuluje możliwe zachowanie uaktywnionego procesu, wywołując procedurę ConfirmProc. Po jej zakończeniu wysyła potwierdzenie odebrania tego komunikatu.

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