JPS6280739A - 関数型情報処理装置のデバツグ制御方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概要〕 関数型言語によるプログラムのデバッグにおいて、任意
の関数位置で実行を停止させあるいは再開させるため、
特定関数のフレームを指定し、その実行、再開を制御で
きるようにする。

〔産業上の利用分野〕

本発明は、ＬＩＳＰ等の関数型言語プログラムの処理を
行う情報処理装置に関するものであり。

特にマイクロプログラムを用いて関数処理を実行する情
報処理装置におけるデバッグ制御方式に関する。

〔従来の技術〕

ＬＩＳＰ等の関数型言語を用いて記述されたプログラム
を処理するのに適するように構成された情報処理装置と
して、各関数をインタプリタ形式でマイクロプログラム
により実行する方式、のちのがある。

関数型言語プログラムでは、ある関数の処理に゛おいて
、さらに他の関数を呼び出すことができる。

一般に、これらはスタック上に関数フレームを設けて管
理される。

第３図に、関数Ｆ＋（Ｆｚ）を処理する場合のスタック
の状態を示す。図中、３０はスタック。

３０１および３０２は関数Ｆ１およびＦｔのフレーム。

３１はフレームポインタである。

関数Ｆ、はその処理のために、さらに関数Ｆ。

の処理を必要とする。そのため、スタック３０上に関数
Ｆ、の処理のために、フレーム３０１を獲得し１次に関
数Ｆｚの処理のためにフレーム３０２を獲得する。関数
Ｆ、の処理が終了したとき、結果を関数Ｆ＋に引き渡し
て、関数Ｆ：の関数フレームを解放する方法がとられる
。

このような関数の呼び出し関係（あるいはリスト構造）
は任意多重のレベルで設定されることができる。

スタック３０上に設けられる関数フレームのアドレスは
、フレームポインタ３１によって指定される。フレーム
ポインタ３１には、実行段階にある関数フレームのアド
レスが設定される。

このような情報処理装置において、関数型言語のプログ
ラムをデバッグする場合、任意の関数位置を指定して実
行を停止あるいは実行を再開できることが望ましい。

従来の情報処理装置では、マイクロプログラムが格納さ
れている制御記憶（Ｃ３）に対してアドレスを指定し、
そのアドレス位置で実行を停止させるアドレスコンベア
ストップ機能が設けられている。しかし、インタプリタ
がマイクロプログラム化されている場合、どのＬＩＳＰ
関数を実行するときも同一のマイクロ命令が起動される
ため。

これを用いて途中にある特定関数の実行を任意に制御す
ることは容易ではなかった。

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

従来の情報処理装置には、関数型言語を用いたプログラ
ムのデバッグを能率的に行わせるための適切な機能がそ
なえられていないため、プログラム開発に際して、デバ
ッグ作業のための時間が長くなり、また大きな労力負担
を強いられていた。

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

本発明は、ＬＩＳＰ等の関数型言語をスタック上にフレ
ーム展開して処理する際、フレームを特定する関数を表
すデータを利用して、高級言語レベルでの処理の中断、
再開を可能にするものである。

第１図に９本発明の原理的構成を示す。図において、ｌ
は中央処理装置、１０はスタック、１１はフレームポイ
ンタ、１２は比較部、　１０１．１０２は関数Ｆ　ｌｌ
−１＊　　Ｆｌｌのフレームを表す。

スタック１０には、処理すべき一連の関数のフレームが
展開されており、フレームポインタ１１には、スタック
１０の先頭のフレーム１０２のアドレスが設定されてい
る。

比較部１２の一方の入力には、デバッグ時に。

実行を停止したい関数のデータが与えられ、また他方の
入力には、スタック１０の実行段階にある先頭のフレー
ム１０２から読み出される関数（図示の例ではＦ、）の
データが与えられる。

比較部１２は、２つの入力データが一致したとき停止信
号を出力する。これにより、中央処理装置ｌはプログラ
ムの実行を停止、すなわち処理を中断する。

〔作用〕

本発明によれば、関数型言語を用いたプログラムのデバ
ッグ時に、任意の関数を指定することにより、走行中の
プログラムを任意の位置で停止させ、さらにはその位置
から再開させることができ。

高級言語レベルでのデバッグ制御を可能にする。

〔実施例〕

第２図に本発明の１実施例の構成を示す。図中。

１は中央処理装置（ＣＰＵ）、２はサービスプロセッサ
（ＳＶＰ）、１０はスタック、１１はフレームポインタ
、１２は比較部、１３は関数データ指定レジスタ、１４
は制御部を表す。

デバッグ時に、サービスプロセッサ（ＳＶＰ）２は、デ
バッグ操作用の監視装置として使用される。中央処理装
置（ＣＰＵ）１は、サービスプロセッサ（ＳＶＰ）２か
らの操作信号により動作を制御され、所定の状態信号お
よびデータをサービスプロセッサ（ＳＶＰ）２に出力す
る。

なお、中央処理装置（ＣＰＵ）１内に示されている構成
は、簡単化のため、デバッグ時に本発明に関連する要素
のみを取り出して示してあり２通常動作時に必要となる
部分は、全て省略しである。

関数データ指定レジスタ１３には、サービスプロセッサ
（ＳＶＰ）２から、実行を停止させたいすなわち処理を
中断したい関数のデータが設定される。

制御部１４は、マイクロプログラムにより動作する制御
機構であり、スタック１０．フレームポインタ１１．比
較部１２の動作は、制御部１４からの制御に基づいて行
われる。

デバッグ処理中、オペレータは、ある特定の関数位置で
処理を中断したい場合、関数データ指定レジスタ１３に
、停止位置の関数を示すデータを設定し、同時に制御部
１４をフレームポインタ停止モードに設定する。

制御部１４は、フレームポインタ停止モードを設定され
たとき、スタック１０に展開されている各フレームの関
数の処理状態を監視する。すなわち、フレームポインタ
１１の値が変化する度に。

フレームポインタ１１によって指示されるフレーム内の
関数のデータを読み出し、これを比較部１２により、関
数データ指定レジスタ１３に設定されている関数データ
と比較させる。そして一致が得られたとき、５ＴＯＰ信
号をサービスプロセッサ（ＳＶＰ）２に発信し、処理を
中断させる制御を行わせるものである。

これにより、関数データ指定レジスタ１３に予め設定さ
れている関数データと一致する関数を含むスタックｌＯ
内の最初のフレームにおいて、関数の実行は停止される
。

〔発明の効果〕

本発明によれば、関数を用いた高級言語レベルでのデバ
ッグ制御を直接的に行うことができるため、効率のよい
デバッグ環境が実現される。

【図面の簡単な説明】

第１図は本発明の原理的構成図、第２図は本発明の１実
施例の構成図、第３図は関数型言語のプログラム処理に
用いられるスタックの説明図である。 第１図中。 １：中央処理装置（ＣＰＵ） １０ニスタツク １１：フレームポインタ １２：比較部

Claims (1)

1. 【特許請求の範囲】 関数型言語を用いたプログラムを処理するため、スタッ
   ク上に関数のフレームを展開し、マイクロプログラム制
   御により実行する関数型情報処理装置において、 スタック（１０）上の関数のフレームの関数に対応する
   データと、予め指定した特定の関数の関数に対応するデ
   ータとを比較する比較部（１２）を設け、 特定の関数の実行時に上記比較部（１２）が一致を検出
   することに応じて、処理の中断あるいは再開を可能にす
   ることを特徴とする関数型情報処理装置のデバッグ制御
   方式。