Stos zasad zasobów

Polityka zasobów stosu (SRP) to polityka alokacji zasobów stosowana w obliczeniach czasu rzeczywistego, używana do uzyskiwania dostępu do współdzielonych zasobów przy użyciu planowania z najwcześniejszym terminem . Została ona zdefiniowana przez TP Baker. SRP to nie to samo, co protokół pułapu priorytetów , który dotyczy zadań o stałym priorytecie (FP).

Funkcjonować

$\pi _{i}(T_{i})}$ zadanie ma podstawie następującego wzoru, w którym $oznacza$ zadania $Displaystyle$${\$ oznacza poziom wywłaszczania zadania i:

${\ Displaystyle D (T_ {i}) <D (T_ {j}) \ iff \ pi _ {i }(T_{i})>\pi _{i}(T_{j})}$

$, który$ ma aktualny pułap maksymalne poziomy wywłaszczania zadań, które mogą zostać zablokowane, gdy $displaystyle V}$$displaystyle R} }}$ jednostki i $\ displaystyle R$${$ jednostki ${\ displaystyle R}$ , które może wymagać w dowolnym momencie. $\ Displaystyle C_ {R} (V_ {R})}$ jest przypisany w następujący sposób:

${\ Displaystyle C_ {R} (V_ {R}) = max (\ {0 \ }\cup \{\pi (J)|V_{R}<\mu _{R}(J)\})}$

Istnieje również pułap systemowy , $który$ jest maksymalnym ze wszystkich obecnych pułapów

${\ Displaystyle \ pi '= max (\ {C_ {R} ($

Każde zadanie , które chce przejąć system, musi najpierw spełnić następujące ograniczenie: ${\ displaystyle T_ {i}}$

${\ Displaystyle \ pi '<P_ {i} (T_ {i})}$

Można to udoskonalić w celu wdrożenia systemu operacyjnego (jak w MarteOS), usuwając zasoby wielojednostkowe i definiując zasady zasobów stosu w następujący sposób

• Wszystkim zadaniom przypisany jest poziom wywłaszczania, aby zachować kolejność zadań względem siebie podczas blokowania zasobów. Zadania o najniższym względnym terminie mają przypisany najwyższy poziom wywłaszczania.
• Każdy udostępniony zasób ma powiązany poziom pułapu, który jest maksymalnym poziomem wywłaszczania wszystkich zadań, które mają dostęp do tego chronionego obiektu.
• Sufit systemu, w dowolnym momencie, jest maksymalnym aktywnym priorytetem wszystkich zadań, które są aktualnie wykonywane w systemie.
• Zadanie może wywłaszczać system tylko wtedy, gdy jego bezwzględny termin jest krótszy niż obecnie wykonywane zadanie, a jego poziom wywłaszczania jest wyższy niż bieżący pułap systemu.

Trafność

Książka Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications z 2011 roku autorstwa Giorgio C. Buttazzo zawierała sekcję poświęconą przeglądowi SRP z pracy Baker 1991.