Slajd30

Warunki Coffmana - Warunki konieczne dla wystąpienia zakleszczenia procesów

■    Wzajemne wykluczanie.

■    Szeregowanie bez wywłaszczania (Brak wywłaszczeń).

■    Częściowy przydział (Przetrzymywanie i oczekiwanie).

■    Wzajemne czekanie (Oczekiwanie cykliczne).

- Zapobieganie zakleszczeniom jest możliwie, jeśli że jeden lub więcej z warunków koniecznych nigdy nie będzie spełniony.

Źródło bibliograficzne: Coffman E.G., Elphick M.J., Shoshani A.: System deadiocks, Computing Surveys, 1971, pp. 67-78.

Podstawowe pojęcia programowania współbieżnego 30