SO-1st-2.3-w13.tresc-1.0-Slajd27: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 10: | Linia 10: | ||
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. | ||
[[SO-1st-2.3-w13.tresc-1.0-Slajd26 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd28 | Następny slajd >>]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd26 | << Poprzedni slajd]] | [[SO-1st-2.3-w13.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w13.tresc-1.0-Slajd28 | Następny slajd >>]] | ||
Aktualna wersja na dzień 08:47, 25 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.
