JPH0439734A - プログラム言語翻訳処理方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 目　　　　次 概要 産業上の利用分野 従来の技術 発明が解決しようとする課題　（第１図）課題を解決す
るための手段 作　　　用 実　施　例　（第２図〜第５図） 発明の効果 概　　　要 プログラム言語翻訳処理方式に関し、 翻訳処理の高速化、高効率化を目的とし、ソースモジュ
ール内に記述されているが定義されていない外部名のそ
れぞれのモジュール内におけるオフセット値を抽出し、
該当するモジュール名と関連づけて参照情報とし、ソー
スモジュール内に定義されている外部名の定義位置のそ
れぞれのモジュール内にふけるオフセット値をそれぞれ
抽出し、該当するモジュール名と関連づけて定義情報と
し、前８己参照情報の外部名毎に前記定義情報を検索し
て、該定義情報の対応する位置をインデックス情報とし
て求め、２回目以後の翻訳処理時ニ、外部名が追加され
ているときには、前記参照情報又は定義情報に該追加さ
れた外部名についての参照情報又は定義情報を追加する
とともに、該追加された外部名についてのインデックス
情報を求め、外部名のモジュール内におけるオフセット
値が変更されているときには、前記参照情報又は定義情
報の対応する箇所のみを更新するようにし、前記参照情
報、定義情報及びインデックス情報に基づき、外部名の
定義番地を導出するように構成する。

産業上の利用分野 本発明はプログラム言語で記述されたソース（原始）プ
ログラムを実行形式のプログラムに変換するためのプロ
グラム言語翻訳処理方式に関する。

プログラム言語（ソース言語）で記述されたソースプロ
グラムを、実在する計算機の上で実行させるためには、
その目的計算機が実行できる形式のプログラムに、予め
変換しておかなければならない。この処理は、一般にソ
ース言語で記述された複数のソースモジュールをそれぞ
れ文法に従って解析し、この解析データから各ソースモ
ジュールと意味の等価なオブジェクトモジネールを生成
しく以下、このような処理をコンパイルという）、これ
ら各オブジェクトモジュールをリンケージエディタによ
りリンケージすることにより、目的計算機上で直接実行
できる形式の一つのロードモジュールとするものである
。

このようなプログラム言語翻訳処理においては、ソース
モジュールに修正があった場合には、該当するソースモ
ジュールについて再度コンパイルを実施し、この新たな
オブジェクトモジュールを交えてリンケージを再度行う
必要がある。特にプログラムの大規模化に伴いこれらの
処理に長時間を要するようになってきているた袷、その
処理効率の向上が要望されている。

従来の技術 各ソースモジュール間に渡って使用される変数等の名前
は、各ソースモジュールのうちのいずれか一つにおいて
定義されている。従って、−のソースモジュール内に記
述されているが、当該−のソースモジュールではなく他
のソースモジュール内において定義されている場合があ
る（本願明細中においては、このような変数等の名前を
外部名と称する）。一方、翻訳処理は、修正の容易化等
のために一般にモジュール単位で実施され、リンケージ
に至るまでは各モジュールの独立性が保たれている。従
って、コンパイルを実施しているソースモジュール内に
他のソースモジュールに定義されている変数等が存在す
る場合には、外部名に関しての定義番地等は未解決のま
まオブジェクトモジュールとして８力されることになる
。

そして、この未解決な外部名は、リンケージ処理におい
て、他のモジュールを探索することにより当該外部名が
定義されているモジュールを特定し、該モジュールの割
り当て番地と、該定義の該モジュール内におけるオフセ
ット値に基づき、定義番地を導出し、参照箇所に設定す
ることにより解決される。

従来は、上述のリンケージ処理において、人力されたモ
ジュールの結合を実施しながら、上記の外部名に関する
探索等を実施して、最終的に目的計算機上で実行できる
ロードモジュールを生成している。そして、プログラム
の保守や機能の追加等によりソースモジュールに修正が
生じた場合には、外部名を定義しているモジュールの割
り付は位置が変わったり、モジュール内での外部名を定
義している相対位置が変更になるので、リンケージ処理
において、再度全モジュールに渡って、外部名の定義箇
所の探索処理を実施しなければならない。

発明が解決しようとする課題 しかし、上述の外部名が定義されているモジコールの探
索、及び該モジュール内での定義位置の探索処理に要す
る時間は、プログラムが大規模化すると外部名の数も増
大するため、指数関数的に増大することになり、リンケ
ージ処理に長時間を要するという問題がある。そして、
この探索処理を含むリンケージ処理は、デバッグ等によ
りソースモジュールに修正が生じる度に毎回実施される
ものであるから、非常に効率が悪い。

本発明はこのような点に鑑みてなされたものであり、プ
ログラム言語翻訳処理の高速化、高効率化を図ることを
目的としている。

課題を解決するための手段 第１図は本発明の詳細な説明するための図である。本発
明方式は、複数のソースモジュール１をそれぞれコンパ
イラ２によりコンパイルしてオブジェクトモジュール３
とし、これらオブジェクトモジュール３をリンケージエ
ディタ４でリンケージして、目的計算機上で直接実行で
きるロードモジュール５とするプログラム言語の翻訳処
理方式であり、以下のような機能を備えている。

コンパイラ２は、字句、構文解析等を行う翻訳機能６等
の他に、コンパイル時に、ソースモジュール１内に記述
されているが定義されていない外部名（参照外部名）の
該モジュール１内におけるオフセット値をそれぞれ抽出
し、該当するモジュール名と関連づけて参照情報７とし
、これを記憶手段に格納する参照情報抽出機能と、ソー
スモジュール１内に定義されている外部名（定義外部名
）の該定義位置の該モジュール１内におけるオフセット
値をそれぞれ抽出し、該当するモジュール名と関連づけ
て定義情報９とし、これを記憶手段に格納する定義情報
抽出機能とからなる外部名定義／参照情報抽出機能１０
を備えている。

そして、外部名定義／参照関係テーブル更新機能１１を
備えており、この外部名室１ｍ／参照関係テーブル更新
機能１１は、前記参照情報７の各参照外部名に基づき定
義情報９内の対応する定義外部名を探索し、該定義情報
９内における該当する位置をそれぞれインデックス情報
として求め、これら参照情報、インデックス情報、及び
定義情報を外部名定義／参照関係テーブル１２として記
憶手段に格納するものである。さらに、この外部名定義
／参照関係テーブル更新機能１１は、ソースモジュール
１の修正等による２回目以後の翻訳処理時に、外部名が
追加されているときには、外部名定義／参照関係テーブ
ル１２内の参照情報及び該当する場合には定義情報に該
追加された外部名についての前記参照情報及び該当する
場合には定義情報を追加するとともに、該追加された外
部名についてのインデックス情報を求め、外部名又はそ
の定義位置のモジュール内におけるオフセット値が変更
されている場合には、外部名定義／参照関係テーブル１
２内の参照情報又は定義情報の対応する箇所のみを更新
するものである。

リンケージエディタ４は、この外部名定義／参照関係テ
ーブル１２に基づき、参照外部名の定義番地を導出し、
対応する位置に該定義番地を埋ぬ込み、その他の必要な
処理を実施して、最終的に目的計算機上で実行できるロ
ードモジュールを生成する。

作　　　用 １回目の翻訳処理において、抽出した参照情報と定義情
報との間の対応関係を探索し、これをインデックス情報
として保持し、２回目以後の翻訳処理においては、外部
名が追加された場合に、この追加された外部名について
の探索処理のみを行い、インデックス情報が設定されて
いる外部名についての探索処理は実施しないようにして
いる。

従って、従来のように、全ての外部名について毎回探索
処理を実施するものと異なり、処理に要する時間を大幅
に短縮することができる。尚、外部名の記述位置が変更
された場合には、該当する参照情報と定義情報の対応関
係が変化することはないので、参照情報又は定義情報の
該当するモジュール内におけるオフセット値のみを更新
するだけで良い。

実　　施　　例 以下、本発明の実施例を図面に基づいて詳細に説明する
。

第２図は第１図における外部名定１ｍ／参照関係テーブ
ル１２の具体例の説明図である。この外部名窓ＩＩ／参
照関係テーブル１２は、各モジュール（モジュールＡ、
Ｂ、Ｃ，・・・）用参照テーブル１５、及び定義テーブ
ル１６から構成されている。

参照テーブル１５は、参照している外部名を示す参照外
部名（＊１）、参照している箇所くモジュールの先頭か
らの相対値）を示す参照オフセ−／　）値（＊２）、及
び定義テーブル１６の外部名に対応して設定されている
シーケンス番号（＊４）を示す定義テーブルインデック
ス（＊３）から構成される。

定義テーブル１６は定義している外部名のこのテーブル
内における登録順序を示すシーケンス番号（＊４）、定
義している外部名を示す定義外部名（＊５）、外部名の
定義を行っているモジュール名を示す定義モジュール名
（＊６）、及び定義している箇所（モジュールの先頭か
らの相対値）を示す定義オフセット値（＊７）から構成
される。

参照テーブル１５の参照外部名（＊１）及び参照オフセ
ット値（＊２）は、第１図の外部名定義／参照情報抽出
機能１０により抽出された外部名参照情報７に対応し、
この参照情報７を各モジュール毎にその内容をそのまま
設定したものであり、定義テーブル１６の定義外部名（
＄５＞、定義モジュール名（＊６）、及び定義オフセッ
ト値（＊７）は、第１図の外部名定義／参照情報抽出機
能１０により抽出された外部名定義情報９に対応し、そ
の内容をそのまま設定したものである。

参照テーブル１５の定義テーブルインデックス（＊３）
は、外部名定義／参照関係テーブル更新機能１１により
、探索され求められたインデックス情報に相当し、第２
図中の矢印で示されている如く、定義テーブル１６との
対応関係を明らかにしているものである。

同図において、例えば、参照外部名ｒｅｊは、モジュー
ルＡ内のオフセラ）ｒ３２Ｊの位置に記述されており、
この外部名ｒｅＪは、モジュールＣのオフセラ）ｒ１２
Ｊの位置に定義されていることがわかる。

第３図は第１図における外部名定義／参照関係テーブル
更新機能１１による処理を示すフローチャートである。

この処理は大きく分けて定義テーブル１６の更新（ａ）
と、参照テーブル１５の更新（ｂ）の２つの処理からな
る。

まず、（ａ）図を参照すると、定義外部名の追加がある
か否かを判定しくステップ３０１）　、追加がある場合
には、追加された全ての外部名定義情報を定義テーブル
１６に追加する（ステップ３０２）。さらに、定義箇所
のオフセット値に変更があるか否かを判定しくステップ
３０３〉、変更がある場合には、定義テーブル１６の該
当する外部名のオフセット値を変更して（ステップ３０
４）、この処理を終了する。

次いで、（ｂ）図を参照すると、参照外部名の追加があ
るか否かを判定しくステップ３０５）、追加がある場合
には、追加された外部名参照情報を該当モジュール用の
参照テーブル１５に追加登録するとともに、対応する外
部名を定義テーブル１６から探し出し、インデックス情
報を設定する（ステップ３０６）。そして、参照外部名
のオフセット値に変更があるか否かを判定しくステップ
３０７）、変更がある場合には、該当モジュール用の参
照テーブルの該当するオフセット値を変更して（ステッ
プ３０８）、この処理を終了する。

尚、初回翻訳時には、全ての定義外部名、参照外部名が
追加であるから、上記ステップ３０１．３０２、及びス
テップ３０５．３０６のみの実施となる。

以下、第４図及び第５図を参照して一連の処理を具体的
に説明する。第４図はソースモジュールの言己述内容の
一例であり、（ａ）は修正前のモジュールＡの内容を、
（ｂ）は修正後のモジュールＡの内容を示している。図
中、ｒＥＸＴＥＲＮ」はこのモジュール内で参照してい
る外部名を示し、ｒＥＮＴＲＹ、はこのモジュール内で
外部名を定義していることを示し、ｒＤＣＬＪは変数等
の名前の定義を示している。また、枠線外の数字はモジ
ュール内のオフセット値（このモジュールの先頭アドレ
スからの相対アドレス）を示し、（ｂ）図中のｒ　＋’
１ｊｉｊ　Ｊで示されている部分は、修正された箇所を
示している。

然して、修正前のモジュールＡを含むソースモジュール
がコンパイラ２１ごよりコンパイルされ、コンパイラ２
の外部名定義／参照情報抽出機能１０により、それぞれ
のモジュール毎に、参照外部名、参照オフセット値から
なる外部名参照情報７、及び定義外部名、定義モジュー
ル塩、定義オフセット値からなる外部名定義情報９が生
成される。

次いで、外部名定義／参照関係テーブル更新機能１１に
より、外部名定義情報９から順次、定義外部名に対応す
る情報が取り出され、シーケンス番号が付加されて、定
義テーブルが生成される。

この定義テーブルは第５図の（ａ）に示されるような内
容のものである。例えば、第４図（ａ）の定義外部名「
ｘ」については、定義モジュール名は「Ａ」、定義オフ
セット値は「４０」となっている。

さらに、外部名定義／参照関係テーブル更新機能１１に
より、外部名参照情報７から順次、参照外部名に対応す
る情報が取り出されるとともに、この参照外部名に対応
する定義チー°プルの定義外部名が順次（あるいは、所
定の規則に従って）比較・探索され、そのシーケンス番
号がインデックスとして付加されて、各モジュール毎に
参照テーブルが生成される。モジュールＡに対応する参
照テーブルは第５図（ｂ）に示されるような内容のもの
である。即ち、モジュールＡ内では、モジュールＡ内に
は定義されていない参照外部名としてｍ、ｒ、ｐ、ｐの
４つがあり、これらのオフセット値、及び探索処理によ
り求められた定義テーブルのシーケンス番号に対応する
定義テーブルインデックスが設定されている。例えば、
参照外部名「ｍ」について見てみると、そのオフセット
値はｒｌｏｏ、、＋、インデックスは「２」であり、こ
のインデックスから定義テーブルのシーケンス番号「２
」をたどって、外部名「ｍ」はモジュールＢのオフセッ
ト値「１２」の位置に定義されていることがただちに導
ける。

このような参照テーブル、定義テーブルからなる外部名
定義／参照関係テーブル１２に基づきリンケージエディ
タ４によりリンケージ処理が実施され、ロードモジュー
ルが生成される。

次いで、モジュールＡが修正された場合の処理について
説明する。

修正後のモジュールＡがコンパイラ２によりコンパイル
され、コンパイラ２の外部名定義／参照情報抽出機能１
０により、モジュールＡに対応した外部名参照情報７、
及び外部名定義情報９が生成される。

次いで、外部名定義／参照関係テーブル更新機能１１に
より、外部名定義情報９の外部名のうち、追加された外
部名に対応した情報が取り出され、前回作成された定義
テーブルの各情報の後部に順次追加される。即ち、第４
図（ｂ）の■で示す欄の定義外部名「ｙ」が追加された
ものであるから、第５図（Ｃ）に示されるように定義テ
ーブルのシーケンス番号「１０」　（■で示す欄）にこ
れに関する情報が追加される。

また、定義外部名のオフセット値が変更になっている場
合には、定義テーブルの該当するオフセット値が変更さ
れる。即ち、第４図（ｂ）の■で示す欄の定義外部名「
ｘ」はそのオフセット値が「４０」→「４４」に変更さ
れているから、第５図（Ｃ）に示されるように、シーケ
ンス番号「１」　（■で示す欄）のオフセット値が「４
４」に変更される。

そして、外部名定義／参照関係テーブル更新機能１１に
より、外部名参照情報７の参照外部名のうち、追加され
た外部名に対応した情報が取り出され、前回作成された
モジュールＡの参照テーブルの各情報の後部に追加され
る。即ち、第４図（ｂ）の■で示す欄の参照外部名「ｒ
」が追加されたものであるから、この参照外部名に対応
する定義テーブルの定義外部名が探索され、そのシーケ
ンス番号がインデックスとして付加されて、第５図（ｄ
）の■で示す欄に示されるように、参照外部名ｒｒＪに
ついてのオフセット値「２０８」及びインデックス「７
」が追加される。

また、外部名定義／参照関係テーブル更新機能１１によ
り、外部名参照情報７のうちオフセット値が変更された
参照外部名の該変更後のオフセット値が取り出され、参
照テーブルの該当するオフセット値が変更される。即ち
、第４図（ｂ）の■で示す欄の参照外部名「ｍ」がその
オフセット値が「１００」→「１０４」に変更されたも
のであるから、第５図（ｄ）の■で示す欄に示されるよ
うに、モジコールＡ用参照テーブルの参照外部名「ｍ」
についてのオフセット値がｒ１０４」に変更される。

上述したような処理を経て生成された外部名定義／参照
関係テーブルに基づいて、リンケージエディタ４により
ロードモジュールが生成される。

上述したように、２回目以後の翻訳処理においては、追
加又は変更になった外部名についての処理のみを行うよ
うにしており、かつ、変更になった外部名については、
その定義箇所を探索する処理も実施しないようにしてい
るから、従来の如く、毎回全ての外部名についての探索
処理を実施するものと比較して、その処理時間が大幅に
短縮される。

発明の効果 本発明は以上詳述したように構成したから、プログラム
の大規模化等により外部名の数が増大しても、２回目以
後の翻訳処理においては、外部名の定義箇所を探索する
処理に要する時間が短いから、リンケージに要する時間
が大幅に短縮され、翻訳処理の効率を大幅に向上するこ
とができるという効果を奏する。

【図面の簡単な説明】

第１図は本発明の原理図、 第２図は外部名定義／参照関係テーブルの内容を示す図
、 第３図は外部名定義／参照関係テーブル更新機能による
処理を示すフローチャート、 第４図はソースモジュールの具体例を示す図であり、（
ａ）は修正前のソースモジュールの記述内容、（ｂ）は
修正後のソースモジュールの記述内容を示す図である。 第５図は定義テーブル及び参照テーブルの内容の具体例
を示す図であり、（ａ）は修正前のソースモジュールに
ついての定義テーブルの内容、（ｂ）は修正前のソース
モジュールについての参照テーブル内容、（Ｃ）は修正
後のソースモジュールについての定義テーブルの内容、
（ｄ）は修正後のソースモジュールについての参照テー
ブルの内容を示す図である。 １・・・ソースモジュール、 ２・・・コンパイラ、 ３・・・オブジェクトモジュール、 ４・・・リンケージエディタ、 ５・・・ロードモジュール、 ７・・・外部名参照情報、 ９・・・外部名定義情報、 １０・・・外部名定義／参照情報抽出機能、１１・・・
外部名定義／参照関係テーブル更新機能、１２・・・外
部名定義／参照関係テーブル。 黒　逢　圓 第１図 （ｂ） 修正後のモジコール＾ 、刈４埋の具体例 第４図

Claims (1)

1. 【特許請求の範囲】 複数のソースモジュール（１）をコンパイルしてそれぞ
   れオブジェクトモジュール（３）とし、これらオブジェ
   クトモジュール（３）をリンケージして、目的計算機上
   で直接実行できるロードモジュール（５）とするプログ
   ラム言語翻訳処理方式において、ソースモジュール（１
   ）内に記述されているが定義されていない外部名のモジ
   ュール内におけるオフセット値を抽出し、該当するモジ
   ュール名と関連づけて参照情報（７）とし、 ソースモジュール（１）内に定義されている外部名の該
   定義位置のモジュール内におけるオフセット値を抽出し
   、該当するモジュール名と関連づけて定義情報（９）と
   し、 前記参照情報（７）の外部名毎に前記定義情報（９）を
   検索して、該定義情報（９）の対応する位置をインデッ
   クス情報として求め、 ２回目以後の翻訳処理時に、外部名が追加されていると
   きには、前記参照情報（７）又は定義情報（９）に該追
   加された外部名についての参照情報（７）又は定義情報
   （９）を追加するとともに、該追加された外部名につい
   てのインデックス情報を求め、外部名のモジュール内に
   おけるオフセット値が変更されているときには、前記参
   照情報（７）又は定義情報（９）の対応する箇所のみを
   更新するようにし、 前記参照情報（７）、定義情報（９）及びインデックス
   情報に基づき、外部名の定義番地を導出するようにした
   ことを特徴とするプログラム言語翻訳処理方式。