優先度に基づくプリエンプティブスケジューリングのリアルタイムOSを使用した組込みシステムにおいて，入力装置及び出力装置にアクセスする二つのタスクX，Yがある。XはYより優先度が低く，Xが資源待ち状態でない場合にYが資源待ち状態に遷移するとXが実行状態に遷移する。入力装置及び出力装置へのアクセスを排他制御するために，入力装置及び出力装置にそれぞれバイナリセマフォi及びoを用意し，X，Yを図のように実装した。このとき，デッドロックが発生するのはXの処理A，B，C，Dのうち，どの処理中にプリエンプションが発生してYが実行されたときか。ここで，Yの実行はαから行うものとし，Xの処理A，B，C，Dでは，入力装置及び出力装置へのアクセス並びにバイナリセマフォの操作は行わないものとする。