Podział bloków pamięci o dowolnej wielkości

Zwalnianie bloków pamięci w kolejności przydziału

Zwalnianie bloków w kolejności innej niż odwrotna do przydziału

Zmianę wielkości przydzielonych bloków

Podział bloków pamięci o skwantowanej wielkości

Zwalnianie bloków w kolejności przydziału

Zwalnianie bloków w kolejności odwrotnej do przydziału

Zastosowanie algorytmu cebuli

Przydział statycznych bloków pamięci o stałej wielkości

Wymaga zaadresowania odwołań względnych w czasie ładowania programu do pamięci

Wymaga wsparcia sprzętowego w postaci rejestru limitu

Wymaga wsparcia sprzętowego w postaci rejestru bazy

Pozwala chwilowo zlikwidować fragmentację zewnętrzną

Wymaga od procesorów aktywnego oczekiwania

Zatrzymuje procesor, jeżeli zostanie odczytane 0

Wymaga zorganizowania nieaktywnego oczekiwania

Jeżeli semafor pilnuje sekcji krytycznej to może doprowadzić do wpuszczenia do SK dwóch procesów

Powoduje podniesienie semafora

• Podniesienie semafora, jeśli żaden proces nie był na nim zawieszony

Zwiększa wartość semafora o 2

Nic nie zmienia

Co najmniej dwa procesy oczekuje na spełnienie warunku, które nie mogą zostać spełnione

Dowolna większa od zera liczba procesów oczekuje na spełnienie warunków, które nie mogą zostać spełnione

Dokładnie jeden proces oczekuje na spełnienie warunku, który nie może zostać spełniony

Dwie

Jedna

Tyle ile jest różnych warunków kontynuacji procesów plus jedna służąca wzajemnego wykluczaniu(wzajemne wykluczanie jest już z góry zrealizowane i nie potrzeba dodatkowej zmiennej dla niego)

Tyle ile jest różnych warunków kontynuacji procesów

Proces wznawiający ubiega się o region krytyczny tak jak procesy na wejściu monitora

Proces wznawiany otrzymuje SK po wyjściu procesu wznawiającego z niej

Proces wznawiający traci region krytyczny