Pr-1st-1.1-m05-Slajd16: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
==Przykład – model jednostkowy== | ==Przykład – model jednostkowy== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd16.png|Przykład – model jednostkowy]] | ||
Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące: | Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące: | ||
| 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>\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 >>]] | ||
Aktualna wersja na dzień 10:51, 5 wrz 2023
Przykład – model jednostkowy
Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące:
, , , .
W analizowanym stanie zachodzi predykat , dla
