Pr-1st-1.1-m05-Slajd07

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Definicja problemu

Definicja problemu

Przez deadlock(ℬ) oznaczamy predykat stwierdzający, że w danej chwili τ, niepusty zbiór procesów ℬ jest zbiorem procesów zakleszczonych.


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

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