lock blocked lock unlock lock blocked unlock unlock
優先度逆転現象 lock (blocked) lock unlock
優先度継承プロトコル lock (blocked) unlock unlock 継承優先度 6 10
CSネスト時の優先度継承プロトコル lock-r 1 (blocked) lock-r 2 (blocked) unlock-r 2 lock-r 1 unlock-r 2 継承優先度 8 10
CSネスト時の優先度継承プロトコル lock-r 1 (blocked) lock-r 2 (blocked) unlock-r 2 lock-r 1 unlock-r 2 unlock-r 1 lock-r 2 継承優先度 8 10⇒ 8とする仕組みが必要
連続ブロック unlock -r 1 unlock -r 2 unlock -r 3 lock-r 3 lock-r 1 (blocked) lock-r 2 (blocked) lock-r 3 (blocked) lock-r 2 unlock lock-r 1 unlock 継承優先度 10 10 10 unlock
CSネスト時のシーリング優先度プロトコル lock-r 2 unlock-r 2 lock-r 1 lock-r 2 8 10 8 unlock-r 1
連続ブロックの回避 unlock -r 1 unlock -r 2 unlock -r 3 lock-r 3 (blocked) lock-r 1 (blocked) lock-r 3 lock-r 2 (blocked) unlock lock-r 1 unlock 6 8 10 unlock
デッドロックの予防 lock-r 2 (blocked) 10 lock-r 1 lock-r 2 unlock-r 2 unlock-r 1
- Slides: 14