Rozdział 5.1.3

Zakleszczenie

Nieprzerwany stan wzajemnego blokowania się zadań

Hierarchia zasobów

Ustalanie porządku dostępu do zasobów w celu uniknięcia zakleszczeń

Zasoby wspólne o dostępie wyłącznym

Zasoby uwzględnione w grafie, których dostęp jest wyłączny dla jednego procesu

Cykl oczekiwania

Warunek konieczny zakleszczenia, eliminowany poprzez hierarchi�� zasobów

Dwufazowe blokowanie

Mechanizm stosowany przez filozofów w eliminacji zakleszczeń

Współbieżność konkurencyjna

Konkurencja o zasoby między procesami

Współbieżność kooperacyjna

Współpraca procesów w dostępie do zasobów

Wzajemne wykluczanie

Zasób nie może być współdzielony

Brak wywłaszczeń

Proces posiadający zasób musi go zwolnić

Warunek przetrzymywania i oczekiwania

Zadanie czeka na zasób zajęty przez inne zadanie

Warunek cyklu oczekiwania

Istnienie cyklu zależności oczekiwania między zadaniami

Rozwiązania zakleszczeń

Działania zapobiegające, unikające, wykrywające i likwidujące zakleszczenia

Sekcje krytyczne

Obszary kodu, gdzie dostęp do zasobów jest kontrolowany

Zmienne prywatne

Zmienne dostępne tylko dla jednego procesu

Współbieżność konkurencyjna w skrypcie

Konkurencja o widelce między filozofami