JPH0336642A - コンピユータ・システム資源管理方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 Ａ、産業上の利用分野 本発明は、計算機利用のデータ処理に関し、特に、多重
プロセスが、同時に実行されるシステム内のバッファな
どのコンピュータ・システム資源の管理に関する。

Ｂ、従来の技術 マルチプロセッシング：　−コンピュータ・プログラム
は、コンピュータ命令シーケンスから構成され、命令の
単一順序、または「プロセス」と呼ぶ命令の独立シーケ
ンス・セットとして実行可能である。コンピュータ資源
利用を獲得するために、プログラムは、普通、コンピュ
ータの「オペレーティング・システム」に対し、「シス
テム・コール」と呼ぶ命令を発する。オペレーティング
・システムは、コンピュータ・メモリ、あるいは、ハー
ドウェア装置などのコンピュータ資源利用を管理するプ
ログラムである。プログラムによって要求される資源は
、その排他的利用のために予約され、各々が、オペレー
ティング・・システムの制御に戻る（「解放される」）
まで、再利用のために使用できない。システム資源は制
限され、システム・コールは実行するには比較的高価で
あるから、プログラム（特に、高容量あるいは高性能プ
ログラム）は、それらを制御された方法で使用する。

プログラム及びプロセスは、多くのコンピュータ環境で
動作する。「多重プログラミング」環境では、２つある
いは複数のプログラムあるいはプロセスの実行は、プロ
セッサ上でインタリーブされる。その場合、実行されて
いるプロセスは、「割り込まれ」でもよい。つまり、コ
ンピュータはプロセスの実行を停止し、他のプロセスを
実行するなど、他のワークを実行する。割り込まれたプ
ロセスにおける次の命令が実行される前に、いくらか時
間があってもよい。この環境におけるいくつかのプロセ
スは、割込みに対して「使用禁止」されることができる
。このようなプロセスは割り込まれず、シーケンスとし
て最初から最後まで実行することになる。

「マルチプロセッシング」環境では、コンピュータは複
数のプロセッサから構成され、各プロセッサは、並行で
プログラムあるいはプロセスを実行することができる。

たとえば、プログラムが２つのプロセスを有する場合、
両者とも、マルチプロセッシング環境で同時に実行でき
る。マルチプロセッサ内の各プロセッサもマルチプログ
ラミングできる。

したがって、マルチプロセッシング環境では、プロセス
の活動は、他のプロセスの活動とともにインタリーブさ
れてもよい。だから、そのプロセスは他のプロセスと「
同時に」実行していると言われる。さらに、複数のプロ
セスが同時に正確に実行できる。異なるプロセッサで同
時に実行するプロセスは、「並行」に実行していると言
われる。

直列化：　同時に、すなわち並行に実行するプロセスは
、データを同時に、同じ記憶装置内に書き込むことがで
きる。その結果、１つのプロセスは、他のプロセスが書
き込んだものを破壊することになる。この種のエラーを
防ぐため、そのようなプロセスは、プロセスを「直列」
にするために１つあるいは複数の「直列化機構」を使用
しなければならない。これらの機構は、いくつかはｎＱ
的でかつ周知であり、シーケンスは実際には、いつでも
割込まれる可能性があるが、あたかもそれらが割り込ま
れないシーケンスで達成されるように、プログラムが臨
界活動を完了できるようにする。また、それらは、それ
がプログラムが資源へのアクセスを直列化でき、資源が
一度に唯１つのプロセスによって使われるようにするこ
とができる。この目的のために、「固有の」直列化機構
及び、「外部からの」直列化機構を区別する。

固有の直列化機構は１１８１（３７０Ｃｏｍｐａｒｅ−
ａｎｄ−Ｓｗａｐ　（Ｃ３）　ＮあるいはＸ　Ｃｏｍｐ
ａｒｅ−Ｄｏｕｂｌｅ−ａｎｄ−Ｓｗａｐ（ＣＤＳ）命
令などの「極小命令」のみを含む機構である。極小命令
は、分割できないことを保証するコンピュータ・ハード
ウェア命令である。そのような命令を実行するプロセス
は、それが、他のプロセスから妨害されずに命令を完了
できることが保証されている。たとえば比較及びスワッ
プ（Ｃｏｍｐａｒｅ−ａｎｄ−Ｓｗａｐ　）は、プロセ
スが記憶装置のワードを安全に更新できるようにする。

命令は、プログラムが、記憶装置内のワードの期待内容
に注目し、命令実行時に、記憶装置の期待内容が現行内
容と一致する場合にのみ、記憶が変えられることを要求
できるようにする。比較（Ｃｏｍｐａｒｅ　）及びスワ
ップ（Ｓｗａｐ）は、−度１つのプロセスが「比較」を
実行してしまうと、関連「スワップ」が実行されるまで
、他のプロセスは変更を実行できないという意味で、分
割できない活動である。

これらの命令並びにサンプル・コード化適用業務の説明
は、ｒＩＢＭシステム／３７０オペレーション拡張アー
キテクチュア原理（ＩＢＫ　Ｓｙｓｔｅｍ／３７０Ｅｘ
ｔｅｎｄｅｄ　Ａｒｃｈｉｔｅｃｔｕｒｅ　Ｐｒ１ｎｃ
ｉｐｌｅｓ　ｏｆ　０ｐｅｒａｔｉｏｎ（出版番号５Ａ
２２−７０８５）に見ることができる。

ラッチ：　他のすべての直列化機構は「外来的」である
と言われる。その基礎的な２例は、「スピン・ラッチ」
及び「延期ラッチ」である。それらは、最初何らかの無
意味の値にセットされる単１の共用ラッチ変数を有する
ことを含む。ラッチにより保護される活動を実行するた
めに、まずプロセスはラッチ変数を非ゼロの値にうまく
セットすることにより、ラッチを「獲得」しなければな
らない。ラッチ変数がすでに他のプロセスにより獲得さ
れている場合は、要求プロセスは待たなければならない
。

スピン・ラッチは、要求プロセス（及びプロセッサ）が
、それがラッチが「解放される」のを待っている時、連
続的に変数をテストする原因となるラッチである。この
テストが行なわれる間、プロセッサは「使用待ち」にあ
ると呼ばれ、他に何もすることはできない。この種のラ
ッチは、それがプロセッサ時間を費やす時は、一般に避
けられるべきである。

他方、中断ラッチは、それがすでに保持されている場合
は、プロセスはラッチを使用待ちすることを要求しない
。その代わりに、プロセスは「中断」シ、ラッチが使用
可能になると、プロセッサが他のプロセスによって喚起
される（「再開される」）まで、プロセッサを放棄する
。この方法はスピン・ラッチには好ましいが、それは要
求プロセスの中断と再開のトラックの保持に何間する、
システム・オーバヘッドがあるために、注意深く使用さ
れる。

マルチプロセッサ環境で動作する高性能プログラムにつ
いては、直列化機構の選択が重大になる可能性がある。

プログラム機能を、「メインライン」の機能とそうでな
い機能に分けることは有用である。メインラインの機能
はプログラムの本質であり、一方、非メインラインの機
能はメインライン活動を促進するか、または補足する補
助活動である。高性能プログラムでは、メインライン活
動は、典型的には繰り返して実行されるか、または時間
臨界性があり、そのため、ＣＰＵ時間またはＣＰＵ資源
から見て高価な活動が避けられ、または非メインライン
機能に移動されることが必要である。一般に、メインラ
インの外部直列化機構は高価であり、避けるべきである
。

亘遅よｌユＬＬ：　プログラムは、代表的には１つ、ま
たは複数の指定された反復機能を実行し、そして資源が
これらの機能を実行し、またはその関連目的を表示する
ことを要求できる。プログラムは、そのような資源のた
めに記憶装置を獲得することかでき、その記憶装置をと
もない、通常「資源プール」と呼ばれる所に集める。資
源プールを作る場合、多重処理環境内のプログラムは、
プール内の個々の資源へのアクセスを直列化できなけれ
ばならない。さらに、プログラムは普通動的にプールを
「拡張し」、さらに「短縮」する必要がある。すなわち
、プール内の資源の数を増減させる必要がある。

次の議論は、特定の例における資源プーリングの必要性
を述べ、また、プールの管理の際に生じるいくつかの論
点を議論する。プログラム（「受信側」）は、他のプロ
グラム（「送信側」）により生成されるデータを得る。

受信側は、送信側からのデータを保持するために、記憶
の一部を獲得することができる。この目的に使用される
コンピュータ記憶機構の各部分は、普通「バッファ」と
呼ばれ、その用語がその中で使われる資源の一型式であ
る。

データは、その到着時にバッファ内に置かれ、それが使
われるまでそこに保持される。受信側がバッフ１内でデ
ータを使用すると、バッファは、処理用にさらにデータ
を受信できる。−度使われると、バッファは、新しいデ
ータを受信する際の再利用に役立つ。

データが処理できるよりも速く受信される場合、多くの
バッファが意外に早く獲得されることもある。プログラ
ムは通常、ハッファヲ「バッファ・プール」すなわち資
源プールと呼ばれる論理構造の中に構成する。マルチプ
ロセッサ環境では、バッファ・プールは、プログラムに
属する任意のプロセスによって使用可能であり、そして
プログラムは、そのプロセスがバッファ・プール内でバ
ッファを使用する方法を制御しなければならない。通常
、プログラムは、２つのプロセスが同時に同じバッファ
を得るよつな方法で、バッフトプールからバッファを「
得たり」そして「解放したり」するための方法を、プロ
セスに提供する。

バ、フトプール内バッファへのアクセスの制御に加えて
、またプログラムは、バッファ・プール内に含むバッフ
ァの数も決定しなければならない。バッファ・プール内
にバッファがほとんど含まれていない場合は、プログラ
ムは、バッファを使い果たすことがある。プログラムは
、プログラムが使用を期待されているバッファの最大値
を決定することにより、この問題の回避を試みることが
できる。プログラムが、通常その数の僅かなパーセンテ
ージのみを使用する場合には、最大サイズのバッファ・
プールを割り当てることにより、プログラムは、他のプ
ログラムによって代わ、りに使用され得るコンピュータ
記憶装置を不必要に予約スル。しかし、パッフトプール
の最大期待サイズが非常に小さい場合は、プログラムは
バッファを使い果たす。

そのプロセスの１つが記憶すべきデータを有する時に、
プログラムがバッファを使い果たした場合は、プロセス
は正常に機能を果たすことができず、プログラムは直ち
に活動しなければならない。

たとえば、プログラムは実行を終了することがある。こ
の「解決法」は、プログラム実行の継続が会社や他の企
業の操業に対して極めて重大である大部分の場合に、受
は入れることはできない。代すニ、プログラムはプロセ
スのデータを無駄にすることもある。しかし、データが
再生不可能である場合、または企業にとって非常に重大
である場合、この解決法も受は入れられない。

プログラムは、バッファが記憶用に使用可能になるまで
待つことができる。これは、他のプロセスが、記憶用バ
ッファを必要とするプロセスで、並行にバッファからデ
ータを用い、すぐに終了することが期待され、それを解
放する所で実行することができる。もしこのアプローチ
がとられる場合、記憶用バッファを必要とするすべての
プロセスは、バッファからのデータを用いたプロセスが
終了するまで、待たなければならないことになる。

しかし、データを利用したこれらのプロセス自体力、記
憶バッファを待つプロセスによって活動を待っている場
合、プログラムは「行き詰まり」、仕事を継続できなく
なる。この理由で、他のプロセスを待って再利用のため
にバッファを解放することは、受は入れられない。

ＩＢＭ出版ＧＣ２８−１１５４、ｒＭＶｓ／拡張アーキ
テクチュア監視サービス及びマクロ命令（ＭＶＳ／Ｅｘ
ｔｅｎｄｅｄ　Ａｒｃｈｉｔｅｃｔｕｒｅｓ　５ｕｐｅ
ｒｖｉｓｏｒＳｅｒｖｉｃｅｓ　ａｎｄ　Ｍａｃｒｏ　
Ｉｎ５ｔｒｕｃｔｉｏｎｓ）　Ｊ　　は）セル２プール
の生成、割当て、拡張、及び削除を説明している。セル
・プールの短縮は説明していない。

１９７９年６月１２日発行の、バローズ社（Ｂｕｒｒｏ
ｕｇｈｓ　Ｃｏｒｐｏｒａｔｉｏｎ）に譲り受けられ１
コール（Ｃａｌｌ）他の米国特許第４１５８２３５号明
細書、「マルチ・ポート時分割連想バッファ記憶プール
（Ｍｕｌｔｉ　Ｐｏｒｔ　Ｔｉｍｅ−ｓｈａｒｅｄ　Ａ
ｓ５ｏｃｉａｔｉｖｅ　ＢｕｆｆｅｒＳｔｏｒａｇｅ　
Ｐｏｏｌ）　Ｊ　　は、バッファ・プールからのバッフ
ァの動的割当てを記載しているが、プールの拡張及び短
縮をアドレスしていない。

１９８３年１２月２０日発行の、ＩＢＭ社に譲り受けら
れたサップ（Ｓａｃｃｏ　）他の米国特許第４４２２１
４５号明細書は、ｒＬＲＵピージング・バッファ・プー
ルを介したデータベースの要求アクセスにおけるスラッ
シングの削減（Ｔｈｒａｓｈ　ｉｎｇＰｅｄｕｃｔｉｏ
ｎ　　ｉｎ　　Ｄｅ＋＊ａｎｄ　　Ａｃｃｅｓｓｉｎｇ
　　ｏｆ　　ａ　　Ｄａｔａ　　Ｂａｓｅｔｈｒｏｕｇ
ｈ　ａｎ　ＬＲＶ　Ｐａｇｉｎｇ　Ｂｕｆｆｅｒ　Ｐｏ
ｏｌ）Ｊ　　は）またバッファ・プールの拡張または短
縮をアドレスしないで、バッファを割り当て、さらに利
用する方法を記載している。

１９８８年２月２３日発行の日立製作所に譲り受けられ
たマスイ（Ｍａｓｕｉ）他の米国特許第４７２７４８７
号明細書「コンピュータ・システムにおける資源割当て
法（Ｒｅｓｏｕｒｃｅ　ＡｌｌｏｃａｔｉｏｎＭｅｔｈ
ｏｄ　ｉｎ　ａ　Ｃｏｍｐｕｔｅｒ　Ｓｙｓｔｅｍ）Ｊ
　　は、蓄積された経験的知識に基づく資源割当て法を
記載している。マスイは、機械室内／動作環境での資源
割当てを議論し、（人間の）システム・オペレータによ
ってのみ現在周知のいくつかの知識を代替するための方
法を、提案している。第４コラム６７行ないし、第５コ
ラム２行は、そのような知識が、「数学的最適化あるい
は線形プログラミング用のモデルとして公式化するには
、あまりに複雑で不明瞭である」ということを述べてい
る。

資源プール・マネジャのもう１つのクラスは外来的直列
化機構、典型的にはラッチを用いて、１つのプロセスが
、−度に、資源プールが定義されているマネジャの制御
領域を参照または、修正することを保証する。この型式
の直列化は、プロセスが、他のプロセスに関係なく、制
御領域を参照できるよつにし、したがって、プール短縮
及び同様な活動が、比較的簡単な方法で実行されるよう
にする。しかし、この代替アプローチは、外来的直列化
機構を用いたいくつかの欠点、特にスピン・ラッチによ
ってこうむるプロセッサ浪費時間、及び延期ラッチによ
る追加命令オーバヘッドから被害を受ける。さらに、プ
ロセスを矛盾する所では、プロセッサ命令コストは劇的
に増す。最後に、本質的に直列化（外来的及び固有の両
方共）は、コンピュータの性能を向上するためにますま
す使用されつつある並行プロセッシングの利用を禁じて
いる。

Ｃ０発明が解決しようとする課題 したがって、資源プールを劇的に拡張し、さらに短縮す
るための方法を必要とする。この方法は、多重処理シス
テム内で同時に実行するプロセスの資源の要件に合致し
なればならず、さらに直列化の利用を最小限にしなけれ
ばならない。

００課題を解決するための手段 資源プールを動的に、すなわち資源に対する要求に応じ
て、拡張及び短縮するための方法が開示されている。資
源は、１つのマスタ・プール２２から使用するために割
り当てられる。利用可能な資源のすべてのプールは、拡
張プールを生成することにより、さらにその資源をマス
タ・プールに追加することにより拡張される。マスタ・
プールは、システム内で利用可能な資源の数の限界まで
理論的に拡張することができる。

プールを動的に短縮するために、まず拡張プールの１つ
を選んで解放する（ＦＲＥＥ　ＰＯＯＬ　６６）。解放
プールが所有するが、まだマスタ・プールにある（すな
わち使用中でない）これらの資源は、拡張プール移動さ
れ、それらの再利用を防ぐ。解放プールが所有する使用
中の資源は、それらが、マスタ・プールへの代わりに、
拡張プールへ戻るように、それらのホーム・アドレス５
２を変えてラベル付けされる。−度そのようなすべての
資源が解放拡張プールに戻されると、それは削除され、
それによって、資源のすべてのプールを短縮する。

記憶バッフ１及びバッファ・プールを操作するための手
順の擬似コード実施例が含まれる。

Ｅ、実施例 本発明は、コンピュータ利用データ処理システムにおけ
る離散的資源のマスタ・プールを拡張・短縮するための
コンピュータ実施方法を含む。マスタ・プールは少なく
とも１つの追加資源を含む拡張プールを作成し、さらに
、マスタ・プールに拡張プール資源を追加することによ
り拡張される。

マスタ・プールは、拡張プールで生ずる任意の本割当て
資源をマスタ・プールから、拡張プールへまず転送する
ことにより短縮される。次に拡張プール内で生ずる資源
は、（それらがもはや使用されていない時のように）割
当て解除されると、これらの資源は、拡張プールに転送
される。拡張プールが、その中で生じる資源のすべてを
含む時、すなわち、その資源のどれも割り当てられない
ままか、使用されていない時、それは削除できる。資源
プールの短縮は、外来的または他の直列化を用いる方法
が効果的に使用できても、極小命令によるよろに、固有
に直列化されることが好ましい。

夏型 本発明の好ましい実施例は、マルチプログラミングまた
はマルチプロセッシング環境で資源のプールを処理する
ための、プログラムにより使用される方法である。これ
は、資源のメインライン使用を非能率にすることなく、
さらに他のラッチ、またはメインライン内の他の外来的
直列化機構の使用を必要とすることなく、資源プールを
拡大・短縮する。したがって、この方法は、能率的に操
作できるべき高性能プログラムによって、さらに割込み
禁止のモードで実行中（すなわち、それらが割り込まれ
ない時）に資源を得て、解放できるべきプログラムによ
って、使用可能である。

資源がバッファである所では、はとんどのプログラムは
、大きな記憶装置をとり、それをバッファに細別するこ
とにより、バッファ・プールの記憶装置を獲得するコス
トを（実行される時間と実行される命令の数に関して）
低減させる。これは、バッファ・プール中の各バッファ
に対して個別システム・コールを行なうより安価であり
、バッファ・プールを初めに作成するためと、プールを
後で拡張するための両方に使用される。

プログラムがシステムから記憶の１部分を得る場合、部
分的な記憶の解放、実行される時間と、命令の両方で高
価になるため、その部分全部を一度に戻すべきである。

さらに、少しずつの記憶の解放は、システムの記憶が断
片的になる原因となる。

最後に、プログラムは、プロセスがその記憶装置内のど
のバッファも使っていない場合だけ、バッフ・ア記憶を
解放することに注意しなければならない。これは、すで
に解放された記憶を使用するためのプロセスによる試み
が、プロセスを異常に終わらせたり、エラー状態をひき
起こす可能性があるからである。

第１図に示すように、バッファ・プール２０は、マスタ
・プール２２、及びいつでもマスタ・プールに追加でき
る拡張プールのセット２４の中に準備される。マスタ・
ブール２２は、ラベル付きボックスのセット（バッファ
などの資源）を含むトレイとして考えてよい。各拡張プ
ール２４は、ラベル付きボックスの追加トレイとして考
えてよい。

資源プールは、拡張トレイを作成しマスタ・トレイ上に
そのすべての箱を積み重ねることにより拡張される。

各ボックスは、それをとのトレイが所有し、そしてその
使用が終わった後、マスタ・トレイに戻されるべきこと
を示すために、ラベル付けされる。

すべてのボックスは、マスタ・トレイ内にきちんと積み
重ねられ、そこで主プログラムのプロセスはそれらを取
り、使用することができる。マスタ・トレイ内のボック
スは、追加に適応するのに必要な高さまで積み重ねるこ
とができる。

ボックスを必要とするプロセスは、マスタ・トレイから
それを得て、直ちにそれを使用できる。

ボックスは、他のプロセスがそれらを再使用できる前に
、（空いた）マスタ・トレイに戻されなければならない
。このために、ボックスを使用していたプロセスは、ボ
ックスの上のラベルを読み、ラベルが何を表すかに基づ
いて、ボックスをその正しいトレイに戻す。

マスタ・トレイが、主プログラムのプロセスが必要とす
るより多くのボックスを保持する時は、資源プールは、
除去（解除）のために、拡張トレイの１つを選択するこ
とにより、（その瞬間に）動的に減少（短縮）される。

そのトレイが所有するすべてのボックスは、たとえそれ
らのいくつかが使用されていても、再びラベル付けされ
る。それからマスタ・トレイは、除去（解放）されてい
る拡張トレイが所有するボックスのために探査され、そ
してどれかが見つかった場合は、それらは拡張トレイの
上に積み重ねられる。そのトレイのボックスのどれかが
まだ使用されている場合は、それらの新しいラベルは、
それらが終える時、それらを拡張トレイに戻すよう該当
プロセスに知らせることになる。

除去のために選択された拡張トレイが、−度そのボック
スのすべてを含むと、それとすべてのそのボックスは削
除され、それによって資源プール内のボックス（資源）
の数を減する。

資源プールを力学的に拡大、短縮するための操作が準備
されるので本方法は、資源プールのサイズを変更するた
めに、主プログラムが停止されたリリセットされること
を要求する他の資源管理技術の限界と非能率性を防ぐ。

本方法は、期待される、あるいは普通の処理要件に基づ
く初期の資源プール・サイズを割り当て、さらに追加資
源を動的に割当て、不要の資源を割当て解除することに
より、条件変更に適合する。

最も重要なことは、本方法は、メインライン処理に影響
することなく、マルチプログラミン・グ及びマルチプロ
セッシング環境内で資源プールを短縮することである。

これは取得及び解放操作時に、外来的直列化機構を避け
ることにより実行され、それによって、メインライン論
理通路内の使用中待ち及び延期の費用を避ける。この結
果、本方法は非常に能率的であり、割込み禁止されたプ
ロセスで使用することもできる。

また、本方法を用いたプログラムが資源を使い果すこと
もある。たとえば、それは、コンピュータで使用できる
よりも多くの資源を用いることがあり、またどれだけの
追加資源が必要であるかを誤算することもある。そのよ
うな状態は例外として取り扱うべきで、本方法の範囲外
である。

さらに、本方法は、共用設備の不公平な利用により生じ
る資源不足の問題を提出しない。たとえば、データを他
のプログラムに送るプログラムは、レシーバのバッファ
・プールをオーバーランすることもある。そのような状
態は、過剰制御方法を用いて処理されなければならず、
これも本発明の範囲外にある。

本発明の好ましい実施例は、バッファ・プール及び個々
のバッファを操作するための動作を提供する。しかし本
発明は、均一な資源のどんなセットにも適用できること
を理解されたい。

次の第１項は、バッファ・プールのための適当な構成を
述べている。これに、バッファとプールにおける動作を
説明する項目が続く。ＢＵＩＬＤＰＯＯＬは、システム
から物理的資源を獲得することにより、バッファの拡張
プールを作成し、それによって、資源プール全体を拡張
する。ＧＥＴ　　ＢＵＦＦＥＲは、要求するプロセスに
より使用するために、プールから単一のバッファを要求
する。ＦＲＥＥ　　ＢＵＦＦＥＲは、前のＧＥＴＢＵＦ
ＦＥＲ要求で得られた単一の特定バッファをバッファ・
プールに戻す。ＦＲＥＥ　　ＰＯＯＬは、バッファの拡
張プールを解放し、それらのいくつかはまだ、使用中の
場合もある。ＤＥＬＥＴＥ　　ＰＯＯＬは、−度そのバ
ッファのすべてが解放され、−そのプールに戻されると
、−度解放された拡張プールを削除し、それによって資
源プール全体を短縮する。

個々のバッファを獲得したり、解放したりするＲの動作
は、メインライン動作である。すべてがバッファ・プー
ル上で動作する残りの動作は、メインラインではない。

バッファ・プールの編 バッファ・プールには２つの型式がある。すなわち、マ
スタ・プール２２と拡張プール２４である。型式に関係
なく、各バッファ・プールは３つの要素を有する。すな
わち、プール制御要素、１つまたは複数のバッファ、及
び各バッファ用のバッフ１制御要素である。１つのバッ
ファは、−度に２つのバッファ・プールつまりその所有
者のプール及びそのホーム・プールに関連し、そして２
つの状態つまり使用中及び解放中であることができる。

第２図に示すように、各バッファ・プール２６は、型式
に関係なく、３つの要素、すなわち１つの「プール制御
要素」２８．１つまたは複数のバッファ３０１及び各バ
ッファ用の「バッファ制御要素」３２を有する。バッフ
ァ３０の数、つまりバッファ制御要素３２の数は、バッ
ファ・プール２６が割り当てられる時、特定される。各
バッファ３０は、そのプールのプール制御要素２８によ
り「所有される」と言われる。所与のプール２６が所有
するすべてのバッファ制御要素３２は、一連の「所有さ
れたバッファ・リスト」３４上にリストされている。し
たがって、プールのバッファ制御要素３２は、常にその
プール制御要素２８から位置決めできる。後で分かるよ
うに、各バッファ制御要素３２は、「ホーム」と呼ぶあ
るプール制御要素２８のアドレスも含む。バッファ用の
このホーム・アドレスは、その所有バッファ・プール２
６である場合もあり、ない場合もある。

作成された第１バッフトプール２６は、マスタ・バッフ
、・プール２２であり、そのプール制御要素２８は、「
マスタ・プール制御要素」３６として周知である。主プ
ログラムが、追加バッファを必要とする場合は、それは
ＢＵＩＬＤ　　ＰＯＯＬ動作を実行することにより「拡
張バッファ・プール」を作成できる。拡張バッファ・プ
ール２４のプール制御要素２８は、マスタ・プール制御
要素３６上に固定された一連の「拡張プール・リスト」
３８の中に編成される。

拡張バッファ用のホームは、通常はマスタ・パッフトプ
ール２２である。これは、マスタ・プール２２内で利用
可能なバッフ１３０の数を増加させることにより、バッ
フトプール２０を拡張する効果があり、マスタ・プール
２２からバッファがそれらを使つ必要のあるプロセスに
より取られ、戻される。拡張プール２４が解放される時
、そのバッファ３０のホーム・アドレスは、マスタ・プ
ール２２から解放された拡張プール２４へ、スナワちバ
ッファ所有のバッファ・プールへ変更される。

プロセスにより使用されていないバッファ３０は、マス
タ・プール２２内に保持され、「解放」状態にあると考
えられる。これらの解放バッファは、マスタ・プール２
２または拡張プール２４のどちらかによって所有される
が、すべてはマスタ・プールをそれらのホーム・アドレ
スとして維持する。解放バッフ１の制御要素３２は、マ
スタ・プール制御要素３６上にある一連の解放バッファ
・すスト４０内に保持される。各拡張プール２４は、同
様に、連なった解放バッファ・リスト４２を有するが、
それは空でありプールがＦＲＥＥ　　ＰＯＯＬ動作によ
り解放されるまで、そのまま留まる。

プロセスがバッファ３０を必要とする時、それはＧＥＬ
　　ＢＵＦＦＥＲ動作６０を実行し、ＧＥＴ　　ＢＵＦ
ＦＥＲ動作６０は、第１バツフア制御要素３２を、マス
タ・プールの解放バッファ・リス）４０から除去し、関
連バッファ３０を要求プロセスに利用可能にする。した
がって関連バッファは「使用中」と言われる。

プロセスがバッファ３０で終了される時、ＦＲＥＥ　　
ＢＵＦＦＥＲ動作６４は、関連したバッファ制御要素３
２を、バッファのホーム・プールに属する解放バッファ
・リスト上に再待合せするために使用される。通常、バ
ッファはマスタの解放バッファ・リスト４０に戻される
。しかしながら、バッファの所有プールが、解放された
拡張プール２４である場合は、バッファのホーム・アド
レスは変更され、バッファはマスタ・プール２２への代
わりに、その解放された拡張プール２４の解放バッファ
・リスト４２へ戻される。したがって、その解放された
拡張プールのバッファのすべてが、度その自由バッファ
・リスト４２に戻されると、プール２４は、物理的にＤ
ＥＬＥＴＥ　　ＰＯＯＬ動作によって解放することがで
き、それによってバッファ・プール２０全体を短縮する
。

第３図は、プール制御要素２８及びバッファ制御要素３
２のデータ構造を示す。これは、本発明を使用にするた
めには必要ないが、マスタ・ブール２２及び拡張プール
２４の両方のプール制御要素に、同じフォーマットが使
用される。

本方法のバッファの編成及びデータ構造を述べたが、次
の項では、これらの構造について実行された動作を詳細
にそして本方法のメインライン動作内でラッチを必要と
せずに、動的にいかに実行できるかについて、言及する
。

バッファ・プールの作成　−ＢＵＩＬＤ　　ＰＯＯＬ５
８ａ、５８ｂ バッファ・プールは、ＢＵＩＬＤ　　ＰＯＯＬ動作５８
ａ１５８ｂにより、作成（構成）され、その動作は、ど
のバッファが使用される前でも、主プログラムにより要
求されなければならない。同じ動作（ＢＵＩ　ＬＤ　　
ＰＯＯＬ）が、マスタ・ブール２２及び拡張プール２４
の両方を作成するために使用され、それらの構造のわず
かの違いは、ＢＵＩＬＤ　　ＰＯＯＬ内で処理される。

ＢＵＩＬＤＰＯＯＬ５８ａ、５８ｂ１及びＦＲＥＥ　　
ＰＯＯＬ６６の両方は、まれな動作であると想定され、
したがってメインライン機能ではない。

マスタ・ブール２２は、任意の拡張プール２４が作成さ
れる前にも作成される。それは、ＢＵＩＬＤ　　ＰＯＯ
Ｌ要求内で識別されなければならず、−度作成されると
、ＦＲＥＥ　　ＰＯＯＬ動作によっては決して除去され
ない。マスタ・ブール２２は、すべてのバッファ及びバ
ッファ・プール処理のためのアンカーとして役立つ。

マスタ・ブール２２が作成される時、記憶機構が割り当
てられ、マスタ・プール制御要素ＰＯＯＬ３２、及びバ
ッファ３０のためにフォーマットされる。個々のバッフ
ァ制御要素ＤＵＦ　　ＣＴＬ３２は、各バッファ制御要
素ＢＵＦ　　ＣＴＬ３２のＮＥＸＴ　　ＦＲＥＥフィー
ルド４４を用いたマスタ解放バッファ・リスト４０の中
に共に連鎖されている。このリスト４０のヘッドは、マ
スタ・プール制御要素３６（７）ＦＲＥＥ、ＦＩＲ８Ｔ
　　ＦＲＥＥフィールド４６内に記憶される。初期には
ゼロである使用中バッファの数は、マスタ・プール制御
要素３Ｂ＋７）ＦＲＥＥ、ＢＵＳＹ　　ＣＴフィールド
内に記憶される。

マスタ・ブール２２が所有するバッファのリストは、マ
スタ・プール解放バッファ・リスト４゜に対し、同様に
作成される。所有されたバッファ・リスト３４は、マス
タ・プール制御要素３６のＦＩＲ８Ｔ−ＯＷＮＥＤフィ
ールド５ｏ内ニ記憶内乳記憶るリスト・ヘッドで、プー
ルのバッファ制御要素ＢＵＦ　　ＣＴＬ３２（７）ＮＥ
ＸＴ　　０ＷＮＥＤフイールド４８を用いて連鎖されて
いる。

各バッファのホーム・アドレスは、バッファの制御要素
ＢＵＦ　　ＣＴＬ３２のＨＯＭＥ　　ＰＯＯＬフィール
ド５２内に記憶され、前記のように、初期にはマスタ・
プール制御要素３６のアドレスにセットされる。各バッ
ファ制御要素３２のＢＵＦＦＥＲＡＤＤＲフィールド５
４は、要素の関連バッファ３０のアドレスにセットされ
る。

最後に、マスタ・プール制御要素３６のアドレスは、バ
ッファ・プールまたは、バッファ上の操作によって使用
するために、ＡＮＣＨＯＲ，ＭＡＳＴＥＲフィールド内
に記憶される。

ＢＵＩＬＤ　　ＰＯＯＬが拡張バッファ・プールを作成
するために要求されると、データ構造は、マスタ・プー
ル制御要素３６について述べたものと同様に作成される
。しかし、バッファ制御要素３２が、プールの解放バッ
ファ・リスト４２を形成するために連結された後で、そ
のリストは単一の極小操作で、Ｃｏｍｐａｒｅ−Ｄｏｕ
ｂ　ｌｅ−ａｎｄ−Ｓｗａｐ命令を用いたマスタ・プー
ル制御要素の解放バッファ・リスト４０に転送される。

バッファ制御要素３２のＨＯＭＥ　　ＰＯＯＬフィール
ド内に再び記憶されたこれらの拡張プール２４のバッフ
ァに対するホーム・アドレスは、マスタ・プール制御要
素３６のアドレスにセットされる。拡張プールの使用中
カラン）ＢＵＳＹＣＴは、プール内のバッファの数にセ
ットされ、プールのバッファのどれも解放されていない
ことを表示する（前述の拡張プールの再解放及び削除参
照）。

拡張プール制御要素２８は、拡張プール・リスト３８の
ヘッドに追加される。このリストは、拡張プール制御要
素２８のＮＥＸＴ　　ＰＯＯＬフィールド５６を介して
連鎖され、そのヘッドは、マスタ・プール制御要素３６
のＮＥＸＴ　　ＰＯＯＬ内に配置される。

ＢＵＩＬＤ　　ＰＯＯＬ動作は、極小命令を用いて、そ
れを他の並行（同時）ＢＵＩＬＤ　　ＰＯＯＬ及びＦＲ
ＥＥ　　ＰＯＯＬプロセスから保護するために直列化さ
れてもよい。これらの操作は稀で、非メインラインであ
るから、ラッチのような外来的直列化のどんな型式でも
使用することができ、また使用される型式は、設計選択
の問題である。

拡張所有のバッフトリストは、マスタ・プール２２のバ
ッファのために、前記のように作成される。これは、た
とえバッファのいくつかがマスタの解放バッファ・リス
ト２２から除去されても、拡張プールの構成要素のすべ
てを、そのプール制御要素２８から直接位置決めする方
法を提供する。

要するに、ＢＵＩＬｐ　　ＰＯＯＬ動作は、マスタ・プ
ール制御要素３８がプール処理用の固定具として役立つ
、バッファ・プール２ｅを作成する。

マスタ・プール制御要素３６は、バッファ・サービスが
プログラムによって必要とされる限り、削除されない。

バッファ・サービスを使用するプロセスは、そのような
プロセスが拡張プールを直接引用しないので、同時に削
除されているバッファ・プールをアドレスする試みに関
′係する必要は決してない。

ＢＵＩＬＤ　　ＰＯＯＬ５８ａ　　５８ｂ　　の　似コ
ーヱ二 第２Ａ表及び第２Ｂ表は、ＢＵＩＬＤ　　ＰＯＯＬ手段
５８ａ１５８ｂの実施を従来の擬似コードで示す。

４００−４０４行で、記憶はシステムから獲得され、副
次的に割り当てられる。これらの記憶領域は、２進法の
Ｏに初期化されると仮定する。それから、各バッフ１制
御要素ＢＵＦ　　ＣＴＬ３２が、フォーマットされる（
４０５−４１８行）。

バッファは各ＢＵＦ　　ＣＴＬ要素（４０７行）に割り
当てられ、各ＢＵＦ　　ＣＴＬ要素用のホーム・プール
はマスタ・プール制御要素ＰＯＯＬＣＴＬ３ＥＳにセッ
トされる。（４０７−４１０行）。４１１−４１５行で
、プール所有のバッファ・リスト３４及び解放バッフト
リスト４２が形成される。４１７行で、所有のバッファ
・リスト３４は、ＰＯＯＬ　　ＣＴＬ要素に連鎖される
。

マスタ・プール２２が、（拡張プールではなく）ＢＵＩ
ＬＤ　　ＰＯＯＬ動作を要求された場合は、４１Ｂ−４
２７行が実行される。まず、新しいプール解放バッフト
リスト４２が、４２０行によりマスタの解放バッフトリ
スト４０に追加される。

これは、他のプロセスがプール構造にまだアクセスして
いないので、非極小的に実施される。そしてマスタ・プ
ール制御要素ＰＯＯＬ　　ＣＴＬ３６ノ位置は、すべて
のバッファ・プール構造を固定するＡＮＣＨＯＲ，ＭＡ
ＳＴＥＲフィールド内に極小的に置かれる。動作が成功
した場合、バッファは、バッファ・サービスを必要とす
る他のプロセスに利用可能である。ＢＵＩＬＤ　　ＰＯ
ＯＬ要求は、他の同時すなわち並列のプロセスが、すで
にアンカー内のそのマスタ・プール制御要素Ｐ００Ｌ　
　ＣＴＬ３Ｂの位置（４２２−４２６行）をとった場合
は、失敗である。この極小動作は、ＩＢ）ｌ　３７０Ｃ
ｏ■ｐａｒｅ−ａｎｄ−Ｓｗａｐ命令などの極小命令を
用いて完了することができる。この命令の説明並びにコ
ード化適用業務の例は、１８Ｍシステム　３７０オペレ
ージ蜂ン拡張アーキテクチユア原理（出版番号５Ａ２２
−７０８５）内に見ることができる。

拡張プールが要求された場合、４２８−４３３行は、４
１ｇ−４２７行の代りに実行される。まず、拡張の全解
放バッファ・リスト４２は、マスタ・プールの解放バッ
ファ・リスト４０　（４３０行：後の第１１ａ表を参照
（１３２１行）に極小的に追加され、拡張の解放バッフ
ァ・リスト４２を空にする（４３１行）。この動作は、
拡張のバッファを他のプロセスに利用可能にする。拡張
プール制御要素２８のＢＵＳＹ　　ＣＹフィールドは、
拡張プールが静止される時、すなわちそのバッファのす
べてが解放されて、プールが削除できるようになる時を
決定するために、ＦＲＥＥ　　ＰＯＯＬ動作（後記の第
５表）により使用される。最後に、拡張プールは、マス
タの拡張プール・リスト（４３２行）に極小的に追加さ
れる。この極小動作は、第８表（１００５行）で説明さ
れる。４３４行は、成功した完了状態をＢＵＩＬＤ　　
ＰＯＯＬ手順５８を始めたりクエスタに戻す。

バッファの獲得と解放　−ＧＥＴ　　ＢＵＦＦＥＲｈｏ
、及びＦＲＥＥ　　ＢＵＦＦＥＲ６４２つのメインライ
ン動作は、ＧＥＴ　　ＢＵＦＦＥＲ６０及びＦＲＥＥ　
　ＢＵＦＦＥＲ６４である。

本発明で、これらの動作は、延期、使用中待ち、あるい
は、デッドロックを生ずるラッチなどのより高価な外来
的直列化機構に依らないで、極小命令を用いて直列化で
きる。

プロセスがバッファを要求する時、それは、ＧＥＴ　　
ＢＵＦＦＥＲ手順６０を実行するための要求を発する。

ＧＥＴ　　ＢＵＦＦＥＲは、マスタ解放バッファ・リス
ト４０のヘッドでバッファ制御要素ＢＵＦ　　ＣＴＬ３
２を選択する。すなわち、そのアドレスは、マスタ・プ
ール制御要素３６のＦＲＥＥ、ＦＩＲ８Ｔ　　ＦＲＥＥ
フィールド４６内に記憶される。バッファ制御要素３２
は、リストから除かれ、リストの使用中カウント、ＰＯ
ＯＬ　　ＣＴＬ、ＦＲＥＥ、ＢＵＳＹ　　ＣＴは、１だ
け増分される。

ＧＥＴ　　ＢＵＦＦＥＲ手順６０が完了すると、要求プ
ロセスは、バッファ３０に対するバッファ制御要素ＢＵ
Ｆ　　ＣＴＬ３２のアドレスである「トークン」を与え
られる。要求プロセスは、このトークンによって、バッ
ファ制御要素ＢＵＦＣＴＬ３２のＢＵＦＦＥＲＡＤＤＲ
フィールド内で識別されるバッファ３０へのアクセスを
得る。

多重プロセスの直列化に使用され、禁止された割込みに
よるその実行を含み、並行してバッファを得るために探
索するラッチはない。代わりに、マスタ解放バッファ・
リスト４０に関する単一Ｃｏｍｐａｒｅ−Ｄｏｕｂ　ｌ
ｅ−ａｎｄ−Ｓｗａｐ動作は、マスタ・プール制御要素
のＦＲＥＥ、ＦＩＲ８Ｔ　　ＦＲＥＥフィールド４６内
で識別されるヘッド要素を、安全に除去されるようにす
るには十分である。

バッファの「ストップオーバ・リスト」も、ＧＥＴ　　
ＢＵＦＦＥＲ８４がバッファ超過エラー・メツセージを
要求プロセスに戻す前に、チエツクされる。これは、Ｆ
ＲＥＥ　　ＰＯＯＬ動作６６（後で詳述する）がＧＥＴ
　　ＢＵＦＦＥＲ要求で同時に進行中であるため、バッ
ファ・プール２０自体は空ではないが、マスタ解放バッ
ファ・リス）４０が空になるからである。ストップオー
バ・リストは、マスタ・プール制御要素３６の５ＴＯＰ
ＯＶＥＲフイールド６２内に固定された（前記解放バッ
ファ・リスト４０．４２のような）連鎖リストである。

ＦＲＥＥ　　ＰＯＯＬプロセスは、マスタの解放リスト
から拡張のバッファのスヘテを除去しようとし、”スト
ップオーバ・リストは、このプロセス中に除去される他
のバッファのための保持領域である。このリストはＧＥ
Ｔ　　ＢＵＦＦＥＲ機能に利用可能であるから、ストッ
プオーバ・リストは、ＦＲＥＥ　　ＰＯＯＬ処理が原因
で、誤ったバッファ超過条件を報告する可能性を事実上
排除する装置である。（実際に、このケースは、解放リ
スト上に１つのバッフ１が確かに残っている場合に発生
Ｌ、ＧＥＴ　　ＢｔＩＦＦＥＲ要求は、それが１つのリ
ストから除去された後、そしてそれがストップオーバ・
リスト上に置かれる前に、解放バッファをチエツクする
。）マスタ解放バッファ・リスト４０が空の場合は、Ｇ
ＥＴ　ＢＵＦＦＥＲは、５ＴＯＰＯＶＥＲフイールド８
２をチエツクする。ストップオーバ６２が空でない場合
（ストップオーバ・リスト内にバッファがあることを表
示する）は、ＧＥＴ　　ＢＵＦＦＥＲは、スートツブオ
ーバ・リスト上の第１バツフアを除去し、そのトークン
を要求プロセスに戻す。また、マスタ解放バッファ・リ
スト４０及びストップオーバ・リストの両方が空の場合
は、バッファ・プール２０は、実際バッファ３０の外に
あり、「バッファ超過」エラー条件の信号を発する。Ｇ
ＥＴＢＵＦＦＥＲが、バッファ・プール２０がバッファ
の外にあることを誤って報告することはあり得るが、極
めて稀である。

プロセスが、バッファ３０がバッファープール２０に戻
ることを望むと、ＦＲＥＥ　　ＢＵＦＦＥＲ手順６４を
実行し、バッファに関したトークン（前記の）を指定し
なければならない。ＦＲＥＥＢＵＦＦＥＲは、バッファ
制御要素３２をバッファのホーム・プールの解放バッフ
ァ・リストのヘッドに追加し、プールの解放バッファ使
用中カウントＦＲＥＥ、ＢＵＳＹ　　ＣＴを１だけ減分
する。特に、トークンにより識別されたバッファ制御１
要素ＢＵＦ　　ＣＴＬ３２のアドレスは、バッファ制御
要素のＨＯＭＥ　　ＰＯＯＬフィールド５２により指定
されるプール（マスタ２２あるいは拡張２４）のプール
制御要素２８のＦＲＥＥ、ＦＩＲ８Ｔ　　ＦＲＥＥフィ
ールド４Ｂ内に置かれる。

Ｃｏｍｐａｒｅ−Ｄｏｕｂｌｅ−ａｎｄ−Ｓｗａｐなど
の単一の極小動作は、ＧＥＴ　　ＢＵＦＦＥＲ手順６０
に対し、前記のように、このメインラインＦＲＥＥ　　
ＢＵＦＦＥＲ手順６４を直列化するのに十分である。ラ
ッチのような外来的直列化は必要とされない。このＣｏ
ｍｐａｒｅ−Ｄｏｕｂｌｅ−ａｎｄ−Ｓｗａｐ固有直列
化は、メインラインＧＥＴ　　ＢＵＦＦＥＲ及びＦＲＥ
Ｅ　　ＢＵＦＦＥＲ動作を速め、能率的にする。さらに
、ＧＥＴ　　ＢＵＦＦＥＲ及びＦＲＥＥ　　ＢＵＦＦＥ
Ｒは、ラッチなしで動的バッファ・プール拡張及び短縮
を支援し、この能力のための唯一のコストは、マスタ解
放バッファ・リスト４０が空のように見える時、ストッ
プオーバ・リストの５ＴＯＰＯＶＥＲフイールド６２を
チエツクすることである。

はとんどの場合、この方法は、追加命令をバッファ・サ
ービスを用いるメインライン・プロセスに加えない。

ＧＥＴ　　ＢＵＦＦＥＲ８０用の擬似コード：第３表は
、従来の擬似コード内のＧＥＴ　　ＢＵＦＦＥＲ手順６
０の実施例を示す。

５００行で、マスタ・プール２２のアドレスが得られる
。マスタ・プールは、いくつかのプロセスがバッフトサ
ービスを必要とする限り、決して削除されないのでこれ
は安全な基準である。

マスタ解放バッファ・す゛スト４０の第１バツフア制御
要素ＢＵＦ　　ＣＴＬ３２が極小的に除去され、使用中
カウントが５０１行で増分され、それは第１２Ａ表及び
第１２Ｂ表に示ｔＲＥ−ＭＯＶＥＢＵＦＦＥＲＡＮＤ　
　ＣｏＵＮＴ手順を呼び出す。正規には、バッフ１はマ
スタ解放バッファ・リスト４０上にあるべきであるから
、５０１行は、ＧＥＴ　　ＢＵＦＦＥＲ手順ｅＯの標準
実行経路と考えられる。成功した完了状態は、割り当て
られるバッファの制御要素ＢＵＦ　　ＣＴＬ３２　（５
０３行）の位置決め（トークン）と共に要求プロセスに
戻される。

マスタ解放バッファ・リスト４０が空である場合（５０
４行）、ＧＥＴ　　ＢＵＦＦＥＲは、ストップオーバ・
リスト（５０６行）の５ＴＯＰＯＶＥＲフイールド６２
からバッファ制御要素ＢＵＦＣＴＬ３２を除去すること
を試み、再び、第１２Ａ表及び第１２Ｂ表のＲＥ−ＭＯ
ＶＥ　　ＢＵＦＦＥＲＡＮＤ　　、Ｃ０ＵＮ１’手順６
６を用いる。これは、バッファ・プール２０が真にバッ
ファの外にある時、あるいは、ＦＲＥＥ　　ＰＯＯＬ動
作が、すべてバッファをストップオーバ・リストにフラ
ッシュした時にのみまれに起こる。ＦＲＥＥ　　ＰＯＯ
−Ｌ動作が進行中で、バッファがストップオーバ・リス
トから要求プロセスに割当て可能である場合、そのバッ
ファの制御要素ＢＵＦ　　ＣＴＬ３２に対するトークン
、及び成功した完了状態コードは、リクエスタ（５０８
行）に戻される。

またストップオーバ・リストが空の場合（５０９行）、
ＧＥＴ　　ＢＵＦＦＥＲは要求プロセスに、バッファは
現在利用できない（５１０行）ことを表示する。

ＦＲＥＥ　　ＢＵＦＦＥＲ６４用の擬似コード：第４表
は、従来の擬似コード内のＦＲＥＥ　　ＢＵＦＦＥＲ手
順６４の実施例を示す。

６００行で、解放されているバッファ３０のホーム・プ
ールのプール制御要５ＰＯＯＬ　　ＣＴＬ２８は、バッ
ファ制御要素ＢＵＦ　　ＣＴＬ３２のＨＯＭＥ　　ＰＯ
ＯＬフィールド５２から得られる。

バッファ３０が、ＦＲＥＥ　　ＰＯＯＬ動作６６で解放
されているプロセス中にある拡張プール２４に関連する
場合、６００行によって得られるＰＯＯＬ　　ＣＴＬ要
素２８はバッファを有する拡張プールの要素である。バ
ッファ所有のプールが解放されていない場合、そのホー
ム・プールはマスタ・プール２２であり、マスタ・プー
ル制御要素ＰＯＯＬ　　ＣＴＬ３Ｅｆは６００行により
得られる。

６０１行で、ＢＵＦ　　ＣＴＬ要素３２は、バッファの
ホーム・プールの解放バッファ・リストのヘッド（ＦＲ
ＥＥ、ＦＩＲ８Ｔ　　ＦＲＥＥ４６）に極小的に置かれ
、ホーム・プールの解放バッファ使用中カウントＦＲＥ
Ｅ、ＢＵＳＹ　　ＣＹは、１だけ減分される。この処理
は、第１１Ａ表及び第１１Ｂ表に示すＡＤＤ　　ＢＵＦ
ＦＥＲＡＮＤＣＯＵＮＴにより行なわれ、後述する。

解放された拡張プール２４が所有するバッファ３０は、
拡張の代わりにマスタ・プール２２に戻されてもよい。

これは、バッファが戻されるＰＯＯＬ　　ＣＴＬ要素２
８．３Ｂに決定した後、ＦＲＥＥ　　ＢＵＦＦＥＲ動作
６４が割り込まれる（−時的に延期される）場合、発生
可能である。次にＦＲＥＥ　　ＰＯＯＬ動作６６が実行
される場合、ＦＲＥＥ　　ＰＯＯＬはＰＯＯＬ　　ＣＴ
Ｌ要素を解放する。次に、ＦＲＥＥ　　ＢＵＦＦＥＲ動
作が再開される時、それはバッファをマスタ解放バッフ
ァ・リスト４０に戻す。そのバッファがマスタ・リスト
４０から除去されない場合、それは、それを所有した解
除された拡張プール２４が削除されるのを防ぐ。このあ
りそうもない発生は、第７表のＤＥＬＥＴＥ　　ＰＯＯ
Ｌ手順の９１６−９２０行により処理される。

Ｂｕｆｆｅｒ　　Ｐｏｏｌの解放　−ＦＲＥＥ０ＯＬ６
Ｂ プログラムが、動的に拡張されたバッファ・プール２０
に追加されたバッファのいくつかの使用をもはや要求し
ない場合、それはプールを短縮するためにＦＲＥＥ　　
ＰＯＯＬ手順６６を用いる。

ＦＲＥＥ　　ＰＯＯＬ動作６６は、そのプールが所有す
るバッファ３０が、要求が出°された時に他のプロセス
によって使用中であっても、拡張バッファ・プール２４
の削除を生じる結果となる潜在的な２つの段階のプロセ
スを開始する。

動的バッファ・プール短縮の第１段階で、ＦＲＥＥ　　
ＰＯＯＬ手順６６は、最も最近作成された拡張プール２
４を選択し、そのバッファ３０をさらにＧＥＴ　　ＢＵ
ＦＦＥＲ要求に対して利用できなくする。解放されたバ
ッファ・プールに属するバッファが他のプロセスによっ
て使用中でない場合は、プールは直ちに削除される。さ
もなければ、ＦＲＥＥ　　ＰＯＯＬ動作６６は終了し、
解放された拡張プール２４の削除を第２段階に残す。

第２段階では、−度そのバッファ３０のすべてがそれら
を使っていたプロセスにより解放されると、ＤＥＬＥＴ
Ｅ　　ＰＯＯＬ手順６８は解放された拡張プール２４を
削除する。ＤＥＬＥＴＥ　　ＰｏｏＬは、第７表を参照
して後述する。

ＦＲＥＥ　　ＰＯＯＬ６８は、マスタ拡張プール・リス
ト３８から第１拡張ブール２４を除去する。

その拡張プールは、マスタ・プール制御要素ＰＯＯＬ　
　ＣＴＬ３８のＮＥＸＴ　　ＰＯＯＬフィールド５６で
識別される。解放されているプール２４の個々のバッフ
ァ制御要素ＢＵＦ　　ＣＴＬ３２は、プール所有のバッ
ファリスト３４を用いて識別され、そのリストはプール
の制御要素ＰＯＯＬ　　ＣＴＬ３ＢのＦＩＲ８Ｔ　　０
ＷＮＥＤフイールド５０内に固定される。

各バッフ１制御要素ＢＵＦ　　ＣＴＬ３２のホーム・プ
ール、ＨＯＭＥ　　ＰＯＯＬ５２のアドレスは、マスタ
・プール制御要素３６から解放される拡張プールのプー
ル制御要素ＰＯＯＬ　　ＣＴＬ２８に変更される。ＦＲ
ＥＥ　　ＢＵＦＦＥＲ要求により解放されたバッファは
、拡張プールの解放バッフトリスト４２に戻されること
になり（第４表の６００行参照）、−度そこに置かれる
と、それらはもはやＧＥＴ　　ＢＵＦＦＥＲ要求にアク
セスできない。そのバッファのすべてが、その解放バッ
ファ・リスト４２に戻されると、拡張プール２４は、そ
れ自身「静止」していると言われ、同時実行のプロセス
に影響することなく、安全に削除できる。この削除は、
ＦＲＥＥ　　ＰＯＯＬＥ３８の７０７−７０９ａ行によ
り、あるいはＤＥＬＥＴＥＰＯＯＬ手順６８により直ち
に行なわれる。

解放されたプール２４が所有するバッフ１３０のいくつ
かは、ＦＲＥＥ　　ＰＯＯＬ操作６６が実行される時、
プロセスによって使用中であることができる。これらの
バッファは、それらがＦＲＥＥ　　ＢＵＦＦＥＲ手順に
より解放される時（第４表の６Ｏ１行）、拡張プール２
４に戻される。拡張の残りのバッフ１はマスタ解放バッ
ファ・リス）４０上にあり、正規には、それらが他のプ
ロセスにより取られ、使用され、解放されるまで、解放
された拡張プール２４に戻されない。

それらの正規の処理のコースで、これらの残りのバッフ
ァを取ったり解放したりするために、他のプロセスに頼
るよりもむしろ、ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ手順
７０ａ１７０ｂは、解放されたプール２４が、マスタ・
プールの未使用バッファを「フラッシュ」することによ
り静止することを確証する。ＦＬＵＳＨＭＡＳＴＥＲＰ
ＯＯＬ７０ａ、７０ｂは、バ’１１７７をマスタ解放バ
ッファ・リスト４０からマスタのストップオーバ・リス
ト上に転送し、そこから、解放されたプールの解放バッ
ファ・リスト４２、またはマスタ解放バッファ・リスト
４０に戻す。ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ７０ａ、
７０ｂは、Ｃｏｍｐａｒｅ−Ｄｏｕｂ　ｌｅ−ａｎｄ−
Ｓｗａｐ命令のみを用い、外来的直列化を避ける。

マスタ・プール２２のフラッシュにおける第１段階は、
Ｃｏｍｐａｒｅ−Ｄｏｕｂ　ｌｅ−ａｎｄ−Ｓｗａｐ論
理回路を用いて、マスタ解放バッファ・リスト４０のヘ
ッドにてバッフＴ制御要素ＵＦ　　ＣＴＬ３２を除去し
、さらにマスタ・プールの使用中カウント、ＦＲＥＥ、
ＢＵＳＹ　　ＣＴを１だけ増分する。第２に、バッファ
のホーム・プールが解放されている拡張プール２４であ
る場合、バッファ制御要素ＢＵＦＣＴＬ３２は、解放さ
れた拡張の解放バッファ・リスト４２のヘッドに（再び
Ｃｏｍｐａｒｅ−Ｄｏｕｂ　ｌｅ−ａｎｄ−Ｓｗａｐを
用いて）加えられ、その拡張プールの使用中カウント、
ＦＲＥＥ、ＢＵＳＹ　　ＣＴは、１だけ減分される。し
かし、そのバッファのホームがマスタ・プール２′２で
ある場合、そのバッファ制御要素ＢＵＦ　　ＣＴＬ３２
は、５ＴＯＰＯＶＥＲ，ＢＵＳＹ　　ＣＴを変えること
なく　、Ｃｏａ＋ｐａｒｅ−Ｄｏｕｂｌｅ−ａｎｄ−Ｓ
ｗａｐを用いたマスタ・プールのストップオーバ・リス
トのヘッドに（すなわち５ＴＯＰＯＶＥＲ，ＦＩＲ８Ｔ
　　ＦＲＥＥフィールＦ８２に）加えられる。

これらの３つの段階は、解放された拡張プールの使用中
カウントがゼロ（０）になるまで、あるいは、マスタ解
放バッファ・リスト４０が空になるまで繰り返される。

次に、マスタのストップオーバ・リスト上のバッファは
マスタ解放バッファ・リスト４０に戻され、それらは使
用のためにプロセスに割当て可能である。しかし、リス
ト全体を除去することは短い間隔（ウィンドウ）を作る
ことになり、この間にバッファ・プール２０が、本当は
空ではない時に空のように見えることがあるため、スト
ップオーバ・リスト上のバッファを一度に全部戻すこと
はできない。その代わり、ストップオーバ・リストのバ
ッファは、−度に１つ戻されＣｏｍｐａｒｅ−Ｄｏｕｂ
　ｌｅ−ａｎｄ−Ｓｗａｐ論理回路により直列化される
。また、ある追加の簿記が、マスタ・プールの使用中カ
ウントＢＵＳＹ　　ＣＴがプロセスに割り当てられたバ
ッファの数を正確に反映することを確証する必要がある
。

そのバッファ３０がすべて戻された場合には、解放され
た拡張プール２４は、動的短縮の第１段階中にＦＲＥＥ
　　ＰＯＯＬ６Ｅ３により直ちに削除され、第２段階は
必要ではない。そうでなければ、解放されたプールの制
御要素ＰＯＯＬ　　ＣＴＬ２８は、解放されたプール・
リスト７２のヘッド（固定構造内のＦＲＥＥＤフィール
ド７４）に追加され、プール２４は静止できる。先に解
放されたプールのための他のＦＲＥＥ　　ＰＯＯＬプロ
セスまたは、並行のＤＥＬＥＴＥ　　ＰＯＯＬプロセス
が進行中であるので、プール制御要素ＰＯＯＬＣＴＬ２
８の解放されたプール・リスト７２への追加は、（つま
り極小命令によって）直列化されなければならない。

解放されたプール・リスト７２は、また物理的に削除で
きない解放された拡大プール２４のトラックを保持し、
ＦＲＥＥ　　ＰＯＯＬ操作６６がいつでも実行できるよ
うにする。解放されたプール２４からのバッファ３０を
すでに使用しているプロセスは、そのバッファのプール
に関連した物理的記憶装置が、プール関連のすべてのバ
ッファが解放されるまで解放することはできないので、
妨害されないでそれを続けることができる。

ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ７０ａ。

７０ｂ操作は、それが２つの並行なプロセスにより同時
に実行されることを防ぐために直列化される。これが行
なわれない場合、１つのＦＬＵＳＨＭＡＳＴＥＲＰＯＯ
Ｌプロセスは、マスタ解放バッフトリスト４０からバッ
ファを除去し、ストップオーバ・リスト上にそれらを置
くことができ、一方で、他のＦＲＥＥ　　ＢＵＦＦＥＲ
プロセスは、他の方向に（ストップオーバ・リストから
、マスタ解放バッファ・リスト４０へ）バッファを戻す
。この発生の見込みは非常に少ないが、それは、２つの
プロセスが命令の永久のシーケンス、すなわち「無限の
ループ」にインターロックされる原因となる。本方法で
は、この可能性は、ラッチ（ＦＲＥＥ　　ＰＯＯＬラッ
チ）を用いζ、バ。

ファをマスタ・プールの解放バッファ・リスト４０とス
トップオーバ・リストの間で移動する論理回路を保護す
ることにより除去される。

ＦＲＥＥ　　ＰＯＯＬ８１３用の擬似コード：第５表は
、従来の擬似コード内の！””　ＲＥ　ＥＰＯＯＬ手順
６６の実施例を示す。

７００行で、第１拡張プール制御要素ＰＯＯＬＣＴ　Ｌ
　２８は、マスタ・プールの拡張プールリスト３８　（
ＮＥＸＴ　　ＥＸＴ）から除去される。

同時ＢＵＩＬＤ　　ＰＯＯＬまたは、ＦＲＥＥ　　Ｐ０
０Ｌ動作が、拡張プール・リスト３８を処理することが
できるので、これは、第９表に示すＲＥＭＯＶＥ　　Ｐ
ＯＯＬ手順７５により極小的に行なわれる。

プール制御要素ＰＯＯＬ　　ＣＴＬ２８が除去された場
合（７０１行）には、関連した拡張プール２４は解放さ
れる。まず、プール所有のバッファ・リスト３４が走査
されて、ＨＯＭＥ　　ＰＯＯＬフィールド５２Ｃ’１０
３−７０５行）内に記憶された各拡張バッファのホーム
・プールをリセットする。次に拡張バッファは、第６Ａ
表及び第６Ｂ表のＦ　Ｌ　Ｕ　Ｓ　ＨＭ　Ａ　Ｓ　Ｔ　
Ｅ　ＲＰ　ＯＯＬ　７０　ａ　。

７０ｂ手順を用いたマスタ解放バッファ・リスト４０　
（７０６行）から除去される。

拡張プール２４が静止される場合（７０７−７０９ａ行
）は、プール・バッファ３０は解放され、物理的にそれ
らを削除し、それによってバッファ・プール２０を短縮
する。この場合、マスタ・ブールの使用中カラン）ＢＵ
ＳＹ　　ＣＴは、ユーザ・プロセスがマスタ解放バッフ
ァ・リスト４０から除去したが、解放拡張プールの解放
バッファ・リスト４２に戻されたバッファの数だけ減少
される。

解放プール２４が静止されていない場合（７１０−７１
１行）は、そのＰＯＯＬ　　ＣＴＬ要素２８は、第８表
を参照して後述するＡＤＤ　　ＰＯＯＬ手順７６を用い
て解放プール・リスト７２上で待ち行列に入れられる。

ＡＤＤ　　ＰＯＯＬは極小動作を用いて、同時ＤＥＬＥ
ＴＥ　　ＰＯＯＬ及びＦＲＥＥ　　ＰＯＯＬプロセスに
対し直列化する。

ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ７０ａ１７０ｂ用の擬
似コード：　第６Ａ表及び第８Ｂ表は、従来の擬似コー
ド内のＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ手順７０ａ、７
０ｂの実施例を示す。ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ
は、ＦＲＥＥ　　ＰＯＯＬ及びＤＥＬＥＴＥ　　ＰＯＯ
Ｌ手順により用いられ、マスタ解放バッファ・リスト４
０から解放された拡張プール・バッファのすべてを除去
する。

ラッチが獲得されて（８０１行）、同時ＦＲＥＥ　　Ｐ
ＯＯＬ及びＤＥＬＥＴＥ　　ＰＯＯＬ動作に対しＦＬＵ
ＳＨＭＡ、５ＴＥＲＰＯＯＬ手順７０ａ、７０ｂを直列
化する。そうでなければ、除去ループ（８０２−８１７
行）を実行する１つのＦＲＥＥ　　ＰＯＯＬプロセスは
、戻りループ（８１８−８２５行）を実行する他のＦＲ
ＥＥ　　ＰＯＯＬプロセスを妨害することがある。これ
はありそうもないが、ラッチは永久ループに対して動作
を保護する。

除去ループ（８０２−８１７行）は、マスタ解放バッフ
ァ・リスト４０　（８０４行）からバッファを極小的に
除去し、解放された拡張プールの解放バッファ・リスト
（８０８行）、またはマスタ・プールのストップオーバ
・リス）（８１０行）のどちらかに、それらを戻す。マ
スタ解放バッファ・リスト４０内にもうバッファがない
時、除去ループ（８０２−８１７行）は終わる。

プール制御要素ＰＯＯＬ　　ＣＴＬ２８が、ＦＬＵＳＨ
ＭＡＳＴＥＲＰＯＯＬ手順に消される場合は、ゼロ値が
、特定の制御要素の拡張プール２４が静止されているこ
とを示すので、除去ループ（８０２−８１７行）は、所
与のＰＯＯＬＣＴＬ要素のＢＵＳＹ　　ＣＴがゼロ（８
１４−８１８行）の場合も、終了する。

除去ループは、第１２Ａ表及び第１２Ｂ表のＲＥＭＯＶ
Ｅ　　ＢＵＦＦＥＲＡＮＤ　　ＣｏＵＮＴ手順７８ａ１
７８ｂを用いて、マスタ解放バッファ・リスト４０から
バッファを極小的に除去し、そして除去された各バッフ
ァについて（８０４行）、マスタ・プールの使用中カラ
ン）ＢＵＳＹＣＴを１だけ増分する。８０８行は、第１
１Ａ表のＡＤＤ　　ＢＵＦＦＥＲＡＮＤ　　ＣｏＵＮＴ
手順８０ａを用いて、バッファを拡張の解放バッファ・
リスト４２に極小的に戻し、拡張プールの使用中カウン
トＢＵＳＹ　　ＣＴを１だけ減分するので、プールが静
止すると、その使用中カウントはゼロ（０）に等しくな
る。８１０行は、第１１表ＡのＡＤＤ　　ＢＵＦＦＥＲ
手順８２を用いて、バッファをマスタ・プールのストッ
プオーバ・リストに極小的に加える。ストップオーバ使
用中カウントは、それが有意の数を含まないので、ＡＤ
Ｄ　　ＢＵＦＦＥＲにより更新されない。

８０２−８１７行の除去ループが完了した後、マスタ・
プールのストップオーバ・リスト上のバッファは、８１
８−８２５行によりマスタ解放バッファ・リスト４０に
戻される。第１２Ａ表のＲＥＭＯＶＥ　　ＢＵＦＦＥＲ
手順８８は、使用中カウント（８２０行）を更新せずに
、極小的にストップオーバ・リストからバッフ１を除去
し、ＡＤＤＢＵＦＦＥＲＡＮＤ　　ＣｏＵＮＴ手順８０
は、これらのバッファをマスタ解放バッファ・リスト４
０に加える。ストップオーバ・リストが空になると、戻
りループは終了する（８２４行）。８０１行で得られる
ラッチは、除去ループが実行されると直ちに、８２８行
で解放される。

マスタ・プールの使用中カウントＢＵＳＹ　　ＣＴが正
確であることを確証するために、ＦＬＵＳＨＭＡＳＴＥ
ＲＰＯＯＬの除去ループにより、マスタ解放バッファ・
リスト４０から極小的に除去されるバッファの数は、８
２７行によりマスタ・プールの使用中カウントＢＵＳＹ
　　ＣＴから減算される。直列化のためのＣｏｍｐａｒ
ｅ−ａｎｄ−Ｓｗａｐ命令を用いるのが好ましい。マス
タ解放リストから除去される拡張バッファの数は、拡張
ＰｏｏＬ　　ＣＴＬ、ＦＬＵＳＨＣＴに追加され、解放
プール及び削除プールにより使用される。

バッファ・プールの削除　−ＤＥＬＥＴＥ０ＯＬ６８ ＤＥＬＥＴＥ　　ＰＯＯＬ６８は、ＦＲＥＥＰＯＯＬ動
作８６の時に削除できなかった解放された拡張ブール２
４のために、バッファ・プール２０の動的短縮の第２段
階を実行する。単一タイマ駆動プロセスは、そのような
プールを解放されたプール・リスト７２から独立して除
去し、それらの関連バッファのすべてが解放されてしま
うと、それらの記憶装置を解放する。

ＤＥＬＥＴＥ　　ＰＯＯＬ８８は、解放プール２４を監
視し、静止された解放プールを検出する責任がある。各
タイマ間隔で、ＤＥＬＥＴＥ　　ＰＯＯＬは、使用中カ
ラン）ＢＵＳＹ　　ＣＴがゼロ（０）であるプールのた
めに、解放されたプール・リスト７２を走査する。その
ようなものが１つリスト内のどこかで発見された場合に
は、ＤＥＬＥＴＥ　　ＰＯＯＬは、それをＣｏｍｐａｒ
ｅ−ａｎｄ−Ｓｗａｐ論理回路を用いて除去し、バッフ
ァ・プール２ｏを短縮するように、プールに関連する物
理的記憶を解放する。

ＦＲＥＥフィールド７４内に固定された解放プール・リ
スト７２へのアクセスは、極小命令を注意深く使用する
ことにより固有に直列化される。複数のＦＲＥＥ　　Ｐ
ＯＯＬプロセスが拡張プールをリストのヘッドに追加で
きる間に、唯１つのＤＥＬＥＴＥ　　ＰＯＯＬプロセス
がそれらを除去できる。ＤＥＬＥＴＥ　　ＰＯＯＬプロ
セスは１つしかないので、極小命令は、リスト内のどこ
でもプール制御要素２８を除去するために使うことがで
きる。さらに、ＤＥＬＥＴＥ　　ＰＯＯＬ動作６８は、
その動作が、解放プール２４が完全に静止されている場
合のみ実施されるので、主プログラムのメインライン・
プロセスと矛盾しない。

ＤＥＬＥＴＥ　　ＰＯＯＬ操作６８は、解放されたが折
よい仕方で静止しなかった拡張プール２４を検査する。

通常これは、ユーザ・プロセスが、バッファ３０を得、
それをまだ戻して（解放して）いない時に発生する。し
かしまれには、これは、解放拡張に属するバッファが、
拡張の解放バッファ・リスト４２の代わりに、マスタ・
プールの解放バッファ・リスト４０に戻ったために発生
することがある。前記のように、これは、ＦＲＥＥＢＵ
ＦＦＥＲ動作８４がバッファをマスタ解放バッファ・リ
スト４０に戻すことを決めた後、それが妨害される場合
にのみ発生する。ＦＲＥＥＰＯＯＬ操作６６が、その点
で実行される場合、プールは解放され、別にされて静止
する。その間、ＦＲＥＥ　　ＢＵＦＦＥＲ動作は、回復
された時、バッファをマスタ解放バッファ・リスト４０
に戻す。バッファがユーザ・プロセスまたは他のＦＲＥ
Ｅ　　ＰＯＯＬ動作により続いて除去されない場合、解
放されたプールは決して静止しない。ＤＥＬＥＴＥ　　
ＰＯＯＬ８８は、そのようなバッファをマスタ解放リス
ト４０から周期的にフラッシュすることにより、この状
態を取り扱う。

ＤＥＬＥＴＥ　　ＰＯＯＬ６８用の擬似コード：第７表
は、従来の擬似コード内のＤＥＬＥＴＥＰＯＯＬ手順６
８の実施例を示す。

ＤＥＬＥＴＥ　　ＰＯＯＬ６８の９０１行は、動作がタ
イマを用いて周期的に実行されるようにする。９０２行
は、静止されたプールのために、すべての解放されたプ
ール・リスト７２を走査する。

ＤＥＬＥＴＥ　　ＰＯＯＬ６８は、解放された拡張リス
ト７２からＰＯＯＬ　　ＣＴＬ要素を除去する唯一のプ
ロセスであるから、待ち行列を処理する標準的技術を、
そのような要素のリストから解放された拡張プール制御
要素ＰＯＯＬ　　ＣＴＬ２８のどこでも除去するために
使うことができる。

解放プール・リスト７２のＰＯＯＬ　　ＣＴＬ要素２８
に関連した拡張ブール２４が静止している場合は、その
ＰＱＯＬ　　ＣＴＬ要素は、そのリスト（９０８−９０
９行）から極小的に除去（解放）できる。プールの資源
は解放され（９１２行）、マスタ・プールの使用中カウ
ントは、ユーザ・プロセスがマスタ解放バッファ・リス
ト４０から除去したが、解放された拡張プールの解放バ
ッファ・リスト４２（９１３行）に戻したバッファの数
により調整される。この調整は、ユーザ・プロセスがバ
ッファをマスタまたは拡張解放バッファ・リストに戻す
か否かが、それが実際にバッファに戻るまで分からない
ので、プールが静止するまで行なうことができない。

９０７行または９０９行のＵＮＣＨＡＩＮ　　Ｐ００Ｌ
極小操作が（９１０行でテストされて）失敗した場合は
、待ち行列全体は、ＤＥＬＥＴＥＰＯＯＬ手順を再び９
０２行から始めることにより再走査される（９１１行）
。これは、連鎖されないで、削除された解放プールのプ
ール制御要素ＰＯＯＬ　　ＣＴＬ２８が解放されるプー
ル・リスト７２のヘッドに置かれ、同時に実行するＦＲ
ＥＥ　　ＰＯＯＬプロセスが他のＰＯＯＬ　　ＣＴＬ要
素をリストのヘッドに追加する場合に、起こりうる。

ＰＯＯＬ　　ＣＴＬ要素の解放されたプール２４が静止
されない場合は、９０３−９１５行のＤＥＬＥＴＥ　　
ＰＯＯＬの走査ループ内のプールに関しては活動はない
。

前記のように、マスタ解放バッファ・リスト全体４０が
、ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ走査７０ａ１７０ｂ
を用いて時々フラッシュされ、見捨てられたバッファを
除去する。このプロセスは、ＤＥＬＥＴＥ　　ＰＯＯＬ
８８の９１８−９２０行によりトリガされるが、各タイ
マ間隔中実行される必要はない。色々な概略図のどれも
、それが実行される周波数を限定するのに使うことがで
きる。好ましい実施例では、マスタ解放バッファ・リス
ト４０は、選択された数のタイマ間隔が経過した後にの
み、フラッシュされる。代わりに、静止プールは老朽化
する可能性があり、マスタ解放バッファ・リストは、「
老朽化した」いずれかのプールが現われた場合にのみフ
ラッシュされる。

１しＥ麹」１色 前記の手順は多くの極小的動作に依存する。これらは、
プール制御要素ＰＯＯＬ　　ＣＴＬ２８上（７）ＡＤＤ
　　ＰＯＯＬｌＲＥＭＯＶＥ　　ＰＯＯＬｌＵＮＣＨＡ
ＩＮ　　ＰＯＯＬ動作、及びバッファ制ＶＥ　　ＢＵＦ
ＦＥＲ，及びＲＥＭＯＶＥｌＢＵＦＦＥＲＡＮＤ　　Ｃ
０ＵＮＴ動作である。これらの極小動作のすべては、Ｉ
ＢＭ／３７０　Ｃｏａ＋ｐａｒｅ−ａｎｄ−Ｓｗａｐ及
び％　Ｃｏｍｐａｒｅ−Ｄｏｕｂｌｅ−ａｎｄ−Ｓｗａ
ｐ命令のような極小命令を用いて固有に直列化される。

ＡＤＤ　　ＰＯＯＬ７ｅ用の擬似コード：第８表は、従
来の擬似フード内のＡＤＤ　　ＰＯＯＬ手順７６の実施
例を示す。

ＡＤＤ　　ＰＯＯＬ７Ｅ３は、プール制御要素ＰＯＯＬ
　　ＣＴＬ２８をそのような要素のリストに追加する。

そのリストは、プール制御要素のＮＥＸＴ　　ＰＯＯＬ
フィールド５６を通って連鎖される。

所与のＰＯＯＬ　　ＣＴＬ要素２８、及び所与のリスト
に対し、ＡＤＤ　　ＰＯＯＬは、要素をリストのヘッド
に追加する。先にり、ストのヘッドにあった要素は新し
い要素（１００３行）に連鎖され、新しい要素はリスト
のヘッド（１００５行）に置かれる。

新しい要素は、現在リスト・ヘッダが並行プロセスによ
り変えられていない場合のみ、リスト・に追加される。

この極小動作は、ＩＢＭ　３７０　Ｃｏｍｐａｒｅ−ａ
ｎｄ−Ｓｖａρ命令などの極小的命令を用いて達成でき
る。極小動作が失敗した場合は、ＡＤＤ　　ＰＯＯＬは
、１００２行から再試行することにより、新しいリスト
のヘッドに要素を追加する試みを繰り返す（１００７行
）。

ＲＥＭＯＶＥ　　ＰＯＯＬ７５用の擬似コート：第９表
は、従来の擬似コード内のＲＥＭＯＶＥＰＯＯＬ手順７
５の実施例を示す。

ＲＥ　Ｍ　ＯＶ　Ｅ　　Ｐ　ＯＯＬ　ハ、そのような要
素のリストから、プール制御要素ＰＯＯＬ　　ＣＴＬ２
８を極小的に除去する。

１１００−１１０５行は、リスト・ヘッダに対し、イン
デソクス（１１０２行）とポインタ（１１０３行）から
構成される倍長語構造として、Ｐ００ＬＣＨＡＩＮデー
タ・タイプを定義する。それはＰＯＯＬ　　ＣＴＬ要素
のリスト用のアンカーとして使われる。ＰＯＯＬＣＩＡ
ＩＮインデックスは、複数のプロセスが一度にリストか
らＰＯＯＬ　　ＣＴＬ要素（すなわち、マスタプールの
拡張プール・リストからＦＲＥＥ　　ＰＯＯＬにより除
去可能な要素）を極小的に除去できるようにする。

−度に１つのプロセスだけがリストから要素を除去でき
た場合は、ポインタはリスト・アンカーとして適切であ
る。しかし、この擬似コードは、ＦＲＥＥ　　ＰＯＯＬ
６８及びＤＥＬＥＴＥ　　ＰＯＯＬ６８の両方で使われ
、プール制御要素ＰＯＯＬＣＴＬ２８のすべてのリスト
に対し、アンカーとしてＰＯＯＬ−ＣＨＡ　Ｉ　Ｎデー
タ・タイプを用いることは好都合である。そのようなア
ンカーを解放されたプール・リスト７２に用いることは
悪くない。要するにそれは必要ではない。

所与のリスト・アンカーについて、ＲＥＭＯＶＥ　　Ｐ
ＯＯＬ７５は、第１０表のＵＮＣＨＡＩＮＰ００Ｌ動作
８８を用いて、リスト（１１０８行）上の第１プール制
御要素ＰＯＯＬ　　ＣＴＬ２８の除去を試みる。それが
成功した場合は、ＲＥＭＯＶＥ　　ＰＯＯＬは、新たに
解放された要素を要求プロセス（１１１２行）に戻す。

このリスト内に要素がない場合は、空のＰＯＯＬ　　Ｃ
ＴＬ要素は戻される。

極小ＵＮＣＨＡＩＮ　　ＰＯＯＬ動作８８が失敗しく１
１０９行）、１つあるいは複数の同時プロセスがリスト
を変えたことを表示する場合は、ＲＥＭＯＶＥ　　ＰＯ
ＯＬ７５は、動作を再試行することにより（１１１０行
）、現行リスト・ヘッダを除去し、そして戻す試みを繰
り返す。

ＵＮＣＨＡＩＮ　　ＰＯＯＬ８８用の擬似コード：第１
０表は、従来の擬似フードのＵＮＣＨＡ　ＩＮ　　ＰＯ
ＯＬ手順８８の実施例を示す。

ＵＮＣＨＡＩＮ　　ＰＯＯＬ８８は、ＲＥＭＯＶＥ　　
ＰＯＯＬ７５によって使用され、リストのヘッドから要
素を除去し、さらにＤＥＬＥＴＥ　　ＰＯＯＬ６８によ
って使用され、リスト上のどこからも要素を除去する。

この理由で、連鎖域は常にデータ・タイプＰＯＯＬＣＨ
ＡＩＮであり、このためＲＥＭＯＶ′Ｅ　Ｐ００Ｌ論理
は、−度に複数のプロセスにより、リストからの要素の
除去に適応できる。しかし、ただ１つのプロセスが一度
にそのリストから要素を除去できるようにされる場合は
、１つの簡単なポインタがリストの連鎖域とアンカーを
表示するために適切になる。

特定のプール制御「要素ＪＰＯＯＬ　　ＣＴＬ２８を含
む特定のリスト「ブールチェインコに対して、ＵＮＣＨ
ＡＩＮ　　ＰＯＯＬが連鎖をリス！・内の次の要素に極
小的に接続し、リストからＰＯＯＬ　　ＣＴＬ要素（１
２１０行）を除去する。連鎖域に連鎖された要素がない
場合には、空のＰＯＯＬ　　ＣＴＬ要素は戻される（１
２０４−１２０５行）。連鎖域が並行プロセスにより変
えられていない場合にのみ、要素２８は除去される。こ
の極小動作はＩＢＭ　３７０　Ｃｏｍｐａｒｅ−Ｄｏｕ
ｂｌｅ−ａｎｄ−Ｓｗａｐ命令を用いて完了される。極
小動作が失敗した場合は、ＵＮＣＨＡＩＮ　　ＰＯＯＬ
は失敗を示しく１２１６行）、この表示をリクエスタに
戻す。

ＬＩＳＴのための擬似コード：　第１１Ａ表、及び第１
２Ｂ表は、それぞれＡＤＤ　　ＢＵＦＦＥ８２、及び８
４ａ１８４ｂの従来の擬似コードにおける実施例を示す
。これらの動作は、１つまたは複数のバッファ制御要素
ＢＵＦ　　ＣＴＬ３２をそのような要素の１つのリスト
に極小的に追加する。ＡＤＤ　　ＢＵＦＦＥＲ，ＡＤＤ
　　Ｃ０ＵＮＴ及びＡＤＤ　　ＢＵＦＦＥＲ手順８ｏ１
８２は、共にＡＤＤ　　ＢＵＦＦＥＲＬＩＳＴ手順８４
ａ１８４ｂに依存する。これらの動作により使われるリ
ストは、バッファ制御要素ＢＵＦ　　ＣＴＬ３２のＮＥ
ＸＴ　　ＦＲＥＥフィールド４４を通して連鎖される。

第１１Ａ表の１３００−１３０１３行は、ＢＵＦ’ＨＥ
ＡＤＥＲデータ・タイプを定義し、それはＢＵＦ　　Ｃ
ＴＬ要素のリスト用のアンカーとして使用される。これ
は、使用中カウント「カウンタ」（１３０４行）、イン
デックス（１３０３行）、及びリスト・ヘッダ（１３０
５行）から構成される倍長扉構造である。ＢＵＦ　　Ｃ
ＴＬ要素は、多重プロセスによりバッファ・リストから
追加または除去されるが、使用中カウントｒカウンタ」
は、要素を追加または除去する同じ極小動作で更新され
なければならない。また同じ動作で、インデックスは増
分され、同時プロセスが同時にリストからＢＵＦ　　Ｃ
ＴＬ要素を除去している時に、干渉に対して保護しなけ
ればならない。

ＡＤＤ　　ＢＵＦＦＥＲＡＮＤ　　Ｃ０ＵＮＴ（１３０
７−１３０９行）は、１つの要素（すなわち１要素リス
ト）を、リストのヘッドに極小的に追加し、さらにＢＵ
ＳＹ　　ＣＴを１だけ減分するＡＤＤ　　ＢＵＦＦＥＲ
ＡＮＤ　　Ｃ０ＵＮＴは、単に１３０８行に示すような
いくつかのパラメータをもつＡＤＤ　　ＢＵＦＦＥＲＬ
ＩＳＴ動作を呼ぶ。

ＡＤＤ　　ＢＵＦＦＥＲ（１３１０−１３１２行）は、
極小的に１つの要素（すなわち１要素リスト）をリスト
のヘッドに追加するが、ＢＵＳＹ　　ＣＴを更新しない
（Ｏだけ減分する）。ＡＤＤ　　ＢＵＦＦＥＲは、それ
がＡＤＤ　　ＢＵＦＦＥＲＡＮＤ　　Ｃ０ＵＮＴにより
渡される値１の代わりに整数ｎ′に対する値Ｏを渡すこ
とを除いて、ＡＤＤ　　ＢＵＦＦＥＲＡＮＤ　　Ｃ０Ｕ
ＮＴ（１３１１行）と同じパラメータをもつＡＤＤ　　
ＢＵＦＦＥＲＬＩＳＴを呼ぶ。

ＡＤＤ　　ＢＵＦＦＥ７ＲＬＩＳＴ（１３１３−１３２
４行）は、連鎖ＢＵＦ　　ＣＴＬ要素の新しいリストを
現存リストのヘッドに追加する。新しいリストの最初及
び最後の要素は、パラメータとしてＡＤＤ　　ＢＵＦＦ
ＥＲＬＩＳＴに渡される。

その機能は、現存リスト（１３１９，１３２１行）を新
しいヘッドとして新しいリストの第１要素を置く。同時
に現存リストの先のヘッド要素は、新しいリスト内の最
後の要素に連鎖される（１３２０行）。

新しいリストは、現存リストの現行ヘッダが並行プロセ
ス（第１１Ｂ表の１３２２行）によって変えられなかっ
た場合にのみ、現在のリストに追加される。これは、極
小ＩＢＭ　３７０　Ｃｏａ＋ｐａｒｅ−ａｎｄ−Ｓｗａ
ｐ命令を用いて直列化される。同じ極小動作が、入力カ
ラン）Ｎ（１３１８行）により使用中カラン）ＢＵＳＹ
　　ＣＴを減分するために使用される。さらに、複数の
プロセスは、リストから要素を除去できるので、ＩＮＤ
ＥＸカウントは、また同じ操作（１３１７，１３２１行
）で増分される。もし、極小動作が失敗し、他のプロセ
スが現存リストのヘッダを変えたことを表示した場合は
、ＡＤＤ　　ＢＵＦＦＥＲＬＩＳＴは、新しいリストを
現存リスト（１３２３行）に追加する試みを繰り返す。

コード：　第１２Ａ表及び第１２Ｂ表はそれぞれ、ＲＥ
ＭＯＶＥ　　　ＢＵＦＦＥＲＡＮＤ　　　Ｃ０ＵＮＴ及
びＲＥＭＯＶＥ　　ＢＵＦＦＥＲ手順８６、及び７８ａ
、７８ｂの従来の擬似コードの実施例を示す。これらの
動作は、そのような要素のリストから、第１のバッファ
制御要素ＢＵＦ　　ＣＴＬ３２を極小的に除去する。

ＲＥＭＯＶＥ　　ＢＵＦＦＥＲ８Ｂは、特定のり、スト
内の第１要素を極小的に除去するが、しかし、ＢＵＳＹ
　　ＣＴを更新しない（Ｏだけ増分する）機能である。

ＲＥＭＯＶＥ　　ＢＵＦＦＥＲ（１４００−１４０２行
）は、１４０１行で示すようないくつかのパラメータを
有するＲＥＭＯＶＥ　　ＢＵＦＦＥＲＡＮＤ　　ＣｏＵ
ＮＴ手順動作を呼ぶ。

ＲＥＭＯＶＥ　　ＢＵＦＦＥＲＡＮＤ　　Ｃ０ＵＮＴ　
（１４０３−１４２１行）は、ＰＯＯＬ　　ＣＴＬ要素
のリストから第１ＢＵＦ　　ＣＴＬ要素を極小的に除去
する。それに渡される所与のリスト・ヘッダ「アンカー
」について！ｔ、ＲＥＭＯＶＥＢＵＦＦＥＲＡＮＤ　　
Ｃ０ＵＮＴは、リスト内に次の要素を新しいリスト・ヘ
ッダ（１４１３行）にすることにより、リスト上の第１
（ヘッダ）要素を除去することを試みる。古いヘッダ要
素は、現在のリスト・ヘッダが並列プロセスにより変え
られない場合にのみ、リストから除去される。これはＩ
ＢＭ　３７０　Ｃｏｍｐａｒｅ−Ｄｏｕｂｌｅ−ａｎｄ
−Ｓｗａｐ命令により直列化される。

使用中カラン）ＢＵＳＹ　　ＣＴが、同じ極小動作で入
カカウン）Ｎ（１４１１行）だけ増分され、そして複数
のプロセスがリストから要素を除去できるので、ＩＮＤ
ＥＸカウントも同じ動作で（１４１２行）増分される。

極小動作が失敗した場合（１４１７行）は、ＲＥＭＯＶ
Ｅ　　ＢＵＦＦＥＲｌＡＮＤ　　Ｃ０ＵＮＴは、その手
順を再試行することにより（１４１８行）リストから第
１要素を除去する試みを繰り返す。

リスト内に要素がない場合は、空のＢＵＦ　　ＣＴＬ要
素が戻される（１４０７−１４０８行）。

さもなければ、除去された要素が戻される（１４２０行
）。

ＤＥＣＬＡＲＥ １０ １１ １２ １３ １４ Ｌ　ＡＮＣＩＩＯＲ，／＝アンカー・ブロック：７２　
ＭＡＳＴＥＲＰＯＩＮＴＥＲ（３１）　。

／＝マスタ・プール制御のアドレ ス＝／ ２　ＦＲＥＥ　ＥＸＴ、　　　　　　／＝解放サすタ拡
張１７）ｌＪ］ト＝／３　ＣＤＳ　ＩＮＤＥＸ　　　Ｆ
ＩＸＥＤ（３２）。

／＝ＣＤＳ修正を確証するための インデックス＝／ ３ＦＲＥＥＤ　　　ＰＯＩＮＴＥＲ（３１）。

／＝解放されたプール制御要素リ スト＝／ ２０ ２１ ２２ ＤＥＣＬＡＲＥ Ｉ　ＰＯＯＬ　ＣＴＬ。

２　ＮＥＸＴ　ＥＸＴ。

３　ＣＤＳ　ＩＮＤ［α 第１表 ／＝プール制御要素２８＝／ ／＝拡張プールのリスト＝／ ＦＩＸＥＤ（３２）。

／＝ＣＤＳ修正を確証するための インデックス：／ データ構造の定義（１／４） ３８ＥＸＴ　ＰＯＯＬ ２　ＦＲＥＥ。

３　ＣＤＳ　ＩＮＤＥＸ ３　ＢＵＳＹ　ＣＴ ３　ＦＩＲＳＴ　ＦＲＥＥ ＳＴＯＰＯＶＥＲ。

３　ＣＤＳ　ＩＮＤＥＸ ＰＯＩＮＴＥＲ（３１） ７２次のＰＯＯＬ　　ＣＴＬ　　Ｌの アドレス：／ ／＝解放バッファのリスト＝／ ＦＩＸＥＤ（１６）。

／＝ＣＤＳ修正を確証するための インデックス＝／ ＦＩＸＥＤ（１６）。

／＝除去されたバッファのカラン ト＝／ ＰＯＩＮＴＥＲ（３１） ／＝第１の解放ＢＵＦ　　ＣＴＬｌ あるいは０のアドレス：／ ／＝−時的な解放バッファ・リス ト（マスタ）：／ ＦＩ罷Ｄ（１６）。

／＝ＣＤＳ修正を確証するための インデックス＝／ 第１表 データ構造の定義（２／４） ３　ＢＵＳＹ　ＣＴ ３　ＦＩＲＳＴ　ＦＲＥＥ ２１（ＲＳＴ　０ＷＮＥＤ ＦＩＸＥＤ（１Ｂ）。

／＝除去されたバッファのカラン ト：／ ＰＯＩＮＴＥＲ（３１）　。

／＝第１解放ＢＵＦ　　ＣＴＬ、あ るいはＯのアドレス：／ （イ）ＩＮＴＥＲ（３１）。

／＝第１所有ＢＵＦ　　ＣＴＬのア ドレス＝／ ３２ａ ２　　ＦＬＵＳＨＣＴ ＦＩＸＥＤ（３１） ／＝マスタから拡張の解放リスト ヘフラッシュされるバッファの 数：／ ＤＥＣＬＡＲＥ １　ＢＵＦ　ＣＴ１．、　　　　　　　　／＝バッフγ
制御要素３０：／２　　ＢＵＦＦＥＲＡＤＤＲＰＯＩＮ
ＴＥＲ（３１）。

／＝　関連バッファのアドレス：／ 第１表　データ構造の定義（３／４） ２１（ＯＭＥ　ＰＯＯＬ ２Ｎα−ＦＲＥＥ ２　ＮＥＸＴ　０ＷＮＥＤ （イ）ＩＮＴＥＲ（３１）。

／＝バッファが戻されるＰＯＯＬ ＣＴＬのアドレス＝／ 閉ＩＮＴＥＲ（３１）。

７２次の解放ＢＵＦ　　ＣＴＬのア ドレス＝／ ＰＯＩＮＴＥＲ（３１）　。

７２次の所有ＢＵＦ　　ＣＴＬのア ドレス＝／ 第１表 データ構造の定義（３／４） ００ ０１ ０２ ０３ ０４ ０５ ０６ ０７ ０８ 要求された数のバッファのために記憶装置を獲得する。

制御ブロック領域のための記憶装置を獲得して、各バッ
ファについて、１つのｐｏｏｌ　　ｃｔｌ要素及び１つ
のｂｕｆｃｔｌ要素を含む。

制御ブロック領域のスタートにｐｏｏｌ　　ｃｔｌを置
く。

第１のｂｕｆ　　ｃｔｌを１ｏｃａｔｉｏｎ　＝　ｐｏ
ｏｌ　ｃｔｌ　１ｏｃａｔｉｏｎ　＋ＬＥＮＧＴＨ（ｐ
ｏｏｌ　ｃｔｌ）に置き、さらに連続する各ｂｕｆ　　
ｃｔｌを１ｏｃａｔｉｏｎ　＝　ｐｒｅｖｉｏｕｓ　ｂ
ｕｆ　ｃｔｌ　１ｏｃａｔｉｏｎ　＋ＬＥＮＧＴＩＩ　
（ｂｕｆｃｔｌ）に置く。

第１のバッファをバッファ領域のスタートに置き、さら
に連続する各バッファをｓ　１ｏｃａｔｉｏｎ　＝　ｐ
ｒｅｖｉｏｕｓ　ｂｕｆｒｅｒ　１ｏｃａｔｉｏｎ−Ｌ
ＥＮＧＴＩＩ　（バッファ）に置く。

ＤＯｆｏｒ　ｅａｃｈ　ｏｆ　ｔｈｅ　ｂｕｆ　ｃｔｌ
　ｅｌｅｍｅｎｔｓ。

／＝バッファをｂｕｆ　　ｃｔｌ要素に割り当てる＝／
ＳＥＴ　ｂｕｆ　ｃｔｌ、ｂｕｆｒｅｒ　ａｄｄｒ　＝
　ｃｕｒｒｅｎｔ　ｂｕｆｆｅｒ　１ｏｃａｔｉｏｎ。

／＝ホーム・プール値をセットする−　常にマスタパッ
フトプール＝７ ＩＦ　１ｌａｓｔｅｒ　ｐｏｏｌ　ｒｅｑｕｅｓｔｅｄ
　ＴＨＥＮＳＥＴ　ｂｕｆ　ｃｔｌ、ｈｏｓ＋ｅ−ｐｏ
ｏｌ　＝　ｐｏｏｌ　ｃｔｌ　１ｏｃａｔｉｏｎ。

第２Ａ表　プール建設（１／２） ０９ １０ １１ １２ １３ ＬＳＥ ＳＥ′ｒｂｕｆ−ｃｔｌ、ｈｏ＋ａｅ−ｐｏｏｌ　＝　
ａｎｃｈｏｒ、＆ｌ５ｔｅｒ。

／＝ｂｕｆ　ｃｔｌ要素を先のｂｕｆ　　ｃｔｌ要素に
連鎖する＝／ ＩＦ　ｎｏｔ　ｔｈｅ　ｆｉｒｓｔ　ｂｕｆ　ｃｔｌ　
Ｔ１１ＥＮＤＯ０ ＳＥＴ　ｐｒｅｖｉｏｕｓ　ｂｕｆ　ｃｔｌ、ｎｅｘｔ
　ｆｒｅｅ　＝　ｂｕｆ　ｃｔｌｌｏｃａｔｉｏｎ。

１４ ＳＥＴ　ｐｒｅｖｉｏｕｓ　ｂｕｆ　ｃｔｌ、ｎｅｘｔ
　ｏｗｎｅｄ　＝　ｂｕｆ　ｃｔｌｌｏｃａｔｉｏｎ。

１５ ＥＮＤ。

１６ １７ ＥＮＤ。

／＝ｐｏｏｌ　　ｃｔｌをフォーマットし、プールをバ
ッファ・プール構造に追加する：／ ＳＥＴ　ｐｏｏｌ−ｃｔｌ、ｆｉｒｓｔ−ｏｗｎｅｄ　
＝　ａｄｄｒｅｓｓ　ｏｆ　ｆｉｒｓｔ　ｂｕｆ　ｃｔ
ｌ。

第２Ａ表 プール建設（２／２） ＩＦ　ｍ５ｔｅｒ　ｐｏｏｌ　ｒｅｑｕｅｓｔｅｄ　Ｔ
ＩＩＥＮ０ ｐｏｏｌ　ｃｔｌ、ｆ’ｒｅｅ、ｆｉｒｓｔ　ｆｒｅｅ
　：ｒｉｒｓｔ　ｂｕｆ　ｃｔｌ　１ｏｃａｔｉｏｎ。

Ｕｓｅ　ｔｈｅ　ＣＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｔｏ
　ａｔｏｍｉｃａｌｌｙ　ＳＥＴ　ａｎｃｈｏｒ。

ｍａｓｔｅｒ　＝ｐｏｏｌ　ｃｔｌ　１ｏｃａｔｉｏｎ
。

ＩＦ　ｔｈｅ　ＣＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｆａｉ
ｌｓ　ＴＩＩＥＨ／＝他のプロセスで作られたマスタ・
プール＝／ ＤＯ・ Ｒｅ１ｅａｓｅ　ｐｏｏｌ　ｒｅｓｏｕｒｃｅｓ。

ＲＥＴＵＲＮ（ｆａｉｌｅｄ　ｃｏｍｐｌｅｔｉｏｎ　
５ｔａｔｕｓ）。

ＥＮＤ。

ＥＮＤ。

ＬＳＥ ／：要求された拡張ブール＝／ ＤＯ。

／＝拡張のすべての解放バッファ・リストを、使用中カ
ウントを更新しないで、マスタ解放バッファ・リスト４
０に極小的に追加する：ｌ 第２Ｂ表　プールの建設（１／２） ＡＤＤ　ＢＵＦＦＥＲＬＩＳＴ（ａｎｃｈｏｒ、ｍａｓ
ｔｅｒｃｔｌ、　１ａｓｔ　ｂｕｆ　ｃｔｌ、　Ｏ）。

＞ｆｒｅｅ、　ｆｉｒｓｔ　ｂｕｒ ／＝すべての拡張のバッファが除去されたことを示す＝
／ＳＥ：ｒｐｏｏｌ　ｃｔｌ、「ｒｅｅ、ｂｕｓｙ　ｃ
ｔ　＝　ｎｕｍｂｅｒ　ｏｒｂｕｆｒｃｒｓ　１ｎｅｘ
ｔｅｎｓｘｏｎ。

／＝ｐｏｏｌ　　ｃｔｌをマスタ・プールの拡張リスト
に極小的に追加する＝／ ＡＤＤ−ＰＯＯＬ（ａｎｃｈｏｒ、＋＊ａｓｔｅｒ→ｐ
ｏｏｌ　ｃＬｌ、ｎｅｘｔ；　ｐｏｏＬ　ｐｏｏｌｃｔ
ｌ）。

ＥＮＤ。

ＲＥＴＵＲＮ（ｓｕｃｃｅｓｓｆ’ｕｌ　ｃｏｍｐｌｅ
ｔｉｏｎ　５ｔａｔｕｓ）。

第２Ｂ表 プールの構築（２／２） ００ アンカー・マスタからマスタ・プールへのアクセスを得
る。

０１ ０２ ０３ ０４ ／＝マスタ解放バッファ・リスト４ｏから極小的にバッ
ファを除去することを試みる、成功の場合は、使用中カ
ウントを増分する＝／ ＲＥＭＯＶＥ−ＢＵＦＦＥＲ−ＡＮＤ　Ｃ０ＵＮＴ（ａ
ｎｃｈｏｒ、＋ｍａｓｔｅｒ−＞ｆｒｅｅ、　ｂｕｆ　
ｃｔｌ）　。

ＩＦ　ａ　ｂｕｆ　ｃｔｌ　ｗａｓ　ｒｅｍｏｖｅｄ　
ｆｒｏｍ　ｔｈｅ　ｆｒｅｅ　ｂｕｆｆｅｒ　１ｉｓｔ
　ＴＩＩＥＮＲＥＴＵＲＮ　（ｓｕｃｃｅｓｓｆｕｌ　
ｃｏｍｐｌｅｔｉｏｎ　５ｔａｔｕｓ、　１ｏｃａｔｉ
ｏｎ　ｏｆｂｕｆ　ｃｔｌ）。

ＥＬＳＥ　　　　　　　　／＝マスタ解放バッファ・リ
スト４０は空である＝１ ０５ ＤＯｏ ０６ ０７ ／＝マスタ・プールのストップオーバ・リストからバッ
ファを極小的に除去することを試みる。成功の場合は、
使用中カウントを増分する＝／ ＲＥＭＯＶＥ　ＢＵＦＦＥＲＡＮＤ　Ｃ０ＩＩＮＴ（ａ
ｎｃｈｏｒ、ｍａｓｔｅｒ−＞５ｔｏｐｏｖｅｒ。

ｂｕｆ　ｃｔｌ）。

ＩＦ　　ａ　　ｂｕｆ　　ｃｔｌ　　ｗａｓ　　ｒｅｌ
ｌｏｙｅｄ　　ｆｒｏｍ　　ｔｈｅ　　５ｔｏｐｏｖｅ
ｒ　　１ｉｓｔＩＩＥＮ 第３表　ゲット・バッファ（１／２） ０８ ＲＥＴＵＲＮ　　（ｓｕｃｃｅｓｓｆｕｌ　　ｃｏｍｐ
ｌｅｔｉｏｎ　　５ｔａｔｕｓ。

１ｏｃａｔｉｏｎ ｏｆ　ｂｕｒｃｔｌ）。

０９ ＥＬＳＥ １０ ＲＥＴｌＪＲＨ（ｆａｉｌｅｄ　ｃｏｉ＋ｐｌｅｔｉｏ
ｎ　５ｔａｔｕｓ、　ＨＵＬＬｐｏｉｎｔｅｒ）　。

１１ ＥＮＤ。

第３表 ゲット・バッファ（２／２） ００ Ｏｂｔａｉｎ　　ｐｏｏｌ−ｃｔｌ　　ｆｒｏｍ　　ｂ
ｕｆ　　ｃｔｌ、ｈｏＩＩｅ　ｐｏｏｌ。

０１ ０２ ／＝ｂｕｆ　　ｃｔｌを適切な解放バッファ・リストに
極小的に追加し、使用中カウントを減分する＝／ＡＤＤ
　ＢＵＦＦＥＲＡＮＤ　Ｃ０ＵＮＴ（ｐｏｏｌ　ｃｔｌ
、ｆｒｅｅ、　ｂｕｆ　ｃｔｌ）。

ＲＥＴＵＲＮ。

第４表　フリー・バッファ ＲＥＭＯＶＥ　ＰＯＯＬ（ａｎｃｈｏｒ、１Ｉａｓｔｅ
ｒ＝＞ｐｏｏｌ　ｃｔｌ、ｎｅｘｔ−ｅｘｔ、　ｐｏｏ
ｌ−ｃｔｌ）　。

／＝１つある場合は、第１拡張プールを極小的に除去す
る；／ ＩＦ　　ａ　　ｐｏｏｌ　　ｃｔｌ　　ｅｌｅｍｅｎｔ
　　ｗａｓ　　ｒｅｍｏｖｅｄ　　ＴＩＩＥＮＤＯ。

／＝拡張により所有される各ｂｕｆ　　ｃｔｌに対し、
ホーム・プールをリセットする＝／ ＤＯｆｏｒ　ｅａｃｈ　ｂｕｆ−ｃｔｌ　ｉｎ　ｐｏｏ
ｌ　ｃｔｌ、「１ｒｓｔ　ｏｗｎｅｄ　１ｉｓｔ。

５ＥＴｂｕｆ−ｃｔｌ、ｈｏｍｅ　ｐｏｏｌ　＝ｐｏｏ
ｌ−ｃｔｌ　１ｏｃａｔｉｏｎ。

ＥＮＤ。

／＝マスタ解放バッファ・リスト上にある拡張のｂｕｆ
　　ｃｔｌ要素すべてを除去する＝／ＦＬＵＳＨ−ＭＡ
ＳＴＥＲ−ＰＯＯＬ　（ｐｏｏ　１−ａｔ　ｌ）　。

／＝拡張が現在静止しているか否かをチエツクする＝／
ＩＦ　ｐｏｏｌ　ｃｔｌ、ｆｒｅｅ、ｂｕｓｙ　ｃｔ　
＝　Ｏ’ｎ１ＥＮ／＝プールは静止している＝７ ０７ａ （１）。

Ｒｅ１ｅａｓｅ　ｐｏｏｌ　ｒｅｓｏｕｒｃｅｓ。

第５表　フリー・プール（１／２） ０８ａ ０９ａ ０９ｂ ０９ｃ １０ ＲＥＴＲＹ７： ／＝Ｃ８命令を使用して、ユーザ・プロセスがマスタ解
放バッファ・リストから除去したが、拡張に戻した拡張
バッファの数だけ（すなわち、拡張バッファの数マイナ
スｐｏｏｌ　ｃｔｌ、ｆｌｕｓｈ　ａｔ）　ｓ　ａｎｃ
ｈｏｒ。

ＩＩａｓｔｅｒ−＞ｆｒｅｅ、ｂｕｓｙ　Ｃｔを極小的
に減分する。＝／ Ｉｆ　ｔｈｅ　ＣＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｒａｉ
ｌｓ　ｔｈｅｎＧＯＴＯＲＥＴＲＹ７゜ ＥＮＤ。

ＥＬＳＥ ／＝拡張バッフＴのいくつかは使用さ れている＝／ ／＝ｐｏｏｌ　　ｃｔｌをマスタ解放プール・リスト７
２に極小的に追加する＝／ 第５表 フリー・プール（２／２） ００ ０１ ０２ ０３ ０４ ０５ ０６ ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ（ｅｌｅｍｎｔ：　ｐ
ｏｏｌ−ｃｔｌ　ｅｌｅｓ＋ｅｎｔ）。

Ｇｅｔ　ｆｒｅｅ　ｐｏｏｌ　１ａｔｃｈ。

ｒｅｍｏｖｅｌｏｏｐ＋ ／＝マスタ解放バッファ・リスト４０から、すべての解
放された拡張ｂｕｆ　　ｃｔｌ要素を除去する＝／Ｄｏ
　ｆｏｒｅｖｅｒ。

／＝マスタ解放バッファから第１解放バツフアを極小的
に除去し、使用中カウントを１だけ増分する＝／ＲＥ）
４０ＶＥ　ＢＵＦＦＥＲＡＮＤ　Ｃ０ＵＮＴ（ａｎｃｈ
ｏｒ、ｍａｓｔｅｒ−＞ｆｒｅｅ。

ｂｕｆ　ｃｔｌ）。

ＩＦ　ａ　ｂｕｆ　ｃｔｌ　ｅｌｅｍｅｎｔ　ｗａｓ　
ｒｅｌｌｏｖｅｄ　ＴＩＩＥＨＤＯｏ ０７ ＩＦ　ｂｕｆ　ｃｔｌ、ｈｏｍｅ　ｐｏｏｌ　ｉｓ　ｎ
ｏｔ　ｅｑｕａｌ　ｔ。

ａｎｃｈｏｒ、ｍａｓｔｅｒ　　ＴＨＥＮ／＝ｂｕｆ　
　ｃｔｌを拡張の解放バッファ・リストに追加し、使用
中カウントを１だけ減分する＝／ 第６Ａ表 ＦＬＵＳＨ ＭＡＳＴＥＲ ＰＯＯＬ　（１／２） ＡＤＤ　ＢＵＦＦＥＲＡＮＤ　Ｃ０ＵＮＴ（ｐｏｏｌ　
ｃｔｌ、ｆｒｅｅ。

ｂｕｆ　ｃｔｌ）。

ＥＬＳＥ ／：使用中カウントを変えないで、ｂｕｆｃｔｌをマス
タ・プールのストップオーバー・リストに追加する＝／ ＡＤＤ　ＢＵＦＦＥＲ（ａｎｃｈｏｒ、ｍａｓｔｅｒ−
＞ｐｏｏｌ　ｃｔｌ、５ｔｏｐｏｖｅｒ、　ｂｕｒｃｔ
ｌ）。

ＥＮＤ。

ＥＬＳＥ　　　／＝ｂｕｆ　　ｃｔｌ要素は除去されな
かつた＝／ ＬＥＡＶＥ　ｒｅｍｏｖｅｌｏｏｐ。

ＩＦ　ｐｏｏｌ−ｃｔｌ　ｅｌｅｍｅｎｔ　ｗａｓ　ｐ
ａｓｓｅｄ　ａｓ　１ｎｐｕｔ　ｐａｒｍ１１ＥＮ ＩＦ　ｐｏｏｌ−ｃｔｌ、ｆｒｅｅ、ｂｕｓｙ　ｃｔ　
＝　Ｏ′１１１ＥＨＬＥＡＶＥ　ｒｅｍｏｖｅｌｏｏｐ
。

ＥＮＤ　Ｄｏ　ｆｏｒｅｖｅｒ。

第６Ａ表 ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ（２／２）Ｒｅｔｕｒ
ｎｌｏｏｐ： ／＝マスタ・プールのストップオーバー・リストからｂ
ｕｆ　　ｃｔｌ要素を除去し、次にマスタ解放バ・ソフ
ァ・リスト４０に戻す＝／ Ｄｏ　ｆｏｒｅｖｅｒ。

／：使用中カウントを変えないで、マスタ・プールのス
トップオーバー・リストからバ・ソファを極小的に除去
する：／ ＲＥＭＯＶＥ　ＢＵＦＦＥＲ（ａｎｃｈｏｒ、ｎ＋ａｓ
ｔｅｒ−＞ｐｏｏｌ　ｃｔｌ、５ｔｏｐｏｖｅｒ。

ｂｕｒｃｔｌ）。

ＩＦ　ａ　ｂｕｆ　ｃｔｌ　ｅｌｅｍｅｎｔ　ｗａｓ　
ｒｅｍｏｖｅｄ　ＴＩＩＥＨ／＝ｂｕｆ　　ｃｔｌをマ
スタ解放バッファ・リスト４０に極小的に加え、使用中
カウントを１だけ減分する＝／ ８２２　　　　　　　　ＡＤＤ　ＢＵＦＦＥＲＡＮＤ−
ＣＯＵＮＴ（ａｎｃｈｏｒ、ａ＋ａｓｔｅｒ−＞ｆｒｅ
ｅ。

ｂｕｆ　ｃｔｌ）。

ＥＬＳＥ　　　　／＝ｂｕｆ　　ｃｔｌ要素は除去され
なかった＝／ ＬＥＡＶＥ　ｒｅｔｕｒｎｌｏｏｐ。

第６Ｂ表　ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ（１／２）
３２５　　　　　　ＥＮＤ　ＤＯｆｏｒｅｖｅｒ。

８２６　　　Ｒｅ１ｅａｓｅ　ｆｒｅｅ　ｐｏｏｌ　１
ａｔｃｈ。

／＝除去される拡張バッファは、マスタ解放バッファ・
リス）４０に決して戻されないので、ｂｕｓｙ　　ｃｔ
を調整しなければならない＝／ ８２６ａ　　　ＲＥＴＲＹ８゜ ８２７　　　　　Ｕｓｅ　ｔｈｅ　ＣＳ　１ｎｓｔｒｕ
ｃｔｉｏｎ　ｔｏ　ａｔｏｓ＋１ｃａｌｌｙ　ｄｅｃｒ
ｅｍｅｎｔ。

ａｎｃｈｏｒ、ｍａｓｔｅｒ−＞ｆｒｅｅ、ｂｕｓｙ　
ａｔ　ｂｙ　ｔｈｅ　ｎｕｍｂｅｒ　ｏｆｅｘｔｅｎｓ
ｉｏｎ　ｂｕｆｆｅｒｓ　ｒｅ＋５ｏｖｅｄ　ｒｒｏｍ
　ｔｈｅ　ｍａｓｔｅｒ　１ｉｓｔ。

８２７ａ　　　　Ｉｆ　ｔｈｅ　ＣＳ　１ｎｓｔｒｕｃ
ｔｉｏｎ　ｆａｉｌｓ　ｔｈｅｎ８２７ｂ　　　　　Ｇ
ＯＴＯＲＥＴＲＹ８゜８２８　　　ＩｎｃｒｅＩＤｅｎ
ｔ　ｐｏｏｌ　ｃｔｌ、ｆｌｕｓｈ　ａｔ　ｂｙ　ｔｈ
ｅ　ｎｕａｂｅｒ　ｏｆ　５ｕｃｈｂｕｆｆｅｒｓ。

８２９　　ＥＮＤ　ＦＬＵＳ）ｌ　ＭＡＳＴＥＲＰＯＯ
Ｌ。

第６Ｂ表　ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ（２／２）
００ ０１ ０２ ０３ ０４ ＤＯ■ＩＬＥ　ｆｒｅｅｄ　ｅｘｔｅｎｓｉｏｎ　１ｉ
ｓｔ　ｉｓ　ｎｏｔ　ｅｍｐｔｙ。

Ｓｅｔ　ｔｉｇｅｒ　ａｎｄ　ｗａｉｔ　ｒｏｒ　ｔｉ
ｍｅ　１ｎｔｅｒｖａｌ　ｔｏ　ｅｘｐｉｒｅ。

／＝タイマが終了すると、タイマ駆動活動を実施する＝
／ｒｅｓｃａｎ： ／：すべての解放された拡張リストが静止したので、削
除できるプールのために、これらの拡張リストを走査す
る＝／Ｄｏ　ｒｏｒ　ｅａｃｈ　ｐｏｏｌ　ｃｔｌ　ｏ
ｎ　ｆｒｅｅｄ　ｅｘｔｅｎｓｉｏｎ　１ｉｓｔ。

ＩＦ　ｐｏｏｌ　ｃｔｌ、ｂｕｓｙ　ｃｔ　＝　ＯＴＩ
ＩＥＮ／＝プールは静止している：／ ０５ ＤＯｏ ０８ ０７ ０８ ０９ ／＝唯１つのプロセスが解放された拡張リストからプー
ルを除去するので、リスト内のどこから除去することも
安全である＝／ ＩＦ　ｒｉｒｓｔ　ｐｏｏｌ　ｃｔｌ　ｏｎ　１ｉｓｔ
　ＴＩＩＥＮｔｌＮｃＩＩＡＩＨＰＯＯＬ（ａｎｃｈｏ
ｒ、ｆｒｅｅ　ｅｘｔ、　ｐｏｏｌ　ｃｔｌ。

「ａｉｌ）。

ＥＬＳＥ ＵＮＣＩＩＡＩＨＰＯＯＬ（ｐｒｅｖｉｏｕｓ　ｐｏｏ
ｌ　ｃｔｌ、ｎｅｘｔ　ｅｘｔ。

ｐｏｏｌ　ｃｔｌ、　ｆａｉｌ）。

第７表　ＤＥＬＥＴＥ　　ＰＯＯＬ（１／３）１３ａ １３ｂ １４ １５ ＩＦ　ｆａｉｌ　：ＯＨＴＩＩＥＨ ／＝並行プロセスが解放された拡張リストを変えたので
、リスト全体を再走査しなければならない。＝／ ＧＯＴＯｒｅｓｃａｎ。

Ｒｅ１ｅａｓｅ　ｐｏｏｌ　ｒｅｓｏｕｒｃｅｓ。

ＲＥＴＲＹ９゜ Ｌｌｓｅ　ｔｈｅ　ＣＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｔ
ｏ　ａｔｏｍｉｃａｌｌｙｄｅｃｒｅ＋＊ｅｎｔ　ａｎ
ｃｈｏｒ、ｍａｓｔｅｒ−＞　ｆｒｅｅ、ｂｕｓｙ　ａ
ｔｂｙ　ｔｈｅ　ｎｕｍｂｅｒ　ｏｆ　ｅｘｔｅｎｓｉ
ｏｎ　ｂｕｆｆｅｒｓ　ｔｈａｔｕｓｅｒ　ｐｒｏｃｅ
ｓｓｅｓ　ｈａｖｅ　ｒｅｍｏｖｅｄ　ｆｒｏｍ　ｔｈ
ｅｕｓｔｅｒ　ｆｒｅｅ　ｂｕｆｆｅｒ　ｌ　ｉｓｔ　
ｂｕｔ　ｒｅｔｕｒｎｅｄ　ｔ。

ｔｈｅ　ｅｘｔｅｎｓｉｏｎ　（ｉ、ｅ、、　ｔｈｅ　
ｎｕＩＩｂｅｒ　ｏｆｅｘｔｅｎｓｉｏｎ　ｂｕｆｆｅ
ｒｓ　ｍ１ｎｕｓ　ｐｏｏｌ　ｃｔｌ、ｆｌｕｓｈｃｔ
）。

Ｉｆ　ｔｈｅ　ＣＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｆａｉ
ｌｓ　ｔｈｅｎＧＯＴＯＲＥＴＲＹ９゜ ＥＮＤ。

ＥＮＤ　Ｄｏ　ｆｏｒ　ｅａｃｈ　ｐｏｏｌ−ｃｔｌ　
ｏｎ　ｒｒｅｅｄ　ｅｘｔｅｎｓｉｏｎ　Ｉ　ｉｓｔ。

第７表　ＤＥＬＥＴＥ　　ＰＯＯＬ（２／３）ＩＦ″５
ｕｆｆｉｃｉｅｎｔｌｙ　ＩＩａｎｙ”　ｔｉｓｅｒ　
１ｎｔｅｒｖａｌｓ　ｈａｖｅｔｒａｎｓｐ　１ｒｅｄ
　ＴＨＥＮ ｏｏ。

ＦＬＵＳＨＭＡＳＴＥＲＰＯＯＬ（ＨＵＬＬ　ｐｏｏｌ
　ｃｔＤ、ＧｆｆｒＯｒｅｓｃａｎ。

Ｅｌ（Ｄ。

ＥＮＤ　　ＭＩＬＥ　　ｆｒｅｅｄ　　ｅｘｔｅｎｓｉ
ｏｎ　　１ｉｓｔ　　ｉｓ　　ｎｏｔ　　ｅｍｐｔｙ。

第７表 ＥＬＥＴＥ ＰＯＯＬ　（３／３） １０００　ＡＤＤ−ＰＯＯＬ（ｈｅａｄｅｒ：　ｐｏｉ
ｎｔｅｒ、　ｅｌｅｍｅｎｔ：　ｐｏｏｌ−ｃｔｌ　ｅ
ｌｅｍｅｎｔ）。

１００１　　　　　ＶＡＲｏｌｄ　　ｈｅａｄｅｒ：　
　ｐｏｉｎｔｅｒ。

１００２　　　　　ｒｅｔｒｙｌｏ： １００３　　　　ＳＥＴ　ｏｌｃｊｈｅａｄｅｒ、　＝
　ｈｅａｄｅｒ。

／＝ヘッダをセーブして、他のプロセスがヘッダをリセ
ットしたか否かをチエツクする＝／１００４　　　　　
　　ＳＥ丁ｅｌｅ＋＊ｅｎｔ、ｎｅｘｔ−ｐｏｏｌ　　
＝　ｏｌｃｊｈｅａｄｅｒ。

／＝古いヘッダを新しい要素に連鎖する＝／１００５　
　　　Ｕｓｅ　ＣＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｔｏ　
ａｔｏｍｉｃａｌｌｙ　ＳＥＴ　ｈｅａｄｅｒ　＝ｅＩ
ｅｍｅｎｔ。

１００６　　　　Ｉｒｔｈｅ　ＣＳ　１ｎｓｔｒｕｃｔ
ｉｏｎ　ｆａｉｌｓｌ＝ヘッダは並行にリセットされた
ので、０１ｄｈｅａｄｅｒ及びヘッダは現在具なる；／
１００７　　　　　　ＧＯ″Ｔｌｌ　ｒｅｔｒｙｌｏ。

ｌ＝要素を新しいリスト・ヘッダに追加することを試み
る：１ １００８　ＥＮＤ　ＡＤＩＴ−ＰＯＯＬ。

第８表　ＡＤＤ　　ＰＯＯＬ １１００　ＴＹＰＥ １１０１　　　ｐｏｏｌｃｈａｉｎ　＝１１０２　　　
　５ｔｒｕｃｔｕｒｅ １１０３　　　　　１ｎｄｅｘ：　ｆｉｘｅｄ（３２）
。

１１０４　　　　　　ｃｈａｉｎ：　ｐｏｉｎｔｅｒ。

１１０５　　　　　ｅｎｄ。

１１０６　ＲＥＭＯＶＥ　ＰＯＯＬ（ａｎｃｈｏｒ：　
ｐｏｏｌｃｈａｉｎ、　ｅｌｅｍｅｎｔ：　ｐｏｏｌ　
ｃｔｌｅｌｅｍｅｎｔ）。

１１０７　　　ｒｅｔｒｙｌｌ＝ ｌ；リスト上の第１ｐｏｏｌ　　ｃｔｌ要素を極小的に
除去する＝／ １１０８　　　ＬＩＨＯＩＡＩＨ−ＰＯＯＬ（ａｎｃｈ
ｏｒ、　ｅｌｅＩｌｅｎｔ、　ｆａｉｌ）。

１１０９　　　　ＩＦ　ｆａｉｌ　＝ＯＨＴＩＩＥＨ／
＝極小動作は失敗した＝／ １１１０　　　　　　ＧＯＴＯｒｅｔｒｙｌｌ。

１１１１　　　　ＥＬＳＥ　　　　　　／＝極小動作は
失敗しなかった＝／第９表　ＲＥＭＯＶＥ　　ＰＯＯＬ
（１／２）１１２ ＲＥＴｌＪＲＮ　（ｅ　ｌｅｍｎｔ）。

／＝ＮＵＬＬ、または除去された ｏｏ　１ ｃｔｌを戻す＝／ １１１３　ＥＮＤ　ＲＥＭＯＶＥ　ＰＯＯＬ。

第９表 ＲＥＭＯＶＥ ＰＯＯＬ　（２／２） １２００　ＵＮＣＨＡＩＮ　ＰＯＯＬ（ａｎｃｈｏｒ：
　ｐｏｏｌｃｈａｉｎ、　ｅｌｅｍｅｎｔ：　ｐｏｏｌ
　ｃｔｌｅｌｅｍｅｎｔ、　ｆａｉｌ：　ｂｏｏｌｅａ
ｎ）。

ＶＡＲｏｌｃＬ　ｎｅｗ：　ｐｏｏｌｃｈａｉｎ。

ＳＥＴ　ｆａｉｌ　＝ＯＦＦ。

ＳＥＴ　ｏｌｄ　＝　ａｎｃｈｏｒ ／：アンカーをセーブして、イ也のプロセスがそれをリ
セットしたか否かをチエツクする＝／ＩＦ　ｏｌｄ、ｃ
ｈａｉｎ　＝　Ｎ［ＩＬＬ　ｐｏｉｎｔｅｒ　ＴＴＩＥ
Ｎ／＝連鎖された要素はない＝／ ＳＥＴ　ｅｌｃｑ＋＋ｅｎｔ　＝　ＮＵＬＬ。

／＝連鎖された要素が除去されなかったことを示す＝／ ２０２ ２０１ ２０３ ２０４ ２０５ ２０６ ２０７ ＬＳＥ ／＝連鎖要素が現在あるが、解放活動中に、並行プロセ
スにより除去されることがある：／（１）。

第１１Ａ表 ＵＮＣＨＡＩＮ ＰＯＯＬ　（１／３） ２０８ ２０９ ２１０ ２１１ ２１２ ２１３ ２１４ ＳＥＴ　ｎｅｗ、　１ｎｄｅｘ　＝　ｏｌｄ、　１ｎｄ
ｅｘ　＋　１゜／＝インデックスをバンプすると、たと
え複数のプロセスが連鎖から要素を除去しても、連鎖は
正確＝／ ＳＥＴ　ｎｅｗ、ｃｈａｉｎ　＝　ｏｌｄ、ｃｈａｉｎ
→ｎｅｘｔ−ｐｏｏｌ。

／＝連鎖フィールドを次の連鎖要素で置換する＝／ Ｕｓｅ　ＣＤＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｔｏ　ａｔ
ｏｍｉｃａｌｌｙ　５ＥＴａｎｃｈｏｒ　＝　ｎｅｗ、
　ｔｈｕｓ　ｒｅｍｏｖｉｎｇ　ｔｈｅ　ｃｈａｉｎｅ
ｄｅｌｅｍｅｎｔ。

Ｉｆ　ｔｈｅ　ＣＤＳ　１ｎｓｔｒｕｃｔｉｏｎ　５ｕ
ｃｃｅｅｄｓ　ＴＴＩＥＮＳＥＴ　ｅｌｅｍｅｎｔ　＝
　ｏｌｄ、ｃｈａｉｎ。

／＝除去された要素をセーブする：／ ＥＬＳＥ　　／＝他のプロセスはすでにチェーン・フィ
ールドをリセットしたので、アンカーと古いプールチェ
ーンは現在界なる＝／ＳＥＴ　ｒａｉｌ　＝ＯＮ。

２１５ ＥＮＤ。

第１１Ａ表 ＵＮＣＨＡＩＮ　　ＰＯＯＬ　（２／３）２１６ ＲＥＴｔｌＲＮ（ｅｌｅＷ！ｎｔ、　ｆａｉｌ）。

／： １つある場合、除去された要素のアドレスを戻し、極小
動作が失敗した場合、表示を戻す＝／１２１７　ＥＮＤ
　ＩＪＨＣＩ（ＡＩＲＰＯＯＬ。

第１１Ａ表 ＵＮＣＨＡＩＮ ＰＯＯＬ　（３／３） １３００　ＴＹＰＥ １３０１　　　ｂｕｆｈｅＢｄｅｒ　：１３０２　　　
　５ｔｒｕｃｔｕｒｅ １３０３　　　　　１ｎｄｅｘ　：　ｆｉｘｅｄ（１６
）。

１３０４　　　　　　ｃｏｕｎｔｅｒ：　ｆｉｘｅｄ（
１６）。

１３０５　　　　　　　ｈｅａｄｅｒ　ｉ　ｐｏｉｎｔ
ｅｒ。

１３０６　　　　　ｅｎｄ。

１３０７　ＡＤＤ　ＢＵＦＦＥＲＡＮＤ　ＣＯ聞Ｔ（ａ
ｎｃｈｏｒｊ　ｂｕｒｈｅａｄｅｒ、　ｅｌｅｍｅｎｔ
ｉ　ｂｕｆｃｔｌ　ｅｌｅｉ＋ｅｎｔ）。

１３０８　　　ＡＤＤ　ＢＵＦＦＥＲ−ＬＩＳＴ（ａｎ
ｃｈｏｒ、　ｅｌｅｍｅｎｔ、　ｅｌｅＩＩｌｅｎｔ、
　１）。

１３０９　ＥＮＤ　ＡＤＤ　ＢＵＦＦＥＲＡＮＤ　Ｃ０
ＵＮＴ。

１３１０　ＡＤＤ　ＢＬＩＦＦＥＲ＜ａｎｃｈｏｒ：　
ｂｕｆｈｅａｄｅｒ、　ｅｌｅｍｅｎｔ：　ｂｕｆ　ｃ
ｔｌ　ｅｌｅｍｅｎｔ）。

１３１１　　　ＡＤＩｊＢＵＦＦＥＲＬＩＳＴ（ａｎｃ
ｈｏｒ、　ｅｌｅｍｅｎｔ、　ｅｌｅＩＩｅｎｔ、　Ｏ
）。

１３１２　ＥＮＤ　ＡＤＤ　ＢＵＦＦＥＲ。

第１１Ａ表 ＡＤＤ　　ＢＵＦＦＥＲ ＥＬＥＭＥＮＴＳ ＣＯＮＴＲＯＬ ＰＡＲＴ　　Ａ（１／３） １３１３　ＡＤＤ　ＢＵＦＦＥＲＬＩＳＴ（ａｎｃｈｏ
ｒ：　ｂｕｆｈｅａｄｅｒ、　ｅｌｅｍｅｎｔｌｉ　ｂ
ｕｆ−ｃｔｌｅｌｅｍｅｎｔ、　ｅｌｅｌＩｌｅｎｔ２
：　ｂｕｆ　ｃｔｌ　ｅｌｅｍｅｎｔ＋　ｎ：　ｉｎｔ
ｅｇｅｒ）１３１４　　　ＶＡＲｏｌｄ、　ｎｅｗ＋　
ｂｕｆｈｅａｄｅｒ。

１３１５　　　　　ｒｅｔｒｙ１３： １３１６　　　　　ＳＥＴ　ｏｌｄ　＝ａｎｃｈｏｒ。

／＝アンカーをセーブして、イ也のプロセスがそれをリ
セットしたか否かをチエツクする＝／ １３１７　　　　ＳＥＴ　ｎｅｗ、　１ｎｄｅｘ　＝　
ｏｌｄ、　１ｎｄｅｘ　＋　１１＝インデツクスをバン
プすると、たとえ１つ以上のプロセスが連鎖から要素を
除去しなくても、連鎖が正確になる＝７ １３１８　　　　ＳＥＴ　ｎｅｗ、ｃｏｕｎｔｅｒ　＝
　ｏｌｄ、　ｃｏｕｎｔｅｒ　−ｎ。

／＝すでに除去された要素のカウントを減分する二／ 第１１Ａ表　ＡＤＤ　　ＢＵＦＦＥＲＣＯＮＴＲＣｏＮ
ＴＲｏＬＥＬＥ　　−ＰＡＲＴ　　Ａ（２／３）３１９ ３２０ ＳＥＴ　ｎｅｗ、ｈｅａｄｅｒ　＝　ｅｌｅｍｅｎｔｌ
。

／＝ヘッダを追加されるリスト内の第１要素によって置
換する＝／ ＳＥＴ　ｅｌｅｍｅｎｔ２−＞ｎｅｘｔ　ｆｒｅｅ　＝
　ｏｌｄ、ｈｅａｄｅｒ。

ｌ＝現存する解放バッファ・リストを追加されるリスト
の端部に追加する。＝／ 第１１Ａ表　ＡＤＤ　　ＢＵＦＦＥＲＣＯＮＴＲＣｏＮ
ＴＲｏＬＥＬＥ　　−ＰＡＲＴ　　Ａ（３／３）１３２
１　　　　　　　　　　Ｕｓｅ　ＣＤＳ　　１ｎｓｔｒ
ｕｃｔｉｏｎ　　ｔｏ　　ａｔｏ鵬１ｃａｌｌｙ　　Ｓ
ＥＴ　ｏｌｄ　　＝ｎｅｗ、　ｔｈｕｓ　ｃｈａｉｎｉ
ｎｇ　ｔｈｅ　ｎｅｗ　ｅｌｅｓｅｎｔ　ｔｏ　ｔｈｅ
　１ｉｓｔａｎｄ　ｕｐｄａｔｉｎｇ　ｂｏｔｈ　ｔｈ
ｅ　ｃｏｕｎｔｅｒ　ａｎｄ　ｔｈｅ　１ｎｄｅｘ。

１３２２　　　　　Ｉｆ　ｔｈｅ　ＣＤＳ　１ｎｓｔｒ
ｕｃｔｉｏｎ　ｆａｉｌｓ／＝アンカーは並行にリセッ
トされたので、アンカーと古いバッファヘッダは現在具
なる＝／１３２３　　　　　　ＧＯＴＯＲＥＴＲＹ１３
゜ｌ＝新しいヘッダに追加することを試みる°：／１３
２４　ＥＮＤ　ＡＤＤ　Ｂ［ＩＦＦＥＲ−ＬＩＳＴ。

第１１Ｂ表　ＡＤＤ　　ＢＵＦＦＥＲＣＯＮＴＲＣｏＮ
ＴＲｏＬＥＬＥ　　−ＰＡＲＴ　　Ｂ１４００　ＲＥ）
［ｌＶＥ　ＢＬＩＦＦＥＲ（ａｎｃｈｏｒ：　ｂｕｆｈ
ｅａｄｅｒ、　ｅｌｅｌｅｎｔｉ　ｂｕｆ　ｃｔｌｅｌ
ｅｍｅｎｔ）。

１４０１　　　ＲＥ）［）ＶＥ　ＢＵＦＦＥＲＡＮＤ　
Ｃ０ＩＪＨＴ（ａｎｃｈｏｒ、　ｅｌｅｍｅｎｔ、　Ｏ
）。

１４０２　ＥＮＤ　ＲＥＭＯＶＥ−ＢＵＦＦＥＲ。

１４０３　ＲＥ）４０ＶＥ　ＢＵＦＦＥＲＡＮＤ　Ｃ０
ＵＮＴ（ａｎｃｈｏｒ：　ｂｕｒｈｅａｄｅｒ、　ｅｌ
ｅｓｅｎｔ：　ｂｕｆｃｔｌ　ｅｌｅ＠ｅｎｔ、　ｎ：
　ｆｉｘｅｄ）。

１４０４　　　ＶＡＲｏｌｄ、　ｎｅｗ：　ｂｕｆｈｅ
ａｄｅｒ。

１４０５　　　ｒｅｔｒｙ１４： １４０６　　　　　ＳＥＴ　ｏｌｄ　＝　ａｎｃｈｏｒ
。

／＝アンカーをセーブして、他のプロセスがそれをリセ
ットしたか否かをチエツクする＝１ １４０７　　　　　ＩＦ　ｏｌｄ、ｈｅａｄｅｒ　＝　
ＨｕｌｊＬ、ｐｏｉｎｔｅｒ　ＴＩＩＥＨ／＝チェーン
内に要素がない＝／ １４０８　　　　　　ＳＥＴ　ｅｌｅｍｅｎｔ　＝　Ｈ
ＬＩＬＬ。

／＝要素が待ち行列解除されたことを示す＝／ 第１２Ａ表　ＲＥＭＯＶＥ　　ＢＵＦＦＥＲＣＯＮＴＣ
ｏＮＴＲｏＬＥＬＥ　　３０　−　　ＰＡＲＴ　　Ａ（
１／２）１４０９ ＥＬＳＥ ／＝待ち行列は現在室ではないが、このプロセッシング
が「非連鎖」を実行している間、並行プロセスにより空
になることがある＝／ 第１２Ａ表 ＲＥＭＯＶＥ ＢＵＦ’ＦＥＲＣＯＮＴＲＯＣ ｏＮＴＲｏＬＥ ＬＥ　　−ＰＡＲＴ　　Ａ（２／２） ４１０ ＤＯ。

４１１ ４１２ ４１３ ４１４ ４１５ ４１６ 第１２Ｂ表 ＳＥＴ　ｎｅｗ、　１ｎｄｅｘ　＝　ｏｌｄ、　１ｎｄ
ｅｘ　＋　１゜／：インデックスをバンブすると、たと
え複数のプロセスが、連鎖から要素を除去しても、連鎖
が正しくなる＝／ ＳＥＴ　ｎｅｗ、ｃｏｕｎｔｅｒ　＝　ｏｌｄ、ｃｏｕ
ｎｔｅｒ　＋　ｎ。

／＝チェーンから除去された要素のカウントをバンブす
る＝／ ＳＥＴ　ｎｅｗ、ｈｅａｄｅｒ　：ｏｌｄ、ｈｅａｄｅ
ｒ−＞ｎｅｘｔ　ｆｒｅｅ。

７２次の要素を新しいリスト・ヘッダにする＝／ Ｕｓｅ　ｔｈｅ　ＣＤＳ　１ｎｓｔｒｕｃｔｉｏｎ　ｔ
ｏ　ａｔｏｍｉｃａｌｌｙ　５ＥＴａｎｃｈｏｒ　＝　
ｎｅｗ、　ｔｈｕｓ　ｒｅｍｏｖｉｎｇ　ｔｈｅ　ｆｉ
ｒｓｔ　ｅｌｅｍｅｎｔｆｒｏｍ　ｔｈｅ　ｃｈａｉｎ
　ａｎｄ　ｕｐｄａｔｉｎｇ　ｂｏｔｈ　ｔｈｅ　ｃｏ
ｕｎｔｅｒａｎｄ　ｔｈｅ　１ｎｄｅｘ。

Ｉｆ　ｔｈｅ　ＣＤＳ　１ｎｓｔｒｕｃｔｉｏｎ　５ｕ
ｃｃｅｅｄｓ　Ｔ１１ＥＮＳＥＴ　ｅｌｅｍｅｎｔ　”
　ｏｌｄ、ｈｅａｄｅｒ。

／＝除去された要素をセーブする＝／ ＲＥＭＯＶＥ　　ＢＵＦＦＥＲＣＯＮＴＣｏＮＴＲｏＬ
ＥＬＥ　　３０　−　　ＰＡＲＴ　　Ｂ（１／２）４１
７ ４１８ ＥＬＳＥ　　／＝アンカーは並行にリセットされたので
、アンカーと古いバッファヘッダは現在界なる：／ＧＯ
ＴＴ）　ＲＥＴＲＹ１４゜ ／＝新しい要素を新しいヘッダに追加することを試みる
＝／ １４１９　　　　　　　ＥＮＤ。

１４２０　　　　ＲＥＴＬＩＲＨ（ｅ　Ｉｅ＋５ｅｎｔ
）。

／＝ＮＵＬＬ、あるいは除去されたｂｕｆ要素を戻す：
／ １４２１　Ｅ）１０　ＲＥＭＯＶＥ　ＢＵＦＦＥＲＡＮ
Ｄ　Ｃ０ＵＮＴ。

ｔｌ 第１２Ｂ表　ＲＥＭＯＶＥ　　ＢＵＦＦＥＲＣＯＮＴＲ
ＯＬ ＥＬＥＭＥＮＴ　　３０ ＰＡＲＴ　　Ｂ（２／２） Ｆ６発明の詳細 な説明したように、この発明によれば、コンピュータ・
システムにおいて資源プールの拡張がはかられる。

【図面の簡単な説明】

第１図は、本発明の好ましい実施例によるマスタ・プー
ル、使用中の活動拡張プール、及び削除を待っている解
放拡張プールを有するバッファ・プール連鎖を示すブロ
ック図である。 第２図は、第１図のバッファ・プールの代表的な１つを
示すブロック図である。

Claims (10)

【特許請求の範囲】
1. （１）コンピュータ利用によるデータ処理システムで使
   用するために割り当てることができる資源のマスタ・プ
   ールを拡張及び短縮するための方法であって、前記シス
   テムのコンピュータで実行される方法であり、 （ａ）（ｉ）少なくとも１つの追加資源を含む拡張プー
   ルを作成し、そして （ｉｉ）拡張プールの資源をマスタ・プールに追加する ことにより、マスタ・プールを拡張する 段階と、 （ｂ）（ｉ）拡張プールで始まった任意の非割当て資源
   を、マスタ・プールから拡張 プールへ転送し、 （ｉｉ）拡張プールで始まった資源の非割当てに基いて
   、そのような資源を拡張 プールに転送し、さらに （ｉｉｉ）それが、その中で始まるすべての資源を含ん
   でいる時、拡張プールを削 除する ことにより、マスタ・プールを短縮する 段階 を含む前記の方法。
2. （２）前記の資源がバッファである、特許請求の範囲第
   １項に記載の方法。
3. （３）その中の少なくとも１つの段階が極小命令を用い
   て固有に直列化される、特許請求の範囲第１項に記載の
   方法。
4. （４）極小命令がＩＢＭ３７０Ｃｏｍｐａｒｅ−Ｄｏｕ
   ｂｌｅ−ａｎｄ−Ｓｗａｐ命令である、特許請求の範囲
   第３項に記載の方法。
5. （５）コンピュータ利用によるデータ処理システム内の
   資源のマスタ・プールを管理するための方法であって、
   前記システムのコンピュータで実行される、 （ａ）少なくとも１つの追加資源を含む拡張プールを作
   成する段階と、 （ｂ）拡張プールの資源をマスタ資源プールに連鎖する
   段階と、 （ｃ）前記システム内で実行するプロセスによって使用
   するために、マスタ・プー ルからの資源を割り当てる（得る）段 階と、 （ｄ）プロセスによって資源を割当て解除する（解放す
   る）段階と、 （ｅ）活動拡張プールに属する解放資源をマスタ・プー
   ルに戻す段階と、 （ｆ）解放拡張プールに属する解放資源を前記拡張プー
   ルに戻す段階と、 （ｇ）解放拡張プールに属する非割当て資源をマスタ・
   プールから前記拡張プール に転送する段階と、 （ｈ）解放拡張プールが、それに属する資源のすべてを
   含む時、それを削除する段 階 を含む、前記の方法。
6. （６）割当て及び割当て解除資源の段階が、固有に直列
   化される、特許請求の範囲第５項に記載の方法。
7. （７）固有の直列化が極小命令を使用することにより提
   供される、特許請求の範囲第６項に記載の方法。
8. （８）極小命令がＩＢＭ３７０Ｃｏｍｐａｒｅ−Ｄｏｕ
   ｂｌｅ−ａｎｄ−Ｓｗａｐ命令である、特許請求の範囲
   第７項に記載の方法。
9. （９）マスタ及び拡張プールが制御要素の連鎖として構
   成されている、特許請求の範囲第５項に記載の方法。
10. （１０）資源の制御要素を目的プールの連鎖に向け、さ
    らに前記制御要素を初めのプールの連鎖から削除するこ
    とにより、資源がプール間で転送される、特許請求の範
    囲第９項に記載の方法。