Pr-1st-1.1-m05-Slajd45

Algorytm Bracha, Toueg’a (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 dalsze uaktywnienia nie są już możliwe i w związku z tym żadne dodatkowe wiadomości typu CONFIRM nie zostaną przesłane. Jeśli po zakończeniu algorytmu, dla pewnych procesów w dalszym ciągu nie są potencjalnie spełnione warunki uaktywnienia, to procesy te są uznane za zakleszczone.

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