Pr-1st-1.1-m05-Slajd24

Detekcja maksymalnego zbioru zakleszczonego

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

$(deadlock({{ℬ}}^{*})\vee {{ℬ}}^{*}=emptyset)\wedge (maxdead({{ℬ}}^{*})))$

gdzie $maxdead({{ℬ}}^{*})\equiv (\mathrm{\forall }{ℬ}::deadlock({ℬ})\Rightarrow ({ℬ}\subseteq {{ℬ}}^{*}))$.

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