優先度上限プロトコル
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2012/07/17 06:26 UTC 版)
優先度上限プロトコル(ゆうせんどじょうげんプロトコル、Priority Ceiling Protocol)とは、クリティカルセクションの間違った入れ子によって生じる優先順位の逆転によるデッドロックを防ぐための共有資源の同期プロトコルである。このプロトコルでは、各資源には優先度上限が割り当てられており、それはその資源をロックしたタスクの持ちうる最高の優先度である[1]。
- ^ Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky (September 1990). “Priority Inheritance Protocols: An Approach to Real-Time Synchronization”. IEEE Transactions on Computers 39 (9): 1175–1185. doi:10.1109/12.57058. ISSN 0018-9340 .
- ^ Alan Burns, and Andy Wellings (March 2001). Real-Time Systems and Programming Languages — Ada 95, Real-Time Java and Real-Time POSIX (3rd ed.). Addison Wesley Longmain. ISBN 0-201-72988-1 .
- ^ Priority Ceiling Protocols
- ^ RTOS Scheduling - I: Rate-Monotonic Theory
- 1 優先度上限プロトコルとは
- 2 優先度上限プロトコルの概要
固有名詞の分類
- 優先度上限プロトコルのページへのリンク