Slajd29

Zakleszczenia procesów współbieżnych

■    Warunkiem koniecznym dla wystąpienia zakleszczenia procesu współbieżnego jest konieczność wystąpienia ze strony tego procesu żądania równoczesnego dostępu do więcej niż jednego współdzielonego zasobu.

■    Zakleszczenie występuje wtedy, gdy proces współbieżny po wywłaszczeniu jednego z zasobów bezskutecznie usiłuje wywłaszczyć pozostałe z potrzebnych mu zasobów równocześnie nie zwalniając wywłaszczanego zasobu(ów).

■    W tym czasie każdy z zasobów, który został wywłaszczony przez zakleszczony proces współbieżny jest blokowany dla pozostałych procesów oczekujących na ten zasób.

■    Wyróżnia się zakleszczenia symetryczne, cykle zakleszczeń symetrycznych

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