Pr-1st-1.1-m05-Slajd45: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
== | ==Algorytm Bracha, Toueg’a (5)== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd45.png|Algorytm Bracha, Toueg’a (5)]] | ||
Algorytm rozpoczyna inicjator <math>Q_{\alpha}</math>, którego proces aplikacyjny jest pasywny, a więc potencjalnie zakleszczony wywołując procedurę NotifyProc. | Algorytm rozpoczyna inicjator <math>Q_{\alpha}</math>, którego proces aplikacyjny jest pasywny, a więc potencjalnie zakleszczony wywołując procedurę NotifyProc. | ||
| Linia 7: | Linia 7: | ||
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. | 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. | ||
[[ | [[Pr-1st-1.1-m05-Slajd44 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd46 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:55, 7 wrz 2006
Algorytm Bracha, Toueg’a (5)
Algorytm rozpoczyna inicjator , 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.
