JPH02205930A - インタフェースチェック処理方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概　要〕 計算機における、複数プログラムに分割して記述される
プログラム間のインタフェース条件のチェックに関し、 特別の手数をかけず、効率よくプログラム間のインタフ
ェースの整合性をチェックするインタフェースチェック
処理方法を目的とし、計算機の原始プログラムからオブ
ジェクトプログラムを生成する場合に、該原始プログラ
ムで定義する外部名及び参照する外部名に対応して、該
外部名によって呼出が行われる場合に授受するように該
原始プログラムに定義されているパラメータ及び該外部
名の共通域の各データの属性及び長さを示す所定形式の
チェック情報を生成して、該オブジェクトプログラムに
付加し、複数の該オブジェクトプログラムについて所定
の結合編集を行う場合に、異なる該オブジェクトプログ
ラムに保持する同一の該外部名についての該チェック情
報間の所定の整合性を検査するように構成する。

〔産業上の利用分野〕

本発明は、計算機における、複数プログラムに分割して
記述されるプログラム間のインタフェース条件をチェッ
クするための、インタフェースチェック処理方法に関す
る。

カ１４は通常各言語に共通である。ロードモジュール１
５はローダ等によって処理装置１０の主記憶にロードす
れば実行できる。

処理装置１０にはコンソール１６が接続され、以上の処
理のための指示を入力し、処理中に検出され〔従来の技
術〕 第４図は計算機システムの構成例を示すブロック図であ
り、プログラムの開発において、処理装置１０で実行さ
れるコンパイラ１１は、プログラム作成者が所要のプロ
グラミング言語で記述して予め外部記憶装置に格納した
原始プログラム１２を読み込んで翻訳処理を実行し、各
原始プログラム１２に対応するオブジェクトプログラム
１３を出力する。

コンパイラ１１はＣ０ＢＯＬ、ＦＯＲＴＲＡＮ等のプロ
グラミング言語に対応して設けられる。

リンカ１４は、必要なオブジェクトプログラム１３を読
み込んで結合編集処理を実行し、オブジェクトプログラ
ムのテキストをつないで、例えば１つのロードモジュー
ル１５に生成して出力する。リン比較的大規模になるプ
ログラムを作成する場合に、全体を適当な機能別等に分
割して、複数のプログラム作成者が分担して記述する場
合がしばしばあり、それらの分割された各原始プログラ
ムから、他のプログラムや、共通領域を参照するために
、公知のように適当なプログラムで外部名として定義さ
れる名前が使用される。

それら定義又は参照される外部名については、コンパイ
ラが各原始プログラムを翻訳単位として各オブジェクト
プログラムを生成する場合に、各翻訳単位のオブジェク
トプログラムに、その翻訳単位に表れる前記のような外
部名を集めた付加情報を設け、付加情報には、各外部名
と、それが参照先の名前か、その翻訳単位で定義された
名前かの別、その名前が指示する実体との関係を後述の
結合編集処理で解決するための情報その他を、各外部名
について設定しておく。

リンカは、以上のような複数のオブジェクトプログラム
を連携して動作できるように一体化したロードモジュー
ルに組み立てるために、公知の結合編集処理を行って、
それらのオブジェクトプログラムのテキストを所定の順
序に配列して一体のテキストに結合し、その結果前記の
ように翻訳単位ごとでは未解決であった外部名について
、翻訳単位間の相対配置が定まることによって決定する
相対アドレスを外部名の値として割り当て、テキストの
所定の場所に埋め込む等の処理をする。

第３図はＣ０ＢＯＬ言語で記述された原始プログラムを
例に、以上のコンパイラ及びリンカの処理を説明する図
である。図の原始プログラムＡはＣＡＬＬ文で外部名Ｂ
のプログラムを呼び出し、その際パラメータとしてＵＳ
ＩＮＧ以下に指定する変数Ｄ１及びＤ２の値を渡すこと
を示す。なお、第１行及び第２行は変数Ｄ１及びＤ２の
データの属性と長さを指定する宣言文で、公知のように
Ｄｌは数字２槓の文字列、Ｄ２は英字２桁の文字列を指
定する。

又、原始プログラムＢはＰＲＯＣＥＤＵＲＥ　ＤＩＶＩ
ＳＩＯＮ文のＵＳＩＮＧの指定により、この文以下に記
述されるプログラム本体が変数Ｅ１、Ｅ２及びＥ３の値
を持って呼び出されることを示す。こ−で変数Ｅ１、Ｅ
２及びＥ３のデータ属性、長さは第３〜第５行の宣言文
に指定されているように、２桁の数字、１桁の英字及び
１桁の英字の文字列である。又このプログラムの名前を
、第１行から始まるＴＤＥＮＴＩＦＩＣＡＴＩＯＮＤＩ
ＶＩＳＩＯＮ　（７）中（７）ＰＲＯＧＲＡＭ−１０文
によりＢという外部名として定義する。

コンパイラは原始プログラムＡ、Ｂを各翻訳単位として
個別に処理し、それぞれオブジェクトＡ及びＢとして示
す構成のオブジェクトプログラムを生成する。各オブジ
ェクトプログラムはテキストと付加情報等からなり、テ
キストは原始プログラムの手続き及びデータを翻訳して
生成する命令及びデータで構成されるオブジェクトプロ
グラムの本体であり、付加情報には図示のように外部名
の情報が含まれる。

外部名の情報は、各外部名と、それが参照先の名前か、
定義した名前かの別と、ポインタと、その他の情報から
なる。ポインタは例えばオブジェクトＡに示すように、
参照先の外部名で定まる実体のアドレス（本例では外部
名Ｂのプログラムのアドレス）が決定したとき、当該ア
ドレスを埋め込むようにテキスト内に設けた領域（図に
Ｖ　（Ｂ）と示す）を指示し、又オブジェク）Ｂに例示
するように、自身の定義した外部名で示す領域を直接指
示する。

次にリンカの結合編集処理では、オブジェクトプログラ
ムのテキストＡとＢをつなぐと共に、前記のような外部
名の情報を参照して、テキストＡのＶ　（Ｂ）にはテキ
ストＢを指示するアドレスを埋め込むというような、未
解決のアドレスの処理等が行われる。

〔発明が解決しようとする課題〕

前記のように分割して記述される原始プログラムの翻訳
単位が連携して所要の処理を行うプログラムを構成する
ためには、一般に２以上の翻訳単位のプログラム間の規
約に従ういわゆるインタフェースが必要であり、そのイ
ンタフェースによってプログラム間で所要のパラメータ
を授受し、又は共通領域を設けて情報を交換する。

このインタフェースについては、当然情報の送り側と受
は側のプログラムにおける整合が必要であり、その整合
性をチェックする方法として、例えば原始プログラムを
解析してチェックするチェック専用ツールを設ける方法
があるが、このようなツールはコンパイラと同様なプロ
グラミング言語の解析能力が必要になるので、各言語ご
とにツールが必要になり、且つ利用者には必要な原始プ
ログラムを揃えてチェック処理のみを実行する手数が要
求される等の問題がある。

このために別の方法として、コンパイラがオブジェクト
プログラムに、インタフェースの整合性をチェックする
命令コードを用意し、プログラムの実行時に例えばパラ
メータのデータを受は取る側で、データの個数、属性、
長さ等のチ、Ｚ７グを実行するようにする方法もあるが
、この場合には実行時にチェックのための処理時間及び
メモリ領域のオーバヘッドが加わる問題がある。

本発明は、それらの問題を解決して、プログラム作成者
に特別の手数を要求せず、且つ効率よ（プログラム間の
インタフェースの整合性をチエ・ツクするインタフェー
スチェック処理方法を目的とする。

〔課題を解決するための手段〕

第１図は、本発明の構成を示す処理の流れ閏である。

図はコンパイラ及びリンカの処理の流れを示し、ｌ及び
２は原始プログラムからオブジェクトプログラムを生成
するコンパイラの処理ステップ、３及び４はそのオブジ
ェクトプログラムについて結合編集を行うリンカの処理
ステップである。

〔作　用〕

計算機において、コンパイラは処理ステップ１で原始プ
ログラムからオブジェクトプログラムを生成し、処理ス
テップ２で該原始プログラムで定義する外部名及び参照
実る外部名に対応して、該外部名によって呼出が行われ
る場合に授受するように該原始プログラムに定義されて
いるパラメータ及び該外部名の共通域の各データの属性
及び長さを示す所定形式のチェック情報を生成して、該
オブジェクトプログラムに付加する。

リンカは処理ステップ３で複数の該オブジェクトプログ
ラムについて所定の結合編集を行い、処理ステップ４で
、異なるオブジェクトプログラムに保持する同一の外部
名についてのチェック情報間の所定の整合性を検査する
。

以上の処理方法により、プログラム作成者に特別の手数
を要求せず、且つコンパイラ及びリンカの機能を利用し
て実行時のオーバヘッド増加等無しに、効率よくプログ
ラム間のインタフェースのチェックを行うことができる
。

〔実施例〕

例えばＣ０ＢＯＬ言語で記述された原始プログラムを処
理するコンパイラは、第１図の処理ステップ１で従来と
同様に翻訳処理を実行して、原始プログラムからオブジ
ェクトプログラムを生成するが、その際にオブジェクト
プログラムの付加情報における各外部名の情報として、
チェック情報を設定する領域を設けておく。

次に処理ステップ２において、原始プログラムでプログ
ラム間の参照のために設けられる各外部名について次の
通りチェック情報を生成して付加情報に設定する。

チェック情報を生成する外部名は、■ＣＡＬＬ文による
呼び出し先外部名、■自身のプログラム名である外部名
、及び■共通領域として宣言される外部名があり、ＣＡ
ＬＬ文については、その文でパラメータとしてＵＳＩＮ
Ｇにより指定されている各変数の属性及び長さを、宣言
文を解釈して識別し、呼び出し先として指定されている
外部名のチェック情報とする。チェック情報は例えばパ
ラメータのデータの個数に続いて、所定の形式で各デー
タの属性と長さを示す情報を、ＣＡＬＬ文に指定されて
いる順に並べた形式とする。

又、前記のようにＰＲＯＧＲＡＭ−ＩＤで指定される自
身のプログラム名である外部名については、その原始プ
ログラムノＰＲＯＣＥＤＵＲＥ　ＤＩＶＩＳｒＯＮのＵ
Ｓ４ＮＧで指定されているパラメータについて、前記と
同様に宣言文を参照してチェック情報を、生成する。

共通領域はそれを使用する各プログラムで、宣言文によ
って定義され、公知のように例えば０１　Ｅ　ＰＩＣＸ
（１００）　ＥＸＴＥＲＮＡＬ。

の形式で、で英字１００桁の文字列の領域を外部名がＥ
の共通領域とすることが指定されるので、宣言文に指定
されているデータの属性、長さから、その外部名のチェ
ック情報を生成する。

リンカは以上のように外部名のチェック情報を持つオブ
ジェクトプログラムについて、処理ステップ３で従来の
ように結合編集処理を行ってロードモジュールを生成し
た後、処理ステップ４ですべてのオブジェクトプログラ
ムの付加情報にある、同一の外部名のチェック情報につ
いての次のような照合処理を、例えば一つの外部名のチ
ェック情報と同一外部名の他のすべてのチェック情報と
を順次照合する方法で、すべての外部名のチェック情報
について行う。

各照合では、２つのチェック情報について、個数及び各
属性と長さの情報を、チェック情報に配列された順序に
照合し、不一致が検出された場合には、例えばプログラ
ムＸから外部名Ｙの呼び出しの場合として、 ［Ｘ＝＋Ｙでパラメータのデータ属性に一致しないもの
がありますｊ というような警告メツセージを出力する。

第２図は第３図と同様の原始プログラムの例により、以
上の処理方法による処理を説明する図であり、本発明の
コンパイラが原始プログラムＡ、Ｂを各翻訳単位として
個別に処理し、従来と同様に、それぞれオブジェクトＡ
及びＢとして示す構成のオブジェクトプログラムを生成
する。こ＼でテキストは従来と全く同様であるが、付加
情報の外部名の情報には、従来と同様の各外部名等の情
報に加えて、図示のように次のようなチェック情報を追
加して設定する。

即ち、オブジェクトＡでは、外部名Ｂについてパラメー
タのデータが変数Ｄ１とＤ２の２個であり、宣言文に指
定される属性と長さを存するので、チェック情報を例え
ばｒ２，９９．ＸＸ　Ｊのように設定する。又、オブジ
ェクトＢについても同様にして、外部名Ｂのチェック情
報にはｒ３．９９．Ｘ、ＸＪが設定される。

次に本発明のリンカの結合編集処理では、従来のように
オブジェクトプログラムのテキストＡとＢをつないで、
未解決のアドレスの処理等を行った後、外部名のチェッ
ク情報の照合処理を行うと、オブジェクＩ−ＡとＢにあ
る同一の外部名Ｂについて、チェック情報を照合すると
、最初の個数の比較で不一致を検出するので、ｒＡ−＞
Ｂでパラメータの個数が一致しません」というような警
告メツセージを出力する。

以上の処理方法により、プログラム作成者は、従来と同
様のプログラムの翻訳及び結合編集操作を行うことによ
り、自動的にプログラム間のインタフェース不整合の警
告を受けることができ、必要な処置を容易にとることが
できる。

このためのツールとして、各種プログラミング言語のコ
ンパイラには、本来の翻訳処理機能を利用して以上で述
べた外部名ごとのパラメータ等を抽出して、チェック情
報として設定する機能を追加し、又共通のリンカには、
チェック情報の照合処理機能を追加すればよく、対象プ
ログラムの実行時には何の影響も生じない。

〔発明の効果〕

以上の説明から明らかなように本発明によれば、計算機
における、プログラム間のインタフェース条件のチェッ
クが、プログラム作成者に特別の手数を要求せず、又実
行時のオーバヘッド増加等をもたらすこと無く効率よく
処理され、プログラム開発の生産性を向上するという著
しい工業的効果がある。

【図面の簡単な説明】

第１図は本発明の構成を示す処理の流れ図、第２図は本
発明の詳細な説明図、 第３図は従来の処理例の説明図、 第４図は計算機システムの構成例ブロック図である。 図において、 １〜４は処理ステップ、ｌＯは処理装置、１１はコンパ
イラ、　　　　１２は原始プログラム、１３はオブジェ
クトプログラム、 １４はリンカ、　　　　　　１５はロードモジュール、
１６はコンソール 本発明の構成を示す処理の流れ図 第１図 本発明の詳細な説明図 第２図 従来の処理例の説明図 計算機システムの構成例ブロック間 第 図

Claims (1)

【特許請求の範囲】
1. 計算機の原始プログラムからオブジェクトプログラムを
   生成する（１）場合に、該原始プログラムで定義する外
   部名及び参照する外部名に対応して、該外部名によって
   呼出が行われる場合に授受するように該原始プログラム
   に定義されているパラメータ及び該外部名の共通域の各
   データの属性及び長さを示す所定形式のチェック情報を
   生成して、該オブジェクトプログラムに付加し（２）、
   複数の該オブジェクトプログラムについて所定の結合編
   集を行う（３）場合に、異なる該オブジェクトプログラ
   ムに保持する同一の該外部名についての該チェック情報
   間の所定の整合性を検査する（４）ように構成されてい
   ることを特徴とするインタフェースチェック処理方法。