JPH0330030A - プログラム暴走検出方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概　要〕 計算機のプログラム暴走検出方法に関し、プログラムの
分岐先を示す登録表を持たずとも、暴走の開始後に最初
に実行する分岐命令の時点で暴走を検出し暴走の継続を
防止するプログラム暴走検出方法の提供を目的とし、 プログラムの先頭に、次に特定分岐命令を実行するアド
レスをレジスタにセットするレジスタセット命令を追加
し、 プログラムの中の無条件分岐命令には、次の特定分岐命
令を実行するアドレスを該レジスタ（１）にセットする
命令を追加した特定分岐命令とし、プログラムの中の条
件分岐命令には、条件を満足する場合の次の特定分岐命
令を実行するアドレスを該レジスタにセットする命令と
、条件を満足しない場合の、次の特定分岐命令を実行す
るアドレスを該レジスタにセットする命令を追加した特
定分岐命令とし、 ハードウエアとしては、該レジスタセット命令，該特定
分岐命令を検出すると特定分岐命令制御回路に渡す特定
分岐命令検出回路と、該レジスタセット命令を受信する
と、次の特定分岐命令を実行するアドレスを該レジスタ
にセットし、該特定分岐命令を受信すると、現在行って
いる命令のアドレスを示すプログラムカウンタ（以下Ｐ
Ｃと称す）の値と、該レジスタにセットされた値とを比
較し、一敗すれば、次に実行する特定分岐命令のアドレ
スを該レジスタにセットし、実行し、一致しなければ、
該特定分岐命令を無効としてプログラム暴走とする該特
定分岐命令制御回路を設けた構戒とする。

（産業上の利用分野） 本発明は、計算機のプログラム暴走検出方法の改良に関
する。

（従来の技術） 第４図は従来例のプログラム暴走検出に用いる登録表を
示す図である。

プログラム暴走検出方法としては、ウオッチドグタイマ
のタイムアウトによりプログラムの渋滞を検出する如き
、プログラムが暴走した後で検出する方法があるが、こ
れでは、メモリ内容の破壊や外部に対して誤出力を発生
する恐れがある。

そこでプログラム暴走を、その開始時点で捕捉し暴走の
継続を防止するプログラム暴走検出方法が、昭和５９年
４月２８日公開，特開昭５９−７５３４８号の計算機の
異常検出方法およびその装置に示されている。

これは、命令がシーケンシャルに実行することを確認す
る機能と、 例えば、第４図（Ａ）に示す如く、アドレスｌ２０では
、アドレス５４０に分岐し、アドレス５４２ではアドレ
ス１１８に分岐するプログラムの場合は、（Ｂ）に示す
如く分岐元と分岐先を示す登録表をメモリに登録してお
き、命令がシーケンシャルでな《実行されようとした場
合に、分岐先が登録しているかどうかを監視する機能を
設け、不正な命令実行順序の変化点（暴走）の開始時点
を検出する方法である。

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

しかしながら、上記従来のプログラム暴走検出方法では
、プログラムの分岐先を示す登録表をメモリに登録しな
ければならない問題点がある。

本発明は、プログラムの分岐先を示す登録表を持たすと
も暴走の開始後に最初に実行する分岐命令の時点で暴走
を検出し暴走の継続を防止するプログラム暴走検出方法
の提供を目的としている。

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

第１図は本発明の原理ブロック図である。

第１図に示す如く、プログラムの先頭に、次に特定分岐
命令を実行するアドレスをレジスタ１にセットするレジ
スタセット命令を追加し、プログラムの中の無条件分岐
命令には、次の特定分岐命令を実行するアドレスを該レ
ジスタｌにセットする命令を追加した特定分岐命令とし
、プログラムの中の条件分岐命令には、条件を満足する
場合の次の特定分岐命令を実行するアドレスを該レジス
タ１にセットする命令と、条件を満足しない場合の次の
特定分岐命令を実行するアドレスを該レジスタｌにセッ
トする命令を追加した特定分岐命令とする。

又ハードウエアとしては、該レジスタセット命令，該特
定分岐命令を検出すると特定分岐命令制御回路３に渡す
特定分岐命令検出回路２と、該レジスタセット命令を受
信すると、次の特定分岐命令を実行するアドレスを該レ
ジスタｌにセットし、該特定分岐命令を受信すると、現
在行っている命令のアドレスを示すＰＣ４の値と、該レ
ジスタＩにセットされた値とを比較し、一致すれば、次
に実行する特定分岐命令のアドレスを該レジスタ１にセ
ットし、実行し、 一致しなければ、該特定分岐命令を無効としてプログラ
ム暴走とする該特定分岐命令制御回路３を設ける。

〔作　用〕

本発明では、プログラムの先頭には、レジスタセット命
令を追加し、プログラムの分岐命令を特定分岐命令とし
てあり、又ハードウエアとしては、特定分岐命令検出回
路２と特定分岐命令制御回路３が設けてある。

そして、まずレジスタセット命令のアドレスにて、特定
分岐命令検出回路２はこれを検出し、特定分岐命令制御
回路３に送り、レジスタ１に、次に特定分岐命令を実行
するアドレスａをセットする。

プログラムを実行中アドレスがａとなると、特定分岐命
令検出回路２は特定分岐命令を検出し、特定分岐命令制
御回路３に送り、特定分岐命令制御回路３では、現在実
行している命令のアドレスを示すＰＣ４の値と、該レジ
スタ１にセットされた値とを比較し、一致すれば、次に
実行する特定分岐命令のアドレスｂを該レジスタ１にセ
ットし、実行し、一致しなければ、該特定分岐命令を無
効としてプログラム暴走とする。

暴走でなく、アドレスｂとなると、上記と同じく、特定
分岐命令検出回路２は特定分岐命令を検出し、特定分岐
命令制御回路３に送り、特定分岐命令制御回路３では、
現在実行している命令のアドレスを示すＰＣ４の値と、
該レジスタ１にセットされた値とを比較し、一致すれば
、次に実行する特定分岐命令のアドレスＣを該レジスタ
ｌにセットし、実行し、一致しなければ、該特定分岐命
令を無効としてプログラム暴走とする。

即ち、分岐先を示す登録表を持たなくとも、プログラム
の暴走開始後に最初に実行する分岐命令の時点で暴走を
検出し、継続を阻止することが出来る。

〔実施例〕

第２図は本発明の実施例の計算機の要部のブロック図、
第３図は本発明の実施例のプログラムを示す図である。

第３図のアドレス５０に示す如く、プログラムの先頭に
次に特定分岐命令を実行するアドレス１２４をレジスタ
ｌにセットするレジスタセット命令を追加する。

又第３図のアドレス１２４に示す如く、アドレス１２２
でＸとｙとを比較し、アドレス１２４でｘ＞ｙの条件を
満足すればアドレス１４０に分岐し、満足しない場合は
次のアドレス１２８に進む条件分岐命令の時は、条件を
満足すればレジスタ１に次に特定分岐命令を実行するア
ドレス１５０をセットする命令を、条件を満足しなけれ
ば、アドレス１２８を経た次に特定分岐命令を実行する
アドレス１３０をレジスタ１にセットする命令を追加し
た特定分岐命令とする。

又第３図のアドレス１３０，１５０に示す如く、分岐命
令の時は、次に特定分岐命令を実行するアドレス１５０
，６００をレジスタ１にセットする命令を追加して特定
分岐命令とする。

そこで、上記のプログラムを第２図のメモリ５より読み
出し、命令解読回路６に入力するが、命令解読回路６内
の特定分岐命令検出回路２では、アドレス５０にてレジ
スタセット命令を、アドレス１２４，１３０，１５０，
６００では特定分岐命令を検出し、特定分岐命令制御回
路３に渡す。

特定分岐命令制御回路３では、レジスタセソト命令を受
信すると、次に特定分岐命令を実行するアドレス１２４
をレジスタｌにセットする。

次にアドレス１２４にて特定分岐命令を受信すると、現
在実行している命令のアドレス（正常であれば１２４）
を示すＰＣ４の値と、レジスタ１にセットされた１２４
と比較し、一致すれば次に実行する特定分岐命令のアド
レスをレジスタ１にセットし、実行する。

このアドレス１２４は条件分岐命令であるので、条件を
満足すれば、アドレス１４０に進むので、次に特定分岐
命令を実行するアドレス１５０をレジスタ１にセットし
、条件を満足しなければ、アドレス１２８に進むので、
次に特定分岐命令を実行するアドレス１３０をレジスタ
ｌにセットする．一致しなければ、特定分岐命令を無効
とし、プログラム暴走として異常信号を出力する。

条件を満足し、アドレス１４０に進み、特定分岐命令の
アドレス１５０にくると、特定分岐命令制御回路３では
、現在実行している命令のアドレス（正常であれば１５
０）を示すＰＣ４の値と、レジスタｌにセットされた１
５０と比較し、一致すれば次に実行する特定分岐命令の
アドレス６００をレジスタ１にセットし、実行する．一
致しなければ、特定分岐命令を無効とし、プログラム暴
走として異常信号を出力する。

特定分岐命令のアドレス６００にくると又上記の動作を
行う。

このようにすれば、分岐先を示す登録表を持たなくとも
、プログラム暴走開始後に最初に実行する分岐命令の時
点で暴走を検出し、継続を防止することが出来る。

〔発明の効果〕

以上詳細に説明せる如く本発明によれば、分岐先を示す
登録表を持たなくとも、プログラム暴走開始後に最初に
実行する分岐命令の時点で暴走を検出し、暴走継続を防
止することが出来る効果がある。

【図面の簡単な説明】

第１図は本発明の原理ブロック図、 第２図は本発明の実施例の計算機の要部のブロック図、 第３図は本発明の実施例のプログラムを示す図、第４図
は従来例のプログラム暴走検出に用いる登録表を示す図
である。 図において、 ｌはレジスタ、 ２は特定分岐命令検出回路、 ３は特定分岐命令制御回路、 ４はプログラムカウンタ、 ５はメモリ、 ６は命令解読回路を示す。 ネ鞭ａＦ４ｔ＞賀砲伊１の７ログラムｔ示ず図′ｌｆＪ
　　旧 −１６８一

Claims (1)

1. 【特許請求の範囲】 　計算機のプログラム暴走を検出するに際し、プログラ
   ムの先頭に、次の特定分岐命令を実行するアドレスをレ
   ジスタ（１）にセットするレジスタセット命令を追加し
   、 プログラムの中の無条件分岐命令には、次の特定分岐命
   令を実行するアドレスを該レジスタ（１）にセットする
   命令を追加した特定分岐命令とし、プログラムの中の条
   件分岐命令には、条件を満足する場合の次の特定分岐命
   令を実行するアドレスを該レジスタ（１）にセットする
   命令と、条件を満足しない場合の次の特定分岐命令を実
   行するアドレスを該レジスタ（１）にセットする命令を
   追加した特定分岐命令とし、 ハードウェアとしては、該レジスタセット命令、該特定
   分岐命令を検出すると特定分岐命令制御回路（３）に渡
   す特定分岐命令検出回路（２）と、該レジスタセット命
   令を受信すると、次の特定分岐命令を実行するアドレス
   を該レジスタ（１）にセットし、該特定分岐命令を受信
   すると、現在行っている命令のアドレスを示すプログラ
   ムカウンタ（４）の値と、該レジスタ（１）にセットさ
   れた値とを比較し、一致すれば、次に実行する特定分岐
   命令のアドレスを該レジスタ（１）にセットし、実行し
   、 一致しなければ、該特定分岐命令を無効としてプログラ
   ム暴走とする該特定分岐命令制御回路（３）を設けたこ
   とを特徴とするプログラム暴走検出方法。