Pr-1st-1.1-m06-Slajd10

Algorytm Bacha, Touega dla środowiska asynchronicznego (5)

Algorytm rozpoczyna inicjator $Q_{\alpha }$, którego proces aplikacyjny jest pasywny, a więc potencjalnie zakleszczony, wywołując procedurę NotifyProc.

Algorytm kończy się, gdy nie ma już możliwości aktywowania kolejnych procesów i żadne nowe wiadomości typu CONFIRM nie zostaną przesłane. Jeśli pomimo zakończenia algorytmu, dla części procesów nadal nie są potencjalnie spełnione warunki uaktywnienia to uznaje się te procesy za procesy zakleszczone.

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