>>115
タスクＡ
３．ミューテックスＡを確保
４．ミューテックスＡを開放
５．タスクＢの２が実行される程度に適当にウェイト
６．ミューテックスＡを確保
７．ミューテックスＡを開放

タスクＢ
２．ミューテックスＡを確保
３．ミューテックスＡを開放

６の後に２が実行されないようにする機構について何も言及してないから
更に付け加えると
> Bより優先順位が高いタスクが全てウェイトしたらOSがタスクBをラン状態にする。
> つまりA4で資源解放したらBが走るのではなくA7でウェイトしたらBが走る。
これでも A3 A4 A5 B2 A6 A7 B3 にできる

原因は本の類の記述が間違っているんじゃない、必要なしょりが記述されてないところ