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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycja
WizualnieWikikod
Szopen (dyskusja | edycje)
1922 edycje
Nie podano opisu zmian
m Zastępowanie tekstu – „ </math>” na „</math>”
 
Linia 11: Linia 11:
<math>deadlock(\mathcal{B})</math>,
<math>deadlock(\mathcal{B})</math>,
dla  
dla  
<math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \} </math>
<math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \}</math>




[[Pr-1st-1.1-m05-Slajd15 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd17 | Następny slajd >>]]
[[Pr-1st-1.1-m05-Slajd15 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd17 | Następny slajd >>]]

Aktualna wersja na dzień 10:51, 5 wrz 2023

Przykład – model jednostkowy

Przykład – model jednostkowy

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

𝒟1={P4},
𝒟2={P4},
𝒟3={P2},
𝒟4={P3}.

W analizowanym stanie zachodzi predykat deadlock(ℬ), dla ℬ={P1,P2,P3,P3}


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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m05-Slajd16&oldid=81475”