Zásady hromadných zdrojů - Stack Resource Policy

Tento článek může vyžadovat vyčištění setkat se s Wikipedií standardy kvality. Specifický problém je: Málo informací s neformálním mluvením Prosím pomozte vylepšit tento článek jestli můžeš. (Květen 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

tento článek je sirotek, jako žádné další články odkaz na to. Prosím zavést odkazy na tuto stránku z související články; zkuste Najít odkaz nástroj pro návrhy. (Červen 2012)

The Zásady hromadných zdrojů (SRP) is alocation policy policy used in real-time computing, used for accessing shared resources when using nejbližší termín první plánování. Definoval to T. P. Baker.^[1] SRP není totéž jako Protokol prioritního stropu což je pro úkoly s pevnou prioritou (FP).

Funkce

Každému úkolu je přiřazena úroveň preemption na základě následujícího vzorce kde ${ displaystyle D (T_ {i})}$ označuje termín úkolu ${ displaystyle i}$ a ${ displaystyle pi _ {i} (T_ {i})}$ označuje preemption úroveň úkolu i:

${ displaystyle D (T_ {i}) pi _ {i} (T_ {j})}$

Každý zdroj R má aktuální strop ${ displaystyle C_ {R} (V_ {R})}$ který představuje maximum úrovní předcházení úkolům, které mohou být blokovány, pokud existují ${ displaystyle V}$ jednotky ${ displaystyle R}$ k dispozici a ${ displaystyle mu _ {R} (J)}$ je maximální jednotka ${ displaystyle R}$ že ${ displaystyle T_ {i}}$ může vyžadovat kdykoli. ${ displaystyle C_ {R} (V_ {R})}$ je přiřazen následovně:

${ displaystyle C_ {R} (V_ {R}) = max ( {0 } pohár { pi (J) | V_ {R} < mu _ {R} (J) })}$

K dispozici je také systémový strop ${ displaystyle pi '}$ což je maximum ze všech současných stropů zdrojů.

${ displaystyle pi '= max ( {C_ {R} (i) | i = 1, ..., m } pohár { pi (J_ {c}) })}$

Jakýkoli úkol ${ displaystyle T_ {i}}$ který si přeje zabránit systému, musí nejprve splnit následující omezení:

${ displaystyle pi '$

To lze vylepšit pro implementaci operačního systému (jako v MarteOS ) odstraněním prostředků s více jednotkami a definováním politiky prostředků zásobníku takto

• Všem úkolům je přiřazena úroveň preemption, aby se při zamykání prostředků zachovalo vzájemné pořadí úkolů. Nejnižším relativním termínovým úkolům je přiřazena nejvyšší úroveň preempce.
• Každý sdílený prostředek má přidruženou úroveň stropu, což je maximální úroveň předcházení všem úkolům, které přistupují k tomuto chráněnému objektu.
• Strop systému je kdykoli v čase maximální aktivní prioritou všech úkolů, které se v systému aktuálně provádějí.
• Úkol může systému předcházet pouze v případě, že jeho absolutní termín je menší než aktuálně prováděný úkol a jeho úroveň předpokladů je vyšší než aktuální strop systému.

Relevance

Kniha z roku 2011 Pevné výpočetní systémy v reálném čase: předvídatelné plánovací algoritmy a aplikace Autor: Giorgio C. Buttazzo, představoval zvláštní část k revizi SRP z práce Bakera 1991.^[2][3]

Reference