JPH07160483A - 指定のプログラムイメージと関連ライブラリプログラムとを実行可能なアプリケーションプログラムイメージに動的にリンクする方法 - Google Patents

Abstract

(57)【要約】 （修正有） 【目的】 指定のプログラムイメージと関連ライブラリ
プログラムとを動的にリンクして実行可能なプログラム
イメージを得る方法。 【構成】 指定のプログラムイメージを表すアーギュメ
ントと、相互にリンクすべき関連ライブラリプログラム
上にデータを含む命名文脈とをリンカーに与えることに
よって、所要のプログラムのリンクリストを作成する。
親がプログラムイメージを指定のアドレスにマッピング
して、実行可能なアプリケーションのリンクが完了す
る。所要のプログラムを探し出す際に、リンカーは、イ
メージキャッシュをチェックして新しいプログラムとそ
の関連プログラムとが以前に実行済みのために既にリン
クされてキャッシュ化されているかどうかを調べる。イ
メージキャッシュ内にプログラムがなければ、リンカー
オブジェクトは次にライブラリプログラムが部分リンク
済みの形式でキャッシュ化されているかどうかを調べ、
探し出せる限り多数のライブラリプログラムを利用す
る。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、既存の計算システム、
クライアント−サーバ計算とオブジェクト指向プログラ
ミングの分野に関する。

【０００２】

【従来の技術】コンピュータプログラマーは、プログラ
ム、即ちソースプログラムを書く際に、一般的にアドレ
スを記号で表したりオペレーションコードを特殊な文字
や頭辞語で表す高等言語で書く。このソースコードに
は、コンピュータに与える命令群と命令とともに又は命
令によって動作するデータとが含まれる。これら命令と
データは、コンピュータがプログラム処理を実行できる
ように、コンピュータのメモリの所定のアドレスに格納
しておかなければならない。そうするためには、ソース
コードをコンパイラで処理して、コンピュータが実行可
能な二進の目的コードを生成しなければならない。コン
ピュータがこのようにして新たに作成されたプログラム
を実行できるようになるまでには、プログラムをいくつ
かの追加ステップで処理しなければならず、この間、プ
ログラム内のアドレスは様々な形式で表現される。通
常、コンパイラはソースコードの記号アドレスを再配置
可能なアドレス（プログラムのはじめのアドレスから１
６バイトなど）に結合する。次に、リンケージエディタ
またはローダーがこれらの再配置可能なアドレスを絶対
アドレス（メモリロケーション６４２１６など）に結合
する。この結合処理は、あるアドレス空間から別のアド
レス空間へのマッピングである。命令とデータのメモリ
アドレスへの結合は、コンパイル時に行ってもよいし、
ロード時に行ってもよいし、あるいはプログラム実行時
に行ってもよい。

【０００３】第１図には上述したいくつかのステップが
図示されている。ソースプログラム１は目的コードモジ
ュール３を作成するためのコンパイラ２で処理される。
この目的コードモジュール３は、一般的には、前もって
コンパイルされた他の目的モジュール４と共にリンケー
ジエディタ５で処理されて、ロードモジュール６が作成
される。ロードモジュール６と所要のいずれかのシステ
ムライブラリ７とがローダー８で処理されて、ローダー
８によって、元のプログラムのメモリ内二進イメージ１
０と関連のモジュールおよびライブラリが作成される。
そして、このメモリ内二進イメージ１０をコンピュータ
が実行するのである。

【０００４】引き続き第１図を参照する。メモリ内でプ
ログラムがどこに常駐するかがコンパイルタイムにおい
て解っているのであれば、これらのプログラムはアドレ
ス用の絶対コードを使ってコンパイルされる。しかし、
たいていの場合、コンパイル時においてメモリ内でのプ
ログラムの常駐場所はわからないことが多いので、コン
パイラでメモリアドレス用の再配置可能コードを作成す
るようにしなければならない。この場合、メモリロケー
ションのアドレスへの最終的な結合は、ロード時１３か
あるいは実行時１４まで遅延される。モデムシステムに
よっては、プログラムイメージをプログラム実行中にあ
るメモリセグメントから別のメモリセグメントへ移動で
きるときや、プログラムイメージが位置独立コード（Ｐ
ＩＣ）などの再配置可能なアドレスをほとんど含まない
ためにプログラムの開始コストが大きくないような場合
は、実行時１４までアドレスへの結合ができない。な
お、ＰＩＣとは、ある種のコンパイラが作成するコード
で、全てのメモリがプログラムカウンタに関して参照さ
れるのでメモリ内の任意の場所に配置できるコードのこ
とである。

【０００５】最近のコンピュータオペレーティングシス
テムは、メモリ空間を最大限有効に利用しつつユーザー
の待ち時間を最小限に抑えるように設計されている。こ
れは、アドレス結合／プログラムローディング処理にお
いて、プログラム目的モジュールが他のモジュールに実
際に呼び出された時のみプログラムの目的モジュールの
ダイナミックローディングを行って、目的モジュール
を、対応のシステムライブラリルーチンが必要なときに
のみシステムライブラリルーチンに動的にリンクするこ
とによって行われる。こうした場合には、メインプログ
ラムをメモリ内にロードして実行し、サポートしている
目的モジュールまたはシステムライブラリは、メインプ
ログラムからの呼出しがない限りロードしないようにし
ているので、プログラムの起動タイムはいくぶん遅くな
るものの、メモリ空間とロードタイムとが節約される。
また、メモリにすでに常駐している可能性の高いシステ
ムライブラリは、呼出しに応じて実行中のメインプログ
ラムに動的にリンクさせることができるので、システム
ライブラリをコピーしてロード時に各メインプログラム
にリンク・ロードさせる必要がないので、プログラムの
起動タイムと実行タイムとが若干遅くなるものの、ここ
でも、メモリ空間の節約ができる。ダイナミックリンキ
ング処理では、各ライブラリ−ルーチン参照用イメージ
にスタブが含まれる。このスタブは、適切なメモリ常駐
ライブラリルーチンをどの様に位置付けるかを表すコー
ドの小部分である。スタブが実行されると、スタブは自
身をルーチンのアドレスと入れ替えて、ルーチンを実行
させる。このようにして、ライブラリルーチンを使うす
べてのプログラムでは、ライブラリコードの同じコピー
が使われる。

【０００６】ダイナミックリンキングおよびローディン
グを最大限に活用するために、プログラムコンパイラ
を、必要な再配置可能アドレス参照、サブルーチンスタ
ブコードおよび効果的なＰＩＣコードを作成するように
設計しなければならない。しかし、残念なことに、既存
のオブジェクト指向プログラムモジュール用のコンパイ
ラはこの様なコードを効率よく作成できない。例えば、
ｃｆｒｏｎｔ３．０プレプロセッサとＧ＋＋コンパイラ
は、仮想関数テーブルを、再配置可能な記号への参照を
多数含む初期データ構造として作成する。この様に、オ
ブジェクト指向プログラムモジュール内に含まれる再配
置可能な記号は、よりオーソドックスなプログラムモジ
ュールに含まれる再配置可能な記号よりもずっと数が多
く、動的にこれらのモジュールをリンクするために生じ
るプログラムの開始遅れは、再配置を多数回行うため
に、耐え難いほどに大きくなる。したがって、プログラ
ムモジュールを多数の再配置可能な記号に効率よく動的
にリンクできるシステムが望まれている。

【０００７】

【発明が解決しようとする課題】本発明は、リンクした
プログラムイメージのみならず、部分的にリンクしたラ
イブラリプログラムをもキャッシュ化して、この様な問
題を解決することを目的とするものである。

【０００８】

【課題を解決するための手段】本発明では、完全にリン
クしたプログラムイメージをそのシステムライブラリモ
ジュールと共にキャッシュ化する優れた効率のよいシス
テムを構築し、アドレスが暫定的に固定された（部分的
にリンクされた）再配置可能なライブラリプログラムを
キャッシュ化するための第２レベルのキャッシュを形成
し、これらのキャッシュを使って他のプログラム／ルー
チンが呼び出された時に完全にあるいは部分的にリンク
したモジュールを供給するようにしている。そのため新
しいオブジェクト指向プログラムをリンクする際に生じ
るシステムでの遅延を最小限に抑えることができる。し
たがって、新しいアプリケーションをリンクするとき
に、システムで、まず、イメージキャッシュをチェック
して、プログラムが以前にリンクされているかどうかを
調べ、そうである場合には、リンク済みバージョンのプ
ログラムを対応のリンク済みライブラリプログラムと共
に使ってそれ以上の処理のオーバーヘッドを防止するよ
うにしている。新しいアプリケーションがイメージキャ
ッシュ内に見つからない場合は、ライブラリプログラム
キャッシュをチェックして関連のライブラリプログラム
のうちの一部または全部がすでに暫定的に固定（部分的
リンク）されているかどうかを調べて、オーバーヘッド
を最小限に抑えるようにする。ライブラリプログラムが
ライブラリプログラムキャッシュ内に見つからない場合
にのみ、リンクシステムによって、プログラムの完全な
ロードとリンクを行わせるようにして、リンクに伴うオ
ーバーヘッドを最小限に抑えるようにしている。

【０００９】指定のプログラムイメージと関連ライブラ
リプログラムとを動的にリンクして実行可能なプログラ
ムイメージを得る方法が開示されている。かかる方法で
は、指定のプログラムイメージを表すアーギュメント
と、相互にリンクすべき関連ライブラリプログラム上に
データを含む命名文脈とをリンカーに与えることによっ
て、所要のプログラムのリンクリストを作成する。リン
カーは所要のプログラムをすべて探し出してリンクす
る。親がプログラムイメージを指定のアドレスにマッピ
ングして、実行可能なアプリケーションプログラムのリ
ンクが完了する。所要のプログラムを探し出す際に、リ
ンカーは、まず、イメージキャッシュをチェックして新
しいプログラムとその関連ライブラリプログラムとが以
前に実行済みのために既にリンクされてキャッシュ化さ
れているかどうかを調べる。イメージキャッシュ内に新
しいプログラムがなければ、リンカーオブジェクトは次
にライブラリプログラムキャッシュをチェックして、ラ
イブラリプログラムが部分リンク済みの形式でキャッシ
ュ化されているかどうかを調べ、探し出せる限り多数の
その様なライブラリプログラムを利用する。まだ位置付
けをしなければならないライブラリプログラムがあれ
ば、リンカーはその様なプログラムを格納データから読
み込んで処理し、全ライブラリプログラムと新プログラ
ムイメージをリンクして全体的に実行可能な形式にす
る。このようにして新プログラムイメージをライブラリ
プログラムと共にキャッシュ化して各部分リンク済みラ
イブラリプログラムをキャッシュ化するようにすれば、
新しいプログラムの実行時にプログラム開始時間の遅れ
を最小限に抑えることができる。

【００１０】考え方と名称 以下に記載する詳細な説明は、コンピュータもしくはコ
ンピュータネットワーク上で実行するプログラム処理を
想定している。当該技術分野において通常の技量を有す
る者が発明を実施可能なように、これらの処理について
説明し、図示する。ここに説明する処理は、一般的に、
所望の結果を得るようにつじつまのあう順序で行う一連
のステップである。これらのステップは、物理量の物理
的処理を必要とする。必ずしもという訳ではないが、通
常、この物理量は、記憶、転送、結合、比較などで処理
できる電気あるいは磁気信号である。主に呼称を統一す
る目的で、これらの信号については、ビット、値、エレ
メント、記号、文字、用語、数で表現することとする。
ただし、その様な呼称や類似の用語に対してはしかるべ
き物理量が存在するのであり、ここで用いる呼称はそう
した物理量に対して便宜上与えるものにすぎない。

【００１１】処理すべき動作については、加算するや比
較するなどの用語でこれを呼ぶこととするが、上記と同
様、その様な用語に対しても、人のオペレータが行う精
神的動作が存在している。ただし、本発明では人のオペ
レータがその様な動作を行う必要はなく、あるいは不必
要であることがほとんどの場合において望ましく、動作
は機械的動作である。本発明の動作を実行するのに有用
な機械としては、一般用デジタルコンピュータや同様の
装置が挙げられる。

【００１２】また、本発明はこれらの動作を実行するた
めの装置にも関連している。係る装置は、所要の目的の
ためだけに専用の構造にしてもよいし、一般用コンピュ
ータを部分的に動作させたり、中に格納したコンピュー
タプログラムによって一般用コンピュータを再構成する
ようにしてもよい。ここに説明する処理は、特定のコン
ピュータや他の装置に適用が限定されるものではない。
ここに記載する教示内容にしたがって書かれたプログラ
ムは、様々な種類の一般用機械で実行可能であるが、所
要の方法ステップを実行するにはそれにより適した特別
の装置を使用するのがより好都合な場合もある。こうし
た様々な機械を構成する所要の構造についても以下に説
明する。

【００１３】

【実施例】本発明の完全な理解を促進するために、以下
に例として、特定のデータおよび形態を説明する。ここ
に説明する好ましい実施例は、サンマイクロシステムズ
社のＳＰＲＩＮＧオブジェクト指向オペレーティングシ
ステムの一部として実施される（Sun Microsystemsは、
サンマイクロシステムズ社の登録商標）。しかしなが
ら、本発明がこれに限られないことは言うまでもなく、
本発明は様々なコンピュータシステムや様々な形態、タ
イトにリンクしたプロセッサの構造やモデル、ルースに
リンクしたマルチプロセッサシステムの様々な形態で実
施可能である。また、本発明が非オブジェクト指向計算
システムにも実施可能であることも言うまでもない。

【００１４】ＳＰＲＩＮＧの定義域はスレッド（threa
d）の集まりを持ったアドレス空間である。ある定義域
をあるオブジェクトのサーバと他のオブジェクトのクラ
イアントとして機能させることができる。作成者、つま
りオブジェクトマネージャーとクライアントとは同じ定
義域にしてもよいし異なる定義域にしてもよい。

【００１５】ＳＰＲＩＮＧオブジェクトモデル ＳＰＲＩＮＧでは、他の既存のオブジェクト指向システ
ムトは少し異なった方法でオブジェクトを見る。そこ
で、本発明の詳細な説明に入る前に、この点について説
明しておく。既存のシステムは、そのほとんどが、オブ
ジェクトをサーバ機に常駐させて、サーバでオブジェク
トを指しているオブジェクトハンドルをクライアント機
で処理している（図２ａを参照）。クライアントはオブ
ジェクトの周りではなくオブジェクトハンドルの周りを
パスするのである。

【００１６】ＳＰＲＩＮＧでは、クライアントがオブジ
ェクトハンドルではなくオブジェクト上で直接動作する
（第２ｂ図を参照）。これらのオブジェクトのうちのい
くつかは、どこかの離れたサイトで興味深い状態をすべ
て維持することがあるため、オブジェクトのローカル状
態はこの離れた状態へのハンドルのみからなる。オブジ
ェクトは、１度に１ヶ所でしか存在できないので、オブ
ジェクトを誰かに送信した場合、オブジェクトの送信側
にはオブジェクトはなくなる。しかしながら、オブジェ
クトは送信前にコピーすることができるので、送信前に
コピーしておけば同じ遠隔状態を指す２つの別個のオブ
ジェクトを得ることができる。

【００１７】したがって、ＭＡＣＨなどのシステムでは
どれかの遠隔オブジェクトを参照しているオブジェクト
ハンドルを持つクライアントが幾つか存在することにな
るのに対し、ＳＰＲＩＮＧでは同じ遠隔状態を参照して
いるオブジェクトを持つクライアントが幾つか存在する
ことになる。

【００１８】ＳＰＲＩＮＧにおける処理イメージのダイ
ナミックリンキング ここで第３図を参照して、本発明の基本ステップについ
て簡単に説明する。ＳＰＲＩＮＧにおいてクライアント
定義域でプログラムを開始したいのであれば、２０で示
すように、クライアント定義域で「Ｌｉｎｋ（イメージ
メモリオブジェクト、命名文脈オブジェクト）」コマン
ドをリンカーオブジェクト上で実行する。リンカーオブ
ジェクトは、まず、イメージメモリオブジェクトを調べ
てイメージキャッシュ２２をチェックし、イメージメモ
リオブジェクトによって表される完全リンクバージョン
のプログラムをイメージキャッシュが含むかどうかと、
このキャッシュ化されたバージンが命名文脈オブジェク
トでライブラリプログラムを用いてリンクされているか
どうかを調べる。一致が見つかれば（２８）、リンカー
オブジェクトは基本的に動作を終了し、メモリオブジェ
クトのキャッシュ化リストと探し出したイメージメモリ
に関連する関連アドレス３８に戻る。イメージキャッシ
ュをチェックした結果、一致が見つからなければ（２
４）、リンカーオブジェクトは、２６に示すように、イ
メージメモリオブジェクトに要求されていて命名文脈オ
ブジェクトが使っているライブラリプログラム名前のリ
ストを探し、各ライブラリプログラムに関連するメモリ
オブジェクトをもってきて、各ライブラリプログラムと
の一致がないかどうかライブラリプログラムキャッシュ
をチェックする。ライブラリプログラムメモリオブジェ
クトとの一致が見つかれば（３６）、リンカーオブジェ
クトは、探したライブラリプログラムの暫定固定コピー
を表すメモリオブジェクトとこのプログラムをマッピン
グすべき関連アドレスを得る。一致が見つからない場合
（３０）には、リンカーオブジェクトは問題のライブラ
リプログラムをマッピングすべきアドレスを決定し、問
題のライブラリプログラムのコピー−オン−ライトのコ
ピーであるメモリオブジェクトを作成してこのメモリオ
ブジェクトをそれ用に選択したアドレスでマッピングす
る。次に、３４で、リンカーオブジェクトは、このプロ
グラムの新しいコピーを暫定的に固定し、ライブラリプ
ログラムのメモリオブジェクトとライブラリプログラム
キャッシュ３２のうちの関連のアドレスに格納する。所
要の各ライブラリプログラム用のメモリオブジェクトを
見つけだしたら、それらがライブラリプログラムキャッ
シュの中で見つかったのかそれとも新たに作成したコピ
ーの中で見つかったのかを調べ、リンカーオブジェクト
は新しいプログラムイメージとこれらのライブラリプロ
グラムすべての中の未解決の参照記号をすべて解決し、
この完全リンクバージョンのコピーをイメージキャッシ
ュに書き込む。最後に、リンカーオブジェクトは、メモ
リオブジェクトのリストと、この完全リンク新プログラ
ムイメージの関連アドレスと、対応のライブラリプログ
ラムとをクライアント定義域に戻す。

【００１９】以上が本発明の概略であるが、今から図４
〜図７を参照して処理の例についてさらに詳細に説明す
る。なお、リンカーオブジェクト、クライアント定義域
などの呼称は例示的なものであって、本発明を実施する
にあたってはこれらを他のどの様な呼称で指しても構わ
ないことは言うまでもない。

【００２０】本発明をさらに詳細に説明する前に、「非
固定プログラム」の例と再配置によってこれがどの様に
して「固定される」、つまり実行可能なプログラムイメ
ージになるのかについて説明する。図８に非固定プログ
ラムを示す。４０で示すのはプログラムイメージを含む
ファイルＦである。このファイルは４つの部分に分かれ
る。即ち、プログラムの実行を開始させるためのアドレ
ス４４および使用すべき共用ライブラリプログラムのリ
スト４６を含むヘッダー４２と；プログラム用コード５
２と；プログラム中に定義されたすべての外部記号を含
む記号テーブル４８と；再配置すべき記号がどれである
のかを示すリストを含む再配置テーブル５０である。こ
の例では、プログラムヘッダー４２がプログラムが共用
ライブラリＳＬ４６を必要とすることを通知している。
再配置テーブル５０は、プログラム用コード５２が外部
記号ｆｏｏ５４を参照するアドレスＡ１の命令を含むこ
とを示している。さらに、記号テーブル４８は、プログ
ラムがアドレスＡ２で外部関数ｂａｒ５６を定義してい
ることを示している。また、図８にはファイルＦ２が図
示されており、このファイルには共用ライブラリＳＬ
（６０）が含まれている。ファイルＦ２もファイルＦと
同様に同じ４つの部分から構成される。即ち、プログラ
ムヘッダー６２と；ライブラリプログラム用コード７２
と；記号テーブル６８と；再配置可能テーブル７０とあ
る。この共用ライブラリは他の共用ライブラリに依存し
ないため、共用ライブラリリスト６６は空である。再配
置テーブル７０は、ライブラリコードが外部記号ｂａｒ
６４を参照するアドレスＢ１の命令を含んでいることを
示している。また、記号テーブル６８は、ライブラリコ
ードがアドレスＢ２（７６）で外部関数ｆｏｏを定義し
ていることを示している。図９に図８に図示したものと
同じプログラムとライブラリプログラムの「固定」バー
ジョンを示す。図９には、固定プログラムコード８２と
固定ライブラリコード８４を含むアドレス空間８０が図
示されている。ファイルＦ内のプログラムイメージのコ
ード（図８の５２）は全プログラムイメージに固定のア
ドレス８６でマッピングされている。このアドレスの値
は、イメージ内の各コードアドレス（図８の５２）が正
しくなるような値である（例えば、アドレスＡ１のコー
ド（図８の５８）はアドレス空間８６内のアドレスＡ１
にマッピングされている）。一方、共用ライブラリＳＬ
は、アドレス空間位置アドレスＲ１のはじめにマッピン
グされており、このため、簡単な各ライブラリコードア
ドレスはアドレス空間８０においてＲ１（９０）によっ
てオフセットされる。ファイルＦの再配置テーブルに命
令Ａ１として示した命令Ａ１内の記号ｆｏｏ（図８の５
４）の外部参照は共用ライブラリによって満足されてい
る。記号ｆｏｏは共用ライブラリにおいてアドレスＢ２
に定義され（図８の７６）、アドレスＢ２がアドレス空
間８０においてアドレスＲ１＋Ｂ２にマッピングされる
ため、Ａ１におけるｆｏｏに対応する実際のアドレスプ
ットは８８で示すＲ１＋Ｂ２となる。ライブラリ再配置
テーブルに示した命令Ｂ１における記号ｂａｒ（図８の
６４）の外部参照は、プログラムイメージ内のアドレス
Ａ２にｂａｒを定義しているプログラムコードによって
満足されている。共用ライブラリ内のアドレスＢ１の命
令は、実際にはアドレス空間９０内のアドレスＲ１＋Ｂ
１にマッピングされるので、Ｒ１＋Ｂ１での命令内での
実際のアドレスは９２で示すＡ２である。

【００２１】次に図１０を参照して、発明の好ましい実
施例を示すために、同図にはＳＰＲＩＮＧオブジェクト
指向システム内での環境の例が図示されている。図から
わかる通り、文脈オブジェクトＣ（１０２）の作成者を
含む命名サービス１００と；アドレス空間１０６を含む
定義域Ｄ（１０４）と；マッピングリスト１２０とオブ
ジェクトＣ（１０９）とオブジェクトＬ（１１０）とオ
ブジェクトＭ（１１２）とオブジェクトＡＳ（１１４）
とオブジェクトＤ（１１６）とＤＭ（１１８）とを含む
クライアント定義域１０８と；オブジェクトＡＳ（１２
８）を含む定義域オブジェクトＤ（１２６）の作成者を
それ自身が含む定義域マネージャー１２４を含んでいる
ＳＰＲＩＮＧ核１２２と；オブジェクトＡＳ用のアドレ
ス空間作成者（１３２）を含む、ＳＰＲＩＮＧ核に含ま
れる仮想メモリマネージャー１３０と；メモリオブジェ
クトＭ（１５４）と、メモリオブジェクトＭ２（１５
６）と、メモリオブジェクトＳＬ（１５８）と、メモリ
オブジェクトＳＬ２（１６０）と、メモリオブジェクト
ＳＬ３（１６２）を含むファイルサーバ定義域１５２
と；リンカーオブジェクトＬ（１４２）用の作成者と、
メモリオブジェクトのリストと関連アドレス１７２とメ
モリオブジェクトＣ（１６４）、Ｍ（１６６）、Ｍ２
（１６８）とＳＬ（１７０）をそれ自身が含む例示キャ
ッシュエントリー１４６を含むイメージキャッシュ１４
４と、メモリオブジェクトＳＬ（１７２）およびメモリ
オブジェクトＳＬ２（１７４）とをそれ自身が含む例示
キャッシュエントリー１５０と、キャッシュ化プログラ
ム開始アドレス１７６と、を含むリンカー定義域１４０
が設けられている。

【００２２】ここで、下記のオブジェクトが同価である
点に注意しなければならない。即ち、Ｍ（１１２）およ
びＭ（１６６）；Ｍ２（１７５）およびＭ２（１６
８）；ＳＬ３（１７７）およびＳＬ３（１７０）；Ｃ
（１０９）およびＣ（１６４）である。ここでは、サー
バの資源状態を参照している２つのオブジェクトは同価
と考えることとする。

【００２３】次に示す例では、クライアント定義域でｆ
ｏｏという名前のプログラムを開始させたい場合であ
る。プログラムを開始させた後の状態を図１０に示す。
この最も単純な例では、イメージキャッシュの中にキャ
ッシュヒットが存在する。この場合、新しい定義域を開
始させるには次の様なステップを実行する。

【００２４】・ クライアント定義域１０８がＳＰＲＩ
ＮＧ命名サービス１００を介してｆｏｏを調べ、ｆｏｏ
のプログラムイメージを格納するメモリオブジェクトＭ
（１１２）を戻す。Ｍに格納されたプログラムイメージ
を動的にリンクするには共用ライブラリＳＬを使う；即
ち、イメージをリンクすべきライブラリ名を、ディスク
１５４上で実行されるメモリオブジェクトＭ（１１２）
に格納する。

【００２５】・ クライアント定義域１０８が、命名サ
ービス１００を用いてリンカー定義域１４０によって実
行されたリンカーオブジェクトＬ（１１０）を調べる。 ・ Ｌ（１１０）上で、クライアント定義域１０８が、
２つのパラメータ、即ち、命名サービス１００によって
実行されたメモリオブジェクトＭ（１１２）と命名オブ
ジェクトＣ（１０９）をパスするリンク方法を呼び出
す。

【００２６】・ リンカー定義域１４０がＭ（１１２）
とＣ（１０９）をキーとして用いて自身のキャッシュを
調べ、キーＭ（１６６）およびＣ（１６４）で一致のエ
ントリーがあることを見出す（Ｍ（１６６）はＭ（１２
２）に、Ｃ（１６４）はＣ（１０９）に同価）。キャッ
シュエントリーは、Ｃ（１６４）を用いてリンクされた
完全リンクバージョンのＭ（１６６）のキャッシュ化コ
ピーを含む。完全リンクバージョンは２つのメモリオブ
ジェクト、即ち、Ｍ２（１６８）とＳＬ３（１７０）と
からなる。Ｍ２（１６８）は、アドレスＡ１（全プログ
ラムについて、プログラムイメージをマッピングするア
ドレスは値Ａ１に固定されている）でリンクされたＭ
（１６６）の完全リンクコピーであり、ＳＬ３（１７
０）はアドレスＡ２でリンクした共用ライブラリＳＬ
（１７２）用のメモリオブジェクトの完全リンクコピー
である（メモリオブジェクトのリストおよび対応のリン
ク済みアドレスを１７３として示す）。

【００２７】・ リンカー定義域１４０が、＜アドレス
からマップ、メモリオブジェクト対＞１７３のリストを
クライアント定義域１０８に返す（このリストはクライ
アント定義域１０８においてマッピングリスト１２０と
いう名札がつけられる）。リスト１２１内の第１のエン
トリーはアドレスＡ１とメモリオブジェクトＭ２を含
む。リスト１２３内の第２のエントリーはアドレスＡ２
とメモリオブジェクトＳＬ３を含む。

【００２８】・ クライアント定義域１０８が命名サー
ビス１００を用いて定義域マネージャーオブジェクトＤ
Ｍ（１１８）を調べる。 ・ クライアント定義域１０８がオブジェクトＤＭ（１
１８）上でcreate domain 方法を呼び出して、新しい定
義域オブジェクトＤ（１１６）を得る。 ・ クライアント定義域１０８がＤ（１１６）上でget
address space 方法を呼び出して、Ｄのアドレス空間１
３２を表すオブジェクトＡＳ（１１４）を得る。

【００２９】・ クライアント定義域１０８がＡＳオブ
ジェクト１１４上でcopy and map方法を呼び出してオブ
ジェクトＭ２（１７５）をアドレスＡ１で、また、ＳＬ
３（１７７）をアドレスＡ２のコピー−オン−ライトで
マッピングする（ただし、この情報はマッピングリスト
１２０から得られる）。 ・ enter 方法を定義域オブジェクトＤ（１１６）で呼
び出することによって、クライアント定義域１０８が定
義域にＤ（１２６）で走り始める。

【００３０】図１０によれば、ライブラリキャッシュ１
４８にも共用ライブラリＳＬ（１７２）とメモリオブジ
ェクトＳＬ２（１７４）内の暫定固定バージョンのキャ
ッシュ化コピーがある。しかし、ここでは、イメージキ
ャッシュ１４４上でヒットを得たので、ライブラリキャ
ッシュ１４８を調べる必要はない。第２の例は、イメー
ジキャッシュヒットはないがライブラリキャッシュヒッ
トがある場合である。この例は、クライアント定義域１
０８がプログラムイメージをリンクようとするときに図
１０のイメージキャッシュ１４４が空であることを想定
している。ここでは、リンカー定義域１４０が以下のよ
うにしてリンクを行う。

【００３１】・ リンカー定義域１４０が、Ｍ（１１
２）とＣ（１０９）を自身のイメージキャッシュ１４４
内で調べ、一致がないことを見つける。 ・ リンカー定義域１４０が、メモリオブジェクトＭ
（１１２）を調べてＳＬという名前の共用プログラムを
リンクする必要があることを見つける。 ・ リンカー定義域１４０が、文脈オブジェクトＣ（１
０９）を使って名前ＳＬを調べる（このステップは、必
要な各ライブラリプログラムごとにくり返し行われ
る）。この結果が、共用ライブラリプログラムＳＬの内
容を含むメモリオブジェクトＳＬ（３００）（このメモ
リオブジェクトはリンカー定義域１４０内には図示され
ていない）となる。

【００３２】・ リンカー定義域１４０が、メモリオブ
ジェクトＳＬ（３００）をアーギュメントとして使って
ライブラリキャッシュ１４８を調べ、ライブラリキャッ
シュにキーＳＬ（１７２）の一致のエントリーがあるこ
とを見つける（つまり、ＳＬ（１７２）はＳＬ（３０
０）と同じ）。キャッシュ化エントリーには、メモリオ
ブジェクトＳＬ２（１７４）である共用ライブラリＳＬ
の暫定固定バージョンのコピーが含まれている。 ・ リンカー定義域１４０が、Ｍ（１１２）のコピー−
オン−ライトのコピーであるメモリオブジェクトＭ２
（１６８）を作成し、ＳＬ２（１７４）のコピー−オン
−ライトのコピーであるメモリオブジェクトＳＬ３（１
７０）を作成する。 ・ リンカー定義域１４０が、ＳＬ３（１７０）を使っ
てＭ２（１６８）内の未解決の全参照を解決し、Ｍ２
（１６８）を使ってＳＬ３（１７０）内の未解決の全参
照を解決する（この処理の説明については上記とフロー
チャートを参照のこと）。この結果が、プログラムｆｏ
ｏの完全リンクバージョンを持ったＭ２（１６８）とＳ
Ｌ３（１７０）である。ここでも、複数のライブラリプ
ログラムが必要であれば、それぞれのライブラリに対し
て同じステップを行うようにする点は同じである。

【００３３】・ リンカー定義域がＭ２（１６８）とＳ
Ｌ３（１７０）を関連のキー（メモリオブジェクトＣ
（１６４）とメモリオブジェクトＭ（１６６））と共に
自身のイメージキャッシュ１４４にエンターし、＜アド
レスからマップ、メモリオブジェクト対＞１７３のリス
トをクライアント定義域１０８に返す（このリストはク
ライアント定義域１０８においてマッピングリスト１２
０という名札がつけられている）。リスト１２１内の第
１のエントリーはアドレスＡ１とメモリオブジェクトＭ
２を含み、リスト１２３内の第２のエントリーはアドレ
スＡ２とメモリオブジェクトＳＬ３を含む。

【００３４】次に、クライアント定義域１０８が、第１
の例と同じステップで新しい定義域を作成する。最後の
例は、イメージキャッシュヒットもライブラリキャッシ
ュヒットもない場合である。この例は、クライアント定
義域１０８がプログラムイメージをリンクしようとする
とき、イメージキャッシュ１４４とライブラリキャッシ
ュ１４８とが空であることを想定している。ここでは、
リンカー定義域１４０が以下の様にしてリンクを行う。

【００３５】・ リンカー定義域１４０が、自身のイメ
ージキャッシュ１４４内でＭ（１１２）とＣ（１０９）
を調べ、一致がないことを見つける。 ・ リンカー定義域１４０がメモリオブジェクトＭ１２
２を見つけ、自身のアドレス空間にメモリオブジェクト
Ｍ１２２をマッピングし、Ｍ１１２をリンクするために
共用ライブラリＳＬが必要であることを見つける。 ・ リンカー定義域１４０が、文脈オブジェクトＣ（１
０９）を使って名前ＳＬを調べる。この結果が、共用ラ
イブラリプログラムＳＬの内容を含むメモリオブジェク
トＳＬ（１７２）となる。

【００３６】・ リンカー定義域１４０が、メモリオブ
ジェクトＳＬ（１７２）をアーギュメントとして使って
ライブラリキャッシュ１４８を調べ、一致がないことを
見つける（この例では、ライブラリキャッシュが空であ
る）。 ・ リンカー定義域１４０が、メモリオブジェクトＳＬ
（１７２）をアドレス空間内で使用可能なアドレス（Ａ
２とする）に固定することを決定する。 ・ リンカー定義域１４０が、ＳＬ（１７２）のコピー
−オン−ライトのコピーであるメモリオブジェクトＳＬ
２（１６０）を作成し、自身のアドレス空間にマッピン
グする。

【００３７】・ リンカー定義域１４０が、ＳＬ２を暫
定的に固定し（固定化に関する説明と詳細については、
上記と図４〜図７のフローチャートを参照のこと）、Ｓ
Ｌ２（１７４）をライブラリキャッシュ１４８に（キー
ＳＬ（１７２）と共に）格納する。 ・ リンカー定義域１４０が、Ｍ（１１２）のコピー−
オン−ライトのコピーであるメモリオブジェクトＭ２
（１６８）を作成し、ＳＬ２（１７４）のコピー−オン
−ライトのコピーであるメモリオブジェクトＳＬ３（１
７０）を作成する。

【００３８】・ リンカー定義域１４０が、ＳＬ３（１
７０）を使ってＭ２（１６８）内の未解決の全参照を解
決し、Ｍ２（１６８）を使ってＳＬ３（１７０）内の未
解決の全参照を解決する（この処理の説明と詳細につい
ては上記と図４〜図７のフローチャートを参照のこ
と）。この結果が、プログラムｆｏｏの完全リンクバー
ジョンを持ったＭ２（１６８）とＳＬ３（１７０）であ
る。 ・ リンカー定義域がＭ２（１６８）とＳＬ３（１７
０）を（関連のキー、即ちメモリオブジェクトＭ（１６
６）と文脈オブジェクトＣ（１６４）と共）に自身のイ
メージキャッシュ１４４にエンターし、＜アドレスから
マップ、メモリオブジェクト対＞１７２のリストをクラ
イアント定義域１０８に返す。リスト１２１内の第１の
エントリーはアドレスＡ１とメモリオブジェクトＭ２を
含む。リスト１２３内の第２のエントリーはアドレスＡ
２とメモリオブジェクトＳＬ３を含む。

【００３９】この後、クライアント定義域１０８が、第
１の例と同じステップで新しい定義域１０８を作成す
る。本発明の別の実施例として、共用ライブラリプログ
ラムキャッシュのみをダイナミックリンカーシステム内
で使い、第２の例について上述したのと同じステップを
実行するようにしてもよい。以上、発明の好ましい実施
例、具体例、ステップの順序について説明したが、本発
明は上記範囲に限定されるものではなく、プログラムの
完全リンクイメージと関連ライブラリおよび部分固定ラ
イブラリルーチンをキャッシュ化すれば、基本的に、ダ
イナミックリンキングのオーバーヘッドコストを最小限
に抑えることができる。

【図面の簡単な説明】

【図１】 新プログラムのコンパイル処理とローディン
グの代表的なステップを示す図である（従来技術）。

【図２】 オブジェクトのＳＰＲＩＮＧオペレーティン
グシステムの概念を示す図である。

【図３】 発明を示すハイレベルのフローチャートであ
る。

【図４】 発明を示す詳細なフローチャートである。

【図５】 発明を示す詳細なフローチャートである。

【図６】 発明を示す詳細なフローチャートである。

【図７】 発明を示す詳細なフローチャートである。

【図８】 非固定プログラムを示す図である。

【図９】 図５のプログラムの固定バージョンを示す図
である。

【図１０】 ＳＰＲＩＮＧダイナミックリンキング環境
の例を示す図である。

【符号の説明】

１ ソースプログラム、２ コンパイラ又はアセンブ
ラ、３ 目的モジュール、４ 他の目的モジュール、５
リンケージエディタ。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 グラハム・ハミルトン アメリカ合衆国 94303 カリフォルニア 州・パロ アルト・デビッド コート・ 3143

Claims (14)

【特許請求の範囲】
1. 【請求項１】 アプリケーションプログラムと、ライブ
   ラリプログラムと、オペレーティングシステムを用いる
   計算システムで、指定のプログラムイメージと関連ライ
   ブラリプログラムとを実行可能なアプリケーションプロ
   グラムイメージに動的にリンクする方法において、 前記指定のプログラムイメージを表すパラメータと前記
   関連ライブラリプログラム用の命名文脈を表すパラメー
   タでリンク方法を呼び出すステップと、 前記指定のプログラムイメージと前記関連ライブラリプ
   ログラムとを位置付けるステップと、 前記関連ライブラリプログラムを相互に、また、前記指
   定のプログラムイメージにリンクし、プログラム識別子
   リストと、その識別子を持つ関連アドレスと前記指定の
   プログラムイメージおよび前記各関連ライブラリプログ
   ラムの関連アドレスとを作成するステップと、 前記プログラム識別子のリストに基づいて、前記指定の
   プログラムイメージと前記各関連ライブラリプログラム
   を前記関連アドレスにマッピングするステップと、を備
   え、 前記指定のプログラムイメージと前記関連ライブラリプ
   ログラムとを実行可能なプログラムイメージに動的にリ
   ンクすることを特徴とする方法。
2. 【請求項２】 指定のプログラムイメージと関連ライブ
   ラリプログラムとを計算システム内で実行可能なプログ
   ラムイメージに動的にリンクする方法において、 前記指定のプログラムイメージを表すパラメータと前記
   関連ライブラリプログラム用の命名文脈を表すパラメー
   タでリンク方法を呼び出すステップと、 イメージキャッシュをチェックして、前記イメージキャ
   ッシュ内に前記指定のプログラムイメージと前記関連ラ
   イブラリプログラムに一致するキーが見つかった場合に
   は前記イメージキャッシュに基づいてプログラム識別子
   のリストと関連アドレスとを得るステップと、 前記プログラム識別子のリストに基づいて前記関連アド
   レスにおいて前記プログラム識別子で識別される各プロ
   グラムをマッピングするステップと、を備え、 前記指定のプログラムイメージと前記関連ライブラリプ
   ログラムとを実行可能なプログラムイメージに動的にリ
   ンクする方法。
3. 【請求項３】クレーム２に記載の方法であって、さら
   に、 前記指定のプログラムイメージと前記関連ライブラリプ
   ログラムに一致するキーが前記イメージキャッシュ内に
   見つからなかった場合に、前記指定のプログラムイメー
   ジに関連する前記ライブラリプログラムの名前を含む第
   １のリストを作成するステップと、 前記第１のリスト上の前記ライブラリプログラムの前記
   名前のそれぞれを解決してライブラリプログラム識別子
   を得、前記ライブラリプログラム識別子のそれぞれを第
   ２のリストに加えるステップと、を備える方法。
4. 【請求項４】 クレーム３に記載の方法であって、さら
   に、 ライブラリプログラムキャッシュをチェックして前記第
   ２のリスト内の各ライブラリプログラム識別子との一致
   がないか調べるステップと、 一致しているライブラリプログラム識別子が存在する場
   合に、前記ライブラリプログラムキャッシュから一致す
   るライブラリプログラムを得るステップと、 前記ライブラリプログラムから前記一致しているライブ
   ラリプログラム識別子を第３のリストに加えるステップ
   と、を備える方法。
5. 【請求項５】 クレーム４に記載の方法であって、さら
   に、 前記ライブラリプログラムキャッシュ内に一致している
   ライブラリプログラム識別子が存在しない場合に、前記
   第２のリスト内で識別される所要のライブラリプログラ
   ムをリンクすべきアドレスを選択するステップと、 前記所要のライブラリプログラムのコピーを作るステッ
   プと、 前記所要のライブラリプログラムの前記コピー内の再配
   置可能な記号を暫定的に固定するステップと、 前記所要のライブラリプログラムの前記暫定的に固定さ
   れたコピーを前記ライブラリプログラムキャッシュに加
   えるステップと、 前記暫定的に固定されたライブラリプログラム識別子を
   前記第３のリストに加えるステップと、を備える方法。
6. 【請求項６】 クレーム５に記載の方法であって、さら
   に、 記号テーブルと再配置テーブルとを持っている、前記指
   定のプログラムイメージのコピーを作り、そのコピーの
   識別子を第４のリストに加えるステップと、 前記第３のリストに基づいてそれぞれ記号テーブルと再
   配置テーブルとを持っている、前記ライブラリプログラ
   ムのそれぞれのコピーを作り、そのコピーの識別子を前
   記第４のリストに加えるステップと、を備える方法。
7. 【請求項７】 クレーム６に記載の方法であって、さら
   に、 前記指定のプログラムイメージの前記コピー内で再配置
   すべき各記号を見つけるステップと、 前記第４のリスト内で識別される前記ライブラリプログ
   ラムすべてを検索し、前記再配置すべき記号に一致する
   第１の記号定義が見つかった場合に、前記再配置すべき
   記号に一致する前記第１の記号定義のアドレスを用いて
   前記再配置すべき記号の再配置を行うステップと、を備
   える方法。
8. 【請求項８】 クレーム７に記載の方法であって、さら
   に、 前記第４のリスト内で識別される前記ライブラリプログ
   ラムのそれぞれに含まれている前記記号テーブルを用い
   て、前記第４のリスト内で識別された前記ライブラリプ
   ログラムのうちの第１番目のライブラリプログラムから
   順番に、前記記号テーブルの各記号を前記指定のプログ
   ラムイメージの記号テーブルと比較して、前記記号が前
   記指定のプログラムイメージの記号テーブル内の記号と
   一致する場合には、前記指定のプログラムイメージの記
   号テーブル内の記号を無効な記号としてマークするステ
   ップと、 前記記号テーブルのそれぞれに含まれる各記号を、前記
   第４のリスト内で識別された前記ライブラリプログラム
   の前記記号テーブルであって第４のリストにおいてチェ
   ック中の記号テーブルよりも高く、かつ、既にチェック
   済みとしてマークされた前記記号テーブルのすべてと比
   較するステップと、 第４のリスト内で識別された前記ライブラリプログラム
   のそれぞれに含まれている前記記号テーブルのチェック
   が終了した時点で、前記第４のリスト内の前記ライブラ
   リプログラムの識別子を、記号テーブルがチェック済み
   である識別子としてマークするステップと、 第４のリスト内で識別された前記ライブラリプログラム
   のそれぞれに含まれている前記記号テーブル内の前記記
   号を、前記記号テーブルすべての比較が終了するまで、
   同様の順序で比較するステップと、を備える方法。
9. 【請求項９】 クレーム８に記載の方法であって、さら
   に、 前記第４のリスト内で識別された前記プログラムのそれ
   ぞれの前記再配置テーブルを用いて、前記第４のリスト
   内で識別された前記プログラムのうちの第１番目のプロ
   グラムから順番に、前記再配置テーブルをそれぞれ走査
   して未定義の記号を探し出すステップと、 前記再配置テーブルのうちのひとつの中の記号が定義済
   みの記号であれば前記定義済みの記号をチェックし、前
   記定義済みの記号が無効な記号としてマークされている
   場合には、前記定義済みの無効とマークされている記号
   の再配置可能なアドレスを取り消すステップと、 各未定義の記号と、再配置可能なアドレスが取り消され
   た各定義済みの記号とを検索アーギュメントとして用い
   て、前記指定のプログラムイメージの前記記号テーブル
   と第４のリスト内で識別された前記ライブラリプログラ
   ムのそれぞれに含まれている前記記号テーブルとをチェ
   ックして前記検索アーギュメントに一致する記号を探
   し、前記一致している記号が見つかった場合には、前記
   見つかった記号のアドレスを用いて前記検索アーギュメ
   ントとして用いた前記記号用のアドレス再配置を行うス
   テップと、 前記検索アーギュメントに一致する記号が見つからない
   場合に例外メッセージを通知するステップと、を備える
   方法。
10. 【請求項１０】 クレーム９に記載の方法であって、さ
    らに、 プログラム識別子のキャッシュ化可能リストを作成し、
    前記指定のプログラムイメージと前記第４のリスト内で
    識別された前記ライブラリプログラムのそれぞれのコピ
    ーを前記キャッシュ化可能リストに含めるステップと、 前記イメージキャッシュに前記プログラム識別子のキャ
    ッシュ化可能リストを組み込むステップと、 前記プログラム識別子のキャッシュ化可能リストを前記
    リンク方法の呼び出しがあったときに戻すステップと、
    を備える方法。
11. 【請求項１１】 計算システム内で、指定のプログラム
    イメージと関連ライブラリプログラムとを実行可能なプ
    ログラムイメージに動的にリンクする方法において、 前記指定のプログラムイメージを表すパラメータと、前
    記指定のプログラムイメージに関連するライブラリプロ
    グラムを表すパラメータを使ってリンク方法を呼び出す
    ステップと、 ライブラリプログラムキャッシュをチェックして、前記
    ライブラリプログラムキャッシュに前記関連ライブラリ
    プログラムが含まれる場合には、前記ライブラリプログ
    ラムキャッシュに基づいて、ライブラリプログラム識別
    子のリストと関連アドレスとを作成し、 前記ライブラリプログラムをそれぞれ互いに、また、前
    記指定のプログラムイメージにリンクし、 前記プログラム識別子のリストに基づいて、前記関連ア
    ドレスにおいて、前記プログラム識別子で識別されるプ
    ログラムをマッピングし、 前記指定のプログラムイメージと前記関連ライブラリプ
    ログラムとを実行可能なプログラムイメージに動的にリ
    ンクする方法。
12. 【請求項１２】 アプリケーションプログラムと、ライ
    ブラリプログラムと、オペレーティングシステムのため
    のデータ処理用ダイナミックリンキングシステムにおい
    て、 リンクしたアプリケーションプログラムと前記アプリケ
    ーションプログラムの関連ライブラリプログラムのイメ
    ージをキャッシュ化するためのイメージキャッシュと、 前記イメージキャッシュに接続されて、前記イメージキ
    ャッシュを検索し、前記指定のアプリケーションプログ
    ラムのリンク要求が出されたときに、指定のアプリケー
    ションプログラムに一致するリンク済みアプリケーショ
    ンプログラムイメージが前記イメージキャッシュ内に含
    まれているかどうかを判断する第１の検索機関と、 前記第１の検索機関に接続されて、前記指定のアプリケ
    ーションプログラムの前記リンク要求に対して応答する
    第１のコミュニケーション機関と、を備え、ただし、前
    記イメージキャッシュ内に前記指定のアプリケーション
    プログラムに一致するリンクアプリケーションプログラ
    ムイメージが存在する場合には、前記応答にはプログラ
    ム識別子のリストと、前記イメージキャッシュから得ら
    れた前記プログラム識別子に関連するアドレスとが含ま
    れるデータ処理用ダイナミックリンキングシステム。
13. 【請求項１３】 クレーム１２に記載のデータ処理用ダ
    イナミックリンキングシステムであって、さらに、 前記イメージキャッシュに接続され、ライブラリプログ
    ラムをキャッシュ化するライブラリプログラムキャッシ
    ュと、 前記ライブラリプログラムキャッシュに接続され、前記
    ライブラリプログラムキャッシュを検索し、検索アーギ
    ュメントとして用いられる指定のライブラリプログラム
    に一致するライブラリプログラムが前記ライブラリプロ
    グラムキャッシュに含まれているかを判断する第２の検
    索機関と、を備えるデータ処理用ダイナミックリンキン
    グシステム。
14. 【請求項１４】 アプリケーションプログラムと、ライ
    ブラリプログラムと、オペレーティングシステムのため
    のデータ処理用ダイナミックリンキングシステムにおい
    て、 部分リンクされたライブラリプログラムをキャッシュ化
    するライブラリプログラムキャッシュと、 前記ライブラリプログラムキャッシュに接続され、前記
    指定のアプリケーションプログラムのリンク要求が出さ
    れたときに、前記ライブラリプログラムキャッシュを検
    索し、指定のアプリケーションプログラムが要求する部
    分リンク済みライブラリプログラムを前記ライブラリプ
    ログラムキャッシュが含んでいるかどうかを判断する第
    １の検索機関と、 前記第１の検索機関に接続されて、前記ライブラリプロ
    グラムキャッシュ内に探し出したライブラリプログラム
    が含まれていれば前記指定のアプリケーションプログラ
    ムに前記探し出したライブラリプログラムをリンクする
    第１のリンク機関と、を備えるデータ処理用ダイナミッ
    クリンキングシステム。