3685666190

Zapobieganie zakleszczeniom

•    Wzajemne wykluczanie - rezygnacja z tego warunku w praktyce nie jest możliwa w systemach ze wspólną pamięcią (systemach scentralizowanych)

•    Cykl w grafie oczekiwania na zasoby

•    Brak wywłaszczania - wprowadzanie możliwości wywłaszczania, np. poprzez odbieranie udostępnionych zasobów procesowi, który żąda dostępu do zasobu zajętego przez inny proces. Rozwiązanie prowadzi jednak do niskiego wykorzystania zasobów i możliwości zagłodzenia procesów wykorzystujących dużą liczbę zasobów (małe prawdopodobieństwo skompletowania zestawu wymaganych zasobów). Biblioteki programistyczne udostępniają metody (np. trylockf)), które gwarantują niedopuszczalność sytuacji zajęcia jednego zasobu i oczekiwania na inny. W takich przypadkach zasób jest zajmowany wyłącznie, gdy jest wolny

•    Przetrzymywanie zasobu i oczekiwanie na inny - rezygnacja z przetrzymywania i oczekiwania na inny zasób może się sprowadzać do wymagania by proces otrzymywał komplet wymaganych zasobów (proces otrzymuje komplet zasobów lub żadnego). Prowadzi to do problemów jak w punkcie wyżej