JPH0423047A - 共有資源排他制御方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は共有資源排他制御方式に関し、特に計算機シス
テムにおける共有資源排他制御方式に関する。

〔従来の技術〕

計算機システムにおいて複数のタスクから使用される共
有資源（以下、単に資源という）については、資源への
アクセスを逐次化するために排他制御が必要である。こ
のような排他制御のために、計算機システムには、ロッ
ク／アンロック（あるいはＥＮＱ／ＤＥＱ）と呼ばれる
基本機能が備えられており、ロック要求モードには通常
排他モードと共有モードとの２種類がある。

従来、この種の共有資源排他制御方式の基本的動作は、
次のようなものである。あるタスクがロック要求を出し
た場合、ロック要求対象の資源が他のタスクによりロッ
クされていなければ、すぐにロック権が与えられる。し
かし、ロック要求対象の資源が他のタスクによりすでに
ロックされている場合には、資源のロックモードまたは
ロック要求タスクのロック要求モードが排他モードのと
きにはロック待ちとなる。資源のロックモードとロック
要求タスクのロック要求モードとがともに共有モードの
ときには、 （１）　　ロック待ちタスクがない場合には口・７り要
求タスクにロック権を与え、ロック待ちタスクがある場
合にはロック要求タスクをロック待ちとする、 （２）　　ロック要求タスクにロック権を与える、のい
ずれかの方法がとられる。

また、資源をロックしていたタスクがアンロック要求を
出した場合には、アンロック要求タスクのロック権の行
使が終了する。他に資源をロックしているタスクがなく
、かつロック待ちタスクがある場合には、ロック待ちタ
スクのうちの最も早くロック要求したタスクのロック要
求モードが排他モードならばこのタスクにのみロック権
を与え、共有モードならば前記ｆｌ）および（２）に対
応して、＋１１　　現在排他モードでロック待ちしてい
るどのタスクよりも早く共有モードでロック待ちしてい
るタスクのすべてにロック権を与える、（２）　　現在
共存モードでロック待ちしているタスクのすべてにロッ
ク権を与える、 のいずれかの方法がとられる。

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

上述した（１）の方法を採用した従来の共ｆ資源排他制
御方式では、いかなる場合も共有モードのロック要求を
出したタスクが排他モードのロック要求を出したタスク
を追い越して資源をロックすることができないので、現
在のロックが解け、次のロック待ちタスクにロック権を
与える際にロック待ちタスクのロックモードが共有モー
ドであっても、排他モードのロック待ちタスクがあると
、それ以後に共有モードでロック待ちになったタスクに
はロック権が与えられず、資源を効率よく使用すること
ができないという欠点がある。

また、上述した（２）の方法を採用した従来の共存資源
排他制御方式では、共存モードのロック要求に対しては
排他モードのロック要求に比べて有利にロック権が与え
られることになるので、共有モードのロック要求が排他
モードのロック要求よりも頻繁に行われると、排他モー
ドで口・ツク要求したタスクにいつまでもロック権が与
えられない状況（永久封鎖）が発生するという欠点があ
る。

本発明の目的は、上述の点に鑑み、最大待ち時間を新た
に導入し、資源を排他モードでロック待ちしているタス
クのロック待ち時間が最大待ち時間以内である場合に限
り、共有モードでロック要求したタスクが排他モードで
ロック待ちしているタスクを追い越すことを許すように
して、永久封鎖の問題を避けながら共有資源の使用効率
の向上を図るようにした共存資源排他制御方式を提供す
ることにある。

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

本発明の共有資源排他制御方式は、計算機システムの共
有資源排他制御方式において、共有モードのロック要求
に対して、資源が共有モードでロックされておりかつ排
他モードのロック待ちタスクがありこれらのタスクのす
べてのロック待ち時間が最大待ち時間以内であればロッ
ク要求タスクにロック権を与え、資源が共有モードでロ
ックされておりかつロック待ち時間が最大待ち時間以内
の排他モードのロック待ちタスクと最大待ち時間を越え
る排他モードのロック待ちタスクとがともにある場合お
よび￥を源が排他モードでロックされでおりかつロック
待ち時間が最大待ち時間以内の排他モードのロック待ち
タスクがある場合にはロック待ち時間が最大待ち時間以
内の排他モードのロック待ちタスクの中で最も長時間待
っているりスフの前にロック権が与えられるようにロッ
ク権の付与順序を変更してロック要求タスクをロック待
ちとする共有要求処理手段と、アンロック要求に対して
次にロック権を与えるべきロック待ちタスクが共有モー
ドでロック要求している場合にはどの排他モードのロッ
ク待ちタスクよりも先にロック権を与えるべき共有モー
ドのロック待ちタスクのすべてにロック権を与える共有
待ちロック手段とを有する。

〔作用〕

本発明の共有資源排他制御方式では、共存要求処理手段
が共有モードのロック要求に対して、資源が共有モード
でロックされておりかつ排他モードのロック待ちタスク
がありこれらのタスクのすべてのロック待ち時間が最大
待ち時間以内であればロック要求タスクにロック権を与
え、資源が共有モードでロックされておりかつロック待
ち時間が最大待ち時間以内の排他モードのロック待ちタ
スクと最大待ち時間を越える排他モードのロック待ちタ
スクとがともにある場合および資源が排他モードでロッ
クされておりかつロック待ち時間が最大待ち時間以内の
排他モードのロック待ちタスクがある場合にはロック待
ち時間が最大待ち時間以内の排他モードのロック待ちタ
スクの中て最も長時間待っているタスクの前にロック権
が与えられるようにロック権の付与順序を変更してロッ
ク要求タスクをロック待ちとし、共有待ちロック手段が
アンロック要求に対して次にロック権を与えるべきロッ
ク待ちタスクが共有モードでロック要求している場合に
はどの排他モードのロック待ちタスクよりも先にロック
権を与えるべき共有モードのロック待ちタスクのすべて
にロック権を与える。

〔実施例〕

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

第１図は、本発明の一実施例に係る共有資源排他制御方
式の構成を示すブロック図である０本実施例の共有資源
排他制御方式を実現する共有資源排他制御機能９は、ロ
ック要求処理部６と、アンロック要求処理部７と、排他
制御テーブル８とがら、その主要部が構成されている。

ロック要求処理部６は、共有モードのロック要求を処理
する共有要求処理手段１と、排他モードのロック要求を
処理する排他要求処理手段２とから構成されている。

アンロック要求処理部７は、アンロック要求したタスク
のロック解除を行うロック解除手段３と、次のロック待
ちタスクのロック要求モードが共有モードの場合のロッ
ク処理を行う共有待ちロック手段４と、次のロック待ち
タスクのロック要求モードが排他モードの場合のロック
処理を行う排他待ちロック手段５とから構成されている
。

なお、第１図中、符号Ｔ１〜Ｔｎ　（ｎは正整数）は、
共有資源使用タスク（以下、単にタスクという）をそれ
ぞれ示す。

第２図を参照すると、排他制御テーブル８は、計算機シ
ステム内の排他制御対象の資源（図示せず）Ｒを一意に
識別するための名前である資源名Ｒ（資源と同じ符号を
使用する。以下同様）をキーとするテーブルである。各
資源Ｒに対するエントリは、資源名部と、ロックモード
部と、ロック中タスクリストと、ロック待ちタスクキュ
ーとからなる。ロック中タスクリストは、責ｆｉＲをロ
ックしているタスクＴ１〜Ｔｎのタスク識別子Ｔ１〜Ｔ
ｎ（タスクと同じ符号を使用する。以下同様）を記録す
る。ロック待ちタスクキューは、ロック待ちタスクの情
報（以下、この情報を誤解のない範囲で単にロック待ち
タスクということがある）を登録する待ち行列であり、
共有モードＳのロック要求タスクではタスク識別子およ
び共有モードＳの組を、排他モードＥのロック要求タス
クではタスク識別子、排他モードＥおよびロック要求時
刻の組を記録する。

共有要求処理手段１は、タスクＴ１〜Ｔｎがらの資＃Ｒ
の共有モードＳでのロック要求の処理を行う、詳しくは
、 ＋１１　　排他制御テーブル８の資源名Ｒのエントリの
ロックモード部が空の場合には、ロック要求タスクのロ
ック要求モードである共存子−ドＳを口ツクモード部に
記録し、ロック要求タスクのタンク識別子をロック中タ
スクリストに記録し、口。

り要求タスクに資源Ｒのロック権を与える。

（２）排他制御テーブル８の資源名Ｒのエンド５のロッ
クモード部が空でない場合には、ロック？４ちタスクキ
ューを先頭から順に走査し、排他モードＥのロック待ち
タスクを見つけた場合には、５在時刻からこのロック待
ちタスクのロック要求１シ刻を減算し、結果であるロッ
ク待ち時間が所定の最大待ち時間Ｔ以内となるときには
ロック待ちタスクキューの走査を終了する。また、ロッ
ク持方タスクキューのすべてのロック待ちタスクを検査
し終わったときにも走査を終了する。この走査の結果、 ■　排他制御テーブル８の資源名Ｒのエントリのロック
モード部に共有モードＳが記録されており、かつロック
待ちタスクキューに排他モードＥのロック待ちタスクが
ない場合には、ロック要求タスクのタスク識別子をロッ
ク中タスクリストに追加し、ロック要求タスクに資６ｊ
ＪＲのロック権を与える。

■　排他制御テーブル８の資源名Ｒのエントリのロック
モード部に共存モードＳが記録されており、かつロック
待ちタスクキューに排他モードＥのロック待ちタスクが
ありこれらのタスクのすべてのロック待ち時間が最大待
ち時間Ｔ以内であれば、ロック要求タスクのタスク識別
子をロック中タスクリストに追加し、ロック要求タスク
に資源Ｒのロック権を与える。

■　排他制御テーブル８の資源名Ｒのエントリのロック
モード部に共有モードＳが記録されており、かつロック
待ちタスクキューにロック待チ時間が最大待ち時間Ｔ以
内の排他モードＥのロック待ちタスクと最大待ち時間Ｔ
を越える排他モート′Ｅのロック待ちタスクとがともに
ある場合には、ロック待ち時間が最大待ち時間Ｔ以内の
排他モートＥのロック待ちタスクの中で最も長い時間待
っているタスクの前となるようにロック要求タスクのタ
スク識別子およびロック要求モードである共有モードＳ
の組をロック待ちタスクキューに挿入してロック権の付
与順序を変更し、口、ツタ要求タスクの処理を中断させ
てロック待ちとする。

■　排他制御テーブル８の資源名Ｒのエントリのロック
モード部に共有モードＳが記録されており、かつロック
待ちタスクキューに排他モードＥのロック待ちタスクが
ありこれらのタスクのすべてのロック待ち時間が最大待
ち時間Ｔを越えている場合には、現在のロック待ちタス
クの最後にロック権が与えられるようにロック待ちタス
クキューの最後にロック要求タスクのタスク識別子およ
びロック要求モードである共有モードＳの組を追加し、
ロック要求タスクの処理を中断させてロック待ちとする
。

■　排他制御テーブル８の資源名Ｒのエントリのロック
モード部に排他モードＥが記録されており、かつロック
待ちタスクキューに排他モードＥのロック待ちタスクが
ない場合には、現在の口。

り待ちタスクの最後にロック権が与えられるようにロッ
ク待ちタスクキューの最後にロック要求タスクのタスク
識別子およびロック要求モードである共有モードＳの紐
を追加し、ロック要求タスクの処理を中断させてロック
待ちとする。

■　排他制御テーブル８の資源名Ｒのエントリのロック
モード部に排他モードＥが記録されており、かつロック
待ちタスクキューにロック待ち時間が最大待ち時間以内
の排他モードのロック待ちタスクがある場合には、ロッ
ク待ち時間が最大待ち時間Ｔ以内のタスクの中で最も長
時間待っているタスクの前となるようにロック要求タス
クのタスク識別子およびロック要求モードである共有モ
ードＳの紐をロック待ちタスクキューに挿入してロック
権の付与順序を変更し、口、り要求タスクの処理を中断
させてロック待ちとする。

■　排他制御テーブル８の、ｗａ名Ｒのエントリのロッ
クモード部に排他モードＥが記録されており、かつ排他
モードのロック待ちタスクがありこれらのタスクのすべ
てのロック待ち時間が最大待ち時間Ｔを越えている場合
には、現在のロック待ちタスクの最後にロック権が与え
られるようにロック待ちタスクキューの最後にロック要
求クスクのタスク識別子およびロック要求モードである
共有モードＳの組を追加し、ロック要求タスクの処理を
中断させてロック待ちとする。

上記（２）の■、■および■により、資源Ｒが共有モー
ドＳでロックされておりかつ排他モードＥのロック待ち
タスクがある場合、新たな共有モードＳのロック要求タ
スクが追い越せる排他モードＥのロック待ちタスクは、
ロック待ち時間が最大待ち時間Ｔ以内のタスクに限られ
ることになり、永久封鎖は発生しない。

排他要求処理手段２は、タスクＴ１〜Ｔｎからの資源Ｒ
の排他モードＥでのロック要求の処理を行う、詳しくは
、 ＋１１　　排他制御テーブル８の資源名Ｒのエントリの
ロックモード部が空の場合、ロック要求モードである排
他モードＥをロックモード部に記録し、ロック要求タス
クのタスク識別子をロック中タスクリストに記録し、ロ
ック要求タスクにロック権を与える。

（２）排他制御テーブル８の資源名Ｒのエントリのロッ
クモード部が空でない場合、ロック要求タスクのタスク
識別子、ロック要求モードである排他モードＥおよびロ
ック要求時刻の組をロック待ちタスクキューの最後に追
加し、ロック要求タスクの処理を中断させてロック待ち
とする。

ロック解除手段３は、アンロック要求された場合のロッ
ク解除処理を行い、ロック待ちタスクがある場合には、
次のロック待ちタスクのロック処理を行うために、共有
待ちロック手段４または排他待ちロック手段５を呼び出
す、詳しくは、［１１アンロック要求タスクのタスク識
別子をロック中タスクリストから削除し、ロック中タス
クリストが空になったならば、ロックモード部の内容を
消去する。

（２）次に、ロック中タスクリストが空の場合、ロック
待ちタスクキューの先頭のロック待ちタスクのロック要
求モードが共有モードならば共有待ちロック手段４を、
排他モードならば排他待ちロック手段５を呼び出す。

共有待ちロック手段４は、ロック解除手段３から呼び出
され、次のロック待ちタスクのロック要求モードが共有
モードＳの場合にロック処理を行う、詳しくは、 （１１排他制御テーブル８の資源名Ｒのエントリのロッ
クモード部に共有モードＳを記録し、ロック待ちタスク
キューの先頭から連続するすべての共有モードＳのロッ
ク待ちタスクのタスク識別子をロック中タスクリストに
記録する。次に、この記録が行われたロック待ちタスク
を排他制御テーブル８のロック待ちタスクキューから削
除し、これらのタスクの処理を再開させてロック権を与
える。

排他待ちロック手段５は、ロック解除手段３から呼び出
され、次のロック待ちタスクのロック要求モードが排他
モードＥの場合にロック処理を行う、詳しくは、 （１）　　ロック待ちタスクキューの先頭にあるロック
待ちタスクのロック要求モードをロックモード部に、タ
スク識別子をロック中タスクリストにそれぞれ記録する
６次に、この記録が行われたロック待ちタスクをロック
待ちタスクキューから削除し、このタスクの処理を再開
させてロック権を与える。

次に、このように構成された本実施例の共有資源排他制
御方式の動作について、第３図および第４図（ａ）〜（
ｇ）を参照しながら具体的に説明する。第３図は、本説
明での資源Ｒに対するロック要求およびアンロック要求
の発生状況を示すタイムチャートである。第４図（ａ）
〜（ｇ）は、第３図の各時刻ｔ　ａ　−ｔ　ｇでの排他
制御テーブル８の状態をそれぞれ示す図である。なお、
ここでは、最大待ち時間Ｔは、固定値２であると仮定す
る。また、資源Ｒは、時刻ｔより前ではロックされてお
らず、ロック待ちタスクもないものと仮定する。

時刻ｔで、タスクＴＩが資源Ｒを共有モードＳでロック
要求すると、共有資源排他側ｍｓ能９は、ロック要求処
理部６の共有要求処理手段１を呼び出す。共有要求処理
手段１は、排他制御テーブル８の資源名Ｒのエントリに
アクセスし、ロックモ−ド部が空なので資源Ｒはロック
されていないことを認識し、ロックモード部にロック要
求モードである共有モードＳを、ロック中タスクリスト
にロック要求タスクＴ１のタスク識別子Ｔ１をそれぞれ
記録し、ロック要求タスクＴＩに資＃Ｒのロック権を与
える。

時刻（＋１で、タスクＴ２が資源Ｒを排他モードＥでロ
ック要求すると、共有資源排他制御機能９は、ロック要
求処理部６の排他要求処理手段２を呼び出す、排他要求
処理手段２は、排他制御テーブル８の資源名Ｒのエント
リにアクセスし、ロックモード部に共存モードＳが記録
されているので資ｆＩＡＲが共有モードＳですでにロッ
クされていることを認識し、ロック要求タスクＴ２のタ
スク識別子下２゜ロック要求モードである排他子−ドＥ
、およびロック要求時刻としての現在時刻ｔ＋１の組を
ロック待ちタスクキューに記録し、ロック要求タスクＴ
２の処理を中断させてロック待ちとする。この結果、排
他制御テーブル８は、第４図（ａ）に示す状態となる。

時刻ｔ＋２で、タスクＴ３が資源Ｒを共有モードＳでロ
ック要求すると、共有資源排他制御機能９は、ロック要
求処理部６の共有要求処理手段１を呼び出す、共有要求
処理手段１は、排他制御テーブル８の資源名Ｒのエント
リにアクセスし、ロックモード部に共有モードＳが記録
されているので、資源Ｒが共有モードＳですでにロック
されていることを認識し、ロック待ちタスクキューを先
頭から順に走査して排他モードＥのロック待ちタスクＴ
２を見つけ、現在時刻む＋２からロック要求時刻ｔ＋１
を減算してロック待ちタスクＴ２のロック待ち時間１を
得る。ロック待ちタスクＴ２のロック待ち時間１が最大
待ち時間２よりも小さいので、共有要求処理手段１は、
ロック待ちタスクキューの走査を終了する。ロック待ち
タスクキューの先頭で走査が終了し、かつ資源Ｒが共有
モードＳでロックされているので、共有要求処理手段１
は、ロック中タスクリストに共有モードＳでのロック要
求タスクＴ３のタスク識別子Ｔ３を追加し、ロック要求
タスクＴ３に資′ｔＡＲのロック権を与える。この結果
、排他制御テーブル８は、第４図（ｂ）に示す状態とな
る。

時刻ｔ＋４で、タスクＴ４が資＃Ｒを共有モードＳでロ
ック要求すると、共有資源排他制御機能９は、ロック要
求処理部６の共有要求処理手段ｌを呼び出す、共有要求
処理手段ｌは、排他側ｉｆｌテーブル８の資源名Ｒのエ
ントリにアクセスし、ロックモード部に共存モードＳが
記録されているので資ｆｉＲが共有モードＳですでにロ
ックされていることを認識し、ロック待ちタスクキュー
を先頭から順に走査して排他モードＥのロック待ちタス
クＴ２を見つけ、現在時刻ｔ＋４からロック要求時刻【
＋１を減算してロック待ちタスクＴ２のロック待ち時間
３を得る。ロック待ちタスクＴ２のロック待ち時間３が
最大待ら時間２よりも大きいので、共有要求処理手段１
は、ロック待ちタスクキューの走査を継続しようとする
が、ロック待ちタスクキューのすべてを走査し終わって
いるので走査完了とする。ロック待ち時間が最大待ち時
間２より小さい排他モードＥのロック待ちタスクが見つ
からなかったので、共有要求処理手段１は、ロック要求
タスクＴ４のタスク識別子Ｔ４およびロック要求モード
である共有モードＳの紐をロック待ちタスクキューの最
後に追加し、ロック要求タスクＴ４の処理を中断させて
ロック待ちとする。

この結果、排他制御テーブル８は、第４図（Ｃ）に示す
状態となる。

時刻ｔ　−１−５で、タスクＴＩが資源Ｒをアンロック
要求すると、共存資源排他制御機能９は、アンロック要
求処理部７のロック解除手段３を呼び出す。ロック解除
手段３は、排他制御テーブル８の資源名Ｒのエントリに
アクセスし、ロック中タスクリストからアンロック要求
タスクＴ１のタスク識別子Ｔ１を削除する。

時刻ｔ＋５で、タスクＴ３が資′ｔＩＲをアンロック要
求すると、共有資源排他制御機能９は、アンロック要求
処理部７のロック解除手段３を呼び出す。ロック解除手
段３は、排他制御テーブル８の資源名Ｒのエントリにア
クセスし、ロック中タスクリストからタスク識別子Ｔ３
を削除する。ここで、ロック中タスクリストが空となっ
たので、ロック解除手段３は、ロックモード部の共有モ
ードＳも消去する０次に、ロック解除手段３は、ロック
待ちタスクキューの先頭のロック待ちタスクＴ２のロッ
ク要求モードが排他モードＥであるので、排他待ちロッ
ク手段５を呼び出す、排他待ちロック手段５は、ロック
モード部に排他モードＥを、ロック中タスクリストにロ
ック待ちタスクＴ２のタスク識別子Ｔ２をそれぞれ記録
し、ロック待ちタスクキューからロック待ちタスクＴ２
の登録を削除し、ロック待ちタスクＴ２の処理を再開さ
せてロック権を与える。

時刻【＋７で、タスクＴ５が資源Ｒを排他モードＥでロ
ック要求すると、共有資源排他制御ＩＩａ能９は、ロッ
ク要求処理部６の排他要求処理手段２を呼び出す。排他
要求処理手段２は、排他制御テーブル８の資源名Ｒのエ
ントリにアクセスし、ロックモード部に排他モードＥが
記録されているので資源Ｒが排他モードＥですでにロッ
クされていることを認識し、ロック待ちタスクキューの
最後にロック要求タスクＴ５のタスク識別子Ｔ５．タス
ク要求モードである排他モードＥおよびロック要求時刻
１＋７の組を追加し、ロック要求タスクＴ５の処理を中
断させてロック待ちとする。この結果、排他制御テーブ
ル８は、第４図（ｄ）に示す状態となる。

時刻１＋８で、タスクＴ６が資源Ｒを共有モードＳでロ
ック要求すると、共有資源排他制御機能９は、ロック要
求処理部６の共有要求処理手段１を呼び出す、共有要求
処理手段１は、排他制御テーブル８の資源名Ｒのエント
リにアクセスし、ロックモード部に排他モードＥが記録
されているので資源Ｒが排他モードＥですでにロックさ
れていることを認識し、ロック待ちタスクキューを先頭
から順に走査して排他モードＥのロック待ちタスクＴ５
を見つけて、現在時刻ｔ＋Ｂからロック要求時刻【＋７
を減算してロック待ちタスクＴ５のロック待ち時間１を
得る。ロック待ちタスクＴ５のロック待ち時間１が最大
待ち時間２よりも小さいので、共有要求処理手段１は、
ロック待ちタスクキューの走査を終了する。資源Ｒが排
他モードＥでロックされているので、共有要求処理手段
ｌは、走査終了位置にあるロック待ちタスクＴ５のロッ
ク要求の前にロック要求タスクＴ６のタスク識別子Ｔ６
およびロック要求モードである共有モードＳの組を挿入
し、ロック要求タスクＴ６の処理を中断させてロック待
ちとする。この結果、排他制御テーブル８は、第４図（
ｅ）に示す状態となる。

時刻ｔ＋１０で、タスクＴ７が資源Ｒを共有モードＳで
ロック要求すると、共有資源排他制御機能９は、ロック
要求処理部６の共有要求処理手段１を呼び出す。共有要
求処理手段１は、排他制御テーブル８の資源名Ｒのエン
トリにアクセスし、ロックモード部に排他モードＥが記
録されているので資源Ｒが排他モードＥですでにロック
されていることを認識し、ロック待ちタスクキューを先
頭から順に走査して排他モードＥのロック待ちタスクＴ
５を見つけて、現在時刻ｔ＋１０からロック要求時刻１
＋７を減算してロック待ちタスクＴ５のロック待ち時間
３を得る。ロック待ちタスクＴ５のロック待ち時間３が
最大待ち時間２よりも大きいので、共有要求処理手段１
は、ロック待ちタスクキューの走査を継続しようとする
が、ロック待ちタスクキューのすべてのロック要求を走
査し終わっているので走査完了とする。ロック待ち時間
が最大待ち時間２より小さい排他モードＥのロック要求
が見つからなかったので、共有要求処理手段１は、ロッ
ク要求タスクＴ７のタスク識別子Ｔ７およびロック要求
モードである共有モードＳの組をロック待ちタスクキュ
ーの最後に追加し、ロック要求タスクＴ７の処理を中断
させてロック待ちとする。この結果、排他制御テーブル
８は、第４図（ｆ）に示す状態となる。

時刻ｔ＋１１で、タスクＴ２が資ｔＡＲをアンロック要
求すると、共有資源排他制御機能９は、アンロック要求
処理部７のロック解除手段３を呼び出す。ロック解除手
段３は、排他制御テーブル８の資源名Ｒのエントリにア
クセスし、ロック中タスクリストからタスク識別子Ｔ２
を削除する。ここで、ロック中タスクリストが空となっ
たので、ロック解除手段３は、ロックモード部の排他モ
ードＥも消去する０次に、ロック解除手段３は、ロック
待ちタスクキューの先頭のロック待ちタスクＴ４のロッ
ク要求モードが共存モードＳであるので、共有待ちロッ
ク手段４を呼び出す、共有待ちロック手段４は、ロック
待ちタスクキューの先頭から連続する共有モードＳのロ
ック待ちタスクＴ４およびＴ６のタスク識別子Ｔ４およ
びＴ６をロック中タスクリストに、共有モードＳをロッ
クモード部にそれぞれ記録し、ロック待ちタスクＴ４お
よびＴ６をロック待ちタスクキューから削除する０次に
、共有待ちロック手段４は、ロック待ちタスクＴ４およ
びＴ６の処理を再開させてロック権を与える。この結果
、排他制御テーブル８は、第４図（ｇ）に示す状態とな
る。

なお、上記実施例では、最大待ち時間Ｔを資源Ｒの種類
にかかわらずに固定値としたが、排他制御テーブル８内
に各資源に対する最大待ち時間の欄を設けて各資源ごと
に異なった最大待ち時間Ｔを記録し、これを用いて資源
の排他制御を行うことも可能である。

〔発明の効果〕

以上説明したように本発明は、最大待ち時間を新たに導
入し、資源を排他モードでロック待ちしているタスクの
ロック待ち時間が最大待ち時間以内である場合に限り、
共有モードでロック要求したタスクが排他モードでロッ
ク待ちしているタスクを追い越すことを許すようにした
ことにより、永久封鎖の問題を避けながら共有資源の使
用効率を向上させることができるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例に係る共有資源排他制御方式
の構成を示すブロック図、 第２図は第１図中の排他制御テーブルの構成を示す図、 第３図は本実施例の共有資源排他制御方式での資源に対
するロック／アンロック要求の発生状況の具体例を示す
タイムチャート、 第４図（ａ）〜（ｇ）は第３図に示したタイムチャート
に基づく排他制御テーブルの状態の遷移を説明するため
の図である。 図において、 ｌ・・・共有要求処理手段、 ２・・・排他要求処理手段、 ３・・・ロック解除手段、 ４　・・共存待ちロック手段、 ５・・・排他待ちロック手段、 ６・・・ロック要求処理部、 ７・・・アンロック要求処理部、 ８・・・排他制御テーブル、 ９・・・共有資源排他制御機能、 Ｔ１〜′Ｆｎ・タスクである。

Claims (1)

1. 【特許請求の範囲】 計算機システムの共有資源排他制御方式において、 共有モードのロック要求に対して、資源が共有モードで
   ロックされておりかつ排他モードのロック待ちタスクが
   ありこれらのタスクのすべてのロック待ち時間が最大待
   ち時間以内であればロック要求タスクにロック権を与え
   、資源が共有モードでロックされておりかつロック待ち
   時間が最大待ち時間以内の排他モードのロック待ちタス
   クと最大待ち時間を越える排他モードのロック待ちタス
   クとがともにある場合および資源が排他モードでロック
   されておりかつロック待ち時間が最大待ち時間以内の排
   他モードのロック待ちタスクがある場合にはロック待ち
   時間が最大待ち時間以内の排他モードのロック待ちタス
   クの中で最も長時間待っているタスクの前にロック権が
   与えられるようにロック権の付与順序を変更してロック
   要求タスクをロック待ちとする共有要求処理手段と、ア
   ンロック要求に対して次にロック権を与えるべきロック
   待ちタスクが共有モードでロック要求している場合には
   どの排他モードのロック待ちタスクよりも先にロック権
   を与えるべき共有モードのロック待ちタスクのすべてに
   ロック権を与える共有待ちロック手段と を有することを特徴とする共有資源排他制御方式。