JPH1131080A - 動的ロックのデッドロック検出方法及び方式 - Google Patents
動的ロックのデッドロック検出方法及び方式Info
- Publication number
- JPH1131080A JPH1131080A JP9202471A JP20247197A JPH1131080A JP H1131080 A JPH1131080 A JP H1131080A JP 9202471 A JP9202471 A JP 9202471A JP 20247197 A JP20247197 A JP 20247197A JP H1131080 A JPH1131080 A JP H1131080A
- Authority
- JP
- Japan
- Prior art keywords
- lock
- deadlock
- resource
- resources
- serialization
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【課題】資源の数が動的に変動するような多重プログラ
ミング環境の計算機システムにおいて、資源に対する逐
次化要求時に発生するデッドロックの完全な検出を、シ
ステムの性能を損なうことなく実現する方式の提供。 【解決手段】システム運用中にロック待ちが発生したと
きに、初めて、手続と資源の要求と取得の関係を生成
し、この要求と取得の関係に循環が発生していないかチ
ェックすることで、デッドロックの検出を行う。
ミング環境の計算機システムにおいて、資源に対する逐
次化要求時に発生するデッドロックの完全な検出を、シ
ステムの性能を損なうことなく実現する方式の提供。 【解決手段】システム運用中にロック待ちが発生したと
きに、初めて、手続と資源の要求と取得の関係を生成
し、この要求と取得の関係に循環が発生していないかチ
ェックすることで、デッドロックの検出を行う。
Description
【０００１】
【発明の属する技術分野】本発明は、デッドロック検出
方法及び回避方法に関し、特に、多重プログラミングの
計算機システムにおいて、動的に変動する資源の排他制
御時に発生するデッドロックの検出方法及び方式に関す
る。
方法及び回避方法に関し、特に、多重プログラミングの
計算機システムにおいて、動的に変動する資源の排他制
御時に発生するデッドロックの検出方法及び方式に関す
る。
【０００２】
【従来の技術】以下、逐次化要求を実現するための排他
制御機構で、手続が資源を排他的に要求することを「ロ
ックする」、手続が資源の排他的な要求を止めることを
「アンロックする」、手続が資源を排他的に占有してい
る状態を「ロック状態である」という。
制御機構で、手続が資源を排他的に要求することを「ロ
ックする」、手続が資源の排他的な要求を止めることを
「アンロックする」、手続が資源を排他的に占有してい
る状態を「ロック状態である」という。
【０００３】多重プログラミング環境の計算機システム
において、図７（Ａ）に示すように、手段Ａが資源１を
ロックしている最中に資源２のロックを待ち、手段Ｂが
資源２をロックしている最中に資源１のロックを待つと
いう具合に、手続と資源の要求と取得の関係に循環が発
生すると、システムはハングアップ状態となる。このよ
うな状態を「デッドロック」と呼ぶ。
において、図７（Ａ）に示すように、手段Ａが資源１を
ロックしている最中に資源２のロックを待ち、手段Ｂが
資源２をロックしている最中に資源１のロックを待つと
いう具合に、手続と資源の要求と取得の関係に循環が発
生すると、システムはハングアップ状態となる。このよ
うな状態を「デッドロック」と呼ぶ。
【０００４】一般には、逐次化要求を実現するために、
各々の資源に一対一で対応するロックが存在している。
前述のデッドロック状態は、資源１に対応するロック１
と、資源２に対応するロック２と、手続Ａが資源１を取
得した状態で資源２を要求していることを示す順序関係
（ロック１からロック２へのリンク）と、手続Ｂが資源
２を取得した状態で資源１を要求していることを示す順
序関係（ロック２からロック１へのリンク）を使って、
図７（Ｂ）に示すように、モデル化することができる。
このモデルでは、ロック間の順序関係に循環が発生する
とデッドロックが生じたことになる。
各々の資源に一対一で対応するロックが存在している。
前述のデッドロック状態は、資源１に対応するロック１
と、資源２に対応するロック２と、手続Ａが資源１を取
得した状態で資源２を要求していることを示す順序関係
（ロック１からロック２へのリンク）と、手続Ｂが資源
２を取得した状態で資源１を要求していることを示す順
序関係（ロック２からロック１へのリンク）を使って、
図７（Ｂ）に示すように、モデル化することができる。
このモデルでは、ロック間の順序関係に循環が発生する
とデッドロックが生じたことになる。
【０００５】このようなデッドロックが発生することを
防ぐために、従来から様々な方法が取られてきた。デッ
ドロックの完全な検出方法は、前述の「手続と資源の要
求と取得の関係情報」を、ロック時とアンロック時に毎
回更新し、この関係に循環が発生していないかチェック
するというものである。
防ぐために、従来から様々な方法が取られてきた。デッ
ドロックの完全な検出方法は、前述の「手続と資源の要
求と取得の関係情報」を、ロック時とアンロック時に毎
回更新し、この関係に循環が発生していないかチェック
するというものである。
【０００６】図７（Ｃ）では、手続Ａが資源１と資源２
を取得した状態で資源３を要求し、手続きＢが資源３と
資源４を取得した状態で資源５を要求し、手続Ｃが資源
５を取得した状態で資源２を要求している。この場合、
手続Ｃが資源２を要求した段階で循環が発生し、デッド
ロックを検出することができる。この方式では、デッド
ロック発生の検出に必要十分な情報が得られるものの、
ロックとアンロックに大きなコストがかかり、性能を要
求される場面での利用は現実的ではなかった。
を取得した状態で資源３を要求し、手続きＢが資源３と
資源４を取得した状態で資源５を要求し、手続Ｃが資源
５を取得した状態で資源２を要求している。この場合、
手続Ｃが資源２を要求した段階で循環が発生し、デッド
ロックを検出することができる。この方式では、デッド
ロック発生の検出に必要十分な情報が得られるものの、
ロックとアンロックに大きなコストがかかり、性能を要
求される場面での利用は現実的ではなかった。
【０００７】これに対して、一般によく用いられるデッ
ドロック検出方法は、まず予め全ての資源（すなわち対
応するロック）に順序関係を与えておき、多重に資源を
ロックする際にこの順序にしたがってロックするという
制限を設けて、逆純にロックをとろうとした時にデッド
ロックを検出したとみなす、というものである。
ドロック検出方法は、まず予め全ての資源（すなわち対
応するロック）に順序関係を与えておき、多重に資源を
ロックする際にこの順序にしたがってロックするという
制限を設けて、逆純にロックをとろうとした時にデッド
ロックを検出したとみなす、というものである。
【０００８】図７（Ｄ）では、予め資源に、 資源１＜資源２＜資源３＜資源４＜資源５ という順序関係を与えておき、ロック時にこの順番にロ
ックされていることをチェックする。
ックされていることをチェックする。
【０００９】この場合、手続Ｃが資源５を取得した状態
で資源２を要求したところで、デッドロックが検出され
る。この方式では、ロック時に順序をチェックするだけ
なのでコストが少なくてすみ、デッドロック検出機構そ
のものも単純で簡単に実現できる。しかしながら、実際
には、デッドロックが発生しないような場合まで、デッ
ドロックと検出している点や、予め資源の総数を決めて
おく必要があるため、システム運用中に動的に資源が増
加するような場合に適用することはできず、必ずしも柔
軟なロック機構とはいえない。
で資源２を要求したところで、デッドロックが検出され
る。この方式では、ロック時に順序をチェックするだけ
なのでコストが少なくてすみ、デッドロック検出機構そ
のものも単純で簡単に実現できる。しかしながら、実際
には、デッドロックが発生しないような場合まで、デッ
ドロックと検出している点や、予め資源の総数を決めて
おく必要があるため、システム運用中に動的に資源が増
加するような場合に適用することはできず、必ずしも柔
軟なロック機構とはいえない。
【００１０】なお、例えば特開昭６１−５１２４５号公
報には、ある資源に対して使用権を現に有しているプロ
セスと前記資源に対して逐次化要求を発行して待ち状態
に入る別異のプロセスとの関係を定めておき、資源に対
する逐次化要求が発行される毎に前記関係を調整してデ
ッドロックの発生を検出するようにした、資源の逐次化
要求におけるデッドロック検出方法が提案されている。
報には、ある資源に対して使用権を現に有しているプロ
セスと前記資源に対して逐次化要求を発行して待ち状態
に入る別異のプロセスとの関係を定めておき、資源に対
する逐次化要求が発行される毎に前記関係を調整してデ
ッドロックの発生を検出するようにした、資源の逐次化
要求におけるデッドロック検出方法が提案されている。
【００１１】
【発明が解決しようとする課題】前述したように、従来
のデッドロック検出方式においては、完全なデッドロッ
クの検出を実現する場合、デッドロックの検出そのもの
に大きなコストがかかり、オペレーティングシステムな
ど性能が要求される場面に適用することが困難である、
という問題点を有している。
のデッドロック検出方式においては、完全なデッドロッ
クの検出を実現する場合、デッドロックの検出そのもの
に大きなコストがかかり、オペレーティングシステムな
ど性能が要求される場面に適用することが困難である、
という問題点を有している。
【００１２】その理由は、完全なデッドロックの検出を
行うためには、ロックとアンロックの度に、毎回、手続
と資源の要求と取得の関係情報を更新して、全ての関係
について循環が発生していないかどうかをチェックしな
ければならない、ためである。
行うためには、ロックとアンロックの度に、毎回、手続
と資源の要求と取得の関係情報を更新して、全ての関係
について循環が発生していないかどうかをチェックしな
ければならない、ためである。
【００１３】次にデッドロック検出に要するコストを抑
えるために予め資源に優先順位を与えるという従来方式
においては、不必要に資源への要求を制限してしまって
いる、という問題点を有している。
えるために予め資源に優先順位を与えるという従来方式
においては、不必要に資源への要求を制限してしまって
いる、という問題点を有している。
【００１４】その理由は、デッドロックにならない場合
までデッドロックとして検出する場合がある、ためであ
る。
までデッドロックとして検出する場合がある、ためであ
る。
【００１５】また、資源の数が動的に変動する場合に対
応することができない、という問題点も有している。
応することができない、という問題点も有している。
【００１６】その理由は、資源と手続きの関係のうち、
手続きの発生する時間的側面を無視して、資源同士の関
係だけから、デッドロックを検出しようとしている、た
めである。
手続きの発生する時間的側面を無視して、資源同士の関
係だけから、デッドロックを検出しようとしている、た
めである。
【００１７】したがって、本発明は、上記問題点に鑑み
てなされたものであって、その目的は、資源の数が動的
に変動するような多重プログラミング環境の計算機シス
テムにおいて、資源に対する逐次化要求時に発生するデ
ッドロックの完全な検出を、システムの性能を損なうこ
となく実現する方式を提供することにある。
てなされたものであって、その目的は、資源の数が動的
に変動するような多重プログラミング環境の計算機シス
テムにおいて、資源に対する逐次化要求時に発生するデ
ッドロックの完全な検出を、システムの性能を損なうこ
となく実現する方式を提供することにある。
【００１８】
【課題を解決するための手段】前記目的を達成するた
め、本発明のデッドロック検出方法は、システム運用中
にロック待ちが発生したときに、初めて手続と資源の要
求と取得の関係を生成し、この要求と取得の関係に循環
が発生しているかをチェックして、デッドロックの検出
を行う、というものである。
め、本発明のデッドロック検出方法は、システム運用中
にロック待ちが発生したときに、初めて手続と資源の要
求と取得の関係を生成し、この要求と取得の関係に循環
が発生しているかをチェックして、デッドロックの検出
を行う、というものである。
【００１９】また、本発明のデッドロック検出方式は、
資源の数が動的に変動するような多重プログラミング環
境の計算機システムにおいて、プロセスによる逐次化要
求の対象となる資源と、プロセスの資源に対する逐次化
要求を実現するために前記資源と一対一に対応するロッ
クを動的に生成するロック生成手段と、実際にプロセス
が資源をロックするためのロック手段であって、プロセ
スがどのような順番で資源への逐次化要求を行ったかを
示すプロセスからロックへ、さらにロックからロックへ
と張られたリンクで構成されるロックリスロックリスト
に、ロックを追加するロックリスト挿入手段と、プロセ
スの資源に対するロックの順序関係を生成する順序関係
生成手段と、デッドロックの検出を行うデッドロック検
出手段と、を備えたロック手段と、ロックを解放するア
ンロック手段と、前記資源が消去した場合、生成したロ
ックを消去するロック消去手段と、を備え、任意のプロ
セスがある資源に対して逐次化要求を行った際に、前記
資源に対応したロックが取得できずロック待ちが発生し
た場合に、前記順序関係生成手段にて、前記プロセスか
らリンクされているロックリストをもとに、ロックの順
序関係を表すロック順序関係情報に反映し、前記デッド
ロック検出手段にて、前記ロック順序関係情報に循環が
発生していないかどうかをチェックすることでデッドロ
ックを検出する、ことを特徴とする。
資源の数が動的に変動するような多重プログラミング環
境の計算機システムにおいて、プロセスによる逐次化要
求の対象となる資源と、プロセスの資源に対する逐次化
要求を実現するために前記資源と一対一に対応するロッ
クを動的に生成するロック生成手段と、実際にプロセス
が資源をロックするためのロック手段であって、プロセ
スがどのような順番で資源への逐次化要求を行ったかを
示すプロセスからロックへ、さらにロックからロックへ
と張られたリンクで構成されるロックリスロックリスト
に、ロックを追加するロックリスト挿入手段と、プロセ
スの資源に対するロックの順序関係を生成する順序関係
生成手段と、デッドロックの検出を行うデッドロック検
出手段と、を備えたロック手段と、ロックを解放するア
ンロック手段と、前記資源が消去した場合、生成したロ
ックを消去するロック消去手段と、を備え、任意のプロ
セスがある資源に対して逐次化要求を行った際に、前記
資源に対応したロックが取得できずロック待ちが発生し
た場合に、前記順序関係生成手段にて、前記プロセスか
らリンクされているロックリストをもとに、ロックの順
序関係を表すロック順序関係情報に反映し、前記デッド
ロック検出手段にて、前記ロック順序関係情報に循環が
発生していないかどうかをチェックすることでデッドロ
ックを検出する、ことを特徴とする。
【００２０】［発明の概要］デッドロックはロック待ち
が発生した場合にのみ起こる現象である。本発明におい
ては、最も性能が要求されるロック待ちが発生しない場
合は、手続きと資源の要求取得関係やデッドロックの検
出は一切行わず、多重にロックした場合のロックの順序
関係だけを生成する。ロック待ちが発生した場合は、そ
の時点で行うべき処理がないため、通常はスピンして待
ったり、他にプロセッサをゆずったりすることになる。
したがって、この時に、要求取得関係の生成やデッドロ
ックの検出を行っても、性能低下にはならない。
が発生した場合にのみ起こる現象である。本発明におい
ては、最も性能が要求されるロック待ちが発生しない場
合は、手続きと資源の要求取得関係やデッドロックの検
出は一切行わず、多重にロックした場合のロックの順序
関係だけを生成する。ロック待ちが発生した場合は、そ
の時点で行うべき処理がないため、通常はスピンして待
ったり、他にプロセッサをゆずったりすることになる。
したがって、この時に、要求取得関係の生成やデッドロ
ックの検出を行っても、性能低下にはならない。
【００２１】これにより、動的に生成される資源に対す
るロックも含めて、性能を損なうことなく完全なデッド
ロックの検出を行うことができる。
るロックも含めて、性能を損なうことなく完全なデッド
ロックの検出を行うことができる。
【００２２】
【発明の実施の形態】本発明の実施の形態の構成につい
て図面を参照して以下に説明する。
て図面を参照して以下に説明する。
【００２３】［実施の形態１］図１は、本発明の第一の
実施の形態を説明するための図である。本発明の第一の
実施の形態は、多重プログラミング環境の計算機システ
ムにおいて、図１（Ａ）に示すように、手続を表すＮ個
のプロセス１−Ａと、プロセスによる逐次化要求の対象
となるＭ個の資源１−Ｂと、プロセスの資源に対する逐
次化要求を実現するために資源と一対一に対応するＭ個
のロック１−Ｃと、プロセスがどのような順番で資源へ
の逐次化要求を行ったか（どのような順序でロックを取
得したか）を示す、プロセスからロックへ、さらにロッ
クからロックへと張られたリンクで構成されるＮ個のロ
ックリスト１−Ｄと、ロックリストをもとに作成される
ロックの順序関係をあらわすロック順序関係ツリー１−
Ｅから構成される。
実施の形態を説明するための図である。本発明の第一の
実施の形態は、多重プログラミング環境の計算機システ
ムにおいて、図１（Ａ）に示すように、手続を表すＮ個
のプロセス１−Ａと、プロセスによる逐次化要求の対象
となるＭ個の資源１−Ｂと、プロセスの資源に対する逐
次化要求を実現するために資源と一対一に対応するＭ個
のロック１−Ｃと、プロセスがどのような順番で資源へ
の逐次化要求を行ったか（どのような順序でロックを取
得したか）を示す、プロセスからロックへ、さらにロッ
クからロックへと張られたリンクで構成されるＮ個のロ
ックリスト１−Ｄと、ロックリストをもとに作成される
ロックの順序関係をあらわすロック順序関係ツリー１−
Ｅから構成される。
【００２４】また、図１（Ｂ）に示すように、ロックを
動的に生成するロック生成手段１０と、実際にプロセス
が資源をロックするためのロック手段２０と、ロックを
解放するアンロック手段３０と、生成したロックを消去
するロック消去手段４０から構成される。
動的に生成するロック生成手段１０と、実際にプロセス
が資源をロックするためのロック手段２０と、ロックを
解放するアンロック手段３０と、生成したロックを消去
するロック消去手段４０から構成される。
【００２５】ロック手段２０はロックリストにロックを
追加するロックリスト挿入手段２１と、プロセスの資源
に対するロックの順序関係を生成する順序関係生成手段
２２と、デッドロックの検出を行うデッドロック検出手
段２３と、を備えている。
追加するロックリスト挿入手段２１と、プロセスの資源
に対するロックの順序関係を生成する順序関係生成手段
２２と、デッドロックの検出を行うデッドロック検出手
段２３と、を備えている。
【００２６】アンロック手段３は、ロックリストからロ
ックを削除するロックリスト削除手段３１を備えてい
る。
ックを削除するロックリスト削除手段３１を備えてい
る。
【００２７】ロック消去手段４は、順序関係を消去する
順序関係消去手続４１を備えている。
順序関係消去手続４１を備えている。
【００２８】次に、本発明の第一の実施の形態の動作に
ついて説明する。図２はロック手段２の動作を説明する
ための流れ図である。
ついて説明する。図２はロック手段２の動作を説明する
ための流れ図である。
【００２９】まず、システム運用中の任意の時点で資源
ｊ１が生成された場合、ロック生成手段１０によりロッ
クｊ１を生成する。
ｊ１が生成された場合、ロック生成手段１０によりロッ
クｊ１を生成する。
【００３０】次に任意のプロセスｉ１が資源ｊ１に対す
る逐次化要求を行うために、ロック手段２０によりロッ
クｊ１を取得する。ロクックを取得した場合（ステップ
１０１のｙｅｓ分岐）、この後、ロックｊ１がアンロッ
ク手段３０によりアンロックされるまで、資源ｊ１に対
する要求は逐次化される。最後に、資源ｊ１が消滅した
場合、ロック消去手段４により、ロックｊ１が消去され
る。
る逐次化要求を行うために、ロック手段２０によりロッ
クｊ１を取得する。ロクックを取得した場合（ステップ
１０１のｙｅｓ分岐）、この後、ロックｊ１がアンロッ
ク手段３０によりアンロックされるまで、資源ｊ１に対
する要求は逐次化される。最後に、資源ｊ１が消滅した
場合、ロック消去手段４により、ロックｊ１が消去され
る。
【００３１】ロック手段２０では、ロックリスト挿入手
段２１により、プロセスｉ１からロックｊ２にリンクが
張られる。すでにプロセスｉ１が他のロックｊ２を取得
している場合には、さらにロックｊ２からロックｊ１に
リンクが張られる。このようにして、プロセスｉ１が多
重に資源をロックしている場合、各ロックがロックされ
た順序にリンクされたロックリストｉ１が生成される。
アンロック手段３０では、ロックリスト削除手段３１に
より、ロックリストｉ１からロックｊ１が削除される。
まだプロセスｉ１が他のロックｊ２を取得している場合
は、ロックｊ１に変わってロックｊ２がプロセスｉ１か
らリンクし直される。
段２１により、プロセスｉ１からロックｊ２にリンクが
張られる。すでにプロセスｉ１が他のロックｊ２を取得
している場合には、さらにロックｊ２からロックｊ１に
リンクが張られる。このようにして、プロセスｉ１が多
重に資源をロックしている場合、各ロックがロックされ
た順序にリンクされたロックリストｉ１が生成される。
アンロック手段３０では、ロックリスト削除手段３１に
より、ロックリストｉ１からロックｊ１が削除される。
まだプロセスｉ１が他のロックｊ２を取得している場合
は、ロックｊ１に変わってロックｊ２がプロセスｉ１か
らリンクし直される。
【００３２】以上の操作はいずれも単純な処理であり、
ロック手段２０でロック待ちが発生しなかった場合は、
順序関係生成手段２２とデッドロック検出手段２３は実
行されず、性能への影響はない。
ロック手段２０でロック待ちが発生しなかった場合は、
順序関係生成手段２２とデッドロック検出手段２３は実
行されず、性能への影響はない。
【００３３】もし、ロック手段２０でロックｊ１が他の
プロセスｉ２によりロックされていた場合は、ロック待
ちが発生する。ロック待ちが発生した場合には（ステッ
プ１０１のｎｏ分岐）、順序関係生成手段２２により、
プロセスｉ１からリンクされているロックリストｉ１
が、ロック順序関係ツリー１−Ｅに反映される（ステッ
プ１０２）。
プロセスｉ２によりロックされていた場合は、ロック待
ちが発生する。ロック待ちが発生した場合には（ステッ
プ１０１のｎｏ分岐）、順序関係生成手段２２により、
プロセスｉ１からリンクされているロックリストｉ１
が、ロック順序関係ツリー１−Ｅに反映される（ステッ
プ１０２）。
【００３４】次にデッドロック検出手段２３により、ロ
ック順序関係ツリー１−Ｅに循環が発生していないかど
うかをチェックすることで、デッドロックを検出する
（ステップ０３）。ここでは、本当にその場でデッドロ
ックが発生している場合と、将来のいずれかの時点でデ
ッドロックが発生する可能性の、二つのパターンを検出
することが可能である。
ック順序関係ツリー１−Ｅに循環が発生していないかど
うかをチェックすることで、デッドロックを検出する
（ステップ０３）。ここでは、本当にその場でデッドロ
ックが発生している場合と、将来のいずれかの時点でデ
ッドロックが発生する可能性の、二つのパターンを検出
することが可能である。
【００３５】最後に、ロック消去手段４０では、順序関
係消去手段４１により、ロック順序関係ツリー１−Ｅか
らロックｊ１の情報が消去される。
係消去手段４１により、ロック順序関係ツリー１−Ｅか
らロックｊ１の情報が消去される。
【００３６】本発明の第一の実施の形態では、最も性能
の要求されるロック待ちが発生しない場合には、ロック
の順序関係の生成やデッドロックの検出は一切行わず、
ロック待ちが発生した時に、初めて、待ち時間を利用し
て、順序関係の生成とデッドロックの検出を行うように
したことにより、システム全体の性能を損なうことな
く、デッドロックの検出を可能としている。
の要求されるロック待ちが発生しない場合には、ロック
の順序関係の生成やデッドロックの検出は一切行わず、
ロック待ちが発生した時に、初めて、待ち時間を利用し
て、順序関係の生成とデッドロックの検出を行うように
したことにより、システム全体の性能を損なうことな
く、デッドロックの検出を可能としている。
【００３７】また、本発明の第一の実施の形態において
は、予め資源に（すなわちロックに）、静的な順序関係
を持たせるようなことを行っていないので、動的に資源
の数が変動するようなシステムにおいても、完全なデッ
ドロックの検出が可能となっている。
は、予め資源に（すなわちロックに）、静的な順序関係
を持たせるようなことを行っていないので、動的に資源
の数が変動するようなシステムにおいても、完全なデッ
ドロックの検出が可能となっている。
【００３８】［実施例１］上記した本発明の実施の形態
について更に詳細に説明すべく、本発明の第一の実施例
とその動作について、図面を参照して詳細に説明する。
について更に詳細に説明すべく、本発明の第一の実施例
とその動作について、図面を参照して詳細に説明する。
【００３９】図３は、本発明の第一の実施例を説明する
ための図である。図３を参照すると、まずプロセスＡが
ロック１を取得し、更にロック１をアンロックする以前
にロック２を多重にロックしたとする。これにより、ロ
ック１→ロック２というロックリストが生成される。
ための図である。図３を参照すると、まずプロセスＡが
ロック１を取得し、更にロック１をアンロックする以前
にロック２を多重にロックしたとする。これにより、ロ
ック１→ロック２というロックリストが生成される。
【００４０】次に、プロセスＣがロック６を取得した後
にロック１を多重に取得しようとするが、既にロック１
はプロセスＡに取得されているので、ロック待ちにな
る。
にロック１を多重に取得しようとするが、既にロック１
はプロセスＡに取得されているので、ロック待ちにな
る。
【００４１】これにより、ロック６→ロック１というロ
ックリストが生成され、このロックリストがロック順序
関係ツリー１−Ｅに反映され、ロック順序関係ツリーに
循環が発生していないかどうかをデッドロック検出手段
でチェックする。
ックリストが生成され、このロックリストがロック順序
関係ツリー１−Ｅに反映され、ロック順序関係ツリーに
循環が発生していないかどうかをデッドロック検出手段
でチェックする。
【００４２】次に、プロセスＢが、ロック３とロック４
とロック５をこの順番に多重にロックし、さらにロック
６を取得しようとしてロック待ちになる。
とロック５をこの順番に多重にロックし、さらにロック
６を取得しようとしてロック待ちになる。
【００４３】これにより、ロック３→ロック４→ロック
５→ロック６というロックリストが生成され、このロッ
クリストがロック順序関係ツリー１−Ｅに反映され、循
環が発生していないかどうかをデッドロック検出手段で
チェックする。
５→ロック６というロックリストが生成され、このロッ
クリストがロック順序関係ツリー１−Ｅに反映され、循
環が発生していないかどうかをデッドロック検出手段で
チェックする。
【００４４】この時点で、ロック順序関係ツリー１−Ｅ
は、ロック３→ロック４→ロック５→ロック６→ロック
１となっている。
は、ロック３→ロック４→ロック５→ロック６→ロック
１となっている。
【００４５】ここで、プロセスＡがロック１をアンロッ
クする前にロック３を取得しようとしてロック待ちにな
ったとする。これによりロック１→ロック２→ロック３
というロックリストが生成され、ロック順序関係ツリー
１−Ｅに反映される。
クする前にロック３を取得しようとしてロック待ちにな
ったとする。これによりロック１→ロック２→ロック３
というロックリストが生成され、ロック順序関係ツリー
１−Ｅに反映される。
【００４６】すると、ロック順序関係ツリー１−Ｅに、
ロック１→ロック２→ロック３→ロック４→ロック５→
ロック６→ロック１という循環が発生し、デッドロック
が検出される。
ロック１→ロック２→ロック３→ロック４→ロック５→
ロック６→ロック１という循環が発生し、デッドロック
が検出される。
【００４７】この場合、実際にシステムがデッドロック
に陥っており、これを検出したことになる。
に陥っており、これを検出したことになる。
【００４８】仮に、ここで、上記３つの各プロセスＡ、
Ｂ、Ｃのそれぞれの上記したロック操作が、時間的に完
全に独立して発生していたとしたら、システムはデッド
ロックに陥ることはない。しかし、これは、タイミング
によるもので、いずれはデッドロックとなる可能性を含
むものであり、本来、デッドロックと検出してもよいも
のである。
Ｂ、Ｃのそれぞれの上記したロック操作が、時間的に完
全に独立して発生していたとしたら、システムはデッド
ロックに陥ることはない。しかし、これは、タイミング
によるもので、いずれはデッドロックとなる可能性を含
むものであり、本来、デッドロックと検出してもよいも
のである。
【００４９】本実施例では、上記のように、各プロセス
が一度でもロック待ちになってロック順序関係ツリーに
ロック順序が反映されていれば、このような将来発生し
得るデッドロックを、予め検出することも可能である。
が一度でもロック待ちになってロック順序関係ツリーに
ロック順序が反映されていれば、このような将来発生し
得るデッドロックを、予め検出することも可能である。
【００５０】［実施の形態２］次に、本発明の第二の実
施の形態について説明する。図４は、本発明の第二の実
施の形態を説明するための図である。本発明の第二の実
施の形態は、多重プログラミング環境の計算機システム
において、図４（Ａ）に示すように、任意の手続を表す
Ｎ個のプロセス１−Ａと、プロセスによる逐次化要求の
対象となるＭ個の資源１−Ｂと、プロセスの資源に対す
る逐次化要求を実現するために資源と一対一に対応する
Ｍ個のロック１−Ｃと、プロセスがどのような順序で資
源への逐次化要求を行ったか（どのような順序でロック
を取得したか）を示すロックからロックへと張られたリ
ンクで構成されるＮ個のロックリスト１−Ｄと、から構
成される。本発明の第二の実施の形態では、前記第一の
実施の形態と異なりロック順序関係ツリーは備えない。
施の形態について説明する。図４は、本発明の第二の実
施の形態を説明するための図である。本発明の第二の実
施の形態は、多重プログラミング環境の計算機システム
において、図４（Ａ）に示すように、任意の手続を表す
Ｎ個のプロセス１−Ａと、プロセスによる逐次化要求の
対象となるＭ個の資源１−Ｂと、プロセスの資源に対す
る逐次化要求を実現するために資源と一対一に対応する
Ｍ個のロック１−Ｃと、プロセスがどのような順序で資
源への逐次化要求を行ったか（どのような順序でロック
を取得したか）を示すロックからロックへと張られたリ
ンクで構成されるＮ個のロックリスト１−Ｄと、から構
成される。本発明の第二の実施の形態では、前記第一の
実施の形態と異なりロック順序関係ツリーは備えない。
【００５１】また、図４（Ｂ）に示すように、ロックを
動的に生成するロック生成手段１０と、実際にプロセス
が資源をロックするためのロック手段２０と、ロックを
解放するアンロック手段３０と、生成したロックを消去
するロック消去手段４０と、を備えて構成される。
動的に生成するロック生成手段１０と、実際にプロセス
が資源をロックするためのロック手段２０と、ロックを
解放するアンロック手段３０と、生成したロックを消去
するロック消去手段４０と、を備えて構成される。
【００５２】ロック手段２０は、ロックリストにロック
を追加するロックリスト挿入手段２１と、デッドロック
の検出を行うデッドロック検出手段２３と、デッドロッ
クを回避するデッドロック回避手段２４と、を備えてい
る。
を追加するロックリスト挿入手段２１と、デッドロック
の検出を行うデッドロック検出手段２３と、デッドロッ
クを回避するデッドロック回避手段２４と、を備えてい
る。
【００５３】アンロック手段３０は、ロックリストから
ロックを削除するロックリスト削除手段３１を備えてい
る。本発明の第二の実施の形態においては、前記第一の
実施の形態と異なり、順序関係生成手段２２や順序関係
消去手段４１は具備しない。
ロックを削除するロックリスト削除手段３１を備えてい
る。本発明の第二の実施の形態においては、前記第一の
実施の形態と異なり、順序関係生成手段２２や順序関係
消去手段４１は具備しない。
【００５４】次に、本発明の第二の実施の形態の動作に
ついて図面を参照して詳細に説明する。図５は、本発明
の第二の実施の形態におけるロック手段２０の動作を説
明する流れ図である。
ついて図面を参照して詳細に説明する。図５は、本発明
の第二の実施の形態におけるロック手段２０の動作を説
明する流れ図である。
【００５５】システム運用中の任意の時点で資源ｊ１が
生成された場合、ロック生成手段１によりロックｊ１を
生成する。次に任意のプロセスｉ１が資源ｊ１に対する
逐次化要求を行うために、ロック手段２０によりロック
ｊ１を取得する。この後、ロックｊ１がアンロック手段
３によりアンロックされるまで、資源ｊ１に対する要求
は逐次化される。最後に、資源ｊ１が消滅した場合、ロ
ック消去手段４により、ロックｊ１が消去される。
生成された場合、ロック生成手段１によりロックｊ１を
生成する。次に任意のプロセスｉ１が資源ｊ１に対する
逐次化要求を行うために、ロック手段２０によりロック
ｊ１を取得する。この後、ロックｊ１がアンロック手段
３によりアンロックされるまで、資源ｊ１に対する要求
は逐次化される。最後に、資源ｊ１が消滅した場合、ロ
ック消去手段４により、ロックｊ１が消去される。
【００５６】ロック手段２では、ロックリスト挿入手段
２１により、プロセスｉ１からロックｊ１にリンクが張
られる。すでにプロセスｉ１が他のロックｊ２を取得し
ている場合はさらにロックｊ２からロックｊ１にリンク
が張られる。このようにしてプロセスｉ１が多重に資源
をロックしている場合、各ロックがロックされた順番に
リンクされたロックリストｉ１が生成される。アンロッ
ク手段３０では、ロックリスト削除手段３１により、ロ
ックリストｉ１からロックｊ１が削除される。まだプロ
セスｉ１が他のロックｊ２を取得している場合は、ロッ
クｊ１に変わってロックｊ２がプロセスｉ１からリンク
し直される。
２１により、プロセスｉ１からロックｊ１にリンクが張
られる。すでにプロセスｉ１が他のロックｊ２を取得し
ている場合はさらにロックｊ２からロックｊ１にリンク
が張られる。このようにしてプロセスｉ１が多重に資源
をロックしている場合、各ロックがロックされた順番に
リンクされたロックリストｉ１が生成される。アンロッ
ク手段３０では、ロックリスト削除手段３１により、ロ
ックリストｉ１からロックｊ１が削除される。まだプロ
セスｉ１が他のロックｊ２を取得している場合は、ロッ
クｊ１に変わってロックｊ２がプロセスｉ１からリンク
し直される。
【００５７】以上の操作はいずれも単純な処理であり、
ロック手段２０でロック待ちが発生しなかった場合は、
デッドロック検出手段２３は実行されず、性能への影響
はない。
ロック手段２０でロック待ちが発生しなかった場合は、
デッドロック検出手段２３は実行されず、性能への影響
はない。
【００５８】もし、ロック手段２０でロックｊ１が他の
プロセスｉ２によりロックされていた場合は、ロック待
ちが発生する。ロック待ちが発生した場合には、デッド
ロック検出手段２３により、ロックリストそのものに循
環が発生していないかどうかチェックすることで（ステ
ップ２０２）、デッドロックを検出する。この第二の実
施の形態では、本当に、その場でデッドロックが発生し
ている場合のみ検出し、将来発生する可能性のあるデッ
ドロックは検出しない。
プロセスｉ２によりロックされていた場合は、ロック待
ちが発生する。ロック待ちが発生した場合には、デッド
ロック検出手段２３により、ロックリストそのものに循
環が発生していないかどうかチェックすることで（ステ
ップ２０２）、デッドロックを検出する。この第二の実
施の形態では、本当に、その場でデッドロックが発生し
ている場合のみ検出し、将来発生する可能性のあるデッ
ドロックは検出しない。
【００５９】デッドロックが検出されたら、デッドロッ
ク回避手段２４により、ロック待ち時間中に、先に資源
ｊ２に対する逐次化要求を処理して、ロックｊ２をアン
ロックするなどして、デッドロックの回避を行う。
ク回避手段２４により、ロック待ち時間中に、先に資源
ｊ２に対する逐次化要求を処理して、ロックｊ２をアン
ロックするなどして、デッドロックの回避を行う。
【００６０】本発明の第二の実施の形態では、最も性能
の要求されるロック待ちが発生しない場合には、デッド
ロックの検出は一切行わず、ロック待ちが発生した時に
初めて、待ち時間を利用して、デッドロックの検出を行
うことで、システム全体の性能を損なうことなく、デッ
ドロックの回避を可能としている。
の要求されるロック待ちが発生しない場合には、デッド
ロックの検出は一切行わず、ロック待ちが発生した時に
初めて、待ち時間を利用して、デッドロックの検出を行
うことで、システム全体の性能を損なうことなく、デッ
ドロックの回避を可能としている。
【００６１】また、本発明の第二の実施の形態では、予
め資源に（すなわちロックに）静的な順序関係を持たせ
たりしないので、動的に資源の数が変動するようなシス
テムにおいても、完全なデッドロックの検出が可能とな
っている。
め資源に（すなわちロックに）静的な順序関係を持たせ
たりしないので、動的に資源の数が変動するようなシス
テムにおいても、完全なデッドロックの検出が可能とな
っている。
【００６２】［実施例２］上記した本発明の第二の実施
の形態について更に詳細に説明すべく、本発明の第二の
実施例とその動作について、図面を参照して詳細に説明
する。図６は、本発明の第二の実施例を説明するための
図である。
の形態について更に詳細に説明すべく、本発明の第二の
実施例とその動作について、図面を参照して詳細に説明
する。図６は、本発明の第二の実施例を説明するための
図である。
【００６３】ここでは、Ｎ個のプロセスがこれに一対一
に対応するＮ個のバッファ領域（資源に相当する）を利
用して、互いにメッセージのｓｅｎｄとｒｅｃｅｉｖｅ
を行うことを想定する。この例では手続き（プロセス）
と資源の数が一致する。プロセスＡはプロセスＢに対応
するバッファにメッセージをｓｅｎｄし、プロセスＢは
自分のバッファからメッセージをｒｅｃｅｉｖｅする。
ｓｅｎｄとｒｅｃｅｉｖｅは逐次化要求でなければなら
ない。また、対象とするバッファが空のときはｓｅｎｄ
は成功するが、ｒｅｃｅｉｖｅはロック待ちとなる。逆
にバッファが埋まっている時はｓｅｎｄはロック待ちと
なるがｒｅｃｅｉｖｅは成功する。ここで、プロセスＢ
のバッファが埋まっており、プロセスＡがプロセスＢに
メッセージをｓｅｎｄできずにロック待ちとなっている
ことを、「プロセスＡがプロセスＢへのｓｅｎｄを待っ
ている」と表現する。
に対応するＮ個のバッファ領域（資源に相当する）を利
用して、互いにメッセージのｓｅｎｄとｒｅｃｅｉｖｅ
を行うことを想定する。この例では手続き（プロセス）
と資源の数が一致する。プロセスＡはプロセスＢに対応
するバッファにメッセージをｓｅｎｄし、プロセスＢは
自分のバッファからメッセージをｒｅｃｅｉｖｅする。
ｓｅｎｄとｒｅｃｅｉｖｅは逐次化要求でなければなら
ない。また、対象とするバッファが空のときはｓｅｎｄ
は成功するが、ｒｅｃｅｉｖｅはロック待ちとなる。逆
にバッファが埋まっている時はｓｅｎｄはロック待ちと
なるがｒｅｃｅｉｖｅは成功する。ここで、プロセスＢ
のバッファが埋まっており、プロセスＡがプロセスＢに
メッセージをｓｅｎｄできずにロック待ちとなっている
ことを、「プロセスＡがプロセスＢへのｓｅｎｄを待っ
ている」と表現する。
【００６４】図６を参照すると、まず、プロセスＡがプ
ロセスＢへのｓｅｎｄを待っており、ロックＡからロッ
クＢにリンクが張られる。プロセスＢはプロセスＣへの
ｓｅｎｄを待っており、ロックＢからロックＣにリンク
が張られる。ここでプロセスＣがプロセスＡへのｓｅｎ
ｄを行おうとしてロック待ち状態になると、ロックＣか
らロックＡにリンクが張られ、ロックリストに循環が発
生し、デッドロックが検出される。デッドロックが検出
された場合、プロセスＣがロック待ち時間中にプロセス
Ｃ自身のｒｅｃｅｉｖｅ処理を実行することで、デッド
ロックを回避する事ができる。
ロセスＢへのｓｅｎｄを待っており、ロックＡからロッ
クＢにリンクが張られる。プロセスＢはプロセスＣへの
ｓｅｎｄを待っており、ロックＢからロックＣにリンク
が張られる。ここでプロセスＣがプロセスＡへのｓｅｎ
ｄを行おうとしてロック待ち状態になると、ロックＣか
らロックＡにリンクが張られ、ロックリストに循環が発
生し、デッドロックが検出される。デッドロックが検出
された場合、プロセスＣがロック待ち時間中にプロセス
Ｃ自身のｒｅｃｅｉｖｅ処理を実行することで、デッド
ロックを回避する事ができる。
【００６５】
【発明の効果】以上説明したように、本発明によれば、
下記記載の効果を奏する。
下記記載の効果を奏する。
【００６６】本発明の第一の効果は、動的に資源の数が
変動するようなシステムにおいても、性能を損なうこと
なく完全なデッドロックの検出を行うことができる、と
いうことである。
変動するようなシステムにおいても、性能を損なうこと
なく完全なデッドロックの検出を行うことができる、と
いうことである。
【００６７】その理由は、本発明においては、最も性能
の要求されるロック待ちが発生しない時にはロックの順
序関係の生成やデッドロックの検出は一切行わず、ロッ
ク待ちが発生した時に初めて、待っている時間を利用し
て、順序関係の生成とデッドロックの検出を行う、よう
に構成したことによる。そして本発明においては、予め
資源に（すなわちロックに）静的な順序関係を持たせた
りしないため、動的に資源の数が変動するようなシステ
ムにおいても、完全なデッドロックの検出が可能である
ためである。
の要求されるロック待ちが発生しない時にはロックの順
序関係の生成やデッドロックの検出は一切行わず、ロッ
ク待ちが発生した時に初めて、待っている時間を利用し
て、順序関係の生成とデッドロックの検出を行う、よう
に構成したことによる。そして本発明においては、予め
資源に（すなわちロックに）静的な順序関係を持たせた
りしないため、動的に資源の数が変動するようなシステ
ムにおいても、完全なデッドロックの検出が可能である
ためである。
【００６８】本発明の第二の効果は、実際にシステムが
デッドロックに陥っていなくとも、将来発生し得るデッ
ドロックを事前に検出することができる、ということで
ある。
デッドロックに陥っていなくとも、将来発生し得るデッ
ドロックを事前に検出することができる、ということで
ある。
【００６９】その理由は、本発明においては、ロックの
順序関係の履歴を構築している、からである。
順序関係の履歴を構築している、からである。
【図１】本発明の第一の実施の形態の構成を説明するた
めの図である。
めの図である。
【図２】本発明の第一の実施の形態の動作を示す流れ図
である。
である。
【図３】本発明の第一の実施例を説明するための図であ
る。
る。
【図４】本発明の第二の実施の形態の構成を説明するた
めの図である。
めの図である。
【図５】本発明の第二の実施の形態の動作を示す流れ図
である。
である。
【図６】本発明の第二の実施例を説明するための図であ
る。
る。
【図７】従来技術を説明するための図である。
１−Ａ プロセス １−Ｂ 資源 １−Ｃ ロック １−Ｄ ロックリスト １−Ｅ ロック順序関係ツリー １０ ロック生成手段 ２０ ロック手段 ２１ ロックリスト挿入手段 ２２ 順序関係生成手段 ２３ デッドロック検出手段 ２４ デッドロック回避手段 ３０ アンロック手段 ３１ ロックリスト削除手段 ４０ ロック消去手段 ４１ 順序関係消去手段
Claims (8)
- 【請求項１】資源の数が動的に変動するような多重プロ
グラミング環境の計算機システムにおいて、 資源に対する逐次化要求を実現するための排他制御機構
で、逐次化要求待ち、すなわちロック待ち状態が発生し
た場合に、手続と資源の逐次化の要求と取得の関係を更
新し、デッドロックを検出する、ことを特徴とするデッ
ドロック検出方法。 - 【請求項２】請求項１記載のデッドロック検出方法によ
り、デッドロックを検出した際に、資源に対する逐次化
要求の順序を変えて、デッドロックを回避する、ことを
特徴とデッドロック回避方法。 - 【請求項３】請求項１記載のデッドロック検出方法によ
り、デッドロックを検出した際に、資源に対する逐次化
要求そのものを拒絶して、デッドロックを回避する、こ
とを特徴とするデッドロック回避方法。 - 【請求項４】資源の数が動的に変動するような多重プロ
グラミング環境の計算機システムにおいて、 プロセスによる逐次化要求の対象となる資源と、 プロセスの資源に対する逐次化要求を実現するために前
記資源と一対一に対応するロックを動的に生成するロッ
ク生成手段と、 実際にプロセスが資源をロックするためのロック手段で
あって、 プロセスがどのような順番で資源への逐次化要求を行っ
たかを示すプロセスからロックへ、さらにロックからロ
ックへと張られたリンクで構成されるロックリスロック
リストに、ロックを追加するロックリスト挿入手段と、 プロセスの資源に対するロックの順序関係を生成する順
序関係生成手段と、 デッドロックの検出を行うデッドロック検出手段と、 を備えたロック手段と、 ロックを解放するアンロック手段と、 前記資源が消去した場合、生成したロックを消去するロ
ック消去手段と、 を備え、 任意のプロセスがある資源に対して逐次化要求を行った
際に、前記資源に対応したロックが取得できずロック待
ちが発生した場合に、前記順序関係生成手段にて、前記
プロセスからリンクされているロックリストをもとに、
ロックの順序関係を表すロック順序関係情報に反映し、 前記デッドロック検出手段にて、前記ロック順序関係情
報に循環が発生していないかどうかをチェックすること
でデッドロックを検出する、 ことを特徴とするデッドロック検出方式。 - 【請求項５】前記ロック消去手段が、前記ロックの順序
関係を消去する手段を備えたことを特徴とする請求項４
記載のデッドロック検出方式。 - 【請求項６】資源の数が動的に変動するような多重プロ
グラミング環境の計算機システムにおいて、 プロセスによる逐次化要求の対象となる資源と、 プロセスの資源に対する逐次化要求を実現するために前
記資源と一対一に対応するロックを動的に生成するロッ
ク生成手段と、 実際にプロセスが資源をロックするためのロック手段で
あって、 プロセスがどのような順番で資源への逐次化要求を行っ
たかを示すプロセスからロックへ、さらにロックからロ
ックへと張られたリンクで構成されるロックリスロック
リストに、ロックを追加するロックリスト挿入手段と、 デッドロックの検出を行うデッドロック検出手段と、 デッドロックを回避する手段と、 を備えたロック手段と、 ロックを解放するアンロック手段と、 前記資源が消去した場合、生成したロックを消去するロ
ック消去手段と、 を備え、 任意のプロセスがある資源に対して逐次化要求を行った
際に、前記資源に対応したロックが取得できずロック待
ちが発生した場合に、前記デッドロック検出手段が、前
記ロックリストそのものに循環が発生していないかどう
かをチェックすることで、デッドロックの検出を行い、 前記デッドロック回避手段は、デッドロックが検出され
た際に、資源に対する逐次化要求の順序を変えるなどし
てデッドロックを回避する、 ことを特徴とする、デッドロック検出方式。 - 【請求項７】資源の数が動的に変動するような多重プロ
グラミング環境の計算機システムにおいて、 プロセスによる逐次化要求の対象となる資源に対する逐
次化要求を実現するために前記資源と一対一に対応する
ロックを動的に生成するロック生成手段と、 実際にプロセスが資源をロックするためのロック手段で
あって、 プロセスがどのような順番で資源への逐次化要求を行っ
たかを示すプロセスからロックへ、さらにロックからロ
ックへと張られたリンクで構成されるロックリスロック
リストに、ロックを追加するロックリスト挿入手段と、 プロセスの資源に対するロックの順序関係を生成する順
序関係生成手段と、 デッドロックの検出を行うデッドロック検出手段と、 を備えたロック手段と、 ロックを解放するアンロック手段と、 前記資源が消去した場合、生成したロックを消去するロ
ック消去手段と、 を備え、 任意のプロセスがある資源に対して逐次化要求を行った
際に、前記資源に対応したロックが取得できずロック待
ちが発生した場合に、前記順序関係生成手段にて、前記
プロセスからリンクされているロックリストをもとに、
ロックの順序関係を表すロック順序関係情報に反映し、 前記デッドロック検出手段にて、前記ロック順序関係情
報に循環が発生していないかどうかをチェックすること
でデッドロックを検出する、 上記各手段を上記計算機上で機能させるためのプログラ
ムを記録した記録媒体。 - 【請求項８】資源の数が動的に変動するような多重プロ
グラミング環境の計算機システムにおいて、 プロセスによる逐次化要求の対象となる資源と、 プロセスの資源に対する逐次化要求を実現するために前
記資源と一対一に対応するロックを動的に生成するロッ
ク生成手段と、 実際にプロセスが資源をロックするためのロック手段で
あって、 プロセスがどのような順番で資源への逐次化要求を行っ
たかを示すプロセスからロックへ、さらにロックからロ
ックへと張られたリンクで構成されるロックリスロック
リストに、ロックを追加するロックリスト挿入手段と、 デッドロックの検出を行うデッドロック検出手段と、 デッドロックを回避する手段と、 を備えたロック手段と、 ロックを解放するアンロック手段と、 前記資源が消去した場合、生成したロックを消去するロ
ック消去手段と、 を備え、 任意のプロセスがある資源に対して逐次化要求を行った
際に、前記資源に対応したロックが取得できずロック待
ちが発生した場合に、前記デッドロック検出手段が、前
記ロックリストそのものに循環が発生していないかどう
かをチェックすることで、デッドロックの検出を行い、 前記デッドロック回避手段は、デッドロックが検出され
た際に、資源に対する逐次化要求の順序を変えるなどし
てデッドロックを回避する、 上記各手段を上記計算機上で機能させるためのプログラ
ムを記録した記録媒体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9202471A JPH1131080A (ja) | 1997-07-11 | 1997-07-11 | 動的ロックのデッドロック検出方法及び方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9202471A JPH1131080A (ja) | 1997-07-11 | 1997-07-11 | 動的ロックのデッドロック検出方法及び方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1131080A true JPH1131080A (ja) | 1999-02-02 |
Family
ID=16458079
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP9202471A Pending JPH1131080A (ja) | 1997-07-11 | 1997-07-11 | 動的ロックのデッドロック検出方法及び方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH1131080A (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2005509943A (ja) * | 2001-11-13 | 2005-04-14 | コーニンクレッカ フィリップス エレクトロニクス エヌ ヴィ | セマフォを使用する効率的なｆｉｆｏ通信 |
| CN100337207C (zh) * | 2005-03-11 | 2007-09-12 | 华为技术有限公司 | 一种信号量死锁的检测方法 |
| WO2012153722A1 (ja) * | 2011-05-12 | 2012-11-15 | 日本電気株式会社 | デッドロック予防装置、デッドロック予防方法、およびプログラム |
| JP2015194886A (ja) * | 2014-03-31 | 2015-11-05 | 富士通株式会社 | 分散データ処理装置、分散データ処理方法および分散データ処理プログラム |
-
1997
- 1997-07-11 JP JP9202471A patent/JPH1131080A/ja active Pending
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2005509943A (ja) * | 2001-11-13 | 2005-04-14 | コーニンクレッカ フィリップス エレクトロニクス エヌ ヴィ | セマフォを使用する効率的なｆｉｆｏ通信 |
| CN100337207C (zh) * | 2005-03-11 | 2007-09-12 | 华为技术有限公司 | 一种信号量死锁的检测方法 |
| WO2012153722A1 (ja) * | 2011-05-12 | 2012-11-15 | 日本電気株式会社 | デッドロック予防装置、デッドロック予防方法、およびプログラム |
| US9323585B2 (en) | 2011-05-12 | 2016-04-26 | Nec Corporation | Deadlock preventing apparatus, deadlock preventing method, and program |
| JP5950124B2 (ja) * | 2011-05-12 | 2016-07-13 | 日本電気株式会社 | デッドロック予防装置、デッドロック予防方法、およびプログラム |
| JP2015194886A (ja) * | 2014-03-31 | 2015-11-05 | 富士通株式会社 | 分散データ処理装置、分散データ処理方法および分散データ処理プログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7844665B2 (en) | Modified computer architecture having coordinated deletion of corresponding replicated memory locations among plural computers | |
| CN106790694B (zh) | 分布式系统及分布式系统中目标对象的调度方法 | |
| KR100974156B1 (ko) | 파일 서버 재초기화 장치, 방법 및 컴퓨터 판독 가능한 기록 매체 | |
| US20040002974A1 (en) | Thread based lock manager | |
| US8386720B2 (en) | Method for allowing exclusive access to shared data | |
| JPH07191944A (ja) | 多重プロセッサによる多数の資源への命令におけるデッドロックを防止するためのシステムおよび方法 | |
| US7555775B2 (en) | Recovering from device failure | |
| US6681242B1 (en) | Method and apparatus for detecting dependency cycles between resources in a computer system | |
| CN109325016B (zh) | 数据迁移方法、装置、介质及电子设备 | |
| US20070226269A1 (en) | Method and system for an update synchronization of a domain information file | |
| JPH0644195A (ja) | 結合式データ処理システム用の方法および装置 | |
| US20070016905A1 (en) | Blocking local sense synchronization barrier | |
| JPH086840A (ja) | サーバ回復のためのディレクトリ操作の完了を判定する機構 | |
| US7444634B2 (en) | Method and apparatus for providing dynamic locks for global resources | |
| JP4620871B2 (ja) | マルチスレッドコンピュータシステムにおけるモニタ変換 | |
| US9323585B2 (en) | Deadlock preventing apparatus, deadlock preventing method, and program | |
| US20030126187A1 (en) | Apparatus and method for synchronization in a multi-thread system of JAVA virtual machine | |
| US10372682B2 (en) | Maintaining data integrity | |
| JPH1131080A (ja) | 動的ロックのデッドロック検出方法及び方式 | |
| JP2009271858A (ja) | 計算機システム及びプログラム | |
| JP4196414B2 (ja) | コンピュータリソースのロック処理 | |
| US7539678B2 (en) | Systems and methods for controlling access to an object | |
| US11348656B2 (en) | Efficient resource sharing | |
| Reddy et al. | Asynchronous operations in distributed concurrency control | |
| Bhalla | The performance of an efficient distributed synchronization and recovery algorithm |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20000523 |