Pr-1st-1.1-m05-Slajd24: Różnice pomiędzy wersjami

Aktualna wersja na dzień 15:54, 7 wrz 2006

Detekcja maksymalnego zbioru zakleszczonego, sprowadza się do znalezienia takiego zbioru $ℬ^{*}$ , dla którego spełniony jest warunek:

(d e a d l o c k (ℬ^{*}) \lor ℬ^{*} = e m p t y s e t) \land (m a x d e a d (ℬ^{*})))

gdzie $m a x d e a d (ℬ^{*}) \equiv (\forall ℬ : : d e a d l o c k (ℬ) \Rightarrow (ℬ \subseteq ℬ^{*}))$ .

@@ Linia 1: / Linia 1: @@
 ==Detekcja maksymalnego zbioru zakleszczonego==
-[[Image:pr-1st-1.1-m05-Slajd24.png|Detekcja maksymalnego zbioru zakleszczonego]]
+[[Image:Pr-1st-1.1-m05-Slajd24.png|Detekcja maksymalnego zbioru zakleszczonego]]
 Detekcja maksymalnego zbioru zakleszczonego, sprowadza się do znalezienia takiego zbioru
 <math>\mathcal{B}^{*}</math>, dla którego spełniony jest warunek:
-:<math>(deadlock(\mathcal{B}^{*}) \lot \mathcal{B}^{*} = emptyset) \land (maxdead(\mathcal{B}^{*})))</math>
+:<math>(deadlock(\mathcal{B}^{*}) \lor \mathcal{B}^{*} = emptyset) \land (maxdead(\mathcal{B}^{*})))</math>
 gdzie
@@ Linia 11: / Linia 11: @@
-[[pr-1st-1.1-m05-Slajd23 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd25 | Następny slajd >>]]
+[[Pr-1st-1.1-m05-Slajd23 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd25 | Następny slajd >>]]