JPH0764800A - オブジェクトプログラム生成方法 - Google Patents

Abstract

(57)【要約】 【目的】フレーム領域に手続きの識別子を自動設定する
ことにより、スタックの内容の判別を容易にする。 【構成】ソースプログラム１の手続きPROC_Aのオブジェ
クトプログラムを作成する。このとき、手続きPROC_Aを
実行する場合に、スタック領域３の内に作成されるフレ
ーム領域３２内に識別子３２１を設定するよう、コンパ
イラが自動的に手続きPROC_Aの識別名２１５１を定数領
域２１５と、フレーム領域生成時に識別子を設定する命
令を、命令領域２１２に設定する。 【効果】フレーム領域に手続きの識別子が自動的に設定
されることにより、スタック方式を用いて実行するプロ
グラムのデバック効率が向上する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、高級言語のコンパイラ
の実行の際、目的プログラムの実行において、（１）手
続きの実行においてフレーム領域を利用するもの、
（２）テーブルがメモリ領域を取るもの、のプログラム
のデバック効率の向上に関する。

【０００２】

【従来の技術】

（１）従来、PASCALや、Cなどの手続きを呼び出しプロ
グラムを実行する方式の高級言語に対して、プログラム
の記憶管理方式は、情報処理２４巻４号（1983年）第４
４２頁から第４４７頁において記載されているように、
手続きの実行時にフレームと呼ばれる記憶領域を、スタ
ックと呼ばれる動的記憶領域に割り当てる方式が用いら
れてきていた。以降、この方式をスタック方式と呼ぶ。

【０００３】スタック方式は、後入れ先出し方式であ
り、手続きの呼び出しがある度に、スタック内にフレー
ム領域が作成され、手続きの実行が終了すると、その手
続きのフレーム領域を解放する。

【０００４】この方式を用いたプログラムのデバックを
行うとき、スタック領域の情報を調べる必要がある場合
が存在する。スタックに作成されているフレームがどの
手続きのものであるのかを調査する場合、又は、ソース
プログラム上の特定の手続きのフレームを探しだす場
合、フレーム領域に設定されている制御情報の戻り先の
アドレスを順番に辿って得る情報と、ソースプログラム
より目的の手続きが呼び出される順番の回数を基にデバ
ックを行っていた。

【０００５】しかし、この方式では、目的の手続き又
は、フレーム領域を見つけるまでの時間がかかる。

【０００６】また、このような方法でデバックを行うの
を回避する方法として、手続き内の変数の実体の領域が
フレーム領域に設定されることを利用して、プログラマ
がプログラムをコーディングするとき、スタックの内容
を示す変数を作り、その変数に手続きを示す文字列を代
入する文を記述する方法がある。

【０００７】なお、フレーム領域を利用したプログラム
のトレース方式の関連としては、マクロ呼び出しのトレ
ース方式（特開昭６３−２４４１４１号公報）がある。

【０００８】（２）従来、メモリ上のテーブルの内容を
調べる方式として、テーブルの先頭に、テーブルの名前
を表すフィールドをテーブルの一部の領域として取って
おき、テーブルの領域が作成されたとき、このフィール
ドに名前を代入する文をプログラム上に記述する方法が
ある。

【０００９】

【発明が解決しようとする課題】

（１）上記従来技術の情報処理２４巻４号（1983年）第
４４２頁から第４４７頁において記載されている方式で
は、デバックの方法の点について配慮がされておらず、
スタックの内容を調査するときに、目的の手続きのスタ
ック内のフレーム領域の場所及び、調査中のスタックの
場所にあるフレーム領域の手続きの判別に時間がかかる
という問題があった。

【００１０】上記従来技術の手続きに手続きを示す文字
列を代入する変数を用いる方式では、デバックの方法が
プログラムをコーディングする段階で決まるため、デバ
ック時に必要と考えた場合、コーディングからやり直す
為、効率が悪いという問題がある。また、全ての手続き
にあらかじめこの方式のコーディングを行うと、プログ
ラマに負担がかかるという問題があった。

【００１１】マクロ呼び出しのトレース方式（特開昭６
３−２４４１４１）では、マクロが実行時に呼び出され
ているかの判別は、スタック上のフレーム領域がどの手
続き（関数）に対応するかの判別が行われていなけれ
ば、デバックが出来ないものであり、この中では、どの
ようにスタック内のフレーム領域と手続き（関数）を対
応させるのかが判らないという、問題があった。

【００１２】本発明の目的は、フレーム領域に手続きの
識別子をプログラマの負担を減らすため自動設定するこ
とにより、スタック方式を用いて実行するプログラムの
デバック効率が向上することにある。

【００１３】（２）上記従来技術のでは、全てのテーブ
ルにあらかじめこの方式のコーディングを行うと、プロ
グラマに負担がかかることや、せっかくテーブル内にフ
ィールドを設けても名前を設定するコーディングを忘れ
るという問題があった。

【００１４】本発明の目的は、テーブルの領域作成時に
テーブルの識別子領域を自動作成することを行い、この
領域にテーブルの識別子を自動設定することにより、プ
ログラムのデバック効率が向上することにある。

【００１５】

【課題を解決するための手段】

（１）上記目的は、スタック方式を用いて実行するプロ
グラムのオブジェクトを生成するコンパイラに、手続き
のフレーム領域が作成されるオブジェクトが実行された
後、このフレーム領域の特定の場所に手続きの識別子を
設定するオブジェクトを作成する機能を追加し、プログ
ラムのデバックの時、フレーム領域内に手続きの識別子
を探索することにより達成される。

【００１６】（２）上記目的は、コンパイラに、テーブ
ルとテーブルの識別子の領域を同時に作成し、作成され
た領域にこのテーブルの識別子を設定するオブジェクト
を生成する機能を追加し、デバックの時、テーブルの識
別子を探索することにより達成される。

【００１７】

【作用】

（１）プログラムが実行されるとき、コンパイラが作成
したオブジェクトに従って、フレーム領域に手続きの識
別子が設定される。このことにより、プログラムをデバ
ックする場合のスタックの内容の調査は、手続きの識別
子で探索することにより、目的の手続きのスタック内の
フレーム領域の場所及び、調査中のスタックの場所にあ
るフレーム領域の手続きの判別が容易にできる。

【００１８】（２）プログラムが実行されるとき、コン
パイラが作成したオブジェクトに従って、テーブルとテ
ーブルの識別子を合わせた領域にテーブルの識別子が設
定される。このことにより、プログラマがテーブルの領
域内にテーブルの識別子のフィールドを作成しテーブル
名を設定しなくても、テーブルの内容の判別が容易にで
きる。

【００１９】

【実施例】以下本発明の一実施例について図面を用いて
説明する。

【００２０】図１は本実施例の動作環境について説明す
る図である。プログラム１は、ソースプログラムに手続
きPROC_Aをもつプログラムである。ソース１１は手続き
PROC_Aのコーディングを示し、ソース１１１は手続きPR
OC_Aの機能のコーディングを示し、ソース１１１１は手
続きPROC_Bを呼び出している文を示す。ソース１２は手
続きPROC_Cのコーディングを示し、ソース１２１は、手
続きPROC_Aを呼び出している文を示す。

【００２１】オブジェクトプログラム２は、プログラム
１からコンパイラが出力するコード領域である。コード
領域２１はソース１１の命令領域である。コード領域２
１１は、手続きPROC_Aのフレーム領域の生成の命令領域
を示す。コード領域２１３は、ソース１１１の命令領域
を示す。コード領域２１４は、手続きPROC_Aのフレーム
領域の解放の命令領域を示す。コード領域２１５は手続
きPROC_Aの定数領域を示す。定数領域内の定数２１５１
は、手続きPROC_Aの識別名である。コード領域２１２
は、定数領域２１５内の手続きの識別名を示す定数２１
５１をフレーム領域の特定の場所へ転送する命令が設定
される領域である。

【００２２】スタック領域３は、オブジェクトプログラ
ム２が実行時に作成するスタック領域である。フレーム
領域３１は手続きPROC_Cのフレーム領域を示す。フレー
ム領域３２は手続きPROC_Aのフレーム領域を示す。フレ
ーム領域３３は手続きPROC_Bのフレーム領域を示す。こ
こでフレーム領域とは、手続きの引数及び内部変数を格
納するとともにコンパイラによって作成され作業用に使
用される領域である。初めに、スタック領域３にはフレ
ーム領域３１、フレーム領域３２、フレーム領域３３の
いずれも存在しない。プログラム内で手続きPROC_Cが呼
び出されたとき、フレーム領域３１が作成され、手続き
PROC_Cからソース１２１で手続きPROC_Aが呼び出された
とき、フレーム領域３２が作成され、手続きPROC_Aから
ソース１１１１で手続きPROC_Bが呼び出されたとき、フ
レーム領域３３が作成される。手続きPROC_Cのフレーム
領域３１内の識別子３１１は、このフレームが手続きPR
OC_Cのフレームであることを表す識別子である。手続き
PROC_Aのフレーム領域３２内の識別子３２１は、このフ
レームが手続きPROC_Aのフレームであることを表す識別
子である。手続きPROC_Bのフレーム領域３３内の識別子
３３１は、このフレームが手続きPROC_Bのフレームであ
ることを表す識別子である。

【００２３】識別子３２１は、コード領域２１の実行中
に、フレーム領域３２がスタック領域３に生成された
後、コード領域２１５の定数２１５１をフレーム領域３
２の特定の場所へ転送する命令により、フレーム領域３
２の内に識別子３２１を設定する。

【００２４】図２にコンパイラの構成図を示す。ソース
プログラム１をコンパイラ４でコンパイルする。その
際、構文解析部４１でプログラムに記述されている手続
きPROC_Aを解析するときに手続きの名前「PROC_A」の記
憶しておく。コード領域生成部４２で、記憶しておいた
「PROC_A」の名前を手続きPROC_Aの定数部に設定し、こ
の定数PROC_Aを手続きPROC_Aが実行されるとき作成され
るフレーム領域内に転送する命令を生成し、図１の形式
のオブジェクトプログラム２を出力する。

【００２５】本実施例によれば、スタック内のフレーム
がどの手続きに所属するものか、目的の手続きのスタッ
ク内のフレーム領域の場所を、手続きの識別子で探索す
ることにより、容易に判別ができる。

【００２６】また、図３のように、手続きPROC_Cの識別
子５１１を変数ciの領域５１２、変数cjの領域５１３な
どの直前に取り、手続きPROC_Aの識別子５２１を変数ai
の領域５２２、変数ajの領域５２３などの直前に取る。
このようにフレーム領域の識別子を、変数領域の直前に
取ることにより、フレーム領域内の変数領域の場所を容
易に見つけることができる。

【００２７】以下本発明の他の実地例について図面を用
いて説明する。

【００２８】図４は本実施例の動作環境について説明す
る。プログラム６は、テーブルをメモリ上に取るプログ
ラムである。ソース６１は手続きPROC_Bのコーディング
を示し、ソース６１１は、構造を持つ型b_recを表す宣
言のコーディングを示す。ソース６１２は、b_recの構
造を持つテーブルへのポインタ変数brを表す宣言のコー
ディングを示し、ソース６１３は、手続きPROC_Bの機能
のコーディングを示す。ソース６１３１は、型b_recの
構造を持つ領域を取るコーディングを示す。

【００２９】オブジェクトプログラム７は、プログラム
６からコンパイラが出力するコード領域である。コード
領域７１は、ソース６１の命令領域を示す。コード領域
７１１は、ソース６１３の命令領域を示す。コード領域
７１１１は、テーブルとテーブルの識別子の領域を取る
命令を示し、コード領域７１１２は、識別子の領域に定
数領域の識別子を設定する命令が設定される領域であ
る。コード領域７１２は、手続きPROC_Bの定数領域を示
し、定数領域内の定数７１２１は、テーブルbrの識別子
を示す。

【００３０】メモリ領域８は、テーブルとテーブルの識
別子の領域が取られる領域である。メモリ領域８１は、
テーブルbrとテーブルbrの識別子を合わせた領域を示
し、メメモリ領域８１１は、テーブルbrの識別子の領域
を示す。メモリ領域８１２は、テーブルbrのfild1の値
を持つ領域を示す。メモリ領域８１３は、テーブルbrの
fild2の値を持つ領域を示す。

【００３１】命令７１１１が実行された後で、命令７１
１２により、テーブルbrの識別子がメモリ領域８１１に
設定される。

【００３２】図５にコンパイラの構成図を示す。ソース
プログラム６をコンパイラ９でコンパイルする。その
際、構文解析部９１でプログラムに記述されている手続
きPROC_Bを解析するときにテーブルの名前「br」を記憶
しておく。コード領域生成部９２で、記憶しておいたの
名前「br」を手続きPROC_Bの定数部に設定し、テーブル
brとテーブルbrの識別子の領域を同時に取る命令、この
定数「br」をテーブルとテーブルの識別子を合わせた領
域内に転送する命令を生成し、図４形式のオブジェクト
プログラム８を出力する。

【００３３】本実施例によれば、テーブルの内容をテー
ブルの識別子で探索することにより、容易に解析するこ
とができる。また、プログラマのプログラミングの自由
度を増すために、本機能をコンパイル時のオプションで
指定して行う方式がある。

【００３４】

【発明の効果】

（１）本発明によれば、プログラムのデバックのとき、
スタックの状態を調べるとき、自動的に設定される手続
きのフレームの識別子により、目的の手続きのスタック
内のフレーム領域の場所及び、調査中のスタックの場所
にあるフレーム領域の手続きの判別が容易にできるの
で、デバックの効率が向上する効果がある。

【００３５】（２）本発明によれば、プログラムのデバ
ックのとき、テーブルの内容を調べるとき、自動的に設
定されるテーブルの識別子により、テーブルの内容の判
別が容易にできるので、デバックの効率が向上する効果
がある。

【図面の簡単な説明】

【図１】本発明の動作環境１。

【図２】コンパイラの処理１。

【図３】フレーム領域の識別子の位置。

【図４】本発明の動作環境２。

【図５】コンパイラの処理２。

【符号の説明】

１…スタック方式のソースプログラムに手続きPROC_Aを
もつプログラム、 １１…手続きPROC_Aのコーディング、 １１１…手続きPROC_Aの機能のコーディング、 １１１１…手続きPROC_Bを呼び出す文、 １２…手続きPROC_Cのコーディング、 １２１…手続きPROC_Aを呼び出す文、 ２…プログラム１からコンパイラが出力するコード領
域、 ２１…ソース１１の命令領域、 ２１１…手続きPROC_Aのフレーム領域の生成の命令領
域、 ２１２…フレーム領域に識別子を設定する命令が設定さ
れる領域、 ２１３…ソース１１１の命令領域、 ２１４…手続きPROC_Aのフレーム領域の解放の命令領
域、 ２１５…手続きPROC_Aの定数領域、 ２１５１…手続きPROC_Aの識別名、 ２２…ソース１２の命令領域、 ３…スタック領域、 ３１…手続きPROC_Cのフレーム領域、 ３１１…手続きPROC_Cの識別子、 ３２…手続きPROC_Aのフレーム領域、 ３２１…手続きPROC_Aの識別子、 ３３…手続きPROC_Bのフレーム領域、 ３３１…手続きPROC_Bの識別子、 ４…コンパイラ、 ４１…構文解析部、 ４２…コード生成部、 ５…スタック領域、 ５１…手続きPROC_Cのフレーム領域、 ５１１…手続きPROC_Cの識別子、 ５１２…変数ciの領域、 ５１３…変数cjの領域、 ５２…手続きPROC_Aのフレーム領域、 ５２１…手続きPROC_Aの識別子、 ５２２…変数aiの領域、 ５２３…変数ajの領域、 ５３…手続きPROC_Bのフレーム領域、 ５３１…手続きPROC_Bの識別子、 ６…テーブルをメモリ上に取るプログラム、 ６１…手続きPROC_Bのコーディング、 ６１１…構造を持つ型b_recを表す宣言のコーディン
グ、 ６１２…b_recの構造を持つ領域を示す変数brを表す宣
言のコーディング 、 ６１３…手続きPROC_Bの機能のコーディング、 ６１３１…型b_recの構造を持つ領域を取るコーディン
グ ７…コンパイラが出力するコード領域、 ７１…ソース６１の命令領域、 ７１１…ソース６１３の命令領域、 ７１１１…テーブルbrとテーブルbrの識別子の領域を取
る命令、 ７１１２…定数7121をメモリ領域に設定する命令、 ７１２…手続きPROC_Bの定数領域、 ７１２１…テーブルbrの識別子、 ８…テーブルとテーブルの識別子の領域が取られる領
域、 ８１…テーブルbrとテーブルbrの識別子の領域、 ８１１…テーブルbrの識別子の領域、 ８１２…テーブルbrのfild1の値を持つ領域、 ８１３…テーブルbrのfild2の値を持つ領域、 ９…コンパイラ、 ９１…構文解析部、 ９２…コード領域生成部。

Claims (1)

【特許請求の範囲】
1. 【請求項１】高級言語で記述されたプログラムの手続き
   が、プログラムを実行する際、手続きの引数、内部変
   数、及び、コンパイラが作成する作業用の変数が使用す
   る領域と、この領域を制御するための情報を持つ領域を
   合わせ持った、フレームと呼ばれる領域を使用するオブ
   ジェクトを出力するコンパイラにおいて、フレームがス
   タック領域に割付けられる度に、フレーム内部に自動的
   に識別子を設定するオブジェクトを出力することを特徴
   とするオブジェクトプログラム生成方法。