平成23年度春期 エンベデッドシステムスペシャリスト試験 午前II 問9

【解説】

デッドロックの条件
デッドロックが発生するには、以下の条件が満たされる必要があります。
– 二つ以上のタスクが互いに必要なリソースを占有し、そのリソースの解放を待っている。
– タスクXが入力装置用セマフォを取得した後、出力装置用セマフォを取得しようとする間に、タスクYが出力装置用セマフォを取得し、さらに入力装置用セマフォを取得しようとする。

具体的なタイミング
– タスクXがBのタイミングで入力装置用セマフォを保持したまま出力装置用セマフォを取得しようとする。
– 同時にタスクYがαから処理を開始し、出力装置用セマフォを取得した後、入力装置用セマフォを取得しようとする。
– この結果、タスクXとタスクYが互いに相手のリソースの解放を待ち、デッドロックが発生する。