JPS584372B2 - オブジェクト・アクセス制御装置 - Google Patents

Description

【発明の詳細な説明】 〔技術分野〕 本発明はプログラム記憶式データ処理シスデムにおいて
、複数のタスクによるオブジェクトへのアクセスを制御
する装置に係る。

〔本発明の背景〕

２以上のプログラムを同時に処理し得るデータ処理シス
テムにおいては、データ又はプログラムに対するアクセ
スの衝突を避けるための手段を備えておく必要がある。

データ処理システムのユーザのために遂行されるプロセ
スは「タスク」と呼ばれる。

各タスクは１以上のプログラムを含み得る。

プログラムは多数の機械語命令から成っている。

各機械語命令は、「オブジェクト」と呼ばれるアドレス
指定可能な対象に対してオペレーションを遂行する。

オブジェクトにはデータ、タスク，プログラムなどが含
まれる。

特定のオブジェクトに対するアクセスの衝突は、そのよ
うなアクセスを要求している各々のタスクを直列化する
ことによって回避される。

直列化されると、現タスクが問題のオブジェクトに対す
るオペレーションを終了するまで、同じオブジェクトへ
の衝突するアクセスを要求している他のタスクは待機状
態にされる。

従来の直列化技術はソフトウエアによって実施されてい
るが、ソフトウエアによる直列化は比較的長い処理時間
を必要とする。

更に、ソフトウエアでアクセス制限（ホールド）を具体
化するシステムにしても、実際に認識できるオブジェク
ト・アクセス・レベルの数は２までであり、複数のタス
クが所与のアクセス・レベルを共有する能力も限られて
いる。

従来のシステムでは、オブジェクトに課されているアク
セス制限は、ホールド・プログラムを呼出してそのオブ
ジェクトに或る制限を加えることによってのみ検査する
ことができた。

従って、実際のオペレーションにあたってホールドを必
要としない場合であっても、そのオブジェクトの可用性
を調べるということだけのために、かなりの処理時間を
かけてホールドの付加及び除去を行なわなければならな
い。

加うるに、或るオブジェクトへのアクセスが制限されて
いるかどうかを調べるためには、プログラマがホールド
を適用するか又は他のプログラミング手順に従わなけれ
ばならないので、従来のアクセス制限は確実さに欠け、
オブジェクトの保全性に問題がある。

別の問題として、従来のシステムでは各タスクによる多
重ホールドができないため、或るオブジェクトのための
ホールドを除去するにあたっては大きな注意を払う必要
があった。

また、従来のシステムにおけるアクセス制限は、一般に
、その制限を加えたユーザによる追跡ができないもので
あった。

従来のシステムでは、ソフトウエア・ホールドはそれに
よって制限されるオブジェクトと共に記憶されており、
ホールドに関する状況データは１つにまとめられていな
い。

従って、ホールドに関係したオペレーションを遂行する
ためには、仮想メモリ・システムにおけるページングの
量を増す必要がある。

〔本発明の目的〕

本発明の目的は、複数のタスクによるオブジェクトへの
アクセスを自動的に且つ確実に制御することができ、し
かもその制御が外部からのアクセスが困難なハードウエ
ア・レベルで達成されるオブジェクト・アクセス制御装
置を提供することにある。

〔本発明の概要〕

本発明はオブジェクトのアクセス制限をハードウエア直
列化機構の形で実現させるもので、要求されているオブ
ジェクトのアドレスを保持するアドレス保持手段と、現
タスクの識別子を保持する識別子保持手段と、各オブジ
ェクトに課されているアクセス制限を関連するタスクの
識別子と共に記憶する記憶手段と、この記憶手段からオ
ブジェクト・アドレスを用いて対応するアクセス制限を
読出す読出し手段と、安求されている動作及び現タスク
の識別子と読出されたアクセス制限との両立性をテスト
し、その結果に応じて動作を禁止又は許可するアクセス
制御手段とを具備している。

現タスクの命令によって要求される動作には、通常のア
クセス（読取り、書込みなど）の他に、特定のアクセス
制限を加える動作及び既に存在しているアクセス制限を
除去する動作が含まれ、そのすべての場合において両立
性がテストされる。

テストの結束両立性が否定されると、問題のオブジェク
トへのアクセス又はアクセス制限の付加もしくは除去は
禁止される。

上述の構成によれば、１つのオブジェクトに対し、両立
性が存在している範囲内において複数のアクセス制限を
加えることができる。

また、各々のアクセス制限が関連するタスク即ち当該ア
クセス制限を加えたタスクの識別子と共に記憶され、両
立性をテストするときにはこの識別子も使用されるので
、共有オブジェクトの保全を確実に行なえる。

〔実施例の説明〕

Ａ．定義 アクセス制限に関する動作は、ユーザによって要求され
る場合と、機械命令によって自動的に要求される場合と
がある。

前者は「ロツク／アンロツク」と呼ばれ、後者は「捕獲
／解放」と呼ばれる。

本発明の装置もこれらに対応して、以下「許容／自由装
置」と呼ぶことにする。

「許容」はオブジェクトのロック又は捕獲に対応し、「
自由」はオブジェクトのアンロツク又は解放に対応する
，ロツク／アンロツクは、或るオブジェクトに対して特
定の型のアクセス制限即ちホールドを加えたいとき、又
はそのようなホールドを除去したいときに、ユーザが設
定したロック命令又はアンロツク命令によって遂行され
る。

これに対し、捕獲／解放は機械命令がオブジェクトに対
して特定の動作を行なうためのものであり、従って捕獲
の持続時間は単一の機械命餐に制限される。

捕獲には排他的捕獲と共有捕獲（非排他的捕獲）とがあ
る。

ロックも排他性を持つものと共有性を持つものとに分け
られるが、オブジェクトに対する動作に応じて更に細分
される。

まず動作については、「破壊」、「修正」、及び［読取
り」が行なわれるものとする。

「破壊」動作は、それによって他のタスクが問題のオブ
ジェクトの破壊、修正又は読取りを行なえなくなるよう
なすべての動作を意味する。

例えば、オブジェクトの名前が変更されたり消去された
りすると、他のタスクはそのオブジェクトにアクセスで
きなくなる。

「修正」動作は、他のタスクによるアクセス可能性を残
したままで、オブジェクト自体又はその特性を変化させ
る動作を意味する（更新とも言う）。

「読取り」動作はオブジェクトのアクセスを要求するが
それを変比させないような動作を意味する。

これらの動作は階層的である。即ち、オブジェクトを破
壊し得るタスクは修正及び読取りも可能であり、オブジ
ェクトを修正し得るタスクは読取りも可能である。

これらの動作の間の両立性については、或るタスクによ
るオブジェクトの破壊は、他のタスクによる同じオブジ
ェクトの読取り、修正又は破壊と両立せず、従って排他
性を持っている。

しかし読取り及び修正に限れば、基本的には排他性を持
っていない。

捕獲／解放の基本的機能は、或るタスクがオブジェクト
の修正又は破壊を行なっている間は他のタスクが同じオ
ブジェクトの読取り、修正又は破壊を行なえないように
することによって、オブジェクトの保全を図ることにあ
る。

２つのタスクが同じオブジェクトを同時に読取ることは
差し支えない。

従って、捕獲には２つの型があることがわかる。

即ち、［共有捕獲（ＳＨＳＺ）、及び［排他的捕獲（Ｅ
ＸＳＺ）Ｊである。

共有捕獲はオブジェクトを読取るだけのタスクによって
要求され、それが得られると、タスクに対してオブジェ
クトを読取るためのアクセスを保証する。

そのとき、他のタスクによる共有捕獲が同じオブジェク
トに関して既に得られていてもよい。

排他的捕獲はオブジェクトを修正もしくは破壊するタス
クによって要求される。

排他的捕獲が得られると、他のタスクはそのオブジェク
トに対して如何なる動作も行なえない。

従って、或るオブジェクトについて排他的捕獲が存在し
ている限り、他のタスクによる共有捕獲及び排他的捕獲
は許されない。

逆に、排他的捕獲はそれを保有するタスクに対し中断さ
れないアクセスを保証する。

しかし或るオブジェクトについて既に共有捕獲が存在し
ていれば、排他的捕獲は許されない。

もし、許されると、既に共有捕獲を得ていた、即ち読取
りを保証されていたクスタがそのオブジェクトを読取れ
なくなるからである。

共有捕獲及び排他的捕獲は、問題のオブジェクト（こつ
５）て既に存在しているロックと両立しない場合にも許
されない。

ロツクはユ−ザの制御の下にあり、次の５つの型に分け
られる。

排他的ロツタ読取り禁止（ＬＥＮＲ）一この型のロック
を有するタスクは問題のオブジェクトを全曲的に支配す
る。

他のタスクはどれもこのロックがかかつている間はオブ
ジェクトにアクセスし得ない。

オゾジ丁クトはこのロツクを保持するタスクによって何
時でも読取り、修正もしくは破壊され得る。

このロックは問題のオブジェクトに対し他のタスクが如
何なる支配潅も持っていない場合にのみ許容される。

排他的ロック読取り許容（ＬＥＡＲ）一このロックはこ
れを保持するタスクに、何時でも問題のオブジェクトを
読取りもしくは修止するだめのアクセスを保証し、さら
にどの他のタスクもこの田ンクが有効である間はオブジ
ェクトを修止し得ない事を保証する。

このロックは、もしオブジェクトに対し他のタスクがＬ
ＥＮＲ，ＬＥＡＲ，ＬＳＵＰもしくはＬＳＲＯのロック
又は排他的捕獲のいずれかを保持するならば許容されな
い。

共有ｏツク更新（ＬＳＵＰ）一このロツノはこれを保持
するクスタに何時でも間頂のオブジェクトを読取りもし
くは修市するためのアクセスを保証する。

他のタスクは、オブジェクトの読取りもしくは修正は行
なえるが、オブジェクトを破壊ずる↑は出来ない。

このロツタは、もし他のタスクが問題のオブジェクトに
対しＬＥＮＲ，ＬＥＡＲもしくはＬＳＵＰのロツタ又は
排他的捕獲を保持しているならば許容されない。

共有ロック読取り（ＬＳＲＤ）一このロックはＬＳＲＯ
と同じくオブジェクトの読取りアクセスを保証する。

他のタスクはオブジェクトの読取りの他に修止もできる
が、破喰はできない。

このロツクは他のタスクが問題のオブジェクトに対して
ＬＥＮＲのりツクもしくは排他的捕獲を保持しているな
らば許容されない。

共有ロック読取りのみ（ＬＳＲＯ）一このロックはタス
クのオブジェクトに対する読取りアクセスを任意の時刻
に保証する。

他のタスクはオブジェクトの読取りはできるが、修正も
しくは破壊はできない。

このロックは他のタスクがＬＥＮＲ．ＬＥＡＲ，もしく
はＬＳＵＰのＤノク又は排他的捕獲をオブジェクトに対
しで保持しているならば訂容されない。

上述の５種類のロックを表の杉で要約すると次のように
なる。

前述のように、捕獲には２つの型、即ち排他的，捕獲及
び共有捕獲がある。

排他的捕獲は、それを要求しているのが修正命令が破壊
命令かに応じて異なった手順で具体化される。

修正命令の場合は、問題のオブジェクトにどのようなロ
ックも存在していないか又は他のタスクによる修正を許
容する型のロック（例えばＬＳＵＰ．ＬＳＲＤ）が存在
していると、排他的捕獲は許容される。

これに対して、破壊命令による排他的捕獲は、問題のオ
ブジェクトにどのようなロックも存在していない場合に
のみ許容される。

従って、捕獲によるアクセス制限（ホ−ルド）には３つ
の型があることがわかる。

ロックには５つの型があったから、本発明の好ましい実
施例においては、全部で８つの−意的なホ−ルドが使用
されることになる。

許容／自山装置の主な機能に「許容ホールド機能」及び
［自由ホ−ルド機能］がある。

誇群ホールド機能は、オブジェクトの読取り、修正もし
くは破壊を行なう機械品令又はオブジェクトをロツクず
るしフック命令の実行が許されるか占かを決定する。

この決定は、後述するホールド要求ブロック中のデスト
・バイトに基づいて行なわれる。

自山ホールド機能は、機械命令によるオブジェクトの読
取り、修正もしくは破壊が完了したとき又はアンロツク
命令が出されたときに呼出され、問題のオブジェタトに
付随する捕獲又は０ツクを除人する。

ロック命令及びアンロツタ命令も機械命告であるが、ホ
ールド型コード（ロックの型を示すコード）が命令の入
力オペランドとしてユーザによって指定されるという点
で他の機械副令とは異なっている。

読取り命令、修正命令及び破壊命令のホールド型コード
は予め決まっている。

何れにしても、許容／自由装置は、問題のオブジェクト
のアドレス及びホールド型コードを受取って種々の動作
を行なう。

Ｂ．構成 第１図を参照して、本発明は内蔵プログラム計算機シス
テムに組込まれたものとして説明される，■乃至それ以
上のプログラム１０はｌ乃至それ以上のオブジェクト（
図示されず）に操作を加えるタスク１２へ編入されてい
る。

タスク１２内の各プログラム１０は夫々の命令の流れの
中でオブジェクト・アドレス１４を使用する。

オブジェクトアドレス１４はハツシュ発生器１６によっ
て操作ヲ受ける。

ハツシュ発生郡はハツシュ・アルゴリズムを使用してオ
ブジェクト・アドレス１４よりも長さが短かいハツシュ
・アドレスもしくはハツシュ・インデックス１８を発生
する。

ハツシュ・インデックス１８はホールド・ハツシュ表Ｈ
ＨＴ２０中の特定のホールド・ハツシュ表エントリ−Ｈ
ＨＴＥ５Ｑを参照する。

ＨＨＴ２Ｑ中のＨＨＴＥ５０はオブジェクト・アドレス
１４に存在するオブジェクトのための現在のホールド・
アクテイビテイを含むホールド・レコード連鎖２２に対
するアドレスを含む。

ホールド・レコード連鎖２２は同様にハツシュ・シノニ
ム即ちハツシュ発生器１６が同じハツシュ・インデック
ス１８を発生する様な異なるオブジェクト・アドレス１
４ヲ含む。

各ＨＨＴＥ５Ｑはホ−ルド・レコード連鎖２２に対する
アドレスかもしくはＯ値を含む。

Ｏ表示はオブジェクト及びそのハツシュ・シノニム（以
ドハツユ・シノニム群と呼ぶ）に対する現在のホールド
・アクテイビテイがない事を示す。

従って各ボールド・レコ−ド連鎖２２はシステム中のす
べてのアクティブなタスク１２のための特定ノハツシュ
・シノニム群に対するすべての現在のボールド・レコー
ド３４のア・タ戸イビテイを含む。

使用可能なホールド・レコ−ドの連鎖２４が初期設定さ
れ、ここから新らしいホールド・レコ−ド３４が引出さ
れ、これに自由にされたボールド・しコード３４が戻さ
れる。

制御アドレス表ＣＡＴ３Ｂはすべてのタスク１２がアク
セスし得る表である。

ＣＡＴ３ＢはＨＨＴ２０の開始点のホールド・ハツシュ
表アドレスＨＨＴＡ４０及び使用可能なホールド・Ｌコ
ード連鎖２４中に残存している最初の使用可能なボール
ドの使用可能ホールド・レコ−ド・アドレスＡＨＲＡ４
２を含む。

第２図を参照するに、タスク１２を一意的に同定スるタ
スク指名エレメントＴＤＥ３０は許容／自山装置によっ
て使用される２つの−フィールドを含んでいる。

第１のＴＤＥフィールドはタスク１２に５よって創生さ
れる各ホールド・レコード３４中にコピーされる一意的
なタスク識別子ＴＤＥＩＤ３２である。

これはタスク１２によって自由にされた任意のホールド
・レコード３４が同じクスク１２によって創生されたも
のであった事を保証するために許容／自由装置によって
遂行されるホールド自由機能によって使用される。

第２のＴＤＥフィールドはクスク１２によって形成され
たすべてのホ−ルド・レコードの計数 ＴＤＥＣＮＴ３６である。

ＴＤＥＣＮＴ３６はタスク１２によって創生されたすべ
てのホールド・レコード３４が除去される事を保証する
ためとすべての創生されたホールド・レコ一ドが除去さ
れた後にさらにホールド・レコード３４のための探索を
避けるためにタスク１２が破壊される時に使用される。

すべてのホールド・レコード３４は、これ等がハツシュ
・シノニム群のための特定の使用されるホールド・レコ
ード連鎖２２上にあるかもしくは使用可能ホールド・レ
コード連鎖２４上にあるかに拘らず現実には単一のホー
ルド・レコード領域ＨＲＡ４Ｂ内に含まれる。

与えられたホールド・レコード連鎖２２もしくは使用可
能ホールド・レコード連鎖２４上のホールド・レコード
３４は隣接している様に見えるが、これ等は隣接してい
る必要はない。

ホールド・レコード３４はホールドレコ−ド連鎖２２及
び２４内の次のホールド・レコード３４のアドレス並び
に使用されるホールドレコード連鎖２２のためのＨＨＴ
Ｅ５０もしくは使用可能ホールド・レコード連鎖２４の
ためのＡＨＲＡ４２を処理する事によって隣接して見え
る様にする事が出来る。

ホールド・レコード連鎖２２もしくは２４上の次のホー
ルド・レコード３４のアドレスは以下説明される如く各
ホールドレコード３４内に含まれる。

１６バイト・ホールド・レコード３４のフォーマットが
第３図に示されている。

バイト０はＨＲフラッグ６０を含み、これは５個の不使
用のビット０−４とこれに続く３個のフラッグ・ビット
５−１より成る。

ビツト５はビジイ・フラッグ（ＨＲビジイ）６２で他の
タスクがホールド・レコード連鎖２２に操作を加えるの
を防止するため任意のホールド・レコード連鎖２２中の
最初のホールド・レコード３４中でセットもしくはオフ
にされ得る。

ビット６は連鎖の終りフラッグＨＲＥＯＣ６４であり、
各ホールド・レコード連鎖２２中の最後のホールド・レ
コード３４中でオンにされる。

ビットＴは特定のモニタされたホールド・レコード３４
が自由にされた時にプログラミング・システムに知らせ
るために使用されるモニタ・フラッグ（ＨＲモニタ）６
６である。

ホ−ルド・レコード３４のバイト１は実行されるべき特
定のホールドの正確な型を示すホールドコード（ＨＲホ
ールド）６８を含む。

バイト２−７はホールド・レコード３４が適用されるオ
ブジェクト・アドレス（ＨＲオブジェクト・アドレス）
１０を含んでいる。

ＨＲオブジェクト・アドレス１０はホールド・レコード
連鎖２２上のホールド・レコード３４がオブジェクト・
アドレス１４に適用可能であるか、オブジェクト・アド
レス１４のハツシュ・シノニムに適用可能であるかを決
定するためにオブジェクト・アドレスと比較されなけれ
ばならない。

バイト８−９はホールドレコード３４が創生きれる時に
ＴＤＥ３０中のＴＤＥＩＤ３２フィールドからロードさ
れるタスク識別子ＨＲ ＴＤＥ ７２を含んでいる。

バイト１０−１１はホールド・レコード連鎖２２もしく
は使用可能ホールド・レコ−ド連鎖２４中の次のホール
ド・レコード３４のアドレス（ＨＲ連鎖）７４を含んで
いる。

バイト１２−１５は使用されない。

第３図は同様に以丁説明される許容／自由装置によって
使用される２バイトのホールド要求ブロックＨＲＢ７６
のフォーマットを示している。

バイト０はテストさるべきホールドの型を示すため許容
／自由装置中において使用されるビット・コードＨＲＢ
ＴＥＳＴ ７Ｂを含む。

これ等のホールドの型はかならずしも許容もし《は自由
にさるべきホールドと同じである必要はない。

例えば、本発明の捕獲及びロックのプロトコールはＬＳ
ＲＤロックを許容する前にＬＥＮＲロックをテストする
，バイト１は許容もしくは自由化されるべき実際のホー
ルド型であるＨＲＢＨＯＬＤ ８０を含む。

第１，２及び３図を参照するに、ホールド・レコード制
御動作は許容／自由装置によって遂行される３つの内部
機能、即ち連鎖ビジイ・フラッグの取扱い（セット／リ
セット連鎖ビジイ機能）；オブジェクトに対し要求され
たホールドの許容（許容ホールド機能）及びオブジェク
トに対し特定されたホールドの自由化（自由ホールド機
能）より成る。

ビジイ・フラッグ取扱い機能はセット／リセット連鎖ビ
ジイ機能より成る。

予じめ指定されたオブジェクト・アドレス・レジスタは
問題のオブジェクトの６バイト・オブジェクト・アドレ
ス１４を含む。

予じめ指定された復帰ホールド・レコード・アドレス・
レジスタは、もしＨＨＴＥ５０の内容が非ＯでＨＲビジ
イ・フラッグ６２が以下説明される如く予期される状態
にあればホールド・レコード連鎖２２上の最初のホール
ド・レコード３４のアドレスがロードされる。

オブジェクト・アドレス１４はハツシュ発生器１６中で
ＨＨＴ２０へのインデックスとして使用される１バイト
のハツシュ・アドレス即ち、ハッシュ・インデックス１
８にハツシュされる。

ＨＨＴ２０へのアドレスＨＨＴＡ４０はＣＡＴ３Ｂ中に
存在する。

ＨＨＴ２０は２バイト・アドレスＨＨＴＥ５Ｑのリスト
を含む。

ＨＨＴＥ５０の各々はＯであるかもしくはオブジェクト
・アドレス１４及びそのハツシュ・シノニムのためのホ
ールド・レコード連鎖２２中の最初のホールド・レコー
ド３４のバイト・アドレスの最右の２バイトのいずれか
である２バイト・アドレスＨＨＴＥ５０はＨＲＡ４Ｂ中
のホールド連鎖２２を参照する。

ＨＲＡ４Ｂ中のすべてのホ−ルド・レコード３４はそれ
等の６バイト・アドレスの最左の４バイトが共通である
様に記録領域中で画定されているので、ホールド・レコ
ード・アドレスの最左の４バイトはＣＡＴ３８中に保持
された利用町能ホールド・レコードアドレスＡＨＲＡか
ら得られ得る。

これによりＨＨＴＥ５０及びＨＲ連鎖１４のアドレスは
最右の２バイトだけに簡単化され得る様にされる。

もしＨＨＴ２０中のＨＨＴＥ５０が０ならば、ホールド
・レコード連鎖２２はホールド・レコ−ド３４を含まず
、連鎖の終りラッチがオンに転ぜられ、予じめ指定され
た復帰ホールド・レコード・アドレス・レジスタの内容
は変化されず、セット／リセット連鎖ビジイ機能が完了
される。

もしＨＨＴ２０中のＨＨＴＥ５０の内容が非０ならばＨ
ＨＴＥ５０によってアドレスされるホールド・レコード
連鎖２２中の第１のホールド・レコード３４がフエツチ
され、ＨＲビジイ・フラッグ６２が検査される。

セット連鎖ビジイ機能の場合、もしホールド・レコード
連鎖２２がすでにビジイである事が発見されるならば、
即ちもしＨＲビジイ・フラッグ６２がオンならば、ビジ
イ・ラッチがオンに転ぜられる。

同様に、リセット連鎖ビジイ機能の場合、もしＨＲビジ
イ・フラッグ６２がすでにオフならば、ビジイ・ラッチ
がオンに転ぜられる。

これ等の２つの場合のいずれでも、もし連隅の終りラッ
チがオンかもしくはビジイ・ラッチがオンならば、予じ
め指定された復帰ホ一ルド・レコード・アドレス・レジ
スタの内容は変化されない。

もしビジイ・ラッチがオフならば、ＨＲビジイ・フラッ
グ６２の状態が逆転され、連鎖２２の最初のホールド・
レコード３４のＨＲオブジェクト・アドレス７０はこれ
を予じめ指定された復帰ホールド・アドレス・レジスタ
へロードする事によって復帰される。

許容／自由装置によって遂行される第２の内部機能は許
容ホールドである。

許容ホールド機能の可能な結果は所望のホールドの許容
の成巧、もはや使用可能なホールド・レコードが存在し
ないという例外による表示、もしくはホールドの衝突が
存在するという発見である。

予じめ指定されたオブジェクト・アドレス・レジスタは
問題のオブジェクトのためのオブジェクト・アドレス１
４を含む。

このオブジェクト・アドレス１４はハツシュされ、ホー
ルド・レコード連鎖２２上の最初のホールド・レコード
３４がセット／リセット連鎖ビジイ機能中の如くアクセ
スされる。

第２の予じめ指定されたレジスタは２バイトのＨＲＢ７
６のフイールドを含む。

第３の予じめ指定された復帰ホールド・アドレス・レジ
スタはホールドが許容されるか、ホールドの衝突が存在
する事が発見されるかどうかにかかわらず、ホールド・
レコード３４のアドレスをロードされる。

もしＨＨＴＥ５０が０ならば新しいホールド・レコード
３４が以下説明される如く（そのＨＲＥＯＣフラッグ６
４をオンの状態にして）形成される。

ＴＤＥ３０中のＴＤＥＣＮＴ ３６が１だけインクレメ
ントされ、形成されたホールド・レコード３４のアドレ
スが復帰ホールド・レコード・アドレス・レジスタヘロ
ードされる。

ＨＨＴＥ５０がホールド・レコード連鎖２２をアドレス
するのならば、ホールド・レコード連鎖２２中の各々の
ホールド・レコードが１つずつアクセスされる。

もし最初のホールド・レコード３４のＨＲビジイ・フラ
ッグ６２がオンならば、ビジイ・ラッチがオンに転ぜら
れ、復帰ホールド・レコード・アドレス・レジスタは変
更されず、許容ホールド機能が完了される。

そうでない場合、各ホールド・レコードが倹査され予じ
め指示されたオブジェクト・アドレス・レジスタの内容
がホールド・レコード３４中のＨＲオブジェクト・アド
レス７０と一致するかどうか、ＨＲＢＴＥＳＴ ７Ｂが
（可能なホールドの衝突を示して）ＨＲホールド・フィ
ールド６８と共通の任意のビットがオンであるかどうか
を見るために検査される。

もし共通ビットがオンならば、ＴＤＥ３０のＴＤＥＩＤ
フィールド３、２がホールド・レコード３４中のＨＲ
ＴＤＥフィールド１２と比較され、もし一致するならば
、可能な衝突は無視される。

そうでない場合真の衝突が生ずる。もし全神鎖がオブジ
ェクトのための衝突するホールドを含まないならば、新
らしいホールド・レコードがｖ下説明される如く創生き
れ、（ＨＲ ＥＯＣ フラッグ６４がこの場合オフに残
される点を除いて）、０連鎖の場合古同様に連鎖の前面
に連結される。

もし衝突がオブジェクトに対して発見されるならば衝突
ラッチがオンに転ぜられ、復希ホールド・レコード・ア
ドレス・レジスタは衝突するボールド・レコードのアド
レスがロードされ、許容ホールド機能が完了する。

衝突が発見されず、所望のホールドが許容されるべきす
べての場合において、ＨＲＢ７６のＨＲＢＨＯＬＤ ８
０はすべてのＯ（空白ホールド）表示を求めて検査され
る。

ＨＲＢＨＯＬＤ ８０が全０であればホールド・レコー
ドは創生きれず、許容ホールド機能は終了する。

そうでない場合、新らしいホールド・レコードは使用可
能ホールド・レコード連鎖２４中の最初の使用可能なホ
ールドレコード３４をフエツチし、もしそのＨＲ ＥＯ
Ｃフラッグ６４がオフならばＨＲホールド６８、ＨＲオ
ブジェクト・アドレス７０、ＨＲ ＴＤＥγ２、ＨＲ連
鎖（次のアドレス）７４及び（もし適切ならば）ＨＲ
ＥＯＣフラッグ６４を更新する事によって創生きれる。

新らしいホールド・レコードが次いで連鎖中の最初の位
置に連結される。

もしフエツチされた使用可能ボールド・レコード３４の
ＨＲ ＥＯＣフラッグ６４がオンならば、これは使用可
能ホールド・レコード連鎖２４中最後のものである事を
示し、新らしいホールド・レコード３４は創生きれず、
連鎖士に置かれない。

この場合、メモリ制限超過ラッチを介して追加の使用可
能なホールド・レコード３４の初期設定が行なわれるか
もしくはこれ以上ホールド・レコ−ド３４が初期設定さ
れ得ないならば修正動作が開始される。

許容／自由装置によって遂行される第３の内部機能は自
由ホールドである。

自由ホールド機能の可能な結果は上述のホールドを自由
化する事、自由化されるべきホールド・レコードがモニ
タされるべきかどうかを示す事、一致するホールドが発
見されない事を示す事である。

３つの予じめ指定されたレジスタは、ＨＲモニタ・フラ
ッグ６６がオンならば復帰ホールド・レコード・アドレ
ス・レジスタが自由化されるべきボールド・しコードの
アドレスをロードされる点を除いて許容ホ一ルド機能に
対して説明されたものと同じである。

もし連鎖が空かヒジイならば、一致ホールドは発見され
得す、夫々連鎖の終りラッチもしくはビジイ・ラッチが
オンに転ぜられ、復帰アドレス・レジスタは変史されな
い。

そうでない場合、ホールド・しコード連鎖２２十のホー
ルド・しコード３４がＨＲオブジェクト・アドレス・バ
イト１０、ＨＲホールド・バイト６８及びＨＲ ＴＤＥ
バイト７２中の内容との市確な一致を求めて比較される
，上述のすべての３つと一致するホールド・レコ一ド連
鎖２２上の最初のホールド・レコ一ド３４がホールド・
レコ−ド連鎖２２から除去されるべき一つの候補である
。

先ずＨＲモニタ・フラッグ６６が倹査され、もしオンな
らば候補ホールド・レコードのアドレスが復帰ホールド
・レコード・アドレス・レジスタヘロードされ、ホール
ド・レコード連鎖２２はその最初のホールド・レコード
３４中のＨＲビジイ・フラッグ６２をオンに転ずる事に
よってビジイ状態に置かれ、モニタ・ラッチがオンにさ
れる。

もしＨＲモニタ・フラッグ６６がオフならばボールド・
レコード３４はホールド・レコード連鎖２２から除去さ
れ使用可能ホールド・レコード連鎖２４へ戻される。

もしホールト・レコード連鎖２２中のどのホ−ルド・レ
コ−ド３４もオブジェクト・アドレスと一致しない事が
発見されると、以下説明される１ロック不在ラッチ”が
オンに転ぜられ、ロック不在例舛が信号され、復帰ホー
ルド・レコード・アドレス・レジスタは賓更されない。

第４図は本発明の好ましい実施例のデータの流れを示す
。

プロセツサ制飾ユニツトＰＣＵ９０が・データの流れの
ための順序付け、レジスタ選択及び即値データ放出のた
めの制御中心である。

ＰＣＵ９０は制御ラッチ１００をサンプルする。

関連する制御ラッチは第５図に示されている。

ＰＣＵ９０が制御信号を発生する方法はこの技術分野で
周知であり、本発明とは直接関係しない。

ＰＣＵ９０に加えて通常の演算論理ユニットＡＬＵ９２
が存在する。

主メモリ・ユニット９４、３つのレジスタ配列体１２０
，１３０，１４０及びホールド要求エミツク配列体１５
０が示されている。

これ等の後者の５個のユニットの各々は通常の如くアド
レス・レジスタによってアドレスされる。

これ等のユニツトの各々はホールド要求エミツタ配列体
１５０を除き、その内容をデータ・レジスタによって双
方向的に転送する。

所望のレジスタ内容を選択するための配列体アドレスの
ゲート動作は周知であり、一般的に説明から省略される
。

メモリ・アドレス・レジスタＳＡＲ配列体１４０及び汎
用レジスクＧＰＲ配列体１２０は各レジスタが同長の通
常の読取／書込みレジスタ配列体である。

上述のＣＡＴ３Ｂ（第１図及び第２図）はこの特定の実
施例の場合、ＳＡＲ配列体１４０の一部として含まれる
。

専用レジスクＳＰＲ配列体１３０はそのレジスタが論理
的に異なる長さであり得る点でわずかに異なる。

この技術分野の専門家にとっては任意数（偶数）のバイ
トのレジスクを具体化するために多くの小さな（例えば
、２バイトの）セクシコンをアドレスし転送するために
必要とされるステップは容易に認識する事が出来よう。

ＰＣＵ９０の直接制御下にある即値データエミツタ９６
は選択町能な定数をＡＬＵ９２の右側に転送する。

２バイトＯ検査ユニット９８がＳＰＲデータ・レジスタ
１３２の右側の２バイトに対して与えられる。

Ｏ検出ユニット９８は、これがＰＣＵ９０によってイネ
ーブルされてＳＰＲデーク・レジスタ１３２中のすべて
のＯの最右の２バイト・フィールドを検出した時に制御
ラツチ１００中のＯ検出表示器１０２をセットする。

ハツシュ発生器１６が６バイト・オブジェクト・アドレ
スに対してハツシング・アルゴリズムを適用し（例えば
すべての６個のバイトの互いの排他的ＯＲ）１バイト・
ハツシュ・インデックス１８を発生する。

ホールド要求エミツタ配列体１５０はシステムのための
予定のデータ定数の読取り専用メモリである。

特定のロックもしくは捕獲動作のために第６図に示され
た如き適当な単一の２バイト・データ定数が３ビット・
ホールド型コードによって選択されてそのアドレス・レ
ジスタヘゲートされる。

本発明は例外の処理機能を使用し（第５図に示された例
外ラツチ１１６−１１９の説明を参照）、ＰＣＵ９０に
対し例外の場合が生じた事を信号する。

ＰＣＵ９０は本発明において説明された機能のだめの通
常のイベントの系列を中断し、多くの訂算機シスデムに
共通であり、本明細占では説明されない例外処理機能へ
例列を提示する。

読取り、修正、破壊もしくはロックされるためにオブジ
ェクトを呼出した任危の命令は捕獲もしくは田ンク機能
を開始する。

データ処理ンステムはすべてのホールド・レコ−ド３４
を使用可能ホールド・レコード連鎖２４土に連結し、Ｈ
ＨＴ２０のすべてのＨＨＴＥ５０をＯにセットする事に
よって初期設定される。

制御ラツチ１００のすべてのラッチ及び表示器は任意の
タスクの機械命令の開始時にオフに転ぜられる。

制斜ラツチ１００のステータス及びすべてのレジスタの
ステータスは各タスクに対し独ウーして保持され得る。

機械命令はＰＣＵ９０をしてＧＰＲ配列体１２０中の予
じめ指定されたオブジェクト・アドレス・レジスタＯＡ
Ｒ１２３ヘホールドきるヘキオブジェクトの６バイト・
オブジェクト・アドレス１４をゲートする。

遂行さるべき動作に対応する３ビット・ホールド型コー
ドがＰＣＵ９０によってホ−ルド要求エミツタ配列体ア
ドレス・レジスタＨＲＥＡ ＡＲ １５１ヘゲートされ
る。

これによってホールド型コードに対応してホールド要求
エミツタ配列体ＨＲＥＡ１５０から２バイトが選択され
、ＰＣ０９０によってホールド要求エミツタ配列体のデ
ータ・レジスタＨＲＥＡＤＲ１５２ヘゲートされる。

ＨＲＥＡ１５０の出力値は第６図に示された値に従って
選択され得るが以下説明される如く他の値も使用され得
る。

ＨＲＥＡ出力はＰＣＵ９０によってＳＰＲ配列体１３０
のホールド要求ブロック・レジスタＨＲＢＲ．１３９に
ゲートされる。

許容／自由装置の許谷ホールド機能が次いで信号される
。

Ｃ．許容ホールド機能 第１〜５図を参照するに、許容／自由装置の許容ボール
ド機能の具体例が示されている。

許容ホールド機能のシ−ケンス動作が信号され、制御信
号がＰＣＵ９０中で発生され、これは新らしく要求され
たホールドを許容する前に衝突を求めて適切なホールド
・レコード連鎖２２の探索を生ずる。

ＨＨＴ２０のアドレスＨＨＴＡ４０はＳＡＲ配列体１４
０から専用レジスタＳＰＲ配列体１３０中のハツシュ・
ホールド表アドレス・レジスタＨＨＴＡＲ１３３ヘゲー
トされる。

ＧＰＲ配列体１２ＱのＯＡＲ１２３がフエツチされハツ
ノユ発生器１６ヘゲートされる。

ハツシュ発生器１６は主メモリ９４中のＨＨＴ２０中の
ＨＨＴＥ５０（第１図および第２図に示された）へ向う
１バイト・ハツシュ・インデックス１８を発生する。

１バイト・ハツシュ・インデックス１８はＡＬＵ９２の
右辺ヘゲートされる。

ＨＨＴＡＲ１３３がＡＬＵ９２の左辺ヘゲートされる。

ＡＤＤ動作がＡＬＵ９２によって遂行され、その結果が
メモリアドレス・レジスタＳＡＲ９３へおよびＳＰＲ配
列体１３０中のホールド・ハツシュ表エントリ・アドレ
ス・レジスタＨＨＴＥＡＲ１３６ヘゲートされる。

つぎにＳＡＲ９３中のアドレスが主メモリ９４からオブ
ジェクト・アドレス１４のためのＨＨＴＥ５０をフエツ
チするのに使用される。

２バイトのＨＨＴＥ５０はＳＰＲ配列体１３０中の現ホ
ールド・レコード・アドレス・レジスタＣＨＲＡＲ１３
４およびホールド・ハツシュ表エントリ・レジスタＨＨ
ＴＥＲ１３γにゲートされる。

ＨＨＴＥ５０がＯ検査ハードウエア９８を介してすべて
のＯを求めてＳＰＲデータ・レジスタ１３２中において
検査されるのはこの時点であるもしＨＨＴＥ５ＱがＯ（
空のホールド・レコード連鎖２２を示す）ならば、０検
出表示器１０２はオンにセットされ、シーケンシングは
以下説明される如くホールド・レコード３４の許容へと
進むＨＨＴＥ５０が非０ならば、ＳＡＲ配列体１４０中
のＡＨＲＡ４２の最左の４バイトがＣＨＲＡＲＩ３４の
最左の４バイトへゲートされるＣＨＲＡＲ１３４中のア
ドレスがＳＰＲ配列体１３０からＳＡＲ９３へゲートさ
れ、このアドレスが主メモリ９４からホールド・レコー
ド連鎖２２（第１図及び第２図）上の最初のホールド・
レコード３４をフエツチするのに使用される。

フエツチされた１６バイトのホールド・レコードはＳＰ
Ｒ配列体１３０中の現ホールド・レコード・レジスタＣ
ＨＲＲ１３５ヘゲートされる。

この時最初のホールド・レコード３４が検査され、ＨＲ
ビジイ・フラッグ６２がオンかどうかが決定される。

もしオンならば、ビジイ・ラッチ１１４（第５図）がオ
ンに転ぜられ、捕獲もしくはロックの許容が再び続けら
れる。

もしホールド連鎖２２のＨＲビジイ・フラッグ６２がオ
フならば、ＳＡＲ配列体１４０中の現ＴＤＥアドレスＣ
ＴＤＥＡ１４３がＡＬＵ９２の左側ヘゲートされ、即値
データ・エミツタ９６の即値データ出力がＡＬＵ９２の
右側ヘゲートされる。

この即値データ出力はＣＴＤＥＡ１４３をインクレメン
トしてＴＤＥ３ロ内のＴＤＥＩＤ３２を指摘する。

ＡＤＤ動作がＡＬＵ９２によって遂行され、和がＳＡＲ
９３ヘゲートされる。

ＳＡＲ９３中のアドレスはＴＤＥ３０中のＴＤＥＩＤ３
２を主メモリ９４からフエツヂするのに使用される。

２バイトのＴＤＥＩＤ３２はＳＰＲ配列体１３０中のＴ
ＤＥＩＤレジスタＴＤＥＩＤＲ１３Ｂヘゲートされる。

ホールド・レコード３４は次の如《要求されているホー
ルドの型との衝突があるかどうかを見るために検査され
る。

段階１において、ＳＰＲ配列体１３０のＣＨＦｔＲ１３
５中のＨＲオブジェクト・アドレス７０はＡＬＵ９２の
左側にゲートされ、ＧＰＲ配列体１２０中のＯＡＲ１２
３中に含まれるオブジェクト・アドレス１４がＡＬＵ９
２の右辺にゲートされる。

ＡＬＵ９２によって比較動作が遂行され、もし２つのオ
ブジェクト・アドレスが一致すれば比較一致表示器１０
３（第５図）がオンにセットされる。

そうでない場合は比較一致表示器１０３はオフにセット
される。

比較一致表示器」０３がオンの場合、シーケンスは段階
２に進みそうでない場合は段階４に進む。

段階２において、ＣＨＲＲ１３５中のＨＲホールド６８
はＡＬＵ９２の左側ヘゲートされ、ＨＲＢＲ１３９中の
ＨＲＢＴＥＳＴ ７ＢがＡＬＵ９２の右側ヘゲートされ
る。

ＡＮＤ動作がＡＬＵ９２によって遂行される。

もしＨＲホールド６８及びＨＲＢＴＥＳＴ ７８中に任
意のオンの対応ビットが存在すれば（即ち結果が非Ｑな
らば）衝突表示器１０４がオンにセットされ、シーケン
スは段階３に進み、そうでない時は段階４に進む。

段階３で、ＣＨＲＲ１３５中のＨＲ ＴＤＥ ７２がＡ
ＬＵ９２の左辺ヘゲートされ、ＴＤＥＩＤＲ１３８中の
現ＴＤＥＩＤ３２が右辺ヘゲートされる。

比較動作がＡＬＵ９２によって遂行され、もしＡＬＵ９
２への２人力が等しいならば比較一致表示器１０３がオ
ンにセットされ、そうでなければオフにセットされる。

もし比較一致表示器１０３はオンにセットされるならば
、衝突が生じていす、シーケンスが段階４に進行する。

そうでなければ真の衝突が生じており、機能を完了する
ために衝突中のホールド・レコード３４のＣＨＲＡＲ１
３４中のアドレスはＧＰＲ配列体１２０の復帰ホールド
・レコード・アドレス・レジスタＲＨＲＡＲ１２４ヘゲ
ートされ、衝突ホールド・レコ−ド・ラツチ１１３がオ
ンに転ぜられて、許容ホールト機能が完了する。

段階４において、ＣＨＲＲ１３５中のＨＲフラッグ６０
がＡＬＵ９２の左辺ヘゲートされ、″０２”の１６進値
がＡＬＵ９２の右辺へ即値テータエミツタ９６からゲー
トされる。

ＡＮＤ動作がＡＬＵ９２によって遂行され、０表示器１
０１はＨＲ ＥＯＣフラッグ６４がオフならばオンにセ
ットされる。

０表示器１０１がオフならば即ちＨＲ ＥＯＣフラッグ
６４がオンであったならば、シーケンスは以下説明され
る如くホールド・レコード３４の許容に進む。

そうでない時は、ホールド．レコード連鎖２２の次のホ
ールド・レコート３４が検査される。

ＣＨＲＲ１３５中のＨＲ連釦１４がＣＨＲＡＲ１３４の
最右の２バイトにゲートされる。

ＣＨＲＡＲ１３４が次いでＳＡＲ９３にゲートされ、ホ
ールド・レコード連鎖２２上の次のホールド・レコード
３４をフエッチするのに使用される。

フエツチされたホールド・レコード３４はＣＨＲＲ１３
５ヘゲートされ、衝突しているかどうかが検査される。

ホールド・レコード連鎖２２上の各ホールド・レコード
３４は衝突が発見されるか、ホールド・レコード連鎖２
２の終りに到達する迄段階１−４において上述の如く検
査される。

衝突ホールド・レコード３４が発見されないならば又は
ホールド・レコード連鎖２２が空ならばホールドは次の
如くホールド・レコード３４を創生する事によって許容
される。

ＨＲＢＲ１３９のＨＲＢＨＯＬＤ ８０がＡＬＵ９２の
左辺ヘゲートされ、００の１６進値が即値データ・エミ
ツタ９６からＡＬＵ９２の右辺ヘゲートされる。

比較動作がＡＬＵ９２によって遂行され、もし結果がＯ
（即ちＨＲＢＨＯＬＤ ８０がＯ）ならば０表示器１０
１がオンにセットされる。

さもないと、０表示器１０１がオフにセットされる。

もし０表示器１０１がオンならば、許容ホールド機能は
完了する。

この特徴はオブジェクトに対し新らしいロックが望まれ
ない場合でも、特定の衝突を求めてホールド・レコード
連鎖が探索されるのを可能とずる。

Ｏ表示器１０１がオフにセットされるならば、ＡＨＲＡ
４２はＡＨＲＡレジスタＡＨＲＡＲ１４５及びＣＩ４Ｒ
ＡＲ１３４ヘゲートされる。

ＡＨＲＡＲ１４５はＳＡＲ９３ヘゲートされ、主メモリ
９４から使用町能なホールド・レコード３４をフエツチ
するのに使用される。

使用町能ホールド・レコード３４はＣＨＲＲ１３５ヘゲ
ートされる。

この時使用可能ホールド・レコード３４は、これが使用
可能ホールド・レコード連鎖２４上の最後の使用可能レ
コード３４である事を示してそのＨＲＥＯＣフラッグ６
４がオンであるかどうかを調べるために検査される。

もしＨＲ ＥＯＣフラッグ６４がオンならば、メモリ限
界超過ラツチ１１６がオンにされ、メモリ限界例外を信
号する。

もしそうでないならば、ＣＨＲＲＩ３５のＨＲ連鎖１４
がＡＨＲＡＲ１４５のバイト５及び６にゲートされ、Ｈ
ＲＡ４Ｂ中の次の使用可能なホールド・レコード３４が
指摘される。

ＡＨＲＡＲ１４５はＳＡＲ配列体１４０中のＡＨＲＡ４
２にゲートされる。

新らしいホールド・コードであるＨＲＢＲ１３９中のＨ
ＲＢＨＯＬＤ ８０が次いでＣＨＲＲ１３５中のＨＲホ
ールド６８ヘゲートされる。

ＯＡＲ１２３中のオブジェクト・アドレス１４はＣＨＲ
Ｒ１３５中のＨＲオブジェクト・アドレス７０ヘゲート
される。

ＴＤＥＩＤＲ１３Ｂ中の新らしいＴＤＥＩＤ３２はＣＨ
ＲＲ１３５中のＨＲＴＤＥ１２ヘゲートされる。

もしＯ検査表示器１０２がオンにセットされているなら
ば、０２の１６進値がＡＬＵ９２を通じて即値データ・
エミツタ９６からＣＨＲＲ１３５中のＨＲフラッグ６０
ヘゲートされ、丁度創生きれたホールド・レコードを連
鎖の終りであるとしてフラッグする。

ＨＨＴＥＡＲ１３６はＳＡＲ９３にゲートされ、ＳＡＲ
９３中のアドレスがＣＨＲＡＲ１３４の最右の２バイト
を主メモリ９４に記憶するのに使用される。

これは主メモリ９４中のＨＨＴＥ５０を更新しホールド
・レコード連鎖２２中の新らしいホールド・レコード３
４を指摘する。

新らしいＨＲ連鎖アドレスＨＨＴＥＲ１３７はＣＨＲＲ
１３５中のＨＲ連鎖１４ヘゲートされる。

ＨＨＴＥＡＲ１３６はＳＡＲ９３ヘゲートされ、ＣＨＲ
Ｒ１３５を主メモリ９４中に記憶するのに使用される。

ＴＤＥＣＮＴ３６は次いで次の如くｌだけインクレメン
トされる。

ＣＴＤＥＡ１４３がＰＣＵ９０によつてＳＡＲ配列体１
４０からＡＬＵ９２の左辺にゲートさね適切なオフセッ
ト値がＡＬＵ９２の右辺へ即値デ一タエミツタ９６から
ゲートされる。

ＡＤＤ動作がＡＬＵ９２によって遂行され、結果がＳＡ
Ｒ９３ヘゲートＸれる。

これはＴＤＥ３０内のＴＤＥＣＮＴ３６を指摘するため
アドレスをインクレメントする。

ＳＡＲ９３中のアドレスは主メ土９９４からのＴＤＥＣ
ＮＴ３６をフエツチするため（こ使用される。

２バイトＴＤＥＣＮＴ３６はＡＬＵ９２の左辺ヘゲ一ト
され、０１の即値１６進値が即値データエミツタ９６か
らＡＬＵ９２の右辺ヘゲートされる。

ＡＤＤ動作がＡＬＵ９２によって遂行され、結果が主メ
モリ９４にゲートされる。

ＣＨＲＡＲ１３４がＧＰＲ配列体１２０中のＲＥＲＡＲ
１２４ヘゲートされ、新らしいホールドレコード３４の
アドレスが保存される。

許容ホールド機能のシーケンスが次いで完了される。

捕獲もしくはロック機能を完了させるために、制御ラン
チ１００の状態が変存される。

もし衝突ホールド・レコード・ラツチ１１３及び連鎖ビ
ジイ・ラツヂ１１４が共にオフ状態にあると（第５図）
、要求されたロックもしくは捕獲が達成されている。

もし要求されたホールドが捕獲ならば、シーケンスは捕
獲を開始した機械命令で進行するもし機械命貨がロック
の要求であったならばロックが許容されており、機械命
令は許容されてこの機械命合の動作が完了する。

もし連鎖ビジイ・ラツチ１１４がオンならば、関連する
ホールド・レコード連鎖は使用中であり、許容ホールド
機能は上述の如く再試行されな＜てはならない。

もし衝突ボールド・レコード・ラツチ１１３がオンなら
ば要求されたホールドは既存の衝突するロックもしくは
捕獲のために許容され得ない。

ＧＰＲ配列体１２０中のＲＨＲＡＲ１２４が次いでＡＬ
Ｕ９２の左辺ヘゲートされる。

１６進値Ｏ】が即値データエミツタ９６からＡＬＵ９２
の右辺にゲートされる。

ＡＬＵ９２はＡＤＤ動作を遂行し結果がＳＡＲ９３にゲ
ートされる。

アドレスされたバイトＨＲＨＯＬＤ６８はｔメモリ９４
からフエツチされてＡＬＵ９２はＡＮＤ動作を遂行し結
果がＡＬＵ９２の左辺にゲートされる。

Ｆ８なる即値１６進値が即値データエミツタ９６からＡ
ＬＵ９２の右辺にゲートされる。

ＡＬＵ９２はＡＮＤ動作を遂行する。

制御ラッチＮＺＲ１０７はＡＮＤ動作の結果が０ならば
オフに、結宋が非０ならばオンに転ぜられる。

ＨＲＥＡ出力の対応２進値のための第６図のＨＲＢＴＥ
ＳＴ欄及びＨＲＢＨＯＬＤ欄を比較するにもし衝突が現
存するホールドによって生じたものであるならば、ＨＲ
ＢＲ１３９の最初のバイトＨＲＨＴＥＳＴ及び主メモリ
９４からフエツチされた衝突するホールド・レコードの
ＨＲＢＨＯＬＤバイトに対するＡＮＤ動作は結果の最初
の５バイトの少なく共１つにｌを生ずる。

他方もし衝突が現存する捕獲によって生じたものならば
、ＡＮＤ動作の結果の最後の２ビットの１つにｌが存在
する。

この結果が１６進値″Ｆ８”（２進値１１１１１０００
に対応ずる）とＡＮＤされる時、０値は衝突が存在する
捕獲によって生じたものである事を示す。

捕獲機能は単一の機械命令の実行中に排他的アクセスを
保持するためにのみ使用されるので、要求された捕獲の
許容を阻止する現存の捕獲は短時間後解放される。

制御ラツチＮＺＲＩＯγがオフならば次いで無限待機ラ
ンチ１０８がオンに転ぜられ、ホ−ルドを要求するタス
クをして衝突中のボールドの解放を求めて待機せしめる
ために、以下説明する如く待機シーケンスが開始される
。

もし制御ラツチＮＺＲＩＯγがオンならば、ＳＰＲ配列
体１３０中のＨＲＢＲ１３９のＨＲＢＨＯＬＤ ８０は
ＡＬＵ９２の左辺にゲートされる。

０３の即値ｌ６進値が即値データエミツタ９６からＡＬ
Ｕ９２の右辺ヘゲートされる。

ＡＬＵ９２がＡＮＤ動作を遂行する。

制御ラツチＮＺＲＩ０７はもしＡＮＤ動作の結果がＯな
らはオフに、結果が非Ｏならはオンに転ぜられる。

制御ラッチＮＺＲ１０７がオンならば、これは要求され
る捕獲が現存する田ンクのために訂容され得なかった事
を示す。

この事は０３（２進値００００００１１）の即値データ
ｌ６進値と第６図に示されるＨＲＥＡ出力に対応する２
進デイジツトのためにＨＲＢＨＯＬＤ欄にリストされた
値と比較する事によって明らかにされる。

現存するロックは不定持続時間のものであり得るので、
拒否された捕獲は待機にされず動作ロック両突例外が動
作ロック衝突ラッチ１１７を介して信号される。

もし他方、制御ラツチＮＺＲ１０７がオフならば要求さ
れたホールドはロックであり、要求されたロツクは時間
のきめられた待機状態に置かれるその待続時間はロック
を要求したユ−ザによって指示され得る。

これは無限待機ランチ１０８をオフに転ずる事によって
達成される。

待機シーケンスが次いで次の如く開始される。

ＧＰＲ配列体１２０中のＲＨＲＡＲ１２４の内容がＳＡ
Ｒ９３ヘゲートされる。

アドレスされたバイトが主メモリ９４からフエツチされ
、ＡＬＵ９２の左辺にロードされる。

０１の即値データ１６進値（２進の０００００００１）
が即値データエミツタ９６からＡＬＵ９２の右辺ヘゲー
トされる。

ＡＬＵ９２はＯＲ動作を遂行し、１バイトの結果は主メ
モリ・データ・レジスタ９５を経て主メモリ９４ヘゲー
トされる。

この動作は衝突するホールド・レコード３４中のＨＲモ
ニタ・フラッグ６６をオンにセットし、衝突するホール
ド・レコード３４が解放された時、成功しなかったホー
ルドの再試行が出来る様にする。

これは要求されたホールドを拒否したタスクを待機列に
置く事によつって達成される。

Ｄ．セット／リセット連鎖ビジイ機能 再び第１図乃至第５図を参照するに、セット／リセット
連鎖ビジイ機能の具体例が示されておりそのリセット連
鎖ビジイ部分がこの点で呼出される。

ＧＰＲ１２０中のＯＡ．Ｒ１２３に含まれるオブジェク
ト・アドレス１４がフエツチされ、ハツシュ発生器１６
ヘゲートされる。

ハツシュ発生器１６は主メモリ９４のＨＨＴ２０中のＨ
ＨＴＥ５０へのインデックスとして使用される１バイト
ハツシュ・インデックス１８を発生する。

ハツシュ発生器１６の１バイト出力はＡＬＵ９２の右辺
へゲートされる。

ＨＨＴＡＲ１３３がＡＬＵ９２の左辺にゲートされる。

ＡＤＤ動作がＡＬＵ９２によって遂行され、和がＳＡＲ
９３にゲートされる。

ＳＡＲ９３中のアドレスが主メモリ９４からオブジェク
ト・アドレス１４のためのＨＨＴＥ５０をフエツチする
のに使用される。

２バイトＨＨＴＥ５０はＯ検査器９８によってＳＰＲデ
ータ・レジスタ１３２の最右の２バイト中のすべて０を
求めて検査される。

もしＨＨＴＥ５０がすべてＯ（空のホールド・レコード
連鎖２２）ならば連鎖の終りラツチ１１５がターン・オ
ンされ、セット／リセット連鎖ビジイ機能は完了する。

そうでない時ＡＨＲＡ４２の最左の４バイトがＳＰＲ配
列体１３０のＣＨＲＡＲ１３４の最左の４バイトにゲー
トされる。

ＣＨＲＡＲ１３４が次いでＳＰＲ配列体１３０からＳＡ
Ｒ９３ヘゲートされる。

ＳＡＲ９３中のアドレスは主メモリ９４からホールド・
レコ−ド連鎖２２土の最初のホールドレコード３４をフ
エツチするのに使用される。

フエツチされたｌ６バイト・ホールド・レコ−ド３４は
ＳＰＲ配列体１３０中のＣＨＲＲ１３５にゲートされる
。

セツト連鎖ビジイ・ジーケンスの場合、ホールド・レコ
ード連鎖２２土の最初のボールド・レコード３４はＨＲ
ビジイ・フラッグ６２がオンであるかどうかが検査され
もしオンならばビジイ・ラツチ１１４がオンに転ぜられ
、セット連鎖ビジイ機能が完了する。

リセツト連鎖ビジイ機能の場合、ホールド・レコード連
鎖２２上の最初のホールド・レコード３４のＨＲビジイ
゛フラッグ６２がオフならば、ビジイ・ラツチ１１４が
オンに転ぜられ、リセット連鎖ビジイ機能が完ｆする。

他方、もしＨＲビジイ・フラッグ６２がセット連鎖ビジ
イ機能の場合にオフ（リセツト連鎖ビジイ機能の場合に
対してオン）であったならば、ＣＨＲＲ１３５の最左バ
イトがＡＬＵ９２の左辺にデートされセット連鎖ビジイ
の場合、即値データエミツタ９６からＪ６進値０４が（
もしくはリセット連鎖ビジイの場合１６進値ＦＢが）Ａ
ＬＵ９２の右辺にデートされる。

セット連鎖ビジイの場合にＯＲ動作（リセツト連鎖ビジ
イの場合はＡＮＤ動作）がＡＬＵ９２によって遂行され
、ＨＲビジイ・フラッグ６２はセット連鎖ビジイの場合
はオンに（リセット連鎖ビジイの場合はオフに）セット
される。

ＡＬＵ動作の結果はＣＨＲＲ１３５の最左バイトにゲー
ト・バックされる。

セット／リセット連鎖ビジイ機能を完了するために、Ｃ
ＨＲＡＲ１３４はＳＡＲ９３及びＣＰＲ配列体１２０中
のＲＨＲＡＲ１２４にゲ一トされる。

ＳＡＲ９３のアドレスは主メモリ９４へＣＨＲＲ１３５
から更新された１６バイト・ホールド・レコード３４を
記録するために使用される。

これによりセツト／リセット連鎖ビジイ・シーケンスが
完ｆする。

この時点で、もし無限待機ランチ１０８がオフならばタ
スク・タイマ機能が誘起される。

もし指示された時間が経過し、及びホールドを拒否され
たタスクが依然待機しているならば、ロック待機時間切
れ例外がロック待機時間切れラッチ１１８を介して信号
される。

タイマ機能の設計及び動作は一般にこの技術分野で周知
のものであり、本発明の部分をなさない。

そうでない場合、待機タスクが次に説明された如く解放
もしくはアンロツク機能によって待機状態から除去され
、要求されたホールドが上述の如く再試行される。

要約すると、衝突ホールド・レコード・ラツチ１１３が
オンに転ぜられている時これは問題のオブジェクトに対
する現存のホールドのために要求されたホールドが許容
されない事を示す。

要求されているホールドと衝突しているホールドのＨＲ
ＢＴＥＳＴビット及びＨＲＢＨＯＬＤビットは次いで互
いに及び即値データ基準ビットと比較され、現ホールド
がロックであるか捕獲であるかどうか及び要求されたホ
ールドがロックであるか捕獲であるかどうかが確かめら
れる。

現ホールドが捕獲であるならば、要求中のタスクは待機
される。

なんとなれば現行の捕獲は短かい持続時間のものである
からである。

もし現ホールドがロックならば要求されたホールドはこ
の要求がロックに対するものであるか捕獲にたいするも
のであるかを知るために検査される。

もし要求されたホールドが捕獲であるならば動作ロック
衝突例外が信号される。

なんとなれば捕獲にとってはロックの解放を待つ事は出
来ないからである。

もし、他方要求されたホールドがロックならば、ホール
ドを要求しているタスクは予じめ指定された時間だけ待
機状態に置かれる。

この時間間隔の終りに、もしロックが依然許容されてい
なければロック待機時間切れ例外がロック待機時間切れ
ラッチ１１Ｂを介して信号される。

Ｅ．自由ホールド機能 機械命令（許容ロック以外）が遂行された後、もしくは
アンロツク命令が呼出された時、解放もしくはアンロツ
ク機能が信号される。

ホールドを解放するのに加えて、任意の要求されたホー
ルドが解放されたオブジェクトへのアクセスを求めて待
機されていたかどうかを検査する事が必要である。

これは自由ホールド機能によって達成される。第１図乃
至第４図は自由ホールド機能を遂行する装置を示す。

ＨＲＢＲ１３９及びＯＡＲ１２３のための適切な値が前
に説明された如くロックもしくは捕獲を許容するのに使
用されたのと同一の方法で（もし必要ならば）再ロード
され得る。

自由ホールド機能のシーケンスが信号される時、制御信
号がＰＣＵ９０において発生され、これはプロセッサを
して探索情報を収集せしめ、ターゲットホールド・レコ
ードを位置付けせしめ、以下の如くターゲット・ホール
ド・レコードを自由化する段階Ａにおいて、ＡＨＲＡ４
２はＳＡＲ配列体１４０からＡＨＲＡＲ１４５ヘゲート
される。

ＡＨＲＡＲ１４５はＣＨＲＡＲ１３４及びＳＰＲ配列体
１３０中の最初のホールド・レコード・アドレス・レジ
スタＦＨＲＡＲ１４６ヘゲートされる。

ＨＨＴＡ４０はＳＡＲ配列体１４０からＳＰＲ配列体１
３０中のＨＨＴＡＲ１３３ヘゲートされる。

ＧＰＲ配列体１２０中のＯＡＲ１２３中に含まれるオブ
ジェクト・アドレスはハツシュ発生器１６ヘゲートされ
る。

ハツシュ発生器１６によって発生された１バイト・ハツ
シュ・インデックス１８はＡＬＵ９２の右辺にゲートさ
れる。

ＳＰＲ配列体１３０中のＨＨＴＡＲ１３３がＡＬＵ９２
の左辺にゲートされ、１バイトのハツシュ・インデック
ス１８がＨＨＴＡ４０に加算される。

和はＳＰＲ配列体１３０中のＨＨＴＥＡＲ１３６及びＳ
ＡＲ９３の両方にゲートされる。

ＳＡＲ９３中のアドレスは主メモリ９４中のＨＨＴＥを
フエツチするのに使用される。

２バイトＨＨＴＥ５０はＣＨＲＡＲ１３４の最右の２バ
イト及びＦＨＲＡＲ１４６の最右の２バイトヘゲートさ
れる。

この動作はＣＨＲＡＲ１３４及びＦＨＲＡＲ１４６中の
アドレスを更新し、ホールド・レコード連鎖２２の開始
点を指摘する。

次いでＨＨＴＥ５０はＳＰＲデータ・レジスタ１３２中
においてＯ検出ハードウエア９８によってＯの値を求め
て検査される。

もしＨＨＴＥ５０がＯであるならば、連鎖の終りラツチ
１１５がオンに転ぜられ、自由ホールド機能のシーケン
スが完了される。

もしＨＨＴＥ５０が非０ならばＣＨＲＡＲ１３４中のア
ドレスはＳＡＲ９３ヘゲートされ、ホールド・レコード
連鎖２２上の最初のホールド・レコード３４が主メモリ
９４からフエッチされる。

フエツチされた１６バイト・ホールド・レコード３４は
ＣＨＲＲ１３５ヘゲートされる。

この時、ＣＨＲＲ１３５中のＨＲビジイ・フラッグ６２
が検査され、もしオンならば、ビジイ・ラツチ１１４は
オンに転ぜられ、自由ボールド機能のシーケンシングが
完了される。

もしＨＲビジイ・フラッグ６２が非オンならば、ＣＴＤ
ＥＡ１４３がＳＡＲ配列体１４０からＡＬＵ９２の左辺
ヘゲートされ、適切な１６進オフセットが即値データエ
ミツタ９６からＡ．ＬＵ９２の右辺ヘゲートされる。

ＡＬＵ９２によってＡＤＤ動作が遂行され、和がＳＡＲ
９３ヘゲートされる。

この動作がＣＴＤＥＡ１４３をインクレメントし、ＴＤ
Ｅ３０内のＴＤＥＩＤ３２を指摘する。

ＳＡＲ９３中のアドレスは主メモリ９４からＴＤＥＩＤ
３２をフエツチするのに使用される。

２バイトＴＤＥＩＤ３２はＴＤＥＩＤＲ１３Ｂヘゲート
される。

最初のホールド・レコード表示器１０５がオンに転ぜら
れ、ホールド・レコード連鎖２２上の最初のホールド・
レコード３４が処理されつつある事を示す。

自由ホールド機能の段階Ｂで、ＣＨＲＲ１３５中のＨＲ
オブジェクト・アドレス７０はＡＬＵ９２の左辺に、Ｏ
ＡＲ１２３に含まれるオブジェクト・アドレス１４はＡ
ＬＵ９２の右辺ヘゲートされ、比較動作が遂行される。

もしアドレスが一致しなければ（即ち現在のホールド・
レコード３４がシノニムならば）、現在のホールド・レ
コード３４はターゲット・ホールド・レコード３４でな
く、シーケンスは段階Ｃに進む。

もしアドレスが一致すれば、ＣＨＲＲ１３５中のＨＲホ
ールド６８はＡＬＵ９２の左辺ヘゲートされ、ＨＲＢＲ
１３９中のＨＲＢＨＯＬＤ８０はＡＬＵ９２の右辺にゲ
ートされる。

比較動作がＡＬＵ９２によって遂行され、もしホールド
が同一でなければ（即ち現在のホールド・レコード３４
が自由化されつつあるホールドと一致しないホールドを
含む）、現在のホールド・レコード３４はターゲット・
ホールド・レコードでなく、シーケンスは段階Ｃに進行
する。

もしＨＲホールド６８及びＨＲＢＨＯＬＤ８０が一致す
れば、ＣＨＲＲ１３５中のＨＲＴＤＥγ２はＡＬＵ９２
の左辺にゲートされ、ＴＤＥＩＤＲＩ３８はＡＬＵ９２
の右辺にゲートされる。

比較動作が遂行され、もしこれ等が一致すれば（即ち現
在のＴＤＥが現在のホールド・レコードの所有者であれ
ば）、現在のホールド・レコード３４はターゲット・ホ
ールド・レコードであり、シーケンスはターゲット・ホ
ールド・レコードを自由化するため下記の段階Ｄに進む
。

段階Ｃにおいて、ＣＨＲＲ１３５中のＨＲＥＯＣフラッ
グ６４が検査され、もしオンならば、ユーザは存在しな
いロックを解放する様に試み、且つ（これは連鎖の終り
に到達する前には発見されなかったので）ロック不在例
列がロック不在ラツチ１１９を介して信号される。

連鎖の終りラツチ１１５がオンに転ぜられ、自由ホール
ド機能のシーケンスが完了する。

もしＨＲ ＥＯＣフラッグ６４がオフならば、ＣＨＲＡ
Ｒ１３４はＳＰＲ配列体１３０中の前のホールド・レコ
ード・アドレス・レジスタＰＨＲＡＲ１４γにゲートさ
れる。

ＣＨＲＲＩ３５中のＨＲ連鎖１４はＣＨＲＡＲ１３４の
最右の２バイトにゲートされる。

更新されたＣＨＲＡＲ１３４はＳＡＲ９３ヘゲートされ
る。

ＳＡＲ９３のアドレスはＣＨＲＲ１３５ヘゲートされる
ホールド・レコード連鎖２２上の次のホールド・レコー
ド３４をフエツチするために使用される。

最初のホールド・レコード表示器１０５はオフにリセッ
トされ、段階Ｂにおいて説明されたターゲット・ホール
ド・レコードをロケー卜するための動作が繰返される。

段階Ｄにおいて、ＣＨＲＲＩ３５中のＨＲモニタ・フラ
ッグ６６が検査され、もしオンならばホールド・レコー
ド３４は自由化されず、ホールド・レコード連鎖２２土
に残される。

ＦＨＲＡＲ１４６はＳＡＲ９３にゲートされ、ＣＨＲＲ
１３５ヘゲートされるホールド・レコード連鎖２２土の
最初のホールド・レコ−ド３４をフエツチする。

ＣＨＲＲ１３５中のＨＲビジイ・フラッグ６２がオンに
セットされる。

ＳＡＲ９３中のアドレスを用いてホールド・レコード連
鎖２２上の最初のホールド・レコード３４がアクセスさ
れ、ＣＨＲＲ１３５が主メモリ９４にゲートされる。

ＣＨＲＡＲ１３４中のアドレスはＧＰＲ配列体１２０中
のＲＨＲＡＲ１２４にゲートされる。

モニタ・ラツチ１１２はオンにセットされ、自由ホール
ド機能のシーケンスが完了する。

ＨＲモニタ・フラッグ６６がオフならばターゲット・ホ
ールド・レコードが次の如く自由化され得る。

ＣＨＲＲ１３５中のＨＲ ＥＯＣフラッグ６４が検査さ
れ、もしオフならば、連鎖の終り表示器１０６がオフに
セットされる。

もしＨＲＥＯＣフラッグ６４がオ冫ならば連鎖の終り表
示器１０６がオンにセットされる。

ＣＨＲＲ１３５中のＨＲフラッグ６０及びＨＲ ＴＤＥ
７２はオノにセットされる。

この動作は現在のホールド・レ上一ド３４中のＨＲフラ
ッグ６０及びＨＲ ＴＤＥ７２をクリアずる。

ＣＨＲＲ１３５中のＨＲ連鎖７４はＳＰＲ配列体１３０
中の次のホールド・レ」一ドオフセツ１へ・レジスタＮ
ＨＲ．ＯＲ１４Ｂへゲートされ、る。

ＡＨＲＡＲ１４５の最右の２バイトがＣＨＲＲ１３５中
のＨＲ連鎖７４へ、ゲートされる。

ＳＡＲ９３中のアドルスはＣＨＲＡＲ１３４から口−ド
され、ホールド・レ」一ド連鎖２２中の現在のホ−ルド
・レコード３４をアクセスするのに使用されＣＨＲＲ１
３５が主メ七り９４にゲー トされる。

ＣＨＲＡＲ１３４はＳＡＲ配列体１４０中のＡＨＲＡ１
４２にゲートされる。

この動作は現在のホールド・レコードを利用可能なホー
ルド・レコード連鎖２４土に置く。

最籾のホールド・レコード表示器１０５が倹配され、も
しオンならば、ＨＨＴＥＡＲ１３６がＳＡＲ９３ヘゲー
トされる。

ＳＡＲ９３中のアドレスはホールド・レコード３４のた
めのＨＨＴＥ５０をアクセスするのに使用される。

連鎖の終り表示器１０６が検査され、もしオンならばＯ
の２バイトが主メモリ９４にゲートされる。

もし連鎖の終り表示器１０６がオフならばＮＨＲＯＲ１
４Ｂが主メモリ９４ヘゲートされる。

この動作は現在のホ一ルド・レコード３４が連鎖上の最
初のものであつたならば、ホールドレコード連鎖２２か
ら現在のホールド・レコードを除去する。

もし最初のホールド・レコード表示器１０５がオフなら
ば、ＰＨＲＡＲ１４７がＳＡＲ９３ヘゲートされ、主メ
モリ９４からホールド・レコード連鎖２２上の前のホー
ルド・レコード３４をフエツチするのに使用される。

ホールド・レコード３４はＣＨＲＲ１３５にゲートされ
る。

この点において、連鎖の終り表示器１０６が検査され、
もしオンならば、ＣＨＲＲ１３５中のＨＲ ＥＯＣフラ
ッグ６４がオンにセットされ、ＨＲ連鎖１４はＯにセッ
トされる。

もし連鎖の終り表示器１０６がオフならば、ＦＩＲＥＯ
Ｃフラッグ６４がオフにセットされ、ＮＨＲＯＲ１４Ｂ
がＣＨＲＲ１３５中のＨＲ連鎖７４ヘゲートされる。

ＳＡＲ９３中のアドレスはホールド・レコード連鎖２２
七の前のホ−ルド・レコ一ド３４をアクセスするのに使
用され、ＣＨＲＲ１３５が主メモリ９４ヘゲートされる
。

この動作はもしこれがホールド・レコード連鎖２２土の
最初のもので石工いならばホールド・レコード連鎖２２
から現在のホールド・レコード３４を除去する。

ＴＤＥＣＮＴ３６が次の如くｌだけデイクレメントされ
る。

ＣＴＤＥＡ１４３がＰＣＵ９ＯによってＳＡＲ配列体１
４０からＡＬＵ９２の左辺にゲ一トされ、適切なオフセ
ット値が即値データエミツタ９６からＡＬＵ９２の右辺
ヘゲートされる。

ＡＤＤ動作がＡＬＵ９２によって遂行され、結果はＳＡ
Ｒ９３八ゲートされる。

これはＣＴＤＥＡ１４３をインクレメントしてＴＤＥ３
０内のＴＤＥＣＮＴ３６フィールドを指摘ずる。

ＳＡＲ９３中のアドレスは主メ七り９４からＴＤＥＣＮ
Ｔ３６をフエツチするに使用される。

２バイトＴＤＥＣＮＴ３６はＡＬＵ９２の左辺ヘゲート
され、即値１６進値０１が即値データ・エミツタ９６か
らＡＬＵ９２の右辺ヘゲートされる。

減算動作がＡＬＵ９２によって遂行され、結宋は主メモ
リ９４ヘゲートされる。

自由ホールド機能のジーケンスが次いで完ｆされる。

次いで解放もしくは了ンロツク機能は次の如く完了され
る。

もし連鎖どジイ・ラツチ１１４及びモニタされたホール
ド・レコード・ラツチ１１２が共にオフならは、解放も
しくはアンロツクは完了されており、タスクは継続し得
る。

もし連鎖ビジイ・ラツチ１１４がオンならば、これはホ
ールドは自由化され得ない事を示す。

なんとなれば他のタスクが関連ホールド・レコード連鎖
を使用しつつあるからである。

上述の自由ホールド機能は連鎖がちはやビジイでなくな
るまで再試行されなくてはならない。

モシモニタされたホールド・レコード・ラツチ１１２が
オンならば、ＧＰＲ配列体１２０中の復帰ホールド・レ
コード・アドレス・レジスタＲＨＲＡＲ１２４がＳＡＲ
９３ヘゲートされ、主メモリ９４から１バイトをＡＬＵ
９２の左辺へゲートせしめる。

ＦＥ（２進値１１１１１１１０）なる１６進値が即値デ
ータエミツクからＡＬＵ９２の右辺ヘロードされ、ＡＬ
Ｕ９２はＡＮＤ動作を遂行する。

この結果は主メモリ９４にゲートされる。これはＨＲモ
ニタ・フラッグ６６をオフに転ずる。

リセツト連鎖ビジイ機能は次に信号される。

モニタされるホールド・レコ一ド・ランチ１１２がオン
なので、この事はホールド・レコードが前のバス中自由
化されなかった手を示す。

従って、自由ホールド機能がここで再試行され、その後
連鎖の終りラツチ１１５、連鎖ビジイ・ラッチ１１４及
びモニタ・ホールド・レコード・ラッチ１１２の状態が
再び検査され、もしラッチの任意のものがオンならば上
述の如く動作が継続する。

もしこれ等のラッチのどれもオンでなければ、衝突する
ホ−ルドが自由化され、任意の待機タスクが待機状態か
ら除去され、要求されるホールドの許容が再び試みられ
る。

解放もしくはアンロツク機能が完了され、シーケンスは
次の機械命令で回復され得る。

ＨＲＥＡ出力に対応するものとして第６図に示されたＨ
ＲＢＴＥＳＴビット及びＨＲＢＨＯＬＤビットはこの明
細書の冒頭において説明されたロック及び捕獲衝突プロ
トコールを使用するビット構造の１例である事に注意さ
れたい。

さらに即値データ・テスト・バイトと比較される時、こ
れ等の構造は要求され、衝突するホールドがロックであ
るか捕獲であるかの決定を容易にする。

同一機能を遂行する互換ＨＲＢＴＥＳＴビット及びＨＲ
ＢＨＯＬＤビット構成の１例が同様に第６図に与えられ
ている。

これ等の互換ビット構成は前に与えられたものと同一の
即値データ基準ビットと共に動作する。

しかしながら最初の構成がより好ましい。

なんとなればテスト・フィールド及びホールド・フィー
ルドの２ビット（第６及び第７ビット）が使用されず、
従って他の機能のために利川可能であるからである。

互換構成中の第６ビツトのみが非使用のまま残される事
に注意されたい。

多くの互換ビット構成が可能で、これは適当な即値デー
タ基準ビットと結合される時十述の如きロック及び捕獲
プＤトコールを具体化するのに使用され得る串は明らか
であろう。

【図面の簡単な説明】

第１図は本発明を示した概略図である。 １０・・・・・・ブし１グラムＡ，Ｂ．１２・・・・・
・タスク、１４・・・・・・オブジェクト・アドレス、
１６・・・・・・ハツシュ発生器、１Ｂ・・・・・・ハ
ツシュ・インデックス、２０・・・・・・ホールド・ハ
ツジュ表、２２・・・・・・ホ−ルド・しコード連鎖、
２４・・・・・・使川可能ホールド・レコード、３４・
・・・・・新らしいホールド・レコードもしくは自由化
され，たホールド・しコード、３８・・・・・・制釘ア
ドレス表、４０・・・・・・ポ−ルド・ハッシュ表アド
レス、４２・・・・・・使用可能ホールド・レコード・
アドレス、５０・・・・・・ホールド・ハツシュ表エン
トり。 第２図は本発明を示した概略図である。 第３図は本発明に従うホールド要求ブロック及びホール
ド・レコードＯフオ＝マットを示した図である。 第４図は本発明を具体化したデータ処理シスデムのブロ
ック図である。 第５図は本発明に従う関連制御ラッチを示した図である
。 第６図は３ビット・ホールド型、関連ＨＲＥＡ出力、対
応するＨＲＢＴＥＳＴ及びＨＲＢＨＯＬＤのための２進
構造及びＨＲＢＴＥＳＴ及びＨＲＢＨＯＬＤのための互
換２進構成のサンプルを示した表である。

Claims (1)

1. 【特許請求の範囲】 １ 複数のタスクによるオブジェクトへのアクセスを匍
   御するために下記の（イ）乃至（ヘ）を具備するオブジ
   ェクト・アクセス制御装置。 （イ）特定のタスクからの命令によって指定された動作
   が行なわれるオブジェクトのアドレスを保持するアドレ
   ス保持手段。 （口）前記命令を出したタスクの識別子を保持する識別
   子保持手段。 （ハ）各オブジェクトに課されているアクセス制限を関
   連するタスクの識別子と共に記憶する記憶手段。 （ニ）前記アドレス保持手段に保持されているアドレス
   を用いて前記記憶手段から前記タスクの識別子をざむ対
   応するアクセス制限を読出す読出し手段。 （ホ）前記命咎及び前記識別子保持手段に保持されてい
   るタスクの識別子と、前記読出し手段によって読出され
   たアクセス制限との両立性をテストし、テスト結果が否
   定的であれば前記命令の実行を禁止し、テスト結果が肯
   定的であれば前記命令の実行を許可して指定されたオブ
   ジェクトへのアクセス、該オブジェクトに対するアクセ
   ス制限の発生及び前記記憶手段への書込み、又は前記記
   憶手段に記憶されている前記対応するアクセス制限の解
   除を行うアクセス制御手段