SOP wyk nr 15-Slajd26: Różnice pomiędzy wersjami
Nie podano opisu zmian |
m literówka |
||
| Linia 6: | Linia 6: | ||
Spostrzeżenia z poprzednich przykładów są podstawą do wyciągnięcia pewnych wniosków, prezentowanych najczęściej w formie twierdzeń. | Spostrzeżenia z poprzednich przykładów są podstawą do wyciągnięcia pewnych wniosków, prezentowanych najczęściej w formie twierdzeń. | ||
W przypadku '''zasobów''' '''pojedynczych''' (posiadających tylko jedną jednostkę) warunkiem koniecznym i dostatecznym wystąpienia zakleszczenia jest cykl w grafie przydziału. Warto podkreślić, że | W przypadku '''zasobów''' '''pojedynczych''' (posiadających tylko jedną jednostkę) warunkiem koniecznym i dostatecznym wystąpienia zakleszczenia jest cykl w grafie przydziału. Warto podkreślić, że ze względu na liczebność egzemplarzy dopuszczalne są w tym przypadku tylko żądania pojedyncze. | ||
W przypadku systemu, gwarantującego '''natychmiastowy''' '''przydział''' , gdy analizowany stan jest zupełny, supeł w grafie przydziału jest warunkiem dostatecznym (ale nie koniecznym ) zakleszczenia. | W przypadku systemu, gwarantującego '''natychmiastowy''' '''przydział''', gdy analizowany stan jest zupełny, supeł w grafie przydziału jest warunkiem dostatecznym (ale nie koniecznym ) zakleszczenia. | ||
W przypadku zasobów, posiadających '''kilka''' '''jednorodnych''' '''egzemplarzy''' , '''przydzielanych''' '''natychmiastowo''' w wyniku '''pojedynczych''' '''żądań''' , warunkiem koniecznym i dostatecznym zakleszczenia jest supeł w grafie przydziału. Cykl w tym przypadku jest tylko warunkiem koniecznym, co wynika z faktu, że jest warunkiem koniecznym powstania supła. | W przypadku zasobów, posiadających '''kilka''' '''jednorodnych''' '''egzemplarzy''', '''przydzielanych''' '''natychmiastowo''' w wyniku '''pojedynczych''' '''żądań''', warunkiem koniecznym i dostatecznym zakleszczenia jest supeł w grafie przydziału. Cykl w tym przypadku jest tylko warunkiem koniecznym, co wynika z faktu, że jest warunkiem koniecznym powstania supła. | ||
[[SOP_wyk_nr_15-Slajd25 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd27 | Następny slajd >>]] | [[SOP_wyk_nr_15-Slajd25 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd27 | Następny slajd >>]] | ||
Aktualna wersja na dzień 14:46, 8 wrz 2006
Własności grafu zasobów odzyskiwalnych a stan zakleszczenia
Spostrzeżenia z poprzednich przykładów są podstawą do wyciągnięcia pewnych wniosków, prezentowanych najczęściej w formie twierdzeń.
W przypadku zasobów pojedynczych (posiadających tylko jedną jednostkę) warunkiem koniecznym i dostatecznym wystąpienia zakleszczenia jest cykl w grafie przydziału. Warto podkreślić, że ze względu na liczebność egzemplarzy dopuszczalne są w tym przypadku tylko żądania pojedyncze.
W przypadku systemu, gwarantującego natychmiastowy przydział, gdy analizowany stan jest zupełny, supeł w grafie przydziału jest warunkiem dostatecznym (ale nie koniecznym ) zakleszczenia.
W przypadku zasobów, posiadających kilka jednorodnych egzemplarzy, przydzielanych natychmiastowo w wyniku pojedynczych żądań, warunkiem koniecznym i dostatecznym zakleszczenia jest supeł w grafie przydziału. Cykl w tym przypadku jest tylko warunkiem koniecznym, co wynika z faktu, że jest warunkiem koniecznym powstania supła.
