JPS59154557A - プログラム暴走検出方法 - Google Patents
プログラム暴走検出方法Info
- Publication number
- JPS59154557A JPS59154557A JP58029720A JP2972083A JPS59154557A JP S59154557 A JPS59154557 A JP S59154557A JP 58029720 A JP58029720 A JP 58029720A JP 2972083 A JP2972083 A JP 2972083A JP S59154557 A JPS59154557 A JP S59154557A
- Authority
- JP
- Japan
- Prior art keywords
- program
- address
- executed
- return
- counter
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/004—Error avoidance
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Executing Machine-Instructions (AREA)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔発明の技術分野〕
本発明ケよす゛ブルーヂンフログラｌ、を含む各種プロ
グラムを実行する情報処理装置に好適するプログラム暴
走検出方式に関する。
グラムを実行する情報処理装置に好適するプログラム暴
走検出方式に関する。
この種の情報処理装置では、ザブルーチンプログラムを
呼ぶ場合、ＣＡＬＬ文（ＣＡＩＪ、命令）が用いられる
のが一般的である。第１図はメインプログラムＰｌ中の
ＣＡＬＬ文でサブルーチンプログラムＰ２を呼び、当該
プログラムＰ２中のＣＡＬＬ 文でサブルーチングログ
ラムＰ３を呼び、当該プログラムＰ３中のＣＡＬＬ文で
サブルーチングログラムＰ４を呼び、当該プログラムＰ
４中のＣＡＬＬ 文でサブルーチンプログラムＰ５を呼
ぶプログラム例を示したものである。周知のようにＣＡ
ＬＬ文の実行時にはその戻υ番地が戻り先スタックに記
憶（退避）される。この戻り先スタックは通常メモリで
構成され、カウンタによりアドレスが指定される。第２
図（ａ）〜（ｅ）は戻り先スタックの内容とカウンタの
示す−アビ１／スとを第１図に対応させて示したもので
ある。図中、１１は戻り先スタック、１２はカウンタで
ある。
呼ぶ場合、ＣＡＬＬ文（ＣＡＩＪ、命令）が用いられる
のが一般的である。第１図はメインプログラムＰｌ中の
ＣＡＬＬ文でサブルーチンプログラムＰ２を呼び、当該
プログラムＰ２中のＣＡＬＬ 文でサブルーチングログ
ラムＰ３を呼び、当該プログラムＰ３中のＣＡＬＬ文で
サブルーチングログラムＰ４を呼び、当該プログラムＰ
４中のＣＡＬＬ 文でサブルーチンプログラムＰ５を呼
ぶプログラム例を示したものである。周知のようにＣＡ
ＬＬ文の実行時にはその戻υ番地が戻り先スタックに記
憶（退避）される。この戻り先スタックは通常メモリで
構成され、カウンタによりアドレスが指定される。第２
図（ａ）〜（ｅ）は戻り先スタックの内容とカウンタの
示す−アビ１／スとを第１図に対応させて示したもので
ある。図中、１１は戻り先スタック、１２はカウンタで
ある。
この例では、戻り先スタック１１は２２（＝４）ワード
のメモリであり、カウンタＩ２ば２ビツトの２進カウン
タである。第２図（ａ）はメインノログラムＰＩ中のＣ
ＡＬＬ文を実行する前の戻り先スタック１１およびカウ
ンタ１２の状態を示すもので、戻り先スタック１１には
有効々戻り番地は記憶さ一！１ておらず、カウンタ１２
は戻り先スタ、り１１のアドレス″００”を指足してい
る。しかしてメインプログラムＰＩの番地ＡでＣＡＬＬ
文が実行されると、戻り先スタック１１のアトｌメス”
ＯＯ“には戻り番地Ａ＋１が記憶（退避）され、カウ
ンタ１２は＋１さｈる。同様にしてサブルーチンプログ
ラムＰ２゜Ｐ、？、Ｐ４が順に呼び出されて最後にザブ
ルーチングログラムＰ５が呼び出された時点では、戻り
先スタック１１およびカウンタ１２は第２図（、）に示
さえ１−る如き状態となる。すなわち、戻り先スタック
１１のアドレス“００″にはＰ２からＰｌへの戻シ番地
Ａ＋１が、同じくアドレス“’０１’にはＰ３がらＰ２
への戻り番地Ｂ＋１が、同じくアドレス″１０″にはＰ
ｌからＰ３への戻り番地Ｃ＋１が、同じくアドレス”１
１”にはＰ５からＰｌへの戻り番地Ｄ＋１がそれぞれ記
憶されている。丑だ、カウンタ１２はアト１ノス゛００
”を示している。
のメモリであり、カウンタＩ２ば２ビツトの２進カウン
タである。第２図（ａ）はメインノログラムＰＩ中のＣ
ＡＬＬ文を実行する前の戻り先スタック１１およびカウ
ンタ１２の状態を示すもので、戻り先スタック１１には
有効々戻り番地は記憶さ一！１ておらず、カウンタ１２
は戻り先スタ、り１１のアドレス″００”を指足してい
る。しかしてメインプログラムＰＩの番地ＡでＣＡＬＬ
文が実行されると、戻り先スタック１１のアトｌメス”
ＯＯ“には戻り番地Ａ＋１が記憶（退避）され、カウ
ンタ１２は＋１さｈる。同様にしてサブルーチンプログ
ラムＰ２゜Ｐ、？、Ｐ４が順に呼び出されて最後にザブ
ルーチングログラムＰ５が呼び出された時点では、戻り
先スタック１１およびカウンタ１２は第２図（、）に示
さえ１−る如き状態となる。すなわち、戻り先スタック
１１のアドレス“００″にはＰ２からＰｌへの戻シ番地
Ａ＋１が、同じくアドレス“’０１’にはＰ３がらＰ２
への戻り番地Ｂ＋１が、同じくアドレス″１０″にはＰ
ｌからＰ３への戻り番地Ｃ＋１が、同じくアドレス”１
１”にはＰ５からＰｌへの戻り番地Ｄ＋１がそれぞれ記
憶されている。丑だ、カウンタ１２はアト１ノス゛００
”を示している。
そして、ザブルーチングログラムＰ５が走行シ、−やが
てＲＥＴ （ＲＥＴＵＲＮ ）命令が実行されるとカウ
ンタ１２が−１され、尚該カウンタ１２の示す戻シ先ス
タ、り１１のアドレス゛１１”に記憶されている戻り番
地Ｉ）＋１へ実行が移る。これによりザブルーチングロ
グラム、Ｐｌの番地Ｉ）１１以降の命令が逐次実行され
、ＲＥＴ命令によりサブルーチンプログラムＰ３の届池
Ｃ１−１に実行カ戻る。以下、同様にザブルーチングロ
グラムＰ３でＲＥＴ命令が実行されることによりサブル
ーチンプログラムＰ２の番地Ｂ −ｔ １に実行が戻り
、当該Ｐ２でＲＥＴ命令が実行されることによりメイン
ノログラムＰ１の番地Ａ←１に実行が戻る。
てＲＥＴ （ＲＥＴＵＲＮ ）命令が実行されるとカウ
ンタ１２が−１され、尚該カウンタ１２の示す戻シ先ス
タ、り１１のアドレス゛１１”に記憶されている戻り番
地Ｉ）＋１へ実行が移る。これによりザブルーチングロ
グラム、Ｐｌの番地Ｉ）１１以降の命令が逐次実行され
、ＲＥＴ命令によりサブルーチンプログラムＰ３の届池
Ｃ１−１に実行カ戻る。以下、同様にザブルーチングロ
グラムＰ３でＲＥＴ命令が実行されることによりサブル
ーチンプログラムＰ２の番地Ｂ −ｔ １に実行が戻り
、当該Ｐ２でＲＥＴ命令が実行されることによりメイン
ノログラムＰ１の番地Ａ←１に実行が戻る。
ところが、このような構成では、第３図に示されるよう
に例えばメイン！「１グラノ、Ｐ６の番地Ｆから何らか
の原因で（番地Ｆ＋−１に実行が移らずに）サブルーチ
ンプログラムＰ７の番地Ｇへ実行が移った場合、当該Ｐ
７のＲＥＴ命令が実行されることになり、次のような不
都合が生じる。すなわちＰｌのＲＥＴ命令が実行される
と、カウンタ（１２）が−１され、当該カウンタ（１２
）の示す戻り先スタック（１１）のアドレス１′１１”
に（Ｕき込まれている番地に実行が移るため、プログラ
ノ・が暴走してし捷うことである。そこで従来は、カウ
ンタ（１２）の内容が’ （１０’ ）８合に−１しよ
うとするとエラ、−になるようにしてノログラノ・の暴
走を防いでいた。［７がし、この方式には次に示す２つ
の欠点があるため問題でちった。
に例えばメイン！「１グラノ、Ｐ６の番地Ｆから何らか
の原因で（番地Ｆ＋−１に実行が移らずに）サブルーチ
ンプログラムＰ７の番地Ｇへ実行が移った場合、当該Ｐ
７のＲＥＴ命令が実行されることになり、次のような不
都合が生じる。すなわちＰｌのＲＥＴ命令が実行される
と、カウンタ（１２）が−１され、当該カウンタ（１２
）の示す戻り先スタック（１１）のアドレス１′１１”
に（Ｕき込まれている番地に実行が移るため、プログラ
ノ・が暴走してし捷うことである。そこで従来は、カウ
ンタ（１２）の内容が’ （１０’ ）８合に−１しよ
うとするとエラ、−になるようにしてノログラノ・の暴
走を防いでいた。［７がし、この方式には次に示す２つ
の欠点があるため問題でちった。
■ ハードウェア溺が増大し、高価格となる。
■ ＣＡＩル文を何回か重ねて使用し２て第２図（、）
に示さね、る如き状態になると、ＲＥＴ命令を実行した
ときにエラーとなってし、まりので、戻り先スタ、りを
ｍワードのメモリで構成した場合でもＣＡＬＬ文ｔよｒ
ｎ−１回（第２図の例でしょ３Ｎ）寸でしか重複できな
い。
に示さね、る如き状態になると、ＲＥＴ命令を実行した
ときにエラーとなってし、まりので、戻り先スタ、りを
ｍワードのメモリで構成した場合でもＣＡＬＬ文ｔよｒ
ｎ−１回（第２図の例でしょ３Ｎ）寸でしか重複できな
い。
本発明はト記事情に鑑みてなされたものでその目的は１
．ＦＩらかの原因で誤ってプログラムが分岐し、ＲＥＴ
命令が余分に実行された場合に、その旨をバー ドウエ
アを迫加することなく効率よく検出することができ、も
ってプログラムの暴走が防止できるプログラム暴走検出
方式を提供することにある。
．ＦＩらかの原因で誤ってプログラムが分岐し、ＲＥＴ
命令が余分に実行された場合に、その旨をバー ドウエ
アを迫加することなく効率よく検出することができ、も
ってプログラムの暴走が防止できるプログラム暴走検出
方式を提供することにある。
本発明は、プログラムの任意のチ、ｒ、、クアＩ？イン
ドで１つ以上のＣＡＬＬ命令を実行し、戻り先スタック
に所定のエラー処理ルー＝ブンヘジャンプさせるべく７
０ログラムされた番地を１１き込んでおくことにより、
その後圧実行されるノログラムの途中で何らかの原因に
よゆ成るサーブルーチンプログラムの成る番地に誤って
実行が移り、ＲＥＴ命令が実行された際に、ｌ−記エラ
ー処理ルーチンに飛ぶようにしたものである。
ドで１つ以上のＣＡＬＬ命令を実行し、戻り先スタック
に所定のエラー処理ルー＝ブンヘジャンプさせるべく７
０ログラムされた番地を１１き込んでおくことにより、
その後圧実行されるノログラムの途中で何らかの原因に
よゆ成るサーブルーチンプログラムの成る番地に誤って
実行が移り、ＲＥＴ命令が実行された際に、ｌ−記エラ
ー処理ルーチンに飛ぶようにしたものである。
μ丁、本発明の一実施例を１面を参照して説明する。な
お、第１図と同一部分には同−杓号をイー１して詳細な
説明を省略する。第４図は本発明一実施例で適用さノす
るプログラム構成を示すもので、Ｐ８はゾログラムの覗
るチｆ、 ７クポイント（例えば電源をオンしまたとき
、割込み復帰のトキ、サブルーチンプログラムのＲＥＴ
命令を実行してメインプログラムに復帰したときなど
）で実行されるプログラムである。このプログラムＰ８
は、図示ぎぬ主メモリの番地Ｉから始する領域に格納さ
れており、番地Ｉに実行ずべきメインプログラム９を呼
び出すＣＡＬＬ文を、番地１＋１以降にエラー処理ルー
ヂンを有している。
お、第１図と同一部分には同−杓号をイー１して詳細な
説明を省略する。第４図は本発明一実施例で適用さノす
るプログラム構成を示すもので、Ｐ８はゾログラムの覗
るチｆ、 ７クポイント（例えば電源をオンしまたとき
、割込み復帰のトキ、サブルーチンプログラムのＲＥＴ
命令を実行してメインプログラムに復帰したときなど
）で実行されるプログラムである。このプログラムＰ８
は、図示ぎぬ主メモリの番地Ｉから始する領域に格納さ
れており、番地Ｉに実行ずべきメインプログラム９を呼
び出すＣＡＬＬ文を、番地１＋１以降にエラー処理ルー
ヂンを有している。
このエラー処理ルーチンはエラー情報を出力してプログ
ラム実行を停止するようにプログラノ・された舵のであ
る。メインゾログラムＰ９はＣＡ ＬＬ文を含んでおり
、当該ＣＡＴ、Ｌ文が実行されることによりザブルーチ
ンプログラムＰＩＯが呼び出されるようになっている。
ラム実行を停止するようにプログラノ・された舵のであ
る。メインゾログラムＰ９はＣＡ ＬＬ文を含んでおり
、当該ＣＡＴ、Ｌ文が実行されることによりザブルーチ
ンプログラムＰＩＯが呼び出されるようになっている。
今、ゾログラムの成るヂエ、クポイントでプログラムＰ
８のＣＡＬＬ文が実行されたものとする。
８のＣＡＬＬ文が実行されたものとする。
これにより、第２図（ａ）に示される如き状態にあっノ
こ戻り先スタック１ノおよびカウンタ１２の内容は第５
図に示される状態となる。ずなわち、カウンタ１２の示
す戻り先スタック１１のアドレス゛ＯＯ”に戻り番地■
→−１が記憶（退避）され、カウンタ１２は→−１され
てその内容が” ｆ）ｌ ”となる。そして、メインプ
ログラムＰ９が呼び出され、当該Ｐ９が実行される。
こ戻り先スタック１ノおよびカウンタ１２の内容は第５
図に示される状態となる。ずなわち、カウンタ１２の示
す戻り先スタック１１のアドレス゛ＯＯ”に戻り番地■
→−１が記憶（退避）され、カウンタ１２は→−１され
てその内容が” ｆ）ｌ ”となる。そして、メインプ
ログラムＰ９が呼び出され、当該Ｐ９が実行される。
この状態で、何らかの原因により第６図に示されるよう
にメインプログラムＰ９の番地Ｊから誤ってサブルーチ
ンプログラムＰ１０の番地Ｋに実行が移ったものとする
。やがてザブルーチンプログラムＰ１θ中のＲＥＴ命令
が実行さｈると、カウンタ１２が−１され、当庄亥カウ
ンタ１２の示す戻り先スタ、り１１のアドレス″ＯＯ″
に記憶されている戻り番地Ｉ→−１が取り出される。し
かしてプログラムＰ８の番地１＋１以降のエラー処理ル
ーチンが実行され、これによりエラー情報が出力されプ
ログラム実行が停ｔ’ｒ、される。
にメインプログラムＰ９の番地Ｊから誤ってサブルーチ
ンプログラムＰ１０の番地Ｋに実行が移ったものとする
。やがてザブルーチンプログラムＰ１θ中のＲＥＴ命令
が実行さｈると、カウンタ１２が−１され、当庄亥カウ
ンタ１２の示す戻り先スタ、り１１のアドレス″ＯＯ″
に記憶されている戻り番地Ｉ→−１が取り出される。し
かしてプログラムＰ８の番地１＋１以降のエラー処理ル
ーチンが実行され、これによりエラー情報が出力されプ
ログラム実行が停ｔ’ｒ、される。
次に本発明の他の実施例を第７図乃至第９図を参照［７
て説明する。第７図はプログラム構成例を示すもので、
ｐＨは前述したエラー処理ルーチンと同様のデログラノ
、である。このプログラムｐＨは図示せぬ主メモリの番
地Ｘから始まる領域に格納されている。Ｐ１２〜ＰＩ５
はゾログラムの成るヂエックポイントで実行されるゾロ
グラム、ＰＩ３はメインプログラム、ＰＩ７はサブルー
チンプログラムである。各プログラムＰ１２〜ｐ１６は
それぞれプログラムＰ１．７〜ｐｉ ７ｆ呼び出すだめ
のＣＡＬＬ文を含んでいる。
て説明する。第７図はプログラム構成例を示すもので、
ｐＨは前述したエラー処理ルーチンと同様のデログラノ
、である。このプログラムｐＨは図示せぬ主メモリの番
地Ｘから始まる領域に格納されている。Ｐ１２〜ＰＩ５
はゾログラムの成るヂエックポイントで実行されるゾロ
グラム、ＰＩ３はメインプログラム、ＰＩ７はサブルー
チンプログラムである。各プログラムＰ１２〜ｐ１６は
それぞれプログラムＰ１．７〜ｐｉ ７ｆ呼び出すだめ
のＣＡＬＬ文を含んでいる。
４実施例では、プログラムの成るチェック７Ｉｅインド
でまず）０ログラムＰ１２の番地ＰＯＣＡＬＬ文が実行
され、当該ＣＡＬＬ文によりプログラムＰ１３が呼び出
される。そして、プログラム構成例？の番地ＱＯＣＡＬ
Ｌ文が実行されることによりゾログラ、！、 Ｐ １４
が呼び出される。以下、同様にプログラムＰ１４の番地
ＲのＣＡＬＬ文が実行されることによりゾログラムｐ１
５が呼び出され、続いて当該プログラムＰＩ５の番地Ｓ
のＣＡＬＴ、文が実行されることによりメインゾログラ
ムＰ１６が呼び出される。第８図はこの時点における戻
り先スタック１１およびカウンタ１２の状態を示すもの
で、戻り先スタック１ノのアドレス″’００”、”０１
”、”１０”、 ” １１ ” にはそれぞれ戻り番
地Ｐ＋１．、Ｑ＋１ 、Ｒ＋１．、Ｓ＋１が記憶（退避
）されている。図示せぬ主メモリのこれらの番地Ｐ＋１
、 Ｑ＋１ 、 ｌＮ−１、Ｓ＋４には、第７図から
明らかなようにいずれも番地ＸへのＧＯＴＯ命令、すな
わち！ログラムＰｉｌへのＧＯ’ｒ（１命令が害き込１
れている。ま／こ、カウンタ１２の内容は”！１０ ”
となっている。
でまず）０ログラムＰ１２の番地ＰＯＣＡＬＬ文が実行
され、当該ＣＡＬＬ文によりプログラムＰ１３が呼び出
される。そして、プログラム構成例？の番地ＱＯＣＡＬ
Ｌ文が実行されることによりゾログラ、！、 Ｐ １４
が呼び出される。以下、同様にプログラムＰ１４の番地
ＲのＣＡＬＬ文が実行されることによりゾログラムｐ１
５が呼び出され、続いて当該プログラムＰＩ５の番地Ｓ
のＣＡＬＴ、文が実行されることによりメインゾログラ
ムＰ１６が呼び出される。第８図はこの時点における戻
り先スタック１１およびカウンタ１２の状態を示すもの
で、戻り先スタック１ノのアドレス″’００”、”０１
”、”１０”、 ” １１ ” にはそれぞれ戻り番
地Ｐ＋１．、Ｑ＋１ 、Ｒ＋１．、Ｓ＋１が記憶（退避
）されている。図示せぬ主メモリのこれらの番地Ｐ＋１
、 Ｑ＋１ 、 ｌＮ−１、Ｓ＋４には、第７図から
明らかなようにいずれも番地ＸへのＧＯＴＯ命令、すな
わち！ログラムＰｉｌへのＧＯ’ｒ（１命令が害き込１
れている。ま／こ、カウンタ１２の内容は”！１０ ”
となっている。
このような状態で、何らかの原因により第９図に示され
るようにメインプログラムＩ）１６の番地Ｙから誤って
サブルーヂン、７″１Ｊグラノ・ＰＩ３の番地Ｚに実行
が移ったものとする。やがて−リプルーチンフ０ログラ
ム中のＲＦ’：Ｔ命令が実行さノすると、カウンタ１２
が−１され、当該カウンタ１２の示す戻り先スタック１
１のアドレスパ１１”にｆｆ１−目意されている戻り番
地ｓ ＋１が取り出きれる。主メモリのＳ −＋−１番
地には番地ＸへのＧｏ ＴＯ’Ｑ令が格納されており、
肖該ＧＯＴＯ＠令が実ｉ丁さｉｌ、ることにょ９エラー
処理ルーチンであるノ０ログラノ、ｐＨに実行が移る。
るようにメインプログラムＩ）１６の番地Ｙから誤って
サブルーヂン、７″１Ｊグラノ・ＰＩ３の番地Ｚに実行
が移ったものとする。やがて−リプルーチンフ０ログラ
ム中のＲＦ’：Ｔ命令が実行さノすると、カウンタ１２
が−１され、当該カウンタ１２の示す戻り先スタック１
１のアドレスパ１１”にｆｆ１−目意されている戻り番
地ｓ ＋１が取り出きれる。主メモリのＳ −＋−１番
地には番地ＸへのＧｏ ＴＯ’Ｑ令が格納されており、
肖該ＧＯＴＯ＠令が実ｉ丁さｉｌ、ることにょ９エラー
処理ルーチンであるノ０ログラノ、ｐＨに実行が移る。
この結果エラー情１弔が出力きれプログラム実行が停止
される。
される。
ｔ／こ、本実施例では、上述の貌明刀）ら明らかなよう
にプログラムＰ１２〜Ｐ１５の各ＣＡＬＬ文の実行によ
シ戻シ先スタック１１の各アドレスに戻り番地Ｐ＋１
、Ｑ＋１．Ｒ＋１．Ｓ＋１を記憶しておき、ＲＥＴ命令
によりいずれが読み出されても番地ＸへのＧＯＴｏ命令
が実行されるようになっている・しだがって、（ｉ’Ｊ
らかの原因でカウンタノ２が故障して正常な動作をしな
くなった場合でも、余分なＲＥＴ命令が実行されると番
地ＸへのＧＯＴＯ命令によりグログラムＰ１１ＶＣ実行
が移る。
にプログラムＰ１２〜Ｐ１５の各ＣＡＬＬ文の実行によ
シ戻シ先スタック１１の各アドレスに戻り番地Ｐ＋１
、Ｑ＋１．Ｒ＋１．Ｓ＋１を記憶しておき、ＲＥＴ命令
によりいずれが読み出されても番地ＸへのＧＯＴｏ命令
が実行されるようになっている・しだがって、（ｉ’Ｊ
らかの原因でカウンタノ２が故障して正常な動作をしな
くなった場合でも、余分なＲＥＴ命令が実行されると番
地ＸへのＧＯＴＯ命令によりグログラムＰ１１ＶＣ実行
が移る。
ところで」二連の例では、サブルーチンＰ１７から別の
カブルーチンを呼ぶようにはなっていないが、第１図の
ように成るザブルーチンが別ノサフルーチンを呼び、当
該別のザブルーチンが更に別のサブルーチンを呼ぶ場合
などにおいても、プログラムＰ１２〜Ｐ １５の各ＣＡ
ＬＬ文の実行により戻り先スタック１２に記憶された戻
り番地（Ｐ＋Ｉ 、Ｑ＋１． Ｒ＋１．Ｓ＋１ ）の全
てが、その後のＣＡＬＬ文の重複により新たな戻り番地
に書き替えられない限、り、ＲＥＴ命令が余分に実行さ
れたことが検出できる。この場合、ＣＡＬＬ文の重複が
３回までのプログラムに対しては、ＲＥＴ命令が余分に
実行されたことが検出でき、プログラムの暴走を防止で
きる。また、本実施例では、ＣＡＬＬ文の重複が４回以
上ある場合にｔよ、プログラムの暴走の防止を図ること
は困難であるが、従来方式と異ってＣＡＬＬ文の重複回
数が制限されることはない。
カブルーチンを呼ぶようにはなっていないが、第１図の
ように成るザブルーチンが別ノサフルーチンを呼び、当
該別のザブルーチンが更に別のサブルーチンを呼ぶ場合
などにおいても、プログラムＰ１２〜Ｐ １５の各ＣＡ
ＬＬ文の実行により戻り先スタック１２に記憶された戻
り番地（Ｐ＋Ｉ 、Ｑ＋１． Ｒ＋１．Ｓ＋１ ）の全
てが、その後のＣＡＬＬ文の重複により新たな戻り番地
に書き替えられない限、り、ＲＥＴ命令が余分に実行さ
れたことが検出できる。この場合、ＣＡＬＬ文の重複が
３回までのプログラムに対しては、ＲＥＴ命令が余分に
実行されたことが検出でき、プログラムの暴走を防止で
きる。また、本実施例では、ＣＡＬＬ文の重複が４回以
上ある場合にｔよ、プログラムの暴走の防止を図ること
は困難であるが、従来方式と異ってＣＡＬＬ文の重複回
数が制限されることはない。
なお、前記実施例では、戻υ先スタ、りが４ワードのメ
モリで構成されているものとしだがこれに限るものでは
ない。壕だ、前記実施例ではＮ Ｉ ＣＡＬＬ命令、
或いは戻り先スタックのワード数（′アドレス数）と等
しい回数のＣＡＬＬ命令によシ、戻シ先スタックの１ア
ドレス位置、或いは全アドレス位１ａにエラー処理ルー
チンへジャンプさせるべくプログラムさｉまた番地を岩
き込むものとして説明したが、戻り先スタックのワード
数（アドレス数）をｍ（ｍは１以−Ｊ＝の整ドレス位１
終に、上述の番地を書き込むようにしてもよい。
モリで構成されているものとしだがこれに限るものでは
ない。壕だ、前記実施例ではＮ Ｉ ＣＡＬＬ命令、
或いは戻り先スタックのワード数（′アドレス数）と等
しい回数のＣＡＬＬ命令によシ、戻シ先スタックの１ア
ドレス位置、或いは全アドレス位１ａにエラー処理ルー
チンへジャンプさせるべくプログラムさｉまた番地を岩
き込むものとして説明したが、戻り先スタックのワード
数（アドレス数）をｍ（ｍは１以−Ｊ＝の整ドレス位１
終に、上述の番地を書き込むようにしてもよい。
１、Ｊ−Ｉ−Ｉ’＋）一連したように本発明によれば何
らかの原因でＲＥＴ命令が余分に実行されても、その旨
をハードウアアを追加することなく効率よく検出でき、
グログラムの暴走の防止が図れる。
らかの原因でＲＥＴ命令が余分に実行されても、その旨
をハードウアアを追加することなく効率よく検出でき、
グログラムの暴走の防止が図れる。
第１図はサブルーチンを含む一般的なゾログラノ・例を
示す図、第２図は戻り先スタックおよびカウンタの状態
の変化金第１図に対応させて示す図、第３１菌は７’
Ｈ−ｉグラムの異常分岐會示す図、第４図は本発明に係
るプログラム構成の一実施例を示す図、第５図はプログ
ラムのチェックポイントで第４図のプログラム構成によ
りＣＡＬＬ文が実行された際の戻り先スタｙりおよびカ
ウンタの状態を示す図、第６図は一ヒ記実施例における
プログラムの異常分岐を示す図、第７図は本発明の他の
実施例に係る！ログラム構成例を示す図、第８図は上記
他の実施例においてプログラムのチェックポイントで４
＋ｐｉ ＣＡＬＬ文が実行された際の戻り先スタック
およびカウンタの状態を示す図、第９図は上記他の実施
例におけるプログラムの異常分岐を／ｊｔす図である。 １１・・・カウンタ、１２・・・戻り先スタ、７り。 出願人代理人 弁理士 鈴 江 武 彦第１図 ）’１ 第２図 第３図 ６ 第４図 ） ９ 第５図 １１ ｌ 第６図 ） ９ 第７図 ■Ｉ １１ 第９図 Ｓ・
示す図、第２図は戻り先スタックおよびカウンタの状態
の変化金第１図に対応させて示す図、第３１菌は７’
Ｈ−ｉグラムの異常分岐會示す図、第４図は本発明に係
るプログラム構成の一実施例を示す図、第５図はプログ
ラムのチェックポイントで第４図のプログラム構成によ
りＣＡＬＬ文が実行された際の戻り先スタｙりおよびカ
ウンタの状態を示す図、第６図は一ヒ記実施例における
プログラムの異常分岐を示す図、第７図は本発明の他の
実施例に係る！ログラム構成例を示す図、第８図は上記
他の実施例においてプログラムのチェックポイントで４
＋ｐｉ ＣＡＬＬ文が実行された際の戻り先スタック
およびカウンタの状態を示す図、第９図は上記他の実施
例におけるプログラムの異常分岐を／ｊｔす図である。 １１・・・カウンタ、１２・・・戻り先スタ、７り。 出願人代理人 弁理士 鈴 江 武 彦第１図 ）’１ 第２図 第３図 ６ 第４図 ） ９ 第５図 １１ ｌ 第６図 ） ９ 第７図 ■Ｉ １１ 第９図 Ｓ・
Claims (2)
- （１） ７’ｏグラムの任、＠のチェックポイントで
１つ以上のＣＡＬＬ命令を実行し、戻り番地が格納され
る戻り先スタックに所定のエラー処理ルーヂンへジャン
プ０させるべくデログラノ、された番地を店き込むこと
を動機とするプログラム暴走検出方式。 - （２） 十１；ｆニスタックがｎ１ワードのメモリで
構成され、各メモリ番地がブイクリ、りに使用さハ。 るスタックであり、ｍ回のＣＡＬＬ命令により上記スタ
ックの各メモリ番地に上記エラー処理ルーチンへジャン
プさせるべくゾログラムされた番地を汀き込むことを特
徴とする特許請求の範囲第１項記載のプログラム暴走検
出方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP58029720A JPH0610793B2 (ja) | 1983-02-24 | 1983-02-24 | プログラム暴走検出方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP58029720A JPH0610793B2 (ja) | 1983-02-24 | 1983-02-24 | プログラム暴走検出方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS59154557A true JPS59154557A (ja) | 1984-09-03 |
| JPH0610793B2 JPH0610793B2 (ja) | 1994-02-09 |
Family
ID=12283938
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP58029720A Expired - Lifetime JPH0610793B2 (ja) | 1983-02-24 | 1983-02-24 | プログラム暴走検出方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0610793B2 (ja) |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS50138749A (ja) * | 1974-04-23 | 1975-11-05 | ||
| JPS54106142A (en) * | 1978-02-08 | 1979-08-20 | Nec Corp | Data processor |
-
1983
- 1983-02-24 JP JP58029720A patent/JPH0610793B2/ja not_active Expired - Lifetime
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS50138749A (ja) * | 1974-04-23 | 1975-11-05 | ||
| JPS54106142A (en) * | 1978-02-08 | 1979-08-20 | Nec Corp | Data processor |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0610793B2 (ja) | 1994-02-09 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| KR950006616B1 (ko) | 변환된 프로그램 코드에서 소스 명령 분자를 보전하기 위한 시스템 및 방법 | |
| JPS5960652A (ja) | デ−タ処理装置 | |
| JPH0283735A (ja) | 命令先取り装置 | |
| US5136698A (en) | Method for selective back-tracking in a hierarchical system containing a flag which indicates the validity of a choice-point | |
| JPS59154557A (ja) | プログラム暴走検出方法 | |
| JPH01201728A (ja) | プログラム修正方式 | |
| JPS63217433A (ja) | プログラム実行制御方式 | |
| JPH0954694A (ja) | パイプラインプロセッサおよびその処理方法 | |
| JPS60221829A (ja) | デ−タ処理装置 | |
| JPS59129995A (ja) | 記憶装置 | |
| JPS6083149A (ja) | コンピユ−タ | |
| JPS58181148A (ja) | Ｓ式入力方式 | |
| JPS60214043A (ja) | パイプライン制御回路 | |
| JPS58166454A (ja) | デ−タ処理装置 | |
| JPS6325372B2 (ja) | ||
| JPH03127171A (ja) | ベクトル処理装置 | |
| JPH0544687B2 (ja) | ||
| JPS59117606A (ja) | プログラマブルコントロ−ラ | |
| JPH1027153A (ja) | バス転送装置 | |
| JPH0337722A (ja) | 情報処理装置 | |
| JPH03288229A (ja) | 命令再試行処理方式 | |
| JPS59178547A (ja) | 命令リトライ方式 | |
| JPS5870356A (ja) | マイクロプログラム制御形デ−タ処理装置 | |
| JPH0473177B2 (ja) | ||
| JPH0427574B2 (ja) |