Pr-1st-1.1-m05-Slajd23

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:

$deadlock({{ℬ}}^{*})\vee (({{ℬ}}^{*}=\mathrm{\varnothing })\wedge (\mathrm{\exists }{ℬ}::deadlock({ℬ})))$

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