Pr-1st-1.1-m05-Slajd23: 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 zbioru procesów== | ==Detekcja wystąpienia zakleszczenia zbioru procesów== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd23.png|Detekcja wystąpienia zakleszczenia zbioru procesów]] | ||
Detekcja zakleszczenia zbioru procesów, polega na znalezienia zbioru | Detekcja zakleszczenia zbioru procesów, polega na znalezienia zbioru | ||
<math>\mathcal{B}^{*}</math>, dla którego prawdziwy jest następujący predykat: | <math>\mathcal{B}^{*}</math>, dla którego prawdziwy jest następujący predykat: | ||
:<math>deadlock(\mathcal{B}^{*}) \lor (( \mathcal{B}^{*} = \emptyset) \land (\ | :<math>deadlock(\mathcal{B}^{*}) \lor (( \mathcal{B}^{*} = \emptyset) \land (\not\exists\mathcal{B} :: deadlock(\mathcal{B})))</math> | ||
[[ | [[Pr-1st-1.1-m05-Slajd22 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd24 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:54, 7 wrz 2006
Detekcja wystąpienia zakleszczenia zbioru procesów
Detekcja zakleszczenia zbioru procesów, polega na znalezienia zbioru , dla którego prawdziwy jest następujący predykat:
