JPH09282174A - プログラム実行方法 - Google Patents

Abstract

(57)【要約】 【課題】プログラムの実行前にプログラムの全ソースコ
ードをコンパイル・リンクするのではなく、プログラム
の実行に必要なソースコードのみを実行時に必要になっ
たときにコンパイル・リンクしプログラムの実行を継続
することを可能とするプログラム実行方法。 【解決手段】プログラムは、プログラム言語の意味単位
であるコンポーネントの集合からなり、コンポーネント
は編集部２０５により入力され、プログラムデータベー
ス２０６に格納される。プログラム管理部２０２が、コ
ンポーネント間の依存関係情報を更新する。プログラム
の実行時に、実行管理部２０１が、コンパイラ２０４お
よびリンカ２０３を用いて、関数コール命令の呼び出し
対象となる関数でまだコンパイル・リンクが行われてい
ない関数を前記関数の呼び出しの際に前記関数を定義す
るコンポーネントをコンパイル・リンクし、動的リンク
可能なコードを生成し、前記コードから前記関数のアド
レスを取得し、プログラムの実行を継続する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、コンピュータシス
テムを用いて、プログラム言語によりプログラムを複数
の構成要素の集合として記述し、コンパイラ・リンカに
よりプログラムをコンパイル、リンクしマシンコードを
生成し、前記マシンコードを実行するプログラム実行方
法に関する。さらに詳細には、プログラムの実行時の関
数呼び出し命令の実行時に、前記関数を定義するプログ
ラム構成要素のマシンコードが生成されていない場合、
前記プログラム構成要素を実行時にコンパイル・リンク
することによりプログラムの実行を行なうプログラム実
行方法に関する。

【０００２】

【従来の技術】プログラムの実行は、プログラム言語に
より記述されたソースコードを計算機により実行可能な
マシンコードに翻訳し、前記マシンコードを計算機上の
記憶装置に格納し、メモリ上の前記コードを解釈・実行
することによりプログラムの実行を行なう。

【０００３】公知の実行方法には、コンパイラ及びイン
タプリタの２つの方法がある。コンパイラによる実行方
法では、プログラムの翻訳処理とプログラムの実行処理
が完全に分離されており、プログラムの翻訳処理が完全
に実行された後、プログラムの実行処理が実行される。
インタプリタによる実行方法では、プログラムの翻訳・
実行処理を交互に処理することによりプログラムが実行
される。

【０００４】コンパイラは、コンパイル及びリンクの２
つの処理から構成される。プログラムソースコードはフ
ァイルなどの構成要素からなり、コンパイル処理は前記
構成要素毎にプログラム言語で記述された文字列を解析
し、マシンコード列およびシンボル情報を生成する。前
記構成要素をプログラム構成要素あるいはコンポーネン
トと呼ぶ。

【０００５】ソースコードに含まれる関数呼び出し命令
の呼び出し対象となる関数で、他のソースコードで定義
されている関数を外部関数と呼ぶ。コンパイル処理で生
成されたオブジェクトコード中の外部関数のアドレスは
未解決のままになっている。リンク処理は、生成された
オブジェクトコードの連結、外部関数のアドレスの解決
を行い、実行可能なプログラムコードもしくは動的にリ
ンク可能なライブラリ（動的リンクライブラリあるいは
シェアードライブラリと呼ぶ）を生成する。プログラム
コードもしくは動的リンクライブラリをモジュールと呼
ぶ。

【０００６】コンパイラ方式のプログラムの実行は、実
行前にプログラムソースコードのコンパイル及びリンク
が完全に終了している必要がある。

【０００７】例えば、米国特許５，３２５，５３３号は
インクリメンタル（ｉｎｃｒｅｍｅｎｔａｌ）にプログ
ラムをコンパイル・リンクする手段を開示しいる。この
特許において、プログラム構成要素はファイルでなく、
関数やクラスなどのプログラム言語に依存する意味単位
に対応付けられる。

【０００８】米国特許５，３２５，５３３号は、編集手
段、プログラムデータベース、コンパイラ、ビルド機
構、リンク機構からなる。プログラムデータベースは、
コンポーネントの集合からなる。コンポーネントは複数
の属性からなるデータであり、プログラム言語の意味単
位に対応する。編集手段は、編集によるコンポーネント
の変更履歴を管理し、その管理情報を利用してビルド機
構がコンポーネントの属性を更新し、再度コンパイルが
必要なコンポーネントを計算する。

【０００９】また、コンパイラ方式の言語に対してイン
タプリタを利用したプログラム実行方法として日立製作
所の「Ｃ／Ｃ＋＋インタプリタ」のマニュアル「Ｃ／Ｃ
＋＋インタプリタ使用の手引き」のＰ２からＰ２９に記
載されている方法がある。この実行方法では、インタプ
リタで実行可能なコードで、コンパイラが生成するオブ
ジェクトコードとは異なる中間コードをソースコードか
ら生成し、前記インタプリタが前記中間コードを解釈・
実行する。

【００１０】

【発明が解決しようとする課題】従来のコンパイラによ
るプログラムの実行方法では、コンパイル・リンク処理
がプログラムの実行前に完全に終了していなければなら
ないという問題点がある。

【００１１】また、コンパイラ方式の言語に対してイン
タプリタを利用して、プログラムを実行する方法では、
前記のような問題点は解消されるが、コンパイラで生成
されるオブジェクトコードとは異なるインタプリタ用の
中間コードを生成しなければならないという問題点があ
る。

【００１２】そこで本発明の目的は、コンパイラ方式の
言語で記述されたプログラムの全ソースコードを実行前
にコンパイル・リンクするのではなく、プログラムの実
行時の関数呼び出し命令の実行時に、前記関数のソース
コードに対するマシンコードが生成されていない場合、
前記関数のソースコードからマシンコードを生成し、実
行を継続する方法を提供することである。

【００１３】

【課題を解決するための手段】上記目的を達成するた
め、本発明のプログラム実行方法では、プログラム構成
要素間の依存関係を管理するステップ、プログラムのソ
ースコードをコンパイル・リンクしマシンコードを生成
するステップおよび前記コードを実行するステップを有
する計算機システムにおいて、プログラム構成要素のソ
ースコード中に含まれる関数呼び出し命令の呼び出し対
象となる関数で、他のプログラム構成要素で定義される
関数に関する情報を記憶装置に格納し、プログラムの実
行時に、前記関数のマシンコードが生成されていない場
合、前記関数の呼び出し命令の実行時に、前記関数を定
義するプログラム構成要素のマシンコードを生成し、前
記マシンコードと前記関数の対応関係および前記マシン
コードに関する情報を記憶装置に格納し、前記関数の呼
び出し命令を含むコードの実行時に、前記関数のマシン
コードと前記関数の呼び出し命令を含むコードとを動的
にリンクすることによりプログラムの実行を行う。

【００１４】

【発明の実施の形態】図１に、本発明を実装できる計算
機システム１００の構成を示す。計算機システムは、中
央処理装置１０１、主記憶装置１０２、外部記憶装置１
０３、入力装置１０４、出力装置１０５およびそれらを
結合するバス１０６からなる。

【００１５】ユーザは入力装置１０４により、プログラ
ムのソースコードであるテキストを入力することができ
る。

【００１６】また、プログラムの実行可能コードは外部
記憶装置１０３に格納しておき、実行する際に、外部記
憶装置１０３中の前記コードを主記憶装置１０２に格納
し、格納された前記コードを中央処理装置１０１が解釈
・実行することにより、プログラムの実行が行われ、実
行結果を出力装置１０５に表示する。前記コードの主記
憶装置への格納をロードと呼ぶ。

【００１７】計算機システムは、オペレーティング・シ
ステム（以降ＯＳと呼ぶ）と呼ばれるソフトウェアによ
り管理される。ユーザが実行可能なコードあるいは動的
にリンク可能なコードのロード命令をＯＳに対して発行
することにより、前記コードが主記憶装置１０２にロー
ドされ、ＯＳの管理下におかれ、ロードされた前記コー
ドに対してＯＳで管理される識別子がＯＳ内で生成され
る。ＯＳの管理下のコードの削除処理をアンロードと呼
ぶ。ユーザはロードされたコードのアンロード命令をＯ
Ｓに対して発行することにより主記憶装置１０２からロ
ードされているコードをアンロードすることができる。
プログラムの実行状態は、中央処理装置１０１内の複数
のレジスタ１０１１に設定される。

【００１８】主記憶装置１０２内でのデータの位置を指
定する値をアドレスという。

【００１９】関数呼び出しを実現するために、一般にス
タックが利用される。主記憶装置１０２にスタックのた
めの領域を割り当て、関数呼び出しの際の引数の受け渡
しや関数呼び出しの戻りアドレスの保存を行なうために
利用される。プログラムの実行時に使われるスタックを
システムスタックと呼ぶことにする。関数呼び出し実行
時に利用したスタック中の領域の解放は、呼び出し側で
行なうものとする。また、関数呼び出しの戻り値の受け
渡しは、レジスタ１０１１を経由して行われるものとす
る。

【００２０】本発明の実施の形態の説明において、リス
トデータ型及び定数ＮＵＬＬを用いる。

【００２１】定数ＮＵＬＬは、他の任意のデータ値と区
別することができる特別な値である。

【００２２】リストは、０個以上のデータを保持するデ
ータオブジェクトで、メソッドＣｏｕｎｔ、Ｆｉｒｓ
ｔ、Ｎｅｘｔ、Ａｄｄ、Ａｐｐｅｎｄにより操作され
る。Ｃｏｕｎｔはリストが保持するデータ数を返す。Ｆ
ｉｒｓｔは、リストの保持するデータ数が０の場合はＮ
ＵＬＬを返し、１以上の場合は先頭のデータを返す。Ｎ
ｅｘｔはその次のデータを返し、次のデータが存在しな
い場合はＮＵＬＬを返す。Ａｄｄは入力データをリスト
の末尾に加える。Ａｐｐｅｎｄは入力としてリストを取
り、入力リストに含まれるすべての要素データを操作対
象のリストの末尾に加える。また、記法としてリストデ
ータＬｉｓｔにＣｏｕｎｔメソッドを適用する場合、Ｌ
ｉｓｔ．Ｃｏｕｎｔなどのように記述する。

【００２３】フローチャート中の変数は、フローチャー
ト毎に局所的な有効範囲を持つ。つまり、フローチャー
トの「始まり」という文字列を含むボックスで示される
ステップから「終わり」という文字列を含むボックスで
示されるステップまでに含まれるステップの処理のなか
でのみ有効である。

【００２４】以降において、幾つかのデータ型を定義す
る。データ型はデータ型名称および複数の構成要素から
定義される。構成要素を属性と呼ぶ。たとえば、年、
月、日を構成要素として、データ型名が「日付」である
データ型は、「日付は、年、月、日からなるデータ型で
ある」などのような形式で定義される。

【００２５】図２は本発明を構成する機能要素を示して
いる。実行管理部２０１、プログラム管理部２０２、リ
ンカ２０３、コンパイラ２０４、編集部２０５、プログ
ラムデータベース２０６からなる。

【００２６】コンパイラ２０４は、入力としてソースコ
ードを取り、オブジェクトコードを生成する。生成され
るオブジェクトコードは、シンボル情報テーブルおよび
マシンコード列から構成されるものとする。コンパイル
時にエラーとなった場合、ＮＵＬＬを返す。

【００２７】コンパイラ２０４が生成するオブジェクト
コード中のシンボル情報テーブルは、シンボル情報の集
合である。

【００２８】本発明の実施の形態で用いるシンボル情報
では、シンボル名、アドレス、種類の情報を取得、設定
できるものとする。

【００２９】シンボル名属性は、プログラムのソースコ
ード中に含まれる関数や大域変数に対する文字列による
名称のことである。

【００３０】アドレス属性には、シンボル名に対応する
関数や大域変数のオブジェクトコード中のアドレスが設
定される。

【００３１】種類属性は、シンボルのプログラミング言
語での意味的な単位の種類で、関数とデータの２種類が
あるものとする。データとは、大域変数のことである。

【００３２】コンパイル時にアドレスが解決しているも
のはシンボル情報のアドレス属性にアドレスが設定され
ている。他のコンポーネントで定義されているシンボル
のシンボル情報のアドレス属性にはＮＵＬＬが設定され
いるものとする。

【００３３】また、シンボル情報テーブルは、シンボル
情報のリストのように処理できるものとする。

【００３４】リンカ２０３は、入力としてオブジェクト
コードのリストおよびモジュール種類を取る。モジュー
ル種類には、実行可能モジュールと動的リンクライブラ
リの２種類ある。

【００３５】リンカ２０３が行う処理は、入力オブジェ
クトコードを連結し、モジュール種類で指定された形式
でコードを生成する。生成されたコードをモジュールコ
ードと呼ぶ。内部的にはモジュールコードは、その実体
を参照することができるファイル名などで参照される。

【００３６】プログラムデータベース２０６は、プログ
ラムを構成するコンポーネントの集合である。

【００３７】コンポーネントは大域変数、関数などのプ
ログラム言語の意味単位に対応し、識別子、名称、イン
ターフェースソース実装ソース、ビルド、オブジェクト
コード、参照コンポーネントリスト、非参照コンポーネ
ントリスト、モジュール識別子からなるデータ型であ
る。

【００３８】識別子属性はプログラムデータベース２０
６内でコンポーネントを一意に区別するものである。し
たがって、プログラムデータベース２０６に対して識別
子を指定することにより、指定した識別子と一致する識
別子を識別子属性に持つコンポーネントを取得すること
ができる。実行開始関数を含むコンポーネントには特別
な識別子が設定されるものとする。ここで実行開始関数
とは、実行可能モジュールを実行するとき最初に実行さ
れる関数のことであり、例えば、Ｃ言語ではｍａｉｎ関
数が対応する。

【００３９】名称属性には、コンポーネントの名称を示
す文字列が設定される。

【００４０】インターフェースソース属性には、コンポ
ーネントの宣言部分に対応するソースコードが設定され
る。コードがない場合は、ＮＵＬＬが設定される。

【００４１】実装ソース属性には、コンポーネントの実
装部分に対応するソースコードが設定される。コードが
ない場合は、ＮＵＬＬが設定される。インターフェース
ソース属性と実装ソース属性を合わせてソースと呼ぶ。

【００４２】ビルド属性には、定数としてＣＯＭＰＩＬ
ＥＤ，ＮＥＥＤＴＯＣＯＭＰＩＬＥの２つが定義され
る。定数ＣＯＭＰＩＬＥＤは、コンポーネントがコンパ
イル済であり、さらに本コンポーネントのソースおよび
参照コンポーネントリストに含まれるコンポーネントの
インターフェースソースがコンパイル後修正されていな
いことを示す。ビルド属性の更新は、プログラム管理部
２０２により行われる。

【００４３】オブジェクトコード属性には、コンパイラ
が生成したコンポーネントのオブジェクトコードが設定
される。

【００４４】参照コンポーネントリスト属性は、実装ソ
ース中で参照される他のコンポーネントの識別子のリス
トである。

【００４５】非参照コンポーネントリスト属性は、本コ
ンポーネントをソース中で参照している他のコンポーネ
ントの識別子のリストである。

【００４６】モジュール識別子属性には、モジュールの
識別子が設定される。初期値にはＮＵＬＬが設定され
る。

【００４７】プログラム管理部２０２は、編集部２０５
による編集の変更履歴情報に基づいて、プログラムデー
タベース２０６中のコンポーネントのビルド属性を更新
する。プログラム管理部によるコンポーネントの属性更
新方法は、米国特許５，３２５，５３３号に詳しく記載
されている。

【００４８】実行管理部２０１は、モード２０１１、カ
レントコンパイルモジュール識別子２０１２、関数コー
ル情報スタック２０１３、モジュール管理テーブル２０
１４、外部関数管理テーブル２０１５からなる。

【００４９】モード２０１１には、定数ＣＯＭＰＩＬ
Ｅ、ＲＵＮの２つが設定される。

【００５０】実行モード２０１１がＣＯＭＰＩＬＥの場
合、カレントコンパイルモジュール識別子２０１２には
現在コンパイル中のモジュールの識別子が設定される。
以降において、カレントコンパイルモジュール識別子２
０１２で指定されるモジュールをカレントコンパイルモ
ジュールと呼ぶ。

【００５１】関数コール情報スタック２０１３は、関数
コール情報を要素とするスタックである。関数コール情
報は、外部関数識別子、戻り先アドレスからなるデータ
型である。

【００５２】外部関数識別子属性には、外部関数情報の
識別子属性が設定される。

【００５３】戻り先アドレス属性には、アドレスが設定
される。

【００５４】モジュール管理テーブル２０１４は、モジ
ュール情報の集合である。

【００５５】モジュール情報は、識別子、モジュールコ
ード、モジュールタイプ、所属コンポーネントリスト、
補助コードリスト、ＯＳ管理識別子、コールカウンタか
らなるデータ型である。

【００５６】識別子属性はモジュール管理テーブル２０
１４内で一意に区別されるものである。したがって、モ
ジュール管理テーブル２０１４に対して識別子を指定す
るこにより、指定した識別子と一致する識別子を識別子
属性に持つモジュール情報を取得することができる。

【００５７】モジュールコード属性には、実行可能コー
ドもしくは動的リンクライブラリの実体を参照すること
ができる情報、例えば、ファイル名などが設定される。
前記情報が未設定の場合、定数ＮＵＬＬが設定されてい
る。

【００５８】モジュールタイプ属性には、モジュールタ
イプ定数としてＥＸＥＣＵＴＡＢＬＥとＤＬＬの２つの
定数が定義される。ＥＸＥＣＵＴＡＢＬＥは実行可能コ
ードのことであり、ＤＬＬは動的リンクライブラリのこ
とである。この定数はリンカ２０３への引数として使わ
れる。

【００５９】所属コンポーネントリスト属性は、モジュ
ールを構成するコンポーネントのリストである。

【００６０】補助コードリスト属性は、処理７００（図
７）で生成される補助コードのリストである。

【００６１】ＯＳ管理識別子属性には、モジュールがロ
ードされているとき、オペレーティング・システムによ
って管理されているモジュールの識別子が設定され、モ
ジュールがロードされていないとき、定数ＮＵＬＬが設
定される。本発明の実施の形態において、ＯＳ管理識別
子を指定してオペレーティング・システムに対して命令
を発行することによりメモリ中にロードされているモジ
ュールコードにアクセスすることができるものとする。

【００６２】コールカウンタ属性のデータ型は整数型で
あり、モジュールタイプがＥＸＥＣＵＴＡＢＬＥの場
合、前記モジュールがロードされているときには１が、
ロードされていないときには０が設定される。モジュー
ルタイプがＤＬＬの場合、前記モジュール中の関数が呼
び出されたとき、コールカウンタに１を加算し、関数の
呼び出しをぬけるときコールカウンタ属性に１を減算す
る。初期値には０が設定される。

【００６３】以降において、モジュールとはモジュール
情報のことを意味する。

【００６４】外部関数管理テーブル２０１５は、外部関
数情報の集合である。

【００６５】外部関数情報は、識別子、シンボル名、コ
ンポーネント識別子、補助コード、戻り値型からなるデ
ータ型である。

【００６６】識別子属性は外部関数管理テーブル２０１
５内で一意に区別されるものである。したがって、外部
関数管理テーブル２０１５に対して識別子を指定するこ
とにより、指定した識別子と一致する識別子を識別子属
性に持つ外部関数情報を取得することができる。

【００６７】シンボル名属性には、外部関数のシンボル
情報のシンボル名が設定される。

【００６８】コンポーネント識別子属性は、外部関数が
定義されるコンポーネントの識別子が設定される。

【００６９】補助コード属性には、処理７００（図７）
で生成されるコードが設定される。

【００７０】戻り値型属性には、外部関数の戻り型を示
す整数値が設定される。戻り値を持たない場合は、定数
ＶＯＩＤが設定される。

【００７１】以降において、外部関数とは外部関数情報
のことを意味する。

【００７２】編集部２０５は、プログラムデータベース
２０６中のコンポーネントのソースを編集するためのユ
ーザ・インターフェースを与え、ユーザによる編集履歴
を管理する部分である。プログラム管理部２０２が前記
編集履歴に基づいてプログラムデータベース２０６中の
コンポーネントの属性を更新する。

【００７３】図３を用いて、本発明の処理３００の手順
を説明する。実行管理部２０１のロードを行う（ステッ
プ３０１）。コンポーネント変数Ｃに実行開始関数を含
むコンポーネントを設定する（ステップ３０２）。変数
Ｔｙｐｅにモジュールタイプ定数ＥＸＥＣＵＴＡＢＬＥ
を設定する（ステップ３０３）。ＣとＴｙｐｅを入力と
してモジュール生成処理４００（図４）を実行する（ス
テップ３０４）。カレントコンパイルモジュールをロー
ドし実行を開始する（ステップ３０５）。モジュールの
実行が終了したら、実行管理部の終了処理２０００（図
２０）を実行して（ステップ３０６）、処理３００を終
了する。

【００７４】図４を用いてモジュール生成処理４００の
手順を説明する。入力としてコンポーネントＣ（４０
１）およびモジュールタイプＴ（４０２）を取る。モー
ド２０１１に定数ＣＯＭＰＩＬＥを設定する（ステップ
４０３）。判断４０４の条件は、Ｃのビルド属性が定数
ＣＯＭＰＩＬＥＤに等しく、更にＣのモジュール識別子
がＮＵＬＬ以外であるというものであり、前記条件が真
となる場合はステップ４０５に移り、前記条件が偽の場
合はステップ４０６に移る。ステップ４０５で、カレン
トコンパイルモジュール識別子をＣのモジュール識別子
に設定し、ステップ４１５に移る。ステップ４０６で、
新規モジュール情報を作成し変数Ｍに設定する。Ｍをモ
ジュール管理テーブル２０１４に登録する（ステップ４
０７）。モジュール管理テーブル２０１４内で一意に識
別できる新しい識別子ＮｅｗＩＤを生成し、Ｍの識別子
に設定する（ステップ４０８）。Ｍのモジュールタイプ
に入力モジュールタイプＴの値を設定する（ステップ４
０９）。カレントコンパイルモジュール識別子２０１２
にＮｅｗＩＤを設定する（ステップ４１０）。ステップ
４１１で、Ｃを入力としてコンパイル処理５００（図
５）、ステップ４１２でＣを入力として補助コード生成
処理６００（図６）を行う。カレントコンパイルモジュ
ールに対してリンク処理９００（図９）を行い、モジュ
ールコードを生成する（ステップ４１３）。Ｃのモジュ
ール識別子にＮｅｗＩＤを設定する（ステップ４１
４）。モード２０１１を定数ＲＵＮに設定し（ステップ
４１５）、処理４００を終了する。

【００７５】図５を用いてコンパイル処理５００の手順
を説明する。入力としてコンポーネントＣ（５０１）を
取る。判断５０２でＣのビルド属性がＣＯＭＰＩＬＥＤ
の場合、コンパイル処理５００を終了する。判断５０２
でＣのビルド属性がＣＯＭＰＩＬＥＤでない場合、Ｃの
参照コンポーネントリスト属性に含まれるすべてのコン
ポーネントのインターフェースソース属性をリスト変数
Ｌｉｓｔに加える（ステップ５０３、ステップ５０４、
ステップ５０５、ステップ５０６）。ＬｉｓｔにＣの実
装ソース属性及びインターフェースソース属性を加える
（ステップ５０７）。Ｌｉｓｔをコンパイラ２０４の入
力としてオブジェクトコードの生成を行い、生成したコ
ードを変数Ｏｂｊに設定する（ステップ５０８）。判断
５０９においてＯｂｊがＮＵＬＬに等しくない場合、Ｃ
のオブジェクトコード属性にＯｂｊを設定する（ステッ
プ５１１）。Ｃのビルド属性の値をＣＯＭＰＩＬＥＤに
変更して（ステップ５１２）、処理５００を終了する。
判断５０９において、ＯｂｊがＮＵＬＬに等しい場合、
ステップ５１０でＣの編集をユーザに要求し、編集作業
が終了後、ステップ５０３に移る。

【００７６】図６を用いて補助コード生成処理６００の
説明を行う。入力としてコンポーネントＣ（６０１）を
取る。ステップ６０２で、変数ＳＴにＣのオブジェクト
コードのシンボル情報テーブルを設定する。Ｃのオブジ
ェクトコードのシンボル情報テーブルのすべての要素デ
ータであるシンボル情報Ｓに対して（ステップ６０３、
ステップ６０４、ステップ６０７）、次に述べる処理を
行う。その処理とは、判断６０５で真となる場合、つま
りＳの種類が関数である場合、ＣとＳを入力としてステ
ップ６０６の処理７００（図７）を実行する。判断６０
５で偽となる場合、つまりＳの種類がデータである場
合、ＣとＳを入力としてステップ６０８の処理８００
（図８）を実行する。シンボル情報テーブルに含まれる
すべての要素データに対して処理７００あるいは処理８
００の実行が行われたならば処理６００を終了する。

【００７７】図７を用いてステップ６０６で行われる処
理７００の説明を行う。入力としてシンボル情報Ｓ（７
０１）、コンポーネントＣ（７０２）を取る。Ｓのシン
ボル名と一致する外部関数情報が外部関数管理テーブル
２０１５にまだ登録されていないならば（判断７０
３）、ステップ７０４で、新規に外部関数情報を生成
し、それを変数Ｆに設定する。外部関数管理テーブル２
０１５内で一意に区別される新しい識別子ＮｅｗＩＤを
生成し、Ｆの識別子に設定する（ステップ７０５）。Ｆ
のコンポーネント識別子にＣの識別子を設定する（ステ
ップ７０６）。Ｆのシンボル名にＳのシンボル名を設定
する（ステップ７０７）。外部関数管理テーブル２０１
５にＦを登録する（ステップ７０８）。Ｓに対応するＣ
のオブジェクトコード中の関数に対して、実行制御部２
０１に制御を移すコードを生成し、生成したコードを変
数Ａに設定し（ステップ７０９）、Ｆの補助コードにＡ
を設定する（ステップ７１０）。Ｃのインターフェース
ソース属性からＣで定義される関数の戻り値型の情報を
取得し、Ｆの戻り値型属性に前記戻り値型の情報に対応
する整数値を設定する（ステップ７１１）。カレントコ
ンパイルモジュールの補助コードリストにコードＡを加
え（ステップ７１２）、処理７００を終了する。判断７
０３で真となる場合、つまりＳのシンボル名と一致する
外部関数情報が外部関数管理テーブル２０１５に登録さ
れているならば、Ｓのシンボル名と一致する外部関数情
報を外部関数管理テーブル２０１５から取得し、変数Ｆ
に設定し（ステップ７１３）、変数ＡにＦの補助コード
を設定し（ステップ７１４）、ステップ７１２に移る。

【００７８】図８を用いてステップ６０８で行われる処
理８００の説明を行う。入力としてシンボル情報Ｓ（８
０１）、コンポーネントＣ（８０２）を取る。Ｃの参照
コンポーネントの中から、Ｓのシンボル名に対応するデ
ータの定義を持つコンポーネントを取得し、Ｃ１に設定
する（ステップ８０３）。カレントコンパイルモジュー
ルのコンポーネントリストにＣ１を加える（ステップ８
０４）。Ｃ１に対してコンパイル処理５００を実行する
（ステップ８０５）。Ｃ１のモジュール識別子にカレン
トコンパイルモジュール識別子２０１２を設定し（ステ
ップ８０６）、処理８００を終了する。

【００７９】図９を用いてリンク処理９００の手順を説
明する。変数Ｍにカレントコンパイルモジュールを設定
する（ステップ９０１）。Ｍのコンポーネントリスト中
のすべてのコンポーネントＣに対して、Ｃのオブジェク
トコードをリスト変数Ｌｉｓｔに加える（ステップ９０
２、ステップ９０３、ステップ９０４、ステップ９０
５）。Ｍの補助コードリストのすべての要素をＬｉｓｔ
に加える（ステップ９０６）。変数ＴｙｐｅにＭのモジ
ュールタイプを設定する（ステップ９０７）。Ｌｉｓ
ｔ，Ｔｙｐｅをリンカ２０３の入力としてモジュールコ
ードを生成する（ステップ９０８）。生成した前記モジ
ュールコードをＭのモジュールコードに設定し（ステッ
プ９０９）、本処理９００を終了する。

【００８０】図１０は、処理４００で生成されるコード
の例である。コンポーネント１００１は処理４００の入
力コンポーネントであり、その実装ソース中に他のコン
ポーネントで定義される関数ｆ１（１００１１）を参照
するコンポーネントである。コンポーネント１００１を
コンパイルして生成されるオブジェクトコードのマシン
語列がコード１００２である。命令１００２１は関数ｆ
１（１００１１）の関数コール命令で、ｆ１のアドレス
が未解決の状態である。コンポーネント１００１に対し
て補助コード生成処理６００を実行して得られる外部関
数ｆ１（１００１１）に対する補助コードがコード１０
０４である。命令１００４１は、外部関数識別子を実行
制御部２０１に引数として渡すためにシステムスタック
に関数ｆ１（１００１１）の外部関数識別子の値を積む
命令である。ＦｕｎｃＩＤは関数ｆ１（１００１１）に
対応する外部関数管理テーブル２０１５中の外部関数情
報識別子である。命令１００４２は、実行制御部２０１
に制御を移すためのマシン語命令である。リンク処理９
００において、外部関数をコールする命令１００２１と
補助コード１００４とをリンクし、モジュールコード１
００３を生成する。

【００８１】処理４００で生成されたモジュールコード
１００３中の関数コール命令１００３１の実行時の動作
を図１１および図１２を用いて説明する。関数コール命
令１００３１により、関数コール命令１００３１の次の
命令のアドレスが関数コール命令１００３１の戻り先ア
ドレスとしてシステムスタックに積まれ、制御が補助コ
ード中の命令１００３２に移る（矢印１１０２）。命令
１００３２により、ｆ１（１００１１）に対応する外部
関数識別子を示すＦｕｎｃＩＤの値がシステムスタック
に積まれる。ジャンプ命令１００３３により、実行制御
部２０１のコード１１０１に制御が移される（矢印１１
０４）。この時点でのシステムスタック１２００には、
図１２に示すように、スタック最上位から、外部関数識
別子である関数ＩＤ（１２０１）、戻り先アドレス１２
０２、関数ｆ１（１００１１）に対する引数１２０３が
積まれている。実行制御部２０１の処理１３００（図１
３）の実行により、関数ＩＤに対応する関数を呼び出し
た後（矢印１１０５）、制御を戻り先アドレス１２０２
に戻す（矢印１１０３）。コード１１０６は、ｆ１（１
００１１）の実装コードを含む動的リンクライブラリで
あり、処理１３００（図１３）で生成される。

【００８２】図１３を用いて処理１３００の手順の説明
を行なう。処理１４００（図１４）を実行して関数コー
ル情報を生成し、前記関数コール情報を変数ＦＣ１に設
定する（ステップ１３０１）。ＦＣ１を関数コール情報
スタックに積む（ステップ１３０２）。ＦＣ１の外部関
数識別子を入力としてアドレス取得処理１５００（図１
５）を実行し、取得したアドレスを変数ＡＤ１に設定す
る（ステップ１３０３）。システムスタックを調整し
（ステップ１３０４）、ステップ１３０７の関数コール
命令の実行に備える。外部関数管理テーブル２０１５に
対してＦＣ１の外部関数識別子を指定して外部関数情報
を取得し、前記外部関数情報のコンポーネント識別子か
らコンポーネントを取得し、前記コンポーネントからモ
ジュールを取得し、変数Ｍに設定する（ステップ１３０
５）。Ｍのコールカウンタに１を加算する（ステップ１
３０６）。変数ＦにＦＣ１の外部関数識別子に対応する
外部関数情報を設定する（ステップ１３０７）。判断１
３０８においてＡＤ１がＮＵＬＬに等しい場合、判断１
３０９に移る。判断１３０８においてＡＤ１がＮＵＬＬ
に等しくない場合、図１３のステップ１３１１に移る。
判断１３０９において、Ｆの戻り値型属性が定数ＶＯＩ
Ｄの場合、図１３のステップ１３１７に移る。判断１３
０９において、Ｆの戻り値型属性が定数ＶＯＩＤでない
場合、ユーザに戻り値の指定を要求し、指定された値を
変数Ｒに設定し（ステップ１３１０）、図１３のステッ
プ１３１７に移る。図１３のステップ１３１１で、ＡＤ
１で指定されるアドレスで関数コール命令を実行する。
関数コール情報スタックの先頭データを取得し、取得し
たデータを変数ＦＣ２に設定する（ステップ１３１
２）。関数コール情報スタックの先頭データを削除する
（ステップ１３１３）。判断１３１４において、Ｆの戻
り値型が定数ＶＯＩＤである場合、ステップ１３１７に
移る。判断１３１４において、Ｆの戻り値型属性が定数
ＶＯＩＤでない場合、ステップ１３１５で関数コール命
令により呼び出された関数の戻り値を取得し、変数Ｒに
設定する。Ｒを関数の戻り値としてレジスタに設定する
（ステップ１３１６）。ステップ１３１７で、Ｍのコー
ルカウンタに１を減算する。ＦＣ２の戻り先アドレスに
制御を戻すマシン命令を実行し（ステップ１３１８）、
処理１３００を終了する。

【００８３】図１４を用いて処理１４００の手順を説明
する。新規に関数コール情報を作成し、変数ＦＣ１に設
定する（ステップ１４０２）。システムスタック１２０
０上の関数ＩＤ（１２０１）を取得し、変数ＦＩＤに設
定する（ステップ１４０３）。ＦＣ１の外部関数識別子
にＦＩＤの値を設定する（ステップ１４０４）。システ
ムスタック１２００上の戻り先アドレス１２０２を取得
し、変数ＡＤ１に設定する（ステップ１４０５）。ＦＣ
１の戻り先アドレスにＡＤ１を設定し（ステップ１４０
６）、ＦＣ１を処理１４００の出力として処理１４００
を終了する。

【００８４】図１５を用いてアドレス取得処理１５００
の手順を説明する。入力として外部関数識別子である関
数ＩＤ（１５０１）を取る。関数ＩＤ（１５０１）に対
応する外部関数情報を外部関数管理テーブル２０１５か
ら取得し、取得した外部関数情報のコンポーネント識別
子に対応するコンポーネントをプログラムデータベース
２０６から取得し、取得したコンポーネントを変数Ｃに
設定する（ステップ１５０２）。判断１５０３におい
て、Ｃの実装ソースコードがＮＵＬＬに等しい場合、処
理１５１３に移る。判断１５０３において、Ｃの実装ソ
ースコードがＮＵＬＬに等しくない場合、判断１５０４
に移る。判断１５０４において、Ｃのビルド属性がＣＯ
ＭＰＩＬＥＤでない場合、ステップ１５０５に移る。判
断１５０４において、Ｃのビルド属性がＣＯＭＰＩＬＥ
Ｄである場合、ステップ１５０６に移る。ステップ１５
０５で、変数ＭにＣのモジュール識別子に対応するモジ
ュールを設定する。Ｃのモジュール識別子がＮＵＬＬな
らば、ＭにＮＵＬＬを設定する。判断１５０７において
ＭがＮＵＬＬと等しくない場合、ステップ１５０９に移
る。判断１５０７においてＭがＮＵＬＬと等しい場合、
ステップ１５１０に移る。ステップ１５０９でＭに対し
て削除処理１６００（図１６）を実行する。ステップ１
５１０でＣとモジュールタイプ定数ＤＬＬを入力として
モジュール生成処理４００を実行し、カレントコンパイ
ルモジュールを変数Ｍに設定する。ステップ１５１１で
Ｍのモジュールコードのロードを行う命令をＯＳに発行
し、ロードされたモジュールコードのＯＳで管理される
識別子を取得し、取得した識別子をＭのＯＳ管理識別子
に設定し、ステップ１５１２に移る。ステップ１５０６
で、Ｃのモジュール識別子に対応するモジュールをＭに
設定する。判断１５０８において、ＭのＯＳ管理識別子
がＮＵＬＬの場合、ステップ１５１１に移る。判断１５
０８において、ＭのＯＳ管理識別子がＮＵＬＬでない場
合、ステップ１５１２に移る。ステップ１５１２で、関
数ＩＤ（１５０１）に対応する外部関数情報を外部関数
管理テーブル２０１５から取得し、取得した外部関数情
報のシンボル名とＭのＯＳ管理識別子を入力としてＯＳ
に対して関数のアドレスを取得する命令を発行し、アド
レスを取得後、前記アドレスを処理１５００の出力と
し、処理１５００を終了する。ステップ１５１３で、Ｎ
ＵＬＬを処理１５００の出力とし、処理１５００を終了
する。

【００８５】図１６を用いてモジュール管理テーブル２
０１４でのモジュール削除処理１６００を説明する。入
力としてモジュールＭ（１６０１）をとる。Ｍのコンポ
ーネントリストに含まれるすべての要素データコンポー
ネントＣに対して（ステップ１６０２、ステップ１６０
３、ステップ１６０６）、Ｃのモジュール識別子属性を
ＮＵＬＬに設定し（１６０４）、Ｃを入力として外部関
数管理テーブル２０１５の更新処理１７００（図１７）
を実行する（ステップ１６０５）。判断１６０７でＭの
ＯＳ管理識別子がＮＵＬＬでないならば、Ｍのモジュー
ルコードをアンロードする命令をＯＳに発行する（ステ
ップ１６０８）。モジュール管理テーブルからＭを削除
し（ステップ１６０９）、処理１６００を終了する。判
断１６０７でＭのＯＳ管理識別子がＮＵＬＬならば、ス
テップ１６０９に移る。

【００８６】図１７を用いて外部関数管理テーブル２０
１５の更新処理１７００の手順を説明する。入力として
コンポーネントＣ（１７０１）をとる。外部関数管理テ
ーブル２０１５のすべての要素データである外部関数情
報Ｆに対して（ステップ１７０２、ステップ１７０３、
ステップ１７０６）、判断１７０４においてＦのコンポ
ーネント識別子とＣの識別子が一致する場合、外部関数
情報テーブル２０１５からＦを削除する（ステップ１７
０５）。判断１７０４においてＦのコンポーネント識別
子とＣの識別子が異なる場合はＦに対してステップ１７
０５を実行しない。外部関数情報テーブル２０１５のす
べての要素に対して処理が終了したら、本処理１７００
を終了する。

【００８７】実行可能モジュールの実行（図３のステッ
プ３０７）中にエラーが発生した場合、エラーが発生し
たコンポーネントのソースの修正をユーザに要求し、修
正の後に実行を継続する方法を説明する。前記方法の説
明で、関数コール情報のデータ構造の拡張と処理１４０
０の拡張を行なう。

【００８８】関数コール情報を、外部関数識別子、戻り
先アドレス、実行環境からなるデータ型に修正する。

【００８９】外部関数識別子属性および戻り先アドレス
属性は修正前と同じである。

【００９０】実行環境属性は、レジスタ１０１１に格納
されている計算機の実行状態を示すデータを保存する領
域である。この属性を関数コール情報に付加することが
本拡張の目的である。

【００９１】関数コール情報の拡張に伴う処理１４００
の拡張を図１８を用いて説明する。ステップ１８０１
は、処理計算機の現在の実行環境を取得する命令をＯＳ
に発行し、取得した値つまり現在の計算機の実行状態を
示すデータをＦＣ１の実行環境に設定する処理を行な
う。ステップ１８０１をステップ１４０６とステップ１
４０７の間に挿入する。前記挿入により、ステップ１４
０６以降の実行手順は、次のようになる。ステップ１４
０６の実行の次に、ステップ１８０１が実行され、次に
ステップ１４０７が実行される。

【００９２】実行管理部２０１が実行時に、プログラム
の実行時エラーを検出した場合、制御をエラー処理１９
００（図１９）に移し、前記エラーの処理を行なう。エ
ラーの検出の手段は、計算機の例外割り込みの機能など
により実現可能される。

【００９３】エラー処理１９００は、ユーザにエラー発
生しているコンポーネントのソースコードの修正を要求
し、修正が終了後、エラー発生モジュールをロードする
直前の計算機状態に戻し、実行を継続する。

【００９４】図１９を用いてエラー処理１９００の手順
を説明する。関数コール情報変数ＦＣ１に関数コール情
報スタックの最上位のデータを設定する（ステップ１９
０１）。外部関数管理テーブル２０１５に対してＦＣ１
の外部関数識別子を指定して、外部関数情報を取得し、
取得した外部関数情報のコンポーネント識別子をプログ
ラムデータベース２０６に対して指定しコンポーネント
を取得し、取得したコンポーネントのモジュール識別子
を変数ＭＩＤ１に設定する（ステップ１９０２）。変数
ＦＣ２に関数コールスタックの最下位のデータを設定す
る（ステップ１９０３）。外部関数情報テーブル２０１
５に対してＦＣ２の外部関数識別子を指定して、外部関
数情報を取得し、取得した外部関数情報のコンポーネン
ト識別子をプログラムデータベース２０６に指定してコ
ンポーネントを取得し、取得したコンポーネントのモジ
ュール識別子を変数ＭＩＤ２に設定する（ステップ１９
０４）。判断１９０５において、ＭＩＤ１とＭＩＤ２が
一致しない場合、関数コール情報スタック上でＦＣより
一つ上位のデータをＦＣ２に設定し（ステップ１９０
６）、ステップ１９０４に戻る。判断１９０５において
ＭＩＤ１とＭＩＤ２が一致する場合、ステップ１９０７
に移り、ＭＩＤ１で指定されるモジュールを入力として
モジュール削除処理１６００を行なう。ステップ１９０
８で、ＦＣ２を含むＦＣ２より上位のすべての関数コー
ル情報に対して、前記関数コール情報の外部関数識別子
に対応するモジュールのコールカウンタを１だけ減算し
たのち、関数コール情報スタックから削除する。外部関
数管理テーブル２０１５に対してＦＣ１の外部関数識別
子を指定して、外部関数情報を取得し、取得した外部関
数情報のコンポーネント識別子で指定されるコンポーネ
ントの修正をユーザに要求する（ステップ１９０９）。
ユーザは編集部２０５によりソースを修正する。修正処
理終了後、変数ＦＣ３に関数コール情報スタック最上位
の関数コール情報を設定し（ステップ１９１０）、ＦＣ
３の実行環境属性を変数Ｅに設定する（ステップ１９１
１）。現在の実行環境をＥに変更し、実行を継続する
（ステップ１９１２）。

【００９５】図２０を用いて実行終了処理２０００の手
順を説明する。ステップ２００１で、モジュール管理テ
ーブル２０１４に含まれるすべてのモジュールＭに対し
て、アンロードを実行し、ＯＳ管理識別子をＮＵＬＬに
設定する。ステップ２００２で、実行管理部をアンロー
ドし、処理２０００を終了する。

【００９６】図２３は、コンポーネントを編集するため
の、編集画面の例である。領域２３０２は編集対象とな
っているコンポーネントの名称属性の入力領域であり、
領域２３０１は領域２３０２に対するタイトル文字列表
示する領域である。領域２３０４は編集対象となってい
るコンポーネントのインターフェースソース属性の入力
領域であり、領域２３０３は領域２３０４に対するタイ
トル文字列を表示する領域である。領域２３０６は編集
対象となっているコンポーネントの実装ソース属性の入
力領域であり、領域２３０５は領域２３０６に対するタ
イトル文字列を表示する領域である。２３０７はチェッ
クボックスであり、コンポーネントで定義される関数が
実行開始関数であるかの設定を行なう。コマンド２３０
９を選択すると、編集画面２３００による編集作業を終
了し編集画面２３００を閉じる。

【００９７】図２４は、処理５００のステップ５１０の
入力画面の例である。領域２４０２は、入力対象となる
関数の名称を示す文字列を表示する領域であり、領域２
４０１は領域２４０２に対するタイトル文字列を表示す
る領域である。領域２４０４は、入力対象となる関数の
戻り値型を示す文字列を表示する領域であり、領域２４
０３は領域２４０４に対するタイトル文字列を表示する
領域である。領域２４０６は、入力対象となる関数の戻
り値をユーザが入力する領域であり、領域２４０５は領
域２４０６に対するタイトル文字列を表示する領域であ
る。

【００９８】以降において、第２の実施の形態の説明を
第１の実施の形態の拡張として説明する。具体的には、
データ型としてはコンポーネントを、処理としては処理
５００を拡張する。

【００９９】図２１は、第２の実施例を説明するための
ハードウェアの構成図を示す。複数の計算機システム１
００がネットワーク２１０１により連結され、前記ネッ
トワークおよびネットワークに連結された前記計算機シ
ステム１００間でデータを転送する機能を有するネット
ワークソフトウェアにより前記ネットワークが管理さ
れ、前記ソフトウェアに対して計算機システム名および
ファイルパス名を指定することにより、前記計算機シス
テム名を名称として持つ計算機システムから前記ファイ
ルパスのファイルの転送を実行することができる。

【０１００】コンポーネントを識別子、インターフェー
スソース実装ソース、ビルド、オブジェクトコード、参
照コンポーネントリスト、非参照コンポーネントリス
ト、モジュール識別子、計算機システム名称、コンポー
ネントデータファイルパス名、インポートフラグからな
るデータ型に拡張する。

【０１０１】識別子、インターフェース、ビルド、オブ
ジェクトコード、参照コンポーネントリスト、非参照コ
ンポーネントリスト、モジュール識別子は、拡張前と同
じである。

【０１０２】計算機システム名称属性には、ネットワー
ク２１０１に連結している計算機システム名称が設定さ
れる。

【０１０３】コンポーネントデータファイルパス名属性
には、コンポーネントの属性情報を持つファイルのファ
イル名を含むパス名が設定される。前記ファイルをコン
ポーネントデータファイルと呼ぶ。

【０１０４】インポートフラグには、定数０もしくは定
数１が設定される。インポートフラグが０のときコンポ
ーネントのソースがネットワーク上の他の計算機システ
ム上に存在し、自計算機システム内にはないことを示
す。ソースが存在する計算機システムは、計算機システ
ム名称属性に記述され、計算機システム名称で指定され
る計算機システム内でのコンポーネントデータファイル
の場所は、コンポーネントデータファイル名称属性で指
定される。

【０１０５】コンポーネントＣ（５０１）を入力として
処理２２００（図２２）を実行するステップを、コンパ
イル処理５００のステップ５０２およびステップ５０３
の間に挿入することによりコンパイル処理５００を拡張
する。

【０１０６】図２２を用いて処理２２００の手順を説明
する。入力としてコンポーネントＣ２２０１を取り、判
断２２０２において、Ｃのインポートフラグが０と等し
いとき、Ｃの計算機システム名およびＣのコンポーネン
トデータファイルパス名をネットワークソフトウェアの
入力としてデータ転送命令を発行し、Ｃの計算機システ
ム名により指定される計算機システムのＣのコンポーネ
ントデータファイルパス名により指定される外部記憶装
置内のファイルを前記命令を発行した計算機システムに
転送する。前記転送されたファイルをＦに設定する（ス
テップ２２０３）。Ｆ中のコンポーネントのインターフ
ェースソースをＣのインターフェースソースに設定する
（ステップ２２０４）。Ｆ中のコンポーネントの実装ソ
ースをＣの実装ソースに設定する（ステップ２２０
５）。Ｃのインポートフラグに１を設定して（ステップ
２２０６）、処理２２００を終了する。判断２２０２に
おいてＣのインポートフラグが０と等しくないとき、処
理２２００を終了する。

【０１０７】図２５は、コンポーネントの計算機システ
ム名およびコンポーネントデータファイルパス名の設定
を行なう編集画面の例である。この画面はコンポーネン
ト編集画面２３００のメニュー中のコマンドであるネッ
トワーク（２３０７）を選択することにより、画面２５
００が表示される。２５０２は編集対象となっているコ
ンポーネントの計算機システム名称属性の入力領域であ
り、２５０１は前記領域に対するタイトル文字列であ
る。２５０４は編集対象となっているコンポーネントの
コンポーネントデータファイルパス名の入力領域であ
り、２５０３は前記領域に対するタイトル文字列であ
る。前記２つの入力領域が変更された時点で、編集対象
となっているコンポーネントのインポートフラグを０に
変更する。

【０１０８】

【発明の効果】本発明には以下の効果がある。

【０１０９】プログラムの実行前にプログラムの全ソー
スコードをコンパイル・リンクするのではなく、プログ
ラムの実行に必要なソースコードのみを実行時に必要に
なったときにコンパイル・リンクすることによりプログ
ラムを実行することができる。

【０１１０】前記プログラムの実行時に、ソースコード
が修正された関数が呼び出されたとき、前記関数のソー
スコードを再度コンパイル・リンクし実行継続すること
ができる。

【０１１１】前記プログラムの実行時に、実行時エラー
が発生したら、エラーが発生した関数のソースコードの
修正要求をユーザに出し、修正後実行を継続することが
できる。

【０１１２】前記プログラムの実行時に、コンパイルエ
ラーが発生したら、エラーが発生した関数のソースコー
ドの修正要求をユーザに出し、修正後実行を継続するこ
とができる。

【０１１３】前記プログラムの実行時に、関数呼び出し
の対象となる関数がまだ定義されていないとき、前記関
数の戻り値の指定をユーザに要求し、指定された値を前
記関数呼び出しの戻り値としてプログラムの実行を継続
することができる。

【０１１４】複数計算機システムが計算機ネットワーク
で連結された環境において、前記プログラムの実行時
に、関数呼び出しの対象となる関数を定義するコンポー
ネントの情報が他の計算機システムに存在するとき、前
記関数呼び出しが実行される時に、前記情報をネットワ
ーク経由で取得し、プログラムの実行継続することがで
きる。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態のハードウェア構成
図である。

【図２】本発明の第１の実施の形態の機能構成図であ
る。

【図３】本発明の第１の実施の形態の実行処理の手順を
示すフローチャートである。

【図４】本発明の第１の実施の形態のモジュール生成処
理の手順を示すフローチャートである。

【図５】本発明の第１の実施の形態のコンパイル処理の
手順を示すフローチャートである。

【図６】本発明の第１の実施の形態の補助コード生成処
理の手順を示すフローチャートである。

【図７】図６が示す処理のステップ６０６で実行される
処理の手順を示すフローチャートである。

【図８】図６が示す処理のステップ６０８で実行される
処理の手順を示すフローチャートである。

【図９】本発明の第１の実施の形態のリンク処理の手順
をを示すフローチャートである。

【図１０】本発明の第１の実施の形態を説明するために
用いられるコード生成の例である。

【図１１】図１０が示すコードの実行時の制御の流れを
説明する図である。

【図１２】図１０が示すコードの実行時のある時点での
システムスタックの状態を示す図である。

【図１３】本発明の第１の実施の形態の実行管理部の実
行制御処理を示すフローチャートである。

【図１４】本発明の第１の実施の形態の関数コール情報
生成処理の手順を示すフローチャートである。

【図１５】本発明の第１の実施の形態の外部関数のアド
レス解決処理の手順を示すフローチャートである。

【図１６】本発明の第１の実施の形態のモジュール管理
テーブル更新処理の手順を示すフローチャートである。

【図１７】本発明の第１の実施の形態の外部関数管理テ
ーブルの更新処理の手順を示すフローチャートである。

【図１８】図１４が示す処理を拡張した処理の手順を示
すフローチャートである。

【図１９】本発明の第１の実施の形態のエラー処理の手
順を示すフローチャートである。

【図２０】本発明の第１の実施の形態の終了処理の手順
を示すフローチャートである。

【図２１】本発明の第２の実施の形態のハードウェア構
成図である。

【図２２】本発明の第２の実施の形態のデータ取得処理
の手順を示すフローチャートである。

【図２３】本発明の第１の実施の形態のコンポーネント
編集画面例である。

【図２４】本発明の第１の実施の形態の戻り値入力画面
の例である。

【図２５】本発明の第２の実施の形態のネットワーク情
報設定画面の例である。

【符号の説明】

２０１…実行管理部、２０２…プログラム管理部、２０
３…リンカ、２０４…コンパイラ、２０５…編集部、２
０６…プログラムデータベース、２０１１…モード、
２０１２…カレントコンパイルモジュール、２０１３…
関数コール情報スタック、 ２０１４…モジュール管理
テーブル、２０１５…外部関数管理テーブル。

Claims (6)

【特許請求の範囲】
1. 【請求項１】入出力装置及び記憶装置を有する計算機シ
   ステム上でプログラム言語によりプログラムを複数の構
   成要素の集合として記述し、プログラム構成要素間の依
   存関係情報を管理し、前記依存関係情報、コンパイラお
   よびリンカを用いて前記プログラムをマシンコードに変
   換し、前記コードを計算機上で実行するプログラム実行
   方法において、(１)プログラム構成要素のソースコード
   中に含まれる関数呼び出し命令の呼び出し対象となる関
   数で、他のプログラム構成要素で定義される関数に関す
   る情報を記憶装置に格納するステップと、(２)プログラ
   ムの実行時に、前記関数のマシンコードが生成されてい
   ないとき、前記関数の呼び出し命令の実行時に、前記関
   数を定義するプログラム構成要素のマシンコードを生成
   するステップと、(３)前記マシンコードと前記関数の対
   応関係および前記マシンコードに関する情報を記憶装置
   に格納するステップと、(４)前記関数の呼び出し命令を
   含むコードの実行時に、前記関数のマシンコードと前記
   関数の呼び出し命令を含むコードとを動的にリンクする
   ステップとを有することを特徴するプログラム実行方
   法。
2. 【請求項２】前記プログラム実行方法は、さらに、プロ
   グラム構成要素の変更履歴情報を管理し、プログラム構
   成要素の依存関係情報および前記変更履歴情報に基づい
   て再度マシンコードを生成する必要があるプログラム構
   成要素を計算するステップを有するプログラム実行方法
   において、プログラム構成要素のソースコードでマシン
   コードの生成後、更にプログラムに変更が加えられた場
   合、前記プログラム構成要素で定義される関数の呼び出
   し命令の実行時に、前記計算の結果に基づいて前記プロ
   グラム構成要素からマシンコードを生成するステップを
   有することを特徴とする請求項１記載のプログラム実行
   方法。
3. 【請求項３】前記プログラム実行方法において、プログ
   ラムの実行時に、更に詳細には関数の呼び出し命令の実
   行時に、前記関数の呼び出しに関する情報を記憶装置に
   格納し、前記プログラムの実行時に実行時エラーが発生
   した際に、前記情報に基づいて、エラーが発生したコー
   ドを含む関数のプログラム構成要素の修正をユーザに要
   求し、修正後前記関数の呼び出しの実行を継続するステ
   ップを有することを特徴とする請求項１又は２記載のプ
   ログラム実行方法。
4. 【請求項４】前記プログラム実行方法は、さらに、複数
   の計算機システムがネットワークにより連結され相互に
   データの転送ができる計算機ネットワーク環境におい
   て、プログラム構成要素のソースコードが存在する計算
   機システム名と前記計算機システム内の場所に関する情
   報を記憶装置に格納しておき、プログラムの実行時に前
   記プログラム構成要素で定義される関数に対する関数呼
   び出し命令を実行する時に、前記関数のソースコードが
   ネットワーク上の別の計算機システムに存在し、自計算
   機システム内に存在しない場合、前記情報および前記デ
   ータ転送機能を利用して前記関数のソースコードを取得
   し、関数の呼び出しの実行を継続するステップを有する
   ことを特徴とする請求項１記載のプログラム実行方法。
5. 【請求項５】前記プログラム実行方法において、プログ
   ラムの実行時に、更に詳細には関数呼び出し命令の実行
   時に、前記関数を定義するプログラム構成要素の実装ソ
   ースコードが記述されていない場合、ユーザに前記関数
   の戻り値を指定させることにより前記関数呼び出しの実
   行を継続するステップを有することを特徴とする請求項
   １記載のプログラム実行方法。
6. 【請求項６】前記プログラム実行方法において、プログ
   ラム構成要素のマシンコードを生成するステップで行わ
   れる処理の実行に失敗した場合、ユーザにプログラムの
   修正を要求し、修正後前記マシンコード生成処理を再度
   実行するステップを有することを特徴とする請求項１記
   載のプログラム実行方法。