JPH01214934A - プログラムの間接再帰呼出し検出方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はプログラムの間接再帰呼出し検出方式に関し、
特にプログラムの再帰呼出しが禁止されているデータ処
理システムにおけるプログラムの間接再帰呼出し検出方
式に関する。

〔従来の技術〕

従来、プログラムの再帰呼出しが禁止されているデータ
処理システムにおいてプログラムの再帰呼出しの検出を
行うプログラムの再帰呼出し検出方式は、プログラムの
翻訳時にプログラムの直接再帰呼出しく特定のプログラ
ム内で行われる当該特定のプログラムの呼出し）を検出
しエラー診断（プログラムの構造にエラーがあることを
プログラム作成者等に通知しプログラムの修正を促すこ
と）を行うだけであった。

プログラムの間接再帰呼出しく特定のプログラムにより
呼び出された他のプログラム内で行われる当該特定のプ
ログラムの呼出し）については、あるプログラムの翻訳
時には他のプログラムの状態が分からないために上述の
プログラムの再帰呼出し検出方式では検出することがで
きなかった（翻訳されたプログラムが実行可能プログラ
ムの１つの構成ルーチンとして実行される際にもプログ
ラムの間接再帰呼出しを検出して対処することはできな
かった）。

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

上述した従来のプログラムの再帰呼出し検出方式では、
プログラムの翻訳時にプログラムの直接再帰呼出しを検
出してエラー診断を行うだけで、プログラムの間接再帰
呼出しの検出については翻訳時および実行時を通じて行
うことができないので、プログラム作成者が誤って間接
再帰呼出しを行うプログラムを作成した場合にはそのプ
ログラムを構成ルーチンとする実行可能プログラムの実
行時に無限ループに陥ってしまうという欠点がある。

本発明の目的は、上述の点に鑑み、間接再帰呼出しを行
うプログラムの実行時にその間接再帰呼出しを検出し、
間接再帰呼出しを行うそのプログラムを構成ルーチンと
する実行可能プログラムの実行時に無限ループに陥るこ
とを防止するプログラムの再帰呼出し検出方式（プログ
ラムの間接再帰呼出し検出方式）を提供することにある
。

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

本発明のプログラムの間接再帰呼出し検出方式は、プロ
グラムの再帰呼出しが禁止されておりプログラム割込み
命令を有するデータ処理システムにおいて、メモリへの
プログラムのロード時にこのプログラム内の戻りアドレ
ス退避領域を上値で初期化する上値初期化手段と、プロ
グラム入口点において前記戻りアドレス退避領域の内容
が上値であるか否かを識別する前記プログラム内の上値
識別手段と、この上値識別手段によ乞識別で前記戻りア
ドレス退避領域の内容が上値ではない場合にプログラム
割込み命令を実行して前記プログラムを異常終了させる
前記プログラム内の割込み命令実行手段と、前記上値識
別手段による識別で前記戻りアドレス退避領域の内容が
上値である場合に呼出し側プログラムから渡された呼出
し側プログラムへの戻りアドレスを前記戻りアドレス退
避領域に格納する前記プログラム内の戻りアドレス格納
手段と、前記プログラムにおける所定の処理の実行後に
前記戻りアドレス退避領域の内容を前記プログラム内の
一時アドレス退避領域に複写する前記プログラム内のア
ドレス領域複写手段と、このアドレス領域複写手段によ
る複写処理で前記戻りアドレス退避領域の内容を前記一
時アドレス退避領域に格納した後に前記戻りアドレス退
避領域に上値を設定する前記プログラム内の上値設定手
段と、前記一時アドレス退Ｍ領域に格納されている呼出
し側プログラム中の戻りアドレスへの分岐を行う前記プ
ログラム内の戻りアドレス分岐手段とを有する。

〔作用〕

本発明のプログラムの間接再帰呼出し検出方式では、上
値初期化手段がメモリへのプログラムのロード時にプロ
グラム内の戻りアドレス退避領域を上値で初期化し、プ
ログラム内の上値識別手段がプログラム入口点において
戻りアドレス退避領域の内容が上値であるか否かを識別
し、プログラム内の割込み命令実行手段が上値識別手段
による識別で戻りアドレス退避領域の内容が上値ではな
い場合にプログラム割込み命令を実行してプログラムを
異常終了させ、プログラム内の戻りアドレス格納手段が
上値識別手段による識別で戻りアドレス退避領域の内容
が上値である場合に呼出し側プログラムから渡された呼
出し側プログラムへの戻りアドレスを戻りアドレス退避
領域に格納し、プログラム内のアドレス領域複写手段が
プログラムにおける所定の処理の実行後に戻りアドレス
退避領域の内容をプログラム内の一時アドレス退避領域
に複写し、プログラム内の上値設定手段がアドレス領域
複写手段による複写処理で戻りアドレス退避領域の内容
を一時アドレス退避領域に格納した後に戻りアドレス退
避領域に上値を設定し、プログラム内の戻りアドレス分
岐手段が一時アドレス退避領域に格納されている呼出し
側プログラム中の戻りアドレスへの分岐を行う。

〔実施例〕

次に、本発明について図面を参照して説明する。

第１図は、本発明のプログラムの間接再帰呼出し検出方
式の一実施例の構成を示すブロック図である。本実施例
のプログラムの間接再帰呼出し検出方式は、戻りアドレ
ス１と、上値識別手段２と、戻りアドレス格納手段３と
、割込み命令実行手段４と、プログラム処理手段５と、
アドレス領域複写手段６と、上値設定手段７と、戻りア
ドレス分岐手段８と、戻りアドレス退避領域９と、一時
アドレス退避領域１０と、プログラム入口点１１と、プ
ログラム終了点１２と、上値初期化手段１３とを含んで
構成されている。

第１図中の２〜１２の符号で示される構成要素は、翻訳
処理および連係編集処理を経て生成された実行可能プロ
グラム（図示せず）の構成ルーチンの１つであるプログ
ラム１００に含まれている（プログラム１００の翻訳時
に生成される）。

次に、このように構成された本実施例のプログラムの間
接再帰呼出し検出方式の動作について説明する。

本実施例のプログラムの間接再帰呼出し検出方式が適用
されるデータ処理システムにおけるプログラム１００の
メモリ　（図示せず）へのロード時には、戻りアドレス
退避領域９が上値（いずれのアドレ、スも指示しない値
。例えば、ＮＵＬＬ値）となるようにＯ３（Ｏｐｅｒａ
ｔｉｎｇ　　Ｓｙｓｔｅｍ、図示せず）等で実現される
上値初期化手段１３によって初期化される。

このようにしてメモリにロードされたプログラム１００
の呼出し側プログラム（図示せず。実行可能プログラム
を構成する他のプログラムやＯ３）からの呼出しは、戻
りアドレス１　（プログラム１００の所定の処理が終了
したときに復帰する呼出し側プログラム中のアドレス）
を伴−たプログラム入口点１１の呼出しにより行われる
。

プログラム入口点１１においては、上値識別手段２が起
動される。

上値識別手段２では、戻りアドレス退避領域９の内容が
上値であるか否かが識別される。

この識別で戻りアドレス退避領域９の内容が上値である
場合には、戻りアドレス格納手段３が起動される。

戻りアドレス格納手段３では、プログラム入口点工１が
呼び出されたと−きに渡された戻りアドレス１が戻りア
ドレス退避領域９に格納される。

次に、プログラム処理手段５に制御が渡され、所定の処
理が実行され、その実行後にアドレス領域複写手段６が
起動される。

アドレス領域複写手段６では、戻りアドレス退避領域９
の内容が一時アドレス退避領域１ｏに複写されて格納さ
れる。

次に、上値設定手段７が起動され、戻りアドレス退避領
域９に上値が設定される。

さらに、戻りアドレス分岐手段８が起動され、一時アド
レス退避領域１０に格納されている戻りアドレス１が取
り出され、呼出し側プログラム中の戻りアドレスｌへの
分岐（復帰）が行ゎる。

上値識別手段２における戻りアドレス退避領域９の内容
が上値であるが否かの識別において戻りアドレス退避領
域９の内容が上値ではない場合（プログラム処理手段５
における所定の処理が終了して上値設定手段７により上
値の設定が行われる前にプログラム処理手段５による他
のプログラムの呼出しを介して当該他のプログラムから
再びプログラム１００の呼出しく間接再帰呼出し）が行
われたために戻りアドレス退避領域９の内容が上値では
ない状態となっている。なお、直接再帰呼出しについて
はプログラム１００の翻訳時にエラー診断が行われてい
るので、発生する再帰呼出しは間接再帰呼出しのみであ
る）には、プログラム１００の間接再帰呼出しが行われ
たものと判定され、割込み命令実行手段４が起動される
。

割込み命令実行手段４では、プログラム終了点１２に制
御が移されてプログラム１００め異常終了（この異常終
了により、プログラム１００や呼出し側プログラム（Ｏ
３を除く）を構成ルーチンとする実行可能プログラム全
体の実行が終了する）が行われる。これにより、プログ
ラム１００を構成ルーチンとする実行可能プログラムが
無限ループに陥ることが回避される。

〔発明の効果〕

以上説明したように本発明は、プログラムの再帰呼出し
が禁止されているデータ処理システムにおいてプログラ
ムの間接再帰呼出しの検出をプログラムの実行時に可能
とすることにより、プログラムの間接再帰呼出しを行う
プログラムを実行してもそのプログラムを構成ルーチン
とする実行可能プログラムが無限ループに陥ることを防
止できるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の構成を示すブロック図であ
る。 図において、 １・・・戻りアドレス、 ２・・・上値識別手段、 ３・・・戻りアドレス格納手段、 ４・・・割込み命令実行手段、 ５・・・プログラム処理手段、 ６・・・アドレス領域複写手段、 ７・・・上値設定手段、 ８・・・戻りアドレス分岐手段、 ９・・・戻りアドレス退避領域、 １０・・・一時アドレス退避領域、 １１・・・プログラム入口点、 １２・・・プログラム終了点、 １３・・・上値初期化手段、 １００　　・・プログラムである。

Claims (1)

1. 【特許請求の範囲】 プログラムの再帰呼出しが禁止されておりプログラム割
   込み命令を有するデータ処理システムにおいて、 メモリへのプログラムのロード時にこのプログラム内の
   戻りアドレス退避領域を空値で初期化する空値初期化手
   段と、 プログラム入口点において前記戻りアドレス退避領域の
   内容が空値であるか否かを識別する前記プログラム内の
   空値識別手段と、 この空値識別手段による識別で前記戻りアドレス退避領
   域の内容が空値ではない場合にプログラム割込み命令を
   実行して前記プログラムを異常終了させる前記プログラ
   ム内の割込み命令実行手段と、 前記空値識別手段による識別で前記戻りアドレス退避領
   域の内容が空値である場合に呼出し側プログラムから渡
   された呼出し側プログラムへの戻りアドレスを前記戻り
   アドレス退避領域に格納する前記プログラム内の戻りア
   ドレス格納手段と、前記プログラムにおける所定の処理
   の実行後に前記戻りアドレス退避領域の内容を前記プロ
   グラム内の一時アドレス退避領域に複写する前記プログ
   ラム内のアドレス領域複写手段と、 このアドレス領域複写手段による複写処理で前記戻りア
   ドレス退避領域の内容を前記一時アドレス退避領域に格
   納した後に前記戻りアドレス退避領域に空値を設定する
   前記プログラム内の空値設定手段と、 前記一時アドレス退避領域に格納されている呼出し側プ
   ログラム中の戻りアドレスへの分岐を行う前記プログラ
   ム内の戻りアドレス分岐手段と、を有することを特徴と
   するプログラムの間接再帰呼出し検出方式。