Pr-1st-1.1-m05-Slajd16

Przykład – model jednostkowy

Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące:

${{𝒟}}_1=\{P_4\}$,
${{𝒟}}_2=\{P_4\}$,
${{𝒟}}_3=\{P_2\}$,
${{𝒟}}_4=\{P_3\}$. 

W analizowanym stanie zachodzi predykat $deadlock({ℬ})$, dla ${ℬ}=\{P_1,P_2,P_3,P_3\}$

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