Inwersja priorytetów
Z Wikipedii
Inwersja priorytetów - zjawisko mogące występować w wielozadaniowych systemach operacyjnych takie, że w danej chwili wykonuje się inne zadanie niż powinno się wykonywać zgodnie z regułami algorytmu szeregowania.
Pojawienie się inwersji priorytetów związane jest najczęściej z dostępem zadań do zasobów chronionych przez algorytmy synchronizacji międzyzadaniowej takie jak na przykład semafory. W praktyce inwersja priorytetów to zdobycie przez zadanie będące w sekcji krytycznej pierwszeństwa w dostępie do procesora kosztem zadań o wyższych priorytetach.
[edytuj] Przykład
W systemie uruchomione są trzy procesy o identyfikatorach 1, 2 i 3, przy czym najwyższy priorytet posiada proces 1, a najniższy proces 3. Ponadto procesy 1 i 3 wykorzystują semafor jako mechanizm synchronizujący dostęp do pewnego zasobu.
Proces 3 podczas swojego wykonania uzyskuje dostęp do chronionego semaforem zasobu. Tuż po tym zostaje on wywłaszczony, po czym wykonanie rozpoczyna proces o najwyższym priorytecie - proces 1.
Proces 1 usiłuje uzyskać dostęp do zasobu chronionego przez semafor, jednak jest to niemożliwe, dopóki proces 3 nie zwolni zasobu. Wykonanie procesu 1 zostaje wstrzymane.
Algorytm szeregowania systemu operacyjnego wybiera do wykonania proces 2, proces ten zostaje wykonany do końca, gdyż posiada najwyższy priorytet spośród procesów gotowych do wykonania (gotowe do wykonania są procesy 2 i 3).
Dopiero po zakończeniu procesu 2 zostaje ponownie uruchomiony proces 3, który natychmiast po zwolnieniu zasobu zostaje wywłaszczony przez proces 1, który może kontynuować wykonanie.
W powyższym przykładzie proces 1 o wyższym priorytecie jest wykonywany dopiero po zakończeniu procesu 3 o niższym priorytecie - taka sytuacja jest nazywana inwersją priorytetów. Jako środek zaradczy stosuje się tymczasowe podniesienie priorytetu procesów wywłaszczonych, które rezerwują zasoby, do najwyższego priorytetu procesu oczekującego na te zasoby. Oryginalna wartość priorytetu zostaje im przywrócona natychmiast po zwolnieniu zasobów.
