**論文:**
A Stack-Based Resource Allocation Policy for Realtime Processes

Stack-Based Resource Allocation Policy 以下簡稱SRP

重點:
1.SRP可以適用EDF(最早截止時間優先排程)
2.PCP解決優先權反轉的能力不會比SRP強
3.SRP具有提早阻塞的效果，對於減少Context Switches(任務切換次數)有幫助

---

# Context Swithes示意圖
**PCP**
**SRP**

---
# SRP介紹


**Preemption Level (搶佔等級，符號:πi):**
πi ∝ Di, 任務Ti 有越長的截止時間 Di 就有越低的搶佔等級 (是一個靜態的數值)。
**Resource ceiling(資源上限):**
資源的搶佔等級是可以存取該資源的所有任務中的最高搶佔等級。
注意：(i) 這與每個資源相關聯 (ii) 這是靜態的。
`紅色的資源天花板是3，黃色的資源天花板是2。`
**System Ceiling(系統上限)：**
目前被封鎖的資源中最高的資源上限。
注意：（i）這不是與每個資源相關聯，而是與系統相關聯（ii）這是一個動態參數，每次存取或釋放資源時都可以變更。

如果一個任務具有最高優先級，則它可以搶佔另一個任務；其搶佔等級高於系統上限 (πi>∏s) 。
任務 T3 不會被 T2 搶佔，即使它不共享紅色資源 (π2<∏s）。