Pr-1st-1.1-m05-Slajd07: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
==Definicja problemu== | ==Definicja problemu== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd07.png|Definicja problemu]] | ||
Przez <math>deadlock(\mathcal{B})</math> oznaczamy predykat stwierdzający, że w danej chwili <math>\tau</math>, niepusty zbiór procesów <math>\mathcal{B}</math> jest zbiorem procesów zakleszczonych. | Przez <math>deadlock(\mathcal{B})</math> oznaczamy predykat stwierdzający, że w danej chwili <math>\tau</math>, niepusty zbiór procesów <math>\mathcal{B}</math> jest zbiorem procesów zakleszczonych. | ||
[[ | [[Pr-1st-1.1-m05-Slajd06 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd08 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:53, 7 wrz 2006
Definicja problemu
Przez oznaczamy predykat stwierdzający, że w danej chwili , niepusty zbiór procesów jest zbiorem procesów zakleszczonych.
