Pr-1st-1.1-m05-Slajd16

Z Studia Informatyczne
Wersja z dnia 10:51, 5 wrz 2023 autorstwa Luki (dyskusja | edycje) (Zastępowanie tekstu – „ </math>” na „</math>”)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

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”