SOP wyk nr 15-Slajd17: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m literówka |
||
(Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
Linia 4: | Linia 4: | ||
Odnosząc zjawisko | Odnosząc zjawisko zakleszczenia do grafu przydziału, należy wyodrębnić pewne własności tego grafu, ułatwiające stwierdzenie stanu zakleszczenia. | ||
Własnością systemu, która przejawia się w grafie przydziału, podlegającym analizie, jest ''natychmiastowość'' ''przydziału'' . Oznacza ona, że jeśli zamawiane egzemplarze zasobu są dostępne (wolne), to są przydzielane bez żadnej zwłoki. Stan systemu, w którym przydzielono wszystkie dostępne egzemplarze, zamówione przez procesy, określany będzie jako zupełny (ang. expedient). Graf przedstawiony na slajdzie nie reprezentuje takiego stanu, gdyż jedna z dwóch jednostek zasobu '' | Własnością systemu, która przejawia się w grafie przydziału, podlegającym analizie, jest ''natychmiastowość'' ''przydziału'' . Oznacza ona, że jeśli zamawiane egzemplarze zasobu są dostępne (wolne), to są przydzielane bez żadnej zwłoki. Stan systemu, w którym przydzielono wszystkie dostępne egzemplarze, zamówione przez procesy, określany będzie jako zupełny (ang. expedient). Graf przedstawiony na slajdzie nie reprezentuje takiego stanu, gdyż jedna z dwóch jednostek zasobu ''Z<sub>2</sub>'' pozostaje wolna, a ubiegają się o nią dwa procesy. | ||
[[SOP_wyk_nr_15-Slajd16 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd18 | Następny slajd >>]] | [[SOP_wyk_nr_15-Slajd16 | << Poprzedni slajd]] | [[SOP_wyk_nr_15-toc|Spis treści ]] | [[SOP_wyk_nr_15-Slajd18 | Następny slajd >>]] |
Aktualna wersja na dzień 14:43, 8 wrz 2006
Przydział natychmiastowy
Odnosząc zjawisko zakleszczenia do grafu przydziału, należy wyodrębnić pewne własności tego grafu, ułatwiające stwierdzenie stanu zakleszczenia.
Własnością systemu, która przejawia się w grafie przydziału, podlegającym analizie, jest natychmiastowość przydziału . Oznacza ona, że jeśli zamawiane egzemplarze zasobu są dostępne (wolne), to są przydzielane bez żadnej zwłoki. Stan systemu, w którym przydzielono wszystkie dostępne egzemplarze, zamówione przez procesy, określany będzie jako zupełny (ang. expedient). Graf przedstawiony na slajdzie nie reprezentuje takiego stanu, gdyż jedna z dwóch jednostek zasobu Z2 pozostaje wolna, a ubiegają się o nią dwa procesy.