Slajd37

Zagłodzenie procesu współbieżnego

Specyficznym przypadkiem nieskończonego wstrzymywania (blokowania, głodzenia) procesu jest zjawisko zagłodzenia zwane także wykluczeniem

. Przyczynązagłodzenia_procesu może być na przykład

zakleszczenie innego_procesu, które spowodowało zablokowanie zasobu, do którego usiłuje się dostać zagłodzony proces.

■ Mimo że możliwość zagłodzenia świadczy o niepoprawności programu, to często gotowi jesteśmy się z nią pogodzić (robimy tak na przykład wszędzie tam, gdzie stosuje się kolejkę priorytetową). Wynika to z faktu, że zagłodzenie jest zwykle mało prawdopodobne.

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