Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące:
D 1 = { P 4 } {\displaystyle {\mathcal {D}}_{1}=\{P_{4}\}} , D 2 = { P 4 } {\displaystyle {\mathcal {D}}_{2}=\{P_{4}\}} , D 3 = { P 2 } {\displaystyle {\mathcal {D}}_{3}=\{P_{2}\}} , D 4 = { P 3 } {\displaystyle {\mathcal {D}}_{4}=\{P_{3}\}} .
W analizowanym stanie zachodzi predykat d e a d l o c k ( B ) {\displaystyle deadlock({\mathcal {B}})} , dla B = { P 1 , P 2 , P 3 , P 3 } {\displaystyle {\mathcal {B}}=\{P_{1},P_{2},P_{3},P_{3}\}}
<< Poprzedni slajd | Spis treści | Następny slajd >>
,
,
,
.
,
dla
