Pr-1st-1.1-m05-Slajd22: 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: | ||
==Detekcja wystąpienia zakleszczenia procesu== | ==Detekcja wystąpienia zakleszczenia procesu== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd22.png|Detekcja wystąpienia zakleszczenia procesu]] | ||
| Linia 12: | Linia 12: | ||
:<math>dP_i \equiv (\exists \mathcal{B} :: deadlock(\mathcal{B}) \land P \in \mathcal{B})</math> | :<math>dP_i \equiv (\exists \mathcal{B} :: deadlock(\mathcal{B}) \land P \in \mathcal{B})</math> | ||
[[ | [[Pr-1st-1.1-m05-Slajd21 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd23 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:54, 7 wrz 2006
Detekcja wystąpienia zakleszczenia procesu
Problem detekcji wystąpienia zakleszczenia, sprowadza się do znalezienia odpowiedzi na pytanie: Czy istnieje w pewnej chwili zbiór , dla którego predykat jest prawdziwy? Odpowiedź na to pytanie określa wartość predykatu:
Detekcja zakleszczenia procesu sprowadza się do sprawdzenia czy prawdziwy jest predykat:
