JPH0240761A - 疎結合マルチプロセッサシステムにおけるデッドロック解除方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、疎結合マルチプロセッサシステムにおいて資
源の排他制御を行うときに発生し得るデッドロックの検
出およびその解除方式に関するものである。

〔従来の技術〕

各プロセッサで固有に使用されるローカルファイル等の
ローカル資源と複数のプロセッサ間で共有されるグロー
バルフ゛アイル等のグローバル資源とが存在する疎結合
マルチプロセッサシステムにおいて使用される排他制御
方式の一つに、各プロセッサのローカル資源の排他制御
はそのプロセッサに設けたローカル排他制御部において
行い、またグローバル資源の排他制御は特定のプロセッ
サに設けたグローバル排他ｖＩ御部において行うことに
より排他制御の高速化を図ったいわゆる階層化構造の排
他制御方式がある。そして、そのような排他制御方式に
おいて、各プロセッサのタスクがローカル資源、グロー
バル資源をロックし或いはそのロック解除待ちとなるこ
とにより発生し得るデッドロックを、外部に設けたデッ
ドロック検出装置で検出する方式が提案されている（例
えば特開昭６２−１９６７６１号公報参照）。

この方式は、外部に設けたデッドロック検出装置を各プ
ロセッサと通信可能に接続し、各プロセッサのローカル
排他制御部および特定プロセッサのグローバル排他制御
部の排他制御において成るタスクが資源待ちになったと
き、プロセッサ塩。

資源待ちをしているタスクの名前、責源名、その資源を
ロックしているタスクの名前をデッドロック検出装置に
通知し、デッドロック検出装置では、今までに通知され
た上記と同様の情報から把握される現時点のローカル資
源およびグローバル資源の使用状況に照らして、今回の
資源待ちによってデッドロックが発生するか否かを調べ
、その結果を要求元のプロセッサに通知するものである
。そして、要求を出したプロセッサは、デッドロックが
発生する旨の結果を返された場合、今回資源待ちにする
タスクの実行を中断させることにより、そのタスクがロ
ックしていた資源を解放し、デッドロックを解除するも
のである。

〔発明が解決しようとする課題〕

上述した従来の方式によれば、外部に設けたデッドロッ
ク検出装置で各プロセッサのローカル資源およびグロー
バル資源の使用状況を管理することにより、システム全
体にまたがる形態のデッドロック即ちローカル資源およ
びグローバル資源の双方が関与したデッドロックをも検
出することが可能となる。しかしながら、デッドロック
検出装置が成るタスクの資源待ちにかかる情報を受ける
ことによりデッドロックを検出した場合、デッドロック
解除の為に必ずそのタスクが中断されてしまい、システ
ムにとって好ましくない事態を招来する可能性が高かっ
た。

そこで本発明の目的は、デッドロックを解除することに
よりシステムに与える影響を小さくすることができる疎
結合マルチプロセッサシステムにおけるデッドロック解
除方式を提供することにある。

〔課題を解決するための手段〕

本発明の疎結合マルチプロセッサシステムにおけるデッ
ドロック解除方式は、上記の目的を達成するために、疎
結合マルチプロセッサシステムを構成する各プロセッサ
にローカル資源のローカル排他制御部を、特定のプロセ
ッサには更にグローバル資源のグローバル排他制御部を
設け、前記ローカル排他制御部および前記グローバル排
他制御部で資源待ちが生じたとき及び資源待ちの解除が
行われたとき所定の情報を外部のデッドロック検出ｇ装
置に通知し、このデッドロック検出装置において前記ロ
ーカル資源および前記グローバル資源の使用状況を管理
することによりデッドロックの検出を行うように構成さ
れた疎結合マルチプロセッサシステムにおいて、前記ロ
ーカル排他制御部および前記グローバル排他制御部は、
資源待ちが生じたときに資源待ちとなったタスクおよび
その資源をロックしているタスクの優先度を前記所定の
情報中に含めて前記デッドロック検出装置に送出する構
成を有し、前記デッドロック検出装置は、デッドロック
の検出時、デッドロックの原因となる複数のタスクのう
ち最も優先度の低いタスクを強制終了させるタスクとし
て選択して該当するプロセッサに通知する構成を有する
。

〔作用〕

本発明の疎結合マルチプロセッサシステムにおけるデッ
ドロック解除方式においては、各プロセッサのローカル
資源に対する排他制御はそのプロセッサ内に設けられた
ローカル排他制御部が行い、各プロセッサで共有される
グローバル資源に対する排他制御は特定のプロセッサ内
に設けられたグローバル排他制御部が行い、それらの排
他制御部の制御において資源待ちが生じたとき、資源待
ちとなったタスク及びその資源をロックしているタスク
の優先度を含む所定の情報がデッドロック検出装置に通
知され、これに応答してデッドロック検出装置が、今ま
でのローカル資源およびグローバル資源の使用状況に照
６してデッドロックの検出を行い、若しデッドロックが
発生するのであれば、デッドロックの原因となる複数の
タスクのうち最も優先度の低いタスクを強制終了させる
タスクとして選択して該当するプロセッサに通知する。

〔実施例〕

次に、本発明の実施例について図面を参照して詳細に説
明する。

第２図を参照すると、本発明にかかるデッドロック解除
方式を適用した疎結合マルチプロセッサシステムの一実
施例は、ｎ台のプロセッサ１１〇−１〜１１０−ｎを含
み、各プロセッサ１１０−１〜１１０−ｎは外部のデッ
ドロック検出装置１００にチャネルで接続されている。

各プロセッサ１１０−１〜１１０−ｎは、自プロセッサ
内において閉じて使用されるローカルファイル１２０−
１〜１２０−ｎの排他制御を行うローカルファイル排他
制御部１２５−１〜１２５−ｎを具備し、更にプロセッ
サ１１０−２は、複数のプロセッサ間で共有されるグロ
ーバルファイル１３０の排他制御を行うグローバルファ
イル排他制御部１３５を具備している。

各プロセッサ１１０−１〜１１０−ｎ上のタスクは、自
プロセッサのローカルファイル１２０−１〜１２０−ｎ
をアクセスするときは自プロセッサのローカルファイル
排他制Ｗ６１Ｓ１２５−１〜１２５−ｎに対しロック要
求を出す、また、プロセッサ１１０−２上のタスクがグ
ローバルファイル１３０をアクセスするときは、自プロ
セッサ内に存在するグローバルファイル排他制御部１３
５に対しロック要求を出す、更に、プロセッサ１１０−
２を除く他のプロセッサ１１０−１．・・・、１１０−
ｎ上のタスクがグローバルファイル１３０をアクセスす
るときは、プロセッサ間通信１４０を使用して、プロセ
ッサ１１０−２内のグローバルファイル排他制御部１３
５に対しロック要求を出す。

各プロセッサ１１０−１〜１１０−ｎのローカルファイ
ル排他制御部１２５−１〜１２５−ｎは、自プロセッサ
のローカルレフ１イル１２０−１〜１２０−ｎの使用状
況を管理しており、自プロセッサ上のタスクからロック
要求が為されると、現在のローカルファイル１２０−１
〜１２０−ｎの使用状況に照らしてロックすることがで
きるか或いはロック待ちをさせるかを判断し、その結果
に応じて現在の使用状況を示す管理情報を更新すると共
に結果を要求元のタスクに通知する。そして、ロック待
ちをさせた場合、自プロセッサ名と、ロック待ちをさせ
たタスクの名前及びその優先度と、ロック対象となる資
源の名前と、その資源をロックしているタスクの名前及
びその優先度とを含むデッドロックチエツク要求を自プ
ロセッサからデッドロック検出装置１００に送出する。

また、自プロセッサ上のタスク等からロック解除要求が
為されると、ロック解除要求で示された資源をそのタス
クから解放すると共に、その資源のロック待ちをしてい
るタスクが存在すれば、その待ちを解除してその資源を
割り当て、同時に現在のローカルファイル１２０−１＝
１２０−ｎの使用状況を更新する。そして、成るタスク
の待ちを解除すると、自プロセッサ名と、待ちが解除し
たタスクの名前と、待ちの解除した資源の名前と、その
資源のロックを解除したタスクの名前とを含む消去要求
を自プロセッサからデッドロック検出装置１００に送出
する。

またプロセッサ１１０−２のグローバルファイル排他制
御部１３５は、グローバルファイル１３０の使用状況を
管理しており、自プロセッサ１２０−２上のタスクから
或いはプロセッサ間通信１４０を介して他プロセツサか
らロック要求が為されると、現在のグローバルファイル
１３０の使用状況に照らしてロックすることができるか
或いはロック待ちをさせるかを判断し、その結果に応じ
て現在の使用状況を示す管理情報を更新すると共に結果
を要求元に通知する。そして、ロック待ちをさせた場合
、自プロセッサ名と、ロック待ちをさせたタスクの名前
（当該タスクが動作するプロセッサ塩を含む）及びその
優先度と、ロック対象となる資源の名前と、その資源を
ロックしているタスクの名前（当該タスクが動作するプ
ロセッサ塩を含む）及びその優先度とを含むデッドロッ
クチエツク要求を自プロセッサ１１０−２からデッドロ
ック検出装置１００に送出する。また、自プロセッサ１
２０−２上のタスク等やプロセッサ間通信１４０を介し
て他プロセツサからロック解除要求が為されると、ロッ
ク解除要求で示された資源をそのタスクから解放すると
ともに、その資源のロック待ちをしているタスクが存在
すれば、その待ちを解除してその資源を割り当て、同時
に現在のグローバルファイル１３０の使用状況を更新す
る。そして、成るタスクの待ちを解除すると、自プロセ
ッサ名と、待ちが解除したタスクの名前（当該タスクが
動作するプロセッサ塩を含む）と、待ちの解除した資源
の名前と、その資源のロックを解除したタスクの名前（
当該タスクが動作するプロセッサ塩を含む）とを含む消
去要求を自プロセッサからデッドロック検出装置１００
に送出する。

第１図を参照すると、第２図に示されたデッドロック検
出装置１００の一構成例は、デッドロックチエツク制御
部２００．入力制御部２１０．解析部２２０．情報記憶
部２３０および出力制御部２４０を含んでいる。プロセ
ッサ１１０−１〜１１０−ｎから送られてきたデッドロ
ックチエツク要求あるいは消去要求は、入力制御部２１
０で受は取られ、解析部２２０へ送られる。解析部２２
０は、受信した情報の解析を行い、解析した情報と解析
結果をデッドロックチエツク制御部２００へ送る。デッ
ドロックチエツク制御部２００は、情報に誤りがあるな
らばその旨を示すステータスを作成し、このステータス
を出力制御部２４０を介して要求元のプロセッサに送る
。

他方、情報に誤りがない場合、デッドロックチエツク要
求ならば、今回のデッドロックチエツク要求中に含まれ
るロック待ちをさせたタスクの名前及びその優先度、ロ
ック対象となる資源の名前。

その資源をロックしているタスクの名前及びその優先度
に基づいて、情報記憶部２３０中に必要な情報を記憶し
てローカルファイル１２０−１〜１２０−ｎおよびグロ
ーバルファイル１３０の使用状況を更新し、デッドロッ
クチエツク要求を出したプロセッサに対し待ちの終了ス
テータスを返す。

また、以下で詳しく説明するデッドロックチエツクを行
う、他方、消去要求ならば、今回の消去要求中に含まれ
る待ちが解除したタスクの名前、待ちの解除した資源の
名前、その資源のロックを解除したタスクの名前に基づ
き、情報記憶部２３０の該当する情報を消去して現在の
使用状況を更新し、その結果を示すステータスを作成し
て出力制御部２４０を介して要求元の、プロセッサに送
出する。

第３図および第４図は第１図に示された情報記憶部２３
０のそれぞれ異なる時点の記憶内容例を示して右り、以
下、本実施例の動作を具体例を挙げて説明する。

今、プロセッサ１１０−２上のタスクＡがグローバルフ
ァイル１３０中の資源αをロックして動作し、プロセッ
サ１１０−１上のタスクＢがグローバルファイル１３０
中の資源βをロックして動作しているとする。このとき
、プロセッサ１１０−１上のタスクＢが資源αのロック
要求をグローバルファイル排他制御部１３５に出すと、
資源αはタスクＡによってロックさ′れているので、タ
スクＢは資源αのロックが解除されるまで待たされるこ
とになる。このとき、グローバルファイル排他制御部１
３５は、自プロセッサ名＝１１０−２゜ロック待ちをさ
せたタスクＢの名前及びその優先度Ｐｂ、資源αの名前
、その資源をロックしているタスクＡの名前及びその優
先度Ｐａを含むデッドロックチエツク要求を自プロセッ
サ１１０−２から−°デッドロック検出装置１００に送
出する。

このデッドロックチエツク要求は、デッドロック検出装
置１００の入力制御部２１０．解析部２２０を介してデ
ッドロックチエツク制御部２００に加えられ、デッドロ
ックチエツク制御部２００は情報の誤りチエツクを行っ
た後、今回のデッドロックチエツク要求に基づき情報記
憶部２３０に以下の如き操作を行う（第３図参照）。

■資源αをロックしているタスクＡに対応するタスクエ
ントリ３３１を作成してタスクインデックステーブル３
２０におけるタスクＡの名前のハツシュ値に相当するエ
ントリにリンクする。ここで、タスクＡの優先度Ｐ、ａ
はタスクエントリ３３１において保持される。なお、タ
スクインデックステーブル３２０はタスクＡが動作する
プロセッサ１１０−２に対し一つ作られるものであり、
プロセッサ１１０−２に対応するプロセッサテーブル３
１０にリンクされている。また、このプロセッサテーブ
ル３１０は、その作成時にデッドロックロックチエツク
エントリ３００にリンクされている。

■資源αを待っているタスクＢに対応するタスクエント
リ３３２を作成してタスクインデックステーブル３２１
におけるタスクＢの名前のハツシュ（直に相当するエン
トリにリンクする。タスクＢの優先度ｐｂは上記のタス
クエントリ３３２において保持される。なお、タスクイ
ンデックステーブル３２１はタスクＢが動作するプロセ
ッサ１１０−１に対し一つ作られるものであり、プロセ
ッサ１１０−１に対応するプロセッサテーブル３１１に
リンクされ、このプロセッサテーブル３１１は、その作
成時にプロセッサテーブル３１０にリンクされている。

■資源αに対応するリソースエントリ３５０を作成して
リソースインデックステーブル３４０における資源αの
名前のハツシュ値に相当するエントリにリンクする。こ
こで、リソースインデックステーブル３４０はデッドロ
ックチエツクテーブルエントリ３００にリンクされるテ
ーブルである。

次に、ロック中を示すインデイケータ■を持つデッドロ
ックチエツクエントリ３６０を作成してリソースエント
リ３５０にリンクし、且つ、このデッドロックチエツク
エントリ３６０をタスクエントリ３３１にリンクするこ
とにより、タスクＡが資源αをロック中である状態を管
理する。

■資源待ちのインデイケータ［有］を持つデッドロック
ロックチエツクエントリ３６１を作成してデッドロック
チエツクエントリ３６０およびタスクエントリ３３２に
リンクし、且つ、タスクエンドＩＪ　３３２とリソース
エントリ３５０とをリンクすることにより、タスクＢが
資源αを待っている状態を管理する。

この後、デッドロックチエツク制御部２００は今回のデ
ッドロックチエツク要求を出したプロセッサ１１０−２
に対し待ちのステータスの応答を返し、次いでデッドロ
ックチエツクテーブルエントリ３００にリンクされてい
る各テーブル等をサーチすることによりデッドロックの
検出を行う。

このデッドロックの検出は、デッドロックチエツクテー
ブルエントリ３００を出発点としてリンクをたどり、同
一のリソースエントリに再びたどりつくか否かにより行
うが、今の例では、デッドロックは検出されない。

さて、その後、プロセッサ１１０−２上のタスクＡが資
源βのロック要求をグローバルファイル排他制御部１３
５に出すと、資源βはタスクＢによってロックされてい
るので、タスクＡは資源βのロックが解除されるまで待
たされることになり、自プロセッサ名−１１０−２，ロ
ック待ちをさせたタスクＡの名前及びその優先度Ｐａ、
資源βの名前と、その資源βをロックしているタスクＢ
の名前及びその優先度ｐｂを含むデッドロックチエツク
要求がプロセッサ１１０−２からデッドロック検出装置
１００に送出される。

このデッドロックチエツク要求に基づきデッドロック検
出装置１００のデッドロックチエツク制御部２００は、
待ちのステータスをプロセッサ１１０−２に返した後、
情報記憶部２３０に対し以下の如き操作を行う（第４図
参照）。

■、■資源資源口ックしているタスクＢに対応するタス
クエントリ３３２および資源βを待っているタスクＡに
対応するタスクエントリ３３１が既に存在するので、次
の処理に移る。

■資源βに対応するリソースエントリ３５１が既に作成
されているので、ロック中を示すインディケータ■を持
つデッドロックチェックエントリ３６２を作成してリソ
ースエントリ３５１にリンクし、且つ、このデッドロッ
クチェックエントリ３６２をタスクエントリ３３２にリ
ンクすることにより、タスクＢが資源βをロック中であ
る状態を管理する． ■資源待ちを示すインディケータ［有］を持つデッドロ
ックロックチェックエントリ３６３を作成してデッドロ
ックチェックエントリ３６２およびタスクエントリ３３
１にリンクし、且つ、タスクエントリ３３１とリソース
エントリ３５１とをリンクすることにより、タスクＡが
資源βを待っている状態を管理する。

この後、デッドロックチェック制御部２００はデッドロ
ックチェックテーブルエントリ３００にリンクされてい
る各テーブル等をサーチすることにより、同一リソース
エントリに戻るか否かを調べ、同一リソースエントリに
戻った場合、デッドロックになっていると判断する．今
の場合、デッドロックチェック制御部２００は、デッド
ロックチェックテーブルエントリ３００→リソースイン
デックステーブル３４０→リソースエントリ３５０→リ
ソースエントリ３５１→デッドロックチェックエントリ
３６２→タスクエントリ３３２→リソースエントリ３５
０→デッドロックチェックエントリ３６０→タスクエン
トリ３３１→リソースエントリ３５１のようにリンクを
たどった時点で、同一リソースエントリ３５１に戻るの
で、デッドロックになっていると判断する。

デッドロックチェック制御部２００は、デッドロソクを
検出すると、デッドロックの原因となる複数のタスクの
うち最も優先度の低いタスクを強制終了させるタスクと
して選択する．今、タスクＢの優先度Ｐｂがタスク八の
優先度Ｐａより高いとすると、デッドロックチェック制
御部２００はデッドロックの原因となるタスクＡ，Ｂの
うち優先度の低いタスクＡを強制終了させるタスクとし
て選択し、出力制御部２４０を介してそのタスクＡが動
作するプロセッサ１１０−２に対しアテンシ四ン（非同
期割込み）でタスクＡの為にデッドロフクが発生したこ
とを通知する。この通知を受けたプロセッサ１１０−２
はタスクＡを強制終了させると共にタスクＡがロックし
ていた全ての資源の解放をグローバルファイル排他制御
部１３５およびローカルファイル排他制御部１２５−２
に要求する． これに応じてローカルファイル排他制御部１２５−２お
よびグローバルファイル排他制御部ｌ３５は、自己が管
理しているローカルファイル１２０−２およびグローバ
ルファイル１３０の使用状況情報のうちタスクＡに関連
する情報を消去することにより使用状況の更新を行う．
これによって、タスクＡがロックしていた資源αが解放
されるので、グローバルファイル排他制御部１３５はタ
スクＢのロック待ちを解除することになる．これにより
、タスクＢは待ちが解除されて動作を続けることができ
る．そして、ロック待ちを解除したので、自プロセッサ
名−１１０−２，待ちが解除したタスクＢの名前．待ち
の解除した資源αの名前，その資源のロックを解除した
タスクＡの名前を含む消去要求をデ７ドロンク検出装置
１００に送出する． この消去要求を受けたデッドロック検出装置ｌ００のデ
ッドロックチェック制御部２００は、不要となった情報
を消去する．この情報の消去は、デッドロックチェック
テーブルエントリ３００からリソースインデックステー
ブル３４０→リソースエントリ３５０→リソースエント
リ３５１へとリンクをたどり、例えばリソースエントリ
３５１からデッドロックチェックエントリ３６２へのリ
ンク等を消去することにより行う．また、不要となった
エントリ等は消去する． また、グローバルファイル排他制御部１３５において、
タスクＡに関連する情報を消去すると、タスクＢの待ち
が解除されると同時に、強制終了されたタスクＡについ
ても恰もその待ちが解除されたと同様の状況が発生する
．この為、グローバルファイル排他制御部１３５は、自
プロセッサ名−１１０−２，待ちが解除したタスクへの
名前。

待ちの解除した資源βの名前、その資源のロックを解除
したタスクＢの名前を含む消去要求をデッドロック検出
装置１００に送出する。これに応じてデッドロック検出
装置１００のデッドロックチエツク制御部２００は、情
報記憶部２３０中の関連する情報の消去を行う。

以上のように、本発明においては、デッドロック検出装
置１００が成るタスクの資源待ちにかかる情報を受ける
ことにより、その時点でデッドロックを検出した場合、
ニ律にそのタスクを強制終了させるタスクとするのでは
なく、デッドロックの原因となる複数のタスクのうち優
先度の最も低いタスクを強制終了させるタスクとして決
定するので、優先度の高いタスクが強制終了させられる
ことが防止される。

以上本発明の実施例について説明したが、本発明は以上
の実施例にのみ限定されず、その他各種の付加変更が可
能である０例えば、前述した実施例では、デッドロック
チエツク要求があった場合、その要求で示される情報を
情報記憶部２３０に登録し要求元に待ちのステータスを
返してから、デッドロックの検出を行ったが、次のよう
に構成しても良い、即ち、今回の要求で示される情報と
それまでの情報記憶部２３０の登録内容とからデッドロ
ックの検出を行い、デッドロックが生じなければ、その
要求で示される情報を情報記憶部２３０に登録すると共
に待ちのステータスを返し、デッドロックが生じており
且つ今回待たせるタスクの優先度が最も低ければ、情報
の登録を行うことなくデンドロツクが発生した旨を通知
し、デッドロックが生じており且つ今回待たせるタスク
の優先度が最も低くなければ、情報の登録を行うと共に
待ちのステータスを要求元に返すと共に強制終了させる
タスクにかかるプロセッサにデッドロックが発生した旨
を通知する。

〔発明の効果〕

以上説明したように、本発明によれば、デッドロック検
出装置においてタスクの優先度を含めてローカル資源お
よびグローバル資源の使用状況を管理し、成るタスクの
資源待ちにかかる情報をプロセッサから受けることによ
りデッドロックを検出した場合、そのデッドロックの原
因となった複数のタスクのうち最も優先度の低いタスク
を強制終了の対象とするタスクとして決定するので、デ
ッドロックを解除することによりシステムに与える影響
を小さく抑えることが可能となる。

【図面の簡単な説明】

第１図は本発明で使用するデンドロツタ検出装置の構成
例を示すブロック図、 第２図は本発明を適用した疎結合マルチプロセッサシス
テムの構成例を示すブロック図および、第３図および第
４図はデッドロック検出装置１００の情報記憶部２３０
の内容例を示す図である。 図において、 １００・・・デッドロック検出装置、１１０−１〜１１
０−ｎ−・・プロセッサ、１２０−１〜１２０−ｎ・・
・ローカルファイル、１２５−１〜１２５−ｎ・・・ロ
ーカルファイル排他制御部、１３０・・・グローバルフ
ァイル、１３５・・・グローバルファイル排他制御部、
１４０・・・プロセッサ間通信、２００・・・デ・２ド
ロツクチ工ツク制御部、２１０・・・入力制御部。 ２２０・・・解析部、２３０・・・情報記憶部、２４０
・・・出力制御部、３００・・・デッドロックチエツク
テーブルエントリ、３１０，３１１・・・プロセッサテ
ーブル、３２０．３２１・・・タスクインデックステー
ブル、３３１，３３２・・・タスクエントリ、３４０・
・・リソースインデックステーブル、３５０，３５１・
・・リソースエントリ、３６０〜３６３・・・デッドロ
ックチエツクエントリ。

Claims (1)

1. 【特許請求の範囲】 　疎結合マルチプロセッサシステムを構成する各プロセ
   ッサにローカル資源のローカル排他制御部を、特定のプ
   ロセッサには更にグローバル資源のグローバル排他制御
   部を設け、前記ローカル排他制御部および前記グローバ
   ル排他制御部で資源待ちが生じたとき及び資源待ちの解
   除が行われたとき所定の情報を外部のデッドロック検出
   装置に通知し、該デッドロック検出装置において前記ロ
   ーカル資源および前記グローバル資源の使用状況を管理
   することによりデッドロックの検出を行うように構成さ
   れた疎結合マルチプロセッサシステムにおいて、 前記ローカル排他制御部および前記グローバル排他制御
   部は、資源待ちが生じたときに資源待ちとなったタスク
   およびその資源をロックしているタスクの優先度を前記
   所定の情報中に含めて前記デッドロック検出装置に送出
   する構成を有し、且つ、 前記デッドロック検出装置は、デッドロックの検出時、
   デッドロックの原因となる複数のタスクのうち最も優先
   度の低いタスクを強制終了させるタスクとして選択して
   該当するプロセッサに通知する構成を有することを特徴
   とする疎結合マルチプロセッサシステムにおけるデッド
   ロック解除方式。