JP2762829B2 - 電子計算機 - Google Patents
電子計算機Info
- Publication number
- JP2762829B2 JP2762829B2 JP4056241A JP5624192A JP2762829B2 JP 2762829 B2 JP2762829 B2 JP 2762829B2 JP 4056241 A JP4056241 A JP 4056241A JP 5624192 A JP5624192 A JP 5624192A JP 2762829 B2 JP2762829 B2 JP 2762829B2
- Authority
- JP
- Japan
- Prior art keywords
- instruction
- branch
- entry point
- internal interrupt
- signal
- 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.)
- Expired - Lifetime
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3648—Software debugging using additional hardware
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (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)
Description
【０００１】
【産業上の利用分野】本発明は電子計算機に関し、特に
プログラマが期待しない分岐動作を検出する電子計算機
に関する。
プログラマが期待しない分岐動作を検出する電子計算機
に関する。
【０００２】
【従来の技術】電子計算機では、プログラムミスや電気
的ノイズなどにより、制御すなわちプログラムの流れの
狂いが生じる場合がある。この狂いが生じた場合、なる
べく早くそれを検知し暴走を停止させるようにしなけれ
ばならない。
的ノイズなどにより、制御すなわちプログラムの流れの
狂いが生じる場合がある。この狂いが生じた場合、なる
べく早くそれを検知し暴走を停止させるようにしなけれ
ばならない。
【０００３】例えば、パーソナルコンピュータなどで多
く使用されているマイクロプロセッサである米国インテ
ル社製の８０３８６では、そのＰｒｏｇｒａｍｍｅｒ’
ｓＲｅｆｅｒｅｎｃｅ Ｍａｎｕａｌによると、各プロ
グラムセグメントに実行可能なアドレスの上限（セグメ
ントリミットと呼ばれる）を設け、それに違反制御が及
んだ場合は内部割込みが発生するようになっている。ま
た、ページングモードにおいては、各ページに実行可能
／禁止を属性として持たせ、実行禁止であるページに制
御が及んだ場合には内部割込みが発生するようになって
いる。さらに、未定義である命令コードに遭遇した場合
や実行不可能なオペランドが指定された命令に遭遇した
場合には、内部割込みが発生するようになっている。
く使用されているマイクロプロセッサである米国インテ
ル社製の８０３８６では、そのＰｒｏｇｒａｍｍｅｒ’
ｓＲｅｆｅｒｅｎｃｅ Ｍａｎｕａｌによると、各プロ
グラムセグメントに実行可能なアドレスの上限（セグメ
ントリミットと呼ばれる）を設け、それに違反制御が及
んだ場合は内部割込みが発生するようになっている。ま
た、ページングモードにおいては、各ページに実行可能
／禁止を属性として持たせ、実行禁止であるページに制
御が及んだ場合には内部割込みが発生するようになって
いる。さらに、未定義である命令コードに遭遇した場合
や実行不可能なオペランドが指定された命令に遭遇した
場合には、内部割込みが発生するようになっている。
【０００４】このように、従来の電子計算機では、制御
が移る際にセグメントやページの属性（実行可能なアク
セスの上限，実行の可／非）によって検査を行い、さら
に未定義命令コードや不正なオペランドアクセスの検出
を行うことで暴走を止めるようにしている。
が移る際にセグメントやページの属性（実行可能なアク
セスの上限，実行の可／非）によって検査を行い、さら
に未定義命令コードや不正なオペランドアクセスの検出
を行うことで暴走を止めるようにしている。
【０００５】
【発明が解決しようとする課題】上述した従来の電子計
算機では、制御が移る際にセグメントやページの属性に
よって検査を行い、さらに未定義命令コードや不正なオ
ペランドアクセスの検出を行うことで暴走を止めるよう
にしているので、プログラマが期待しない制御の移行で
あっても実行可能なセグメントまたはページであり実行
可能なアドレスであれば、チェックにかかわらずに制御
移行先のコード列の中の内部割込みが発生する命令に遭
遇するまで暴走を続けてしまうという欠点があった。こ
のため、電子計算機の停止後に暴走の原因をつかもうと
しても、暴走後に走行している命令が多いために判明し
にくいことが多かった。
算機では、制御が移る際にセグメントやページの属性に
よって検査を行い、さらに未定義命令コードや不正なオ
ペランドアクセスの検出を行うことで暴走を止めるよう
にしているので、プログラマが期待しない制御の移行で
あっても実行可能なセグメントまたはページであり実行
可能なアドレスであれば、チェックにかかわらずに制御
移行先のコード列の中の内部割込みが発生する命令に遭
遇するまで暴走を続けてしまうという欠点があった。こ
のため、電子計算機の停止後に暴走の原因をつかもうと
しても、暴走後に走行している命令が多いために判明し
にくいことが多かった。
【０００６】本発明の目的は、上述の点に鑑み、分岐先
であることをプログラマが期待していることを示す命令
（以下、エントリポイント命令という）を持ち、エント
リポイント命令以外への分岐動作が発生した場合には内
部割込みを発生するようにした電子計算機を提供するこ
とにある。
であることをプログラマが期待していることを示す命令
（以下、エントリポイント命令という）を持ち、エント
リポイント命令以外への分岐動作が発生した場合には内
部割込みを発生するようにした電子計算機を提供するこ
とにある。
【０００７】また、本発明の他の目的は、エントリポイ
ント命令中に該アドレスに制御を到らしめると期待され
る分岐命令の種類をコード化して格納するフィールドを
持ち、エントリポイント命令への期待した種類の分岐命
令による分岐動作以外の分岐動作が行われた場合には内
部割込みを発生するようにした電子計算機を提供するこ
とにある。
ント命令中に該アドレスに制御を到らしめると期待され
る分岐命令の種類をコード化して格納するフィールドを
持ち、エントリポイント命令への期待した種類の分岐命
令による分岐動作以外の分岐動作が行われた場合には内
部割込みを発生するようにした電子計算機を提供するこ
とにある。
【０００８】
【課題を解決するための手段】本発明の電子計算機は、
記憶装置に格納された命令をフェッチし実行する電子計
算機において、エントリポイントが合流エントリポイン
トであることを期待しているか非合流エントリポイント
であることを期待しているかを表すフィールドを有する
エントリポイント命令を設けるとともに、分岐命令が直
前に実行されたか否かを示す分岐先行信号を出力する分
岐先行インディケータと、フェッチされた命令がエント
リポイント命令以外の場合に前記分岐先行信号が直前に
実行された命令が分岐命令であることを示していれば内
部割込み発生要求を出力するとともに、フェッチされた
命令が前記フィールドが非合流エントリポイントである
ことを期待していることを表しているエントリポイント
命令の場合に前記分岐先行信号が直前に実行された命令
が分岐命令以外であることを示していれば内部割込み発
生要求を出力するデコーダとを有する。
記憶装置に格納された命令をフェッチし実行する電子計
算機において、エントリポイントが合流エントリポイン
トであることを期待しているか非合流エントリポイント
であることを期待しているかを表すフィールドを有する
エントリポイント命令を設けるとともに、分岐命令が直
前に実行されたか否かを示す分岐先行信号を出力する分
岐先行インディケータと、フェッチされた命令がエント
リポイント命令以外の場合に前記分岐先行信号が直前に
実行された命令が分岐命令であることを示していれば内
部割込み発生要求を出力するとともに、フェッチされた
命令が前記フィールドが非合流エントリポイントである
ことを期待していることを表しているエントリポイント
命令の場合に前記分岐先行信号が直前に実行された命令
が分岐命令以外であることを示していれば内部割込み発
生要求を出力するデコーダとを有する。
【０００９】また、本発明の電子計算機は、記憶装置に
格納された命令をフェッチし実行する電子計算機におい
て、制御を到らしめると期待される分岐命令の種類を示
す第１のフィールド，およびエントリポイントが合流エ
ントリポイントであることを期待しているか非合流エン
トリポイントであることを期待しているかを表す第２の
フィールドを有するエントリポイント命令を設けるとと
もに、直前に実行された分岐命令の種類を示す先行分岐
種類信号を出力する分岐種類レジスタと、フェッチされ
た命令がエントリポイント命令以外の場合に前記先行分
岐種類信号が直前に実行された命令が分岐命令であるこ
とを示していれば内部割込み発生要求を出力するととも
に、フェッチされた命令が前記第２のフィールドが非合
流エントリポイントであることを期待していることを表
しているエントリポイント命令の場合に前記先行分岐種
類信号が直前に実行された命令が分岐命令以外であるこ
とを示していれば内部割込み発生要求を出力し、かつフ
ェッチされた命令が前記第１のフィールドがある種類の
分岐命令からの分岐を期待していることを示すエントリ
ポイント命令の場合に前記先行分岐種類信号が該種類の
分岐命令が直前に実行されたことを示していなければ内
部割込み発生要求を出力するデコーダとを有する。
格納された命令をフェッチし実行する電子計算機におい
て、制御を到らしめると期待される分岐命令の種類を示
す第１のフィールド，およびエントリポイントが合流エ
ントリポイントであることを期待しているか非合流エン
トリポイントであることを期待しているかを表す第２の
フィールドを有するエントリポイント命令を設けるとと
もに、直前に実行された分岐命令の種類を示す先行分岐
種類信号を出力する分岐種類レジスタと、フェッチされ
た命令がエントリポイント命令以外の場合に前記先行分
岐種類信号が直前に実行された命令が分岐命令であるこ
とを示していれば内部割込み発生要求を出力するととも
に、フェッチされた命令が前記第２のフィールドが非合
流エントリポイントであることを期待していることを表
しているエントリポイント命令の場合に前記先行分岐種
類信号が直前に実行された命令が分岐命令以外であるこ
とを示していれば内部割込み発生要求を出力し、かつフ
ェッチされた命令が前記第１のフィールドがある種類の
分岐命令からの分岐を期待していることを示すエントリ
ポイント命令の場合に前記先行分岐種類信号が該種類の
分岐命令が直前に実行されたことを示していなければ内
部割込み発生要求を出力するデコーダとを有する。
【００１０】
【作用】本発明の電子計算機では、エントリポイントが
合流エントリポイントであることを期待しているか非合
流エントリポイントであることを期待しているかを表す
フィールドを有するエントリポイント命令を設けるとと
もに、分岐先行インディケータが分岐命令が直前に実行
されたか否かを示す分岐先行信号を出力し、デコーダが
フェッチされた命令がエントリポイント命令以外の場合
に分岐先行信号が直前に実行された命令が分岐命令であ
ることを示していれば内部割込み発生要求を出力すると
ともに、フェッチされた命令がフィールドが非合流エン
トリポイントであることを期待していることを表してい
るエントリポイント命令の場合に分岐先行信号が直前に
実行された命令が分岐命令以外であることを示していれ
ば内部割込み発生要求を出力する。
合流エントリポイントであることを期待しているか非合
流エントリポイントであることを期待しているかを表す
フィールドを有するエントリポイント命令を設けるとと
もに、分岐先行インディケータが分岐命令が直前に実行
されたか否かを示す分岐先行信号を出力し、デコーダが
フェッチされた命令がエントリポイント命令以外の場合
に分岐先行信号が直前に実行された命令が分岐命令であ
ることを示していれば内部割込み発生要求を出力すると
ともに、フェッチされた命令がフィールドが非合流エン
トリポイントであることを期待していることを表してい
るエントリポイント命令の場合に分岐先行信号が直前に
実行された命令が分岐命令以外であることを示していれ
ば内部割込み発生要求を出力する。
【００１１】また、本発明の電子計算機では、制御を到
らしめると期待される分岐命令の種類を示す第１のフィ
ールド，およびエントリポイントが合流エントリポイン
トであることを期待しているか非合流エントリポイント
であることを期待しているかを表す第２のフィールドを
有するエントリポイント命令を設けるとともに、分岐種
類レジスタが直前に実行された分岐命令の種類を示す先
行分岐種類信号を出力し、デコーダがフェッチされた命
令がエントリポイント命令以外の場合に先行分岐種類信
号が直前に実行された命令が分岐命令であることを示し
ていれば内部割込み発生要求を出力するとともに、フェ
ッチされた命令が第２のフィールドが非合流エントリポ
イントであることを期待していることを表しているエン
トリポイント命令の場合に先行分岐種類信号が直前に実
行された命令が分岐命令以外であることを示していれば
内部割込み発生要求を出力し、かつフェッチされた命令
が第１のフィールドがある種類の分岐命令からの分岐を
期待していることを示すエントリポイント命令の場合に
先行分岐種類信号が該種類の分岐命令が直前に実行され
たことを示していなければ内部割込み発生要求を出力す
る。
らしめると期待される分岐命令の種類を示す第１のフィ
ールド，およびエントリポイントが合流エントリポイン
トであることを期待しているか非合流エントリポイント
であることを期待しているかを表す第２のフィールドを
有するエントリポイント命令を設けるとともに、分岐種
類レジスタが直前に実行された分岐命令の種類を示す先
行分岐種類信号を出力し、デコーダがフェッチされた命
令がエントリポイント命令以外の場合に先行分岐種類信
号が直前に実行された命令が分岐命令であることを示し
ていれば内部割込み発生要求を出力するとともに、フェ
ッチされた命令が第２のフィールドが非合流エントリポ
イントであることを期待していることを表しているエン
トリポイント命令の場合に先行分岐種類信号が直前に実
行された命令が分岐命令以外であることを示していれば
内部割込み発生要求を出力し、かつフェッチされた命令
が第１のフィールドがある種類の分岐命令からの分岐を
期待していることを示すエントリポイント命令の場合に
先行分岐種類信号が該種類の分岐命令が直前に実行され
たことを示していなければ内部割込み発生要求を出力す
る。
【００１２】
【実施例】次に、本発明について図面を参照して詳細に
説明する。
説明する。
【００１３】図１は、本発明の第１実施例に係る電子計
算機の関連する部分を示すブロック図である。第１実施
例の電子計算機は、命令レジスタ１１と、デコーダ１２
と、分岐先行インディケータ１３とを含んで構成されて
いる。なお、図１中、符号１４は分岐検出信号、１５は
内部割込み発生要求、１６は分岐先行信号、１７は命令
コードをそれぞれ示す。
算機の関連する部分を示すブロック図である。第１実施
例の電子計算機は、命令レジスタ１１と、デコーダ１２
と、分岐先行インディケータ１３とを含んで構成されて
いる。なお、図１中、符号１４は分岐検出信号、１５は
内部割込み発生要求、１６は分岐先行信号、１７は命令
コードをそれぞれ示す。
【００１４】図２は、第１実施例の電子計算機における
エントリポイント命令の一例を示す図である。このエン
トリポイント命令は、命令長が１バイトであり、オペレ
ーションコードのフィールド（オペレーションコードと
しては、プログラム中に現れやすいものを避けて一意に
決まっていれば実施する上で支障はない。本例では１０
１０１０１としている）と、合流エントリポイント（図
３（ａ）のフローチャートのようにフロー中の合流点）
であることを期待しているか非合流エントリポイント
（図３（ｂ）のフローチャートのようにフローの先頭で
ある点）であることを期待しているかを示すフィールド
とを持つ。以下、この合流エントリポイント／非合流エ
ントリポイントを示すフィールドをＪフィールドと呼
び、Ｊ＝１のときに合流エントリポイントを、Ｊ＝０の
ときに非合流エントリポイントを示しているものとす
る。
エントリポイント命令の一例を示す図である。このエン
トリポイント命令は、命令長が１バイトであり、オペレ
ーションコードのフィールド（オペレーションコードと
しては、プログラム中に現れやすいものを避けて一意に
決まっていれば実施する上で支障はない。本例では１０
１０１０１としている）と、合流エントリポイント（図
３（ａ）のフローチャートのようにフロー中の合流点）
であることを期待しているか非合流エントリポイント
（図３（ｂ）のフローチャートのようにフローの先頭で
ある点）であることを期待しているかを示すフィールド
とを持つ。以下、この合流エントリポイント／非合流エ
ントリポイントを示すフィールドをＪフィールドと呼
び、Ｊ＝１のときに合流エントリポイントを、Ｊ＝０の
ときに非合流エントリポイントを示しているものとす
る。
【００１５】図４は、デコーダ１２のデコード内容を真
理値表で表した図である。
理値表で表した図である。
【００１６】次に、このように構成された第１実施例の
電子計算機の動作について説明する。
電子計算機の動作について説明する。
【００１７】デコーダ１２は、命令レジスタ１１に格納
された命令コード１７と、分岐命令が直前に実行された
か否かを示す分岐先行インディケータ１３の出力信号で
ある分岐先行信号１６とを入力しており、図４に示すよ
うにデコードを行う。
された命令コード１７と、分岐命令が直前に実行された
か否かを示す分岐先行インディケータ１３の出力信号で
ある分岐先行信号１６とを入力しており、図４に示すよ
うにデコードを行う。
【００１８】すなわち、Ｊ＝０であるエントリポイント
命令の場合には、デコーダ１２は、分岐先行信号１６が
“０”であれば（分岐命令が直前になければ）、内部割
込み発生要求１５に“１”を出力し、分岐先行信号１６
が“１”であれば（分岐命令が直前にあれば）、内部割
込み発生要求１５に“０”を出力する。また、Ｊ＝１で
あるエントリポイント命令の場合には、デコーダ１２
は、分岐先行信号１６が“０”であるか“１”であるか
にかかわらず（分岐命令が直前にあるか否かにかかわら
ず）、内部割込み発生要求１５に“０”を出力する。
命令の場合には、デコーダ１２は、分岐先行信号１６が
“０”であれば（分岐命令が直前になければ）、内部割
込み発生要求１５に“１”を出力し、分岐先行信号１６
が“１”であれば（分岐命令が直前にあれば）、内部割
込み発生要求１５に“０”を出力する。また、Ｊ＝１で
あるエントリポイント命令の場合には、デコーダ１２
は、分岐先行信号１６が“０”であるか“１”であるか
にかかわらず（分岐命令が直前にあるか否かにかかわら
ず）、内部割込み発生要求１５に“０”を出力する。
【００１９】分岐命令の場合には、デコーダ１２は、分
岐先行信号１６が“０”であれば（分岐命令が直前にな
ければ）、分岐検出信号１４に“１”を出力し、分岐先
行信号１６が“１”であれば（分岐命令が直前にあれ
ば）、内部割込み発生要求１５に“１”を出力する。
岐先行信号１６が“０”であれば（分岐命令が直前にな
ければ）、分岐検出信号１４に“１”を出力し、分岐先
行信号１６が“１”であれば（分岐命令が直前にあれ
ば）、内部割込み発生要求１５に“１”を出力する。
【００２０】エントリポイント命令でなく分岐命令でも
ない場合には、デコーダ１２は、分岐先行信号１６が
“０”であれば（分岐命令が直前になければ）、内部割
込み発生要求１５に“０”を出力し、分岐先行信号１６
が“１”であれば（分岐命令が直前にあれば）、内部割
込み発生要求１５に“１”を出力する。
ない場合には、デコーダ１２は、分岐先行信号１６が
“０”であれば（分岐命令が直前になければ）、内部割
込み発生要求１５に“０”を出力し、分岐先行信号１６
が“１”であれば（分岐命令が直前にあれば）、内部割
込み発生要求１５に“１”を出力する。
【００２１】分岐検出信号１４は、分岐先行インディケ
ータ１３に入力され、その値は次の命令のデコードが終
わるまで保持される。
ータ１３に入力され、その値は次の命令のデコードが終
わるまで保持される。
【００２２】内部割込み発生要求信号１５は、内部割込
みを発生させるための信号であるが、内部割込みを発生
させる方法は既知であるので、ここでは改めて示さな
い。
みを発生させるための信号であるが、内部割込みを発生
させる方法は既知であるので、ここでは改めて示さな
い。
【００２３】以上述べたようにして、第１実施例の電子
計算機では、分岐命令の分岐先にエントリポイント命令
が置かれていないことと、非合流エントリポイントに分
岐せずに制御が到ったこととを検出し、内部割込みを発
生させることができる。
計算機では、分岐命令の分岐先にエントリポイント命令
が置かれていないことと、非合流エントリポイントに分
岐せずに制御が到ったこととを検出し、内部割込みを発
生させることができる。
【００２４】図５は、本発明の第２実施例に係る電子計
算機の関連する部分を示すブロック図である。第２実施
例の電子計算機は、命令レジスタ５１と、デコーダ５２
と、分岐種類レジスタ５３とを含んで構成されている。
なお、図５中、符号５４は分岐種類信号、５５は内部割
込み発生要求、５６は先行分岐種類信号、５７は命令コ
ードをそれぞれ示す。
算機の関連する部分を示すブロック図である。第２実施
例の電子計算機は、命令レジスタ５１と、デコーダ５２
と、分岐種類レジスタ５３とを含んで構成されている。
なお、図５中、符号５４は分岐種類信号、５５は内部割
込み発生要求、５６は先行分岐種類信号、５７は命令コ
ードをそれぞれ示す。
【００２５】図６は、第２実施例の電子計算機における
エントリポイント命令の一例を示す図である。このエン
トリポイント命令は、命令長が１バイトであり、オペレ
ーションコードのフィールドと、制御を到らしめると期
待される分岐命令を示すフィールド（本例では、条件分
岐，無条件分岐，サブルーチンコールおよびサブルーチ
ンリターンに対応するビットが設けてあり、期待される
分岐命令に対応したビットを“１”と設定する）と、合
流エントリポイント／非合流エントリポイントを示すＪ
フィールドとからなる。
エントリポイント命令の一例を示す図である。このエン
トリポイント命令は、命令長が１バイトであり、オペレ
ーションコードのフィールドと、制御を到らしめると期
待される分岐命令を示すフィールド（本例では、条件分
岐，無条件分岐，サブルーチンコールおよびサブルーチ
ンリターンに対応するビットが設けてあり、期待される
分岐命令に対応したビットを“１”と設定する）と、合
流エントリポイント／非合流エントリポイントを示すＪ
フィールドとからなる。
【００２６】図７は、デコーダ５２のデコード内容を真
理値表で表した図である。
理値表で表した図である。
【００２７】次に、このように構成された第２実施例の
電子計算機の動作について説明する。
電子計算機の動作について説明する。
【００２８】デコーダ５２は、命令レジスタ５１に格納
された命令コード５７と、直前に実行された分岐命令の
種類を示す分岐種類レジスタ５３の出力信号である先行
分岐種類信号５６とを入力しており、図７に示すように
デコードを行う。
された命令コード５７と、直前に実行された分岐命令の
種類を示す分岐種類レジスタ５３の出力信号である先行
分岐種類信号５６とを入力しており、図７に示すように
デコードを行う。
【００２９】すなわち、命令が分岐命令の場合には、デ
コーダ５２は、先行分岐種類信号５６がオール０のとき
に（直前に分岐命令が実行されていないときに）、分岐
種類信号５４の該分岐命令の種類に対応するビットに
“１”を出力し、先行分岐種類信号５６がオール０以外
のときに（直前に分岐命令が実行されているときに）、
内部割込み発生要求５５に“１”を出力する。
コーダ５２は、先行分岐種類信号５６がオール０のとき
に（直前に分岐命令が実行されていないときに）、分岐
種類信号５４の該分岐命令の種類に対応するビットに
“１”を出力し、先行分岐種類信号５６がオール０以外
のときに（直前に分岐命令が実行されているときに）、
内部割込み発生要求５５に“１”を出力する。
【００３０】命令がエントリポイント命令である場合に
は、デコーダ５２は、先行分岐種類信号５６がオール０
以外のときに（直前に分岐命令が実行されているとき
に）、該分岐命令の種類に対応するビットが“１”であ
るエントリポイント命令であるときのみに内部割込み発
生要求５５に“０”を出力し、それ以外のときには内部
割込み発生要求５５に“１”を出力する。
は、デコーダ５２は、先行分岐種類信号５６がオール０
以外のときに（直前に分岐命令が実行されているとき
に）、該分岐命令の種類に対応するビットが“１”であ
るエントリポイント命令であるときのみに内部割込み発
生要求５５に“０”を出力し、それ以外のときには内部
割込み発生要求５５に“１”を出力する。
【００３１】また、命令がＪ＝０であるエントリポイン
ト命令の場合には、デコーダ５２は、先行分岐種類信号
５６がオール０のときに（直前に分岐命令が実行されて
いないときに）、内部割込み発生要求５５に“１”を出
力し、先行分岐種類信号５６がオール０以外のときに
（直前に分岐命令が実行されているときに）、内部割込
み発生要求５５に“０”を出力する。さらに、Ｊ＝１で
あるエントリポイント命令の場合には、デコーダ５２
は、先行分岐種類信号５６がオール０であるかオール０
以外であるかにかかわらず（直前に分岐命令が実行され
ているか否かにかかわらず）、内部割込み発生要求５５
に“０”を出力する。
ト命令の場合には、デコーダ５２は、先行分岐種類信号
５６がオール０のときに（直前に分岐命令が実行されて
いないときに）、内部割込み発生要求５５に“１”を出
力し、先行分岐種類信号５６がオール０以外のときに
（直前に分岐命令が実行されているときに）、内部割込
み発生要求５５に“０”を出力する。さらに、Ｊ＝１で
あるエントリポイント命令の場合には、デコーダ５２
は、先行分岐種類信号５６がオール０であるかオール０
以外であるかにかかわらず（直前に分岐命令が実行され
ているか否かにかかわらず）、内部割込み発生要求５５
に“０”を出力する。
【００３２】命令がエントリポイント命令でなく分岐命
令でもない命令である場合には、デコーダ５２は、先行
分岐種類信号５６がオール０のときに（直前で分岐命令
が実行されていないときに）、内部割込み発生要求５５
に“０”を出力し、先行分岐種類信号５６がオール０以
外のときに（直前で分岐命令が実行されているとき
に）、内部割込み発生要求５５に“１”を出力する。
令でもない命令である場合には、デコーダ５２は、先行
分岐種類信号５６がオール０のときに（直前で分岐命令
が実行されていないときに）、内部割込み発生要求５５
に“０”を出力し、先行分岐種類信号５６がオール０以
外のときに（直前で分岐命令が実行されているとき
に）、内部割込み発生要求５５に“１”を出力する。
【００３３】分岐種類信号５４は、分岐種類レジスタ５
３に入力され、その値は次の命令のデコードが終わるま
で保持される。
３に入力され、その値は次の命令のデコードが終わるま
で保持される。
【００３４】内部割込み発生要求信号５５は、内部割込
みを発生させるための信号であるが、内部割込みを発生
させる方法は既知であるので、ここでは改めて示さな
い。
みを発生させるための信号であるが、内部割込みを発生
させる方法は既知であるので、ここでは改めて示さな
い。
【００３５】以上述べたようにして、第２実施例の電子
計算機では、分岐命令の分岐先にエントリポイント命令
が置かれていないことと、分岐の種類が期待通りでない
ことと、非合流エントリポイントに分岐せずに制御が到
ったこととを検出し、内部割込みを発生させることがで
きる。
計算機では、分岐命令の分岐先にエントリポイント命令
が置かれていないことと、分岐の種類が期待通りでない
ことと、非合流エントリポイントに分岐せずに制御が到
ったこととを検出し、内部割込みを発生させることがで
きる。
【００３６】
【発明の効果】以上説明したように本発明は、エントリ
ポイント命令以外への分岐動作が発生したことを検出し
て内部割込みを発生させるようにしたことにより、プロ
グラムの暴走を早く検出して停止させることができ、停
止後の原因解析が行いやすく、したがって不具合の修正
を容易に行うことができるという効果がある。
ポイント命令以外への分岐動作が発生したことを検出し
て内部割込みを発生させるようにしたことにより、プロ
グラムの暴走を早く検出して停止させることができ、停
止後の原因解析が行いやすく、したがって不具合の修正
を容易に行うことができるという効果がある。
【００３７】さらに、本発明は、エントリポイント命令
への期待した種類の分岐命令による分岐動作以外の分岐
動作が発生したことを検出して内部割込みを発生させる
ようにしたことにより、プログラムの暴走を早く検出し
て停止させることができ、停止後の原因解析が行いやす
く、したがって不具合の修正を容易に行うことができる
という効果がある。
への期待した種類の分岐命令による分岐動作以外の分岐
動作が発生したことを検出して内部割込みを発生させる
ようにしたことにより、プログラムの暴走を早く検出し
て停止させることができ、停止後の原因解析が行いやす
く、したがって不具合の修正を容易に行うことができる
という効果がある。
【図１】本発明の第１実施例に係る電子計算機の関連す
る部分を示すブロック図である。
る部分を示すブロック図である。
【図２】第１実施例の電子計算機におけるエントリポイ
ント命令の一例を示す図である。
ント命令の一例を示す図である。
【図３】本実施例の電子計算機における合流エントリポ
イントと非合流エントリポイントとを説明するための図
である。
イントと非合流エントリポイントとを説明するための図
である。
【図４】図１中のデコーダのデコード内容を真理値表で
表した図である。
表した図である。
【図５】本発明の第２実施例の電子計算機の関連する部
分を示すブロック図である。
分を示すブロック図である。
【図６】第２実施例の電子計算機におけるエントリポイ
ント命令の一例を示す図である。
ント命令の一例を示す図である。
【図７】図５中のデコーダのデコード内容を真理値表で
表した図である。
表した図である。
１１ 命令レジスタ １２ デコーダ １３ 分岐先行インディケータ １４ 分岐検出信号 １５ 内部割込み発生要求 １６ 分岐先行信号 １７ 命令コード ５１ 命令レジスタ ５２ デコーダ ５３ 分岐種類レジスタ ５４ 分岐種類信号 ５５ 内部割込み発生要求 ５６ 先行分岐種類信号 ５７ 命令コード
Claims (2)
- 【請求項１】 記憶装置に格納された命令をフェッチし
実行する電子計算機において、エントリポイントが合流エントリポイントであることを
期待しているか非合流エントリポイントであることを期
待しているかを表すフィールドを有するエントリポイン
ト命令を設けるとともに、 分岐命令が直前に実行されたか否かを示す分岐先行信号
を出力する分岐先行インディケータと、フェッチされた 命令がエントリポイント命令以外の場合
に前記分岐先行信号が直前に実行された命令が分岐命令
であることを示していれば内部割込み発生要求を出力す
るとともに、フェッチされた命令が前記フィールドが非
合流エントリポイントであることを期待していることを
表しているエントリポイント命令の場合に前記分岐先行
信号が直前に実行された命令が分岐命令以外であること
を示していれば内部割込み発生要求を出力するデコーダ
とを有することを特徴とする電子計算機。 - 【請求項２】 記憶装置に格納された命令をフェッチし
実行する電子計算機において、制御を到らしめると期待される分岐命令の種類を示す第
１のフィールド，およびエントリポイントが合流エント
リポイントであることを期待しているか非合流エントリ
ポイントであることを期待しているかを表す第２のフィ
ールドを有するエントリポイント命令を設けるととも
に、 直前に実行された分岐命令の種類を示す先行分岐種類信
号を出力する分岐種類レジスタと、フェッチされた命令がエントリポイント命令以外の場合
に前記先行分岐種類信号が直前に実行された命令が分岐
命令であることを示していれば内部割込み発生要求を出
力するとともに、フェッチされた命令が前記第２のフィ
ールドが非合流エントリポイントであることを期待して
いることを表しているエントリポイント命令の場合に前
記先行分岐種類信号が直前に実行された命令が分岐命令
以外であることを示していれば内部割込み発生要求を出
力し、かつフェッチされた命令が 前記第１のフィールド
がある種類の分岐命令からの分岐を期待していることを
示すエントリポイント命令の場合に前記先行分岐種類信
号が該種類の分岐命令が直前に実行されたことを示して
いなければ内部割込み発生要求を出力するデコーダとを
有することを特徴とする電子計算機。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4056241A JP2762829B2 (ja) | 1992-02-06 | 1992-02-06 | 電子計算機 |
| US08/483,882 US5499351A (en) | 1992-02-06 | 1995-06-07 | Arrangement of detecting branch error in a digital data processing system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4056241A JP2762829B2 (ja) | 1992-02-06 | 1992-02-06 | 電子計算機 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH05216721A JPH05216721A (ja) | 1993-08-27 |
| JP2762829B2 true JP2762829B2 (ja) | 1998-06-04 |
Family
ID=13021603
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4056241A Expired - Lifetime JP2762829B2 (ja) | 1992-02-06 | 1992-02-06 | 電子計算機 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US5499351A (ja) |
| JP (1) | JP2762829B2 (ja) |
Families Citing this family (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7107403B2 (en) * | 2003-09-30 | 2006-09-12 | International Business Machines Corporation | System and method for dynamically allocating cache space among different workload classes that can have different quality of service (QoS) requirements where the system and method may maintain a history of recently evicted pages for each class and may determine a future cache size for the class based on the history and the QoS requirements |
| US7143240B2 (en) * | 2003-10-31 | 2006-11-28 | International Business Machines Corporation | System and method for providing a cost-adaptive cache |
| JP4872357B2 (ja) * | 2006-01-19 | 2012-02-08 | 日本電気株式会社 | プログラムテスト支援システム、方法及びプログラム |
| JP5374348B2 (ja) * | 2009-12-10 | 2013-12-25 | 株式会社豊田中央研究所 | ソフトウェア検査装置及びプログラム |
| JP6435834B2 (ja) * | 2014-12-12 | 2018-12-12 | 富士通株式会社 | 命令実行制御装置、命令実行制御方法 |
Family Cites Families (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US3673573A (en) * | 1970-09-11 | 1972-06-27 | Rca Corp | Computer with program tracing facility |
| US3728690A (en) * | 1971-08-26 | 1973-04-17 | Honeywell Inf Systems | Branch facility diagnostics |
| JPS5622148A (en) * | 1979-07-31 | 1981-03-02 | Fujitsu Ltd | Detecting system for program runaway |
| JPS59174955A (ja) * | 1983-03-25 | 1984-10-03 | Fujitsu Ltd | 情報処理装置の分岐命令デバツグ方式 |
| WO1985000453A1 (en) * | 1983-07-11 | 1985-01-31 | Prime Computer, Inc. | Data processing system |
| US5008807A (en) * | 1984-07-05 | 1991-04-16 | Texas Instruments Incorporated | Data processing apparatus with abbreviated jump field |
| US4920538A (en) * | 1985-06-28 | 1990-04-24 | International Business Machines Corporation | Method of checking the execution of microcode sequences |
| US5014276A (en) * | 1989-02-06 | 1991-05-07 | Scientific Atlanta, Inc. | Convolutional encoder and sequential decoder with parallel architecture and block coding properties |
| US5155843A (en) * | 1990-06-29 | 1992-10-13 | Digital Equipment Corporation | Error transition mode for multi-processor system |
| US5261071A (en) * | 1991-03-21 | 1993-11-09 | Control Data System, Inc. | Dual pipe cache memory with out-of-order issue capability |
-
1992
- 1992-02-06 JP JP4056241A patent/JP2762829B2/ja not_active Expired - Lifetime
-
1995
- 1995-06-07 US US08/483,882 patent/US5499351A/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH05216721A (ja) | 1993-08-27 |
| US5499351A (en) | 1996-03-12 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6604188B1 (en) | Pipeline replay support for multi-cycle operations wherein all VLIW instructions are flushed upon detection of a multi-cycle atom operation in a VLIW instruction | |
| KR970005021A (ko) | 2개의 명령을 동시에 실행할 수 있는 데이타프로세서 | |
| JP2507638B2 (ja) | デ―タ処理装置 | |
| KR910001538A (ko) | 분기명령 실행장치 및 분기명령 트레이싱방법 | |
| US6243786B1 (en) | Apparatus and method for generating an interrupt prohibited zone in pipelined data processors | |
| JP2762829B2 (ja) | 電子計算機 | |
| US5469552A (en) | Pipelined data processor having combined operand fetch and execution stage to reduce number of pipeline stages and penalty associated with branch instructions | |
| JPH07120284B2 (ja) | データ処理装置 | |
| US11645083B2 (en) | Processor having adaptive pipeline with latency reduction logic that selectively executes instructions to reduce latency | |
| US5530659A (en) | Method and apparatus for decoding information within a processing device | |
| US6401195B1 (en) | Method and apparatus for replacing data in an operand latch of a pipeline stage in a processor during a stall | |
| US6990569B2 (en) | Handling problematic events in a data processing apparatus | |
| JP4889235B2 (ja) | プログラム制御プロセッサ | |
| US6591360B1 (en) | Local stall/hazard detect in superscalar, pipelined microprocessor | |
| JP2004508607A (ja) | 例外ルーチンを有するプロセッサのレジスタライトトラフィックを減じる装置及び方法 | |
| JP2581565B2 (ja) | ガード付命令を実行するデータ処理装置 | |
| JP2532560B2 (ja) | 高機能な例外処理を行うデ―タ処理装置 | |
| JP2503223B2 (ja) | 先行制御方式 | |
| JPS61133439A (ja) | 命令先取り制御方式 | |
| JP2535984B2 (ja) | 命令実行検出装置 | |
| JPS5875256A (ja) | 実行命令遂行状態のモニタ方式 | |
| JPH0247725A (ja) | データ処理装置 | |
| JPH06168120A (ja) | 命令先取り装置 | |
| JPH0827717B2 (ja) | ミスアライメント処理方式 | |
| JPH10333936A (ja) | プロセッサの異常分岐検出方法 |