JPH05241903A - プログラム障害の検出方式 - Google Patents
プログラム障害の検出方式Info
- Publication number
- JPH05241903A JPH05241903A JP3322750A JP32275091A JPH05241903A JP H05241903 A JPH05241903 A JP H05241903A JP 3322750 A JP3322750 A JP 3322750A JP 32275091 A JP32275091 A JP 32275091A JP H05241903 A JPH05241903 A JP H05241903A
- Authority
- JP
- Japan
- Prior art keywords
- address
- program
- data
- memory
- address data
- 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.)
- Withdrawn
Links
- 238000001514 detection method Methods 0.000 claims description 6
- 230000002159 abnormal effect Effects 0.000 abstract description 2
- 238000000034 method Methods 0.000 description 9
- 238000010586 diagram Methods 0.000 description 4
- 238000006467 substitution reaction Methods 0.000 description 3
- 230000006378 damage Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000010365 information processing Effects 0.000 description 2
- 239000000725 suspension Substances 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【目的】オンラインリアルタイムシステムプログラムの
運用時のプログラム障害に対し、発生したプログラム障
害の解析を容易化すると共に、プログラム障害の発生を
防止する。 【構成】実メモリ上のアドレスデータメモリ３１に、ア
ドレス属性パターン３３を持たせる。アドレスデータメ
モリよりレジスタ２０へのロード時に、アドレス属性パ
ターン３３をハード的にチェックし、異常時は、ハード
ウェア割り込みによりＣＰＵに通知する。アドレスデー
タの属性チェックをプログラムの実行時に行う。
運用時のプログラム障害に対し、発生したプログラム障
害の解析を容易化すると共に、プログラム障害の発生を
防止する。 【構成】実メモリ上のアドレスデータメモリ３１に、ア
ドレス属性パターン３３を持たせる。アドレスデータメ
モリよりレジスタ２０へのロード時に、アドレス属性パ
ターン３３をハード的にチェックし、異常時は、ハード
ウェア割り込みによりＣＰＵに通知する。アドレスデー
タの属性チェックをプログラムの実行時に行う。
Description
【０００１】
【産業上の利用分野】本発明はプログラム障害の検出方
式に関し、特に代入データ相互間のデータ属性チェック
によるプログラム障害の検出方式に関する。
式に関し、特に代入データ相互間のデータ属性チェック
によるプログラム障害の検出方式に関する。
【０００２】
【従来の技術】従来、この種の代入データ相互間のデー
タ属性同一性チェックによるプログラム障害の検出で
は、コンパイラ上で代入データのデータ属性同一性チェ
ックとして行われていたが、実メモリ上でのプログラム
実行時のロードメモリの属性同一性チェックは行われて
いなかった。
タ属性同一性チェックによるプログラム障害の検出で
は、コンパイラ上で代入データのデータ属性同一性チェ
ックとして行われていたが、実メモリ上でのプログラム
実行時のロードメモリの属性同一性チェックは行われて
いなかった。
【０００３】
【発明が解決しようとする課題】上述した従来のコンパ
イラ上のみでの、代入データ相互間のデータ属性の同一
性チェックによる障害検出では、プログラム実行時、実
メモリ上での代入データの属性の同一性チェックを行わ
ないため、実メモリ上のデータがプログラム障害により
未設定、又はすでに設定されたデータが破壊された場
合、プログラム実行時、データ属性の同一性チェックを
行わないため、データは誤りであることが明らかである
にもかかわらず、プログラムはその誤まったデータで処
理を続行してしまう。すなわち、アドレスデータメモリ
上のアドレス値が破壊された後、レジスタにロードする
場合、このロード時点では、アドレス値が破壊されてい
ることが認識できないため、誤まったアドレス値がレジ
スタに設定されてしまう。このため、レジスタを用いて
アクセスするフィールドに正しくアクセスすることがで
きず、結果的に、誤まったフィールドにアクセスしてし
まうことになる。この時、誤まったフィールドにデータ
をストアする場合、他メモリの内容を破壊することとな
る。
イラ上のみでの、代入データ相互間のデータ属性の同一
性チェックによる障害検出では、プログラム実行時、実
メモリ上での代入データの属性の同一性チェックを行わ
ないため、実メモリ上のデータがプログラム障害により
未設定、又はすでに設定されたデータが破壊された場
合、プログラム実行時、データ属性の同一性チェックを
行わないため、データは誤りであることが明らかである
にもかかわらず、プログラムはその誤まったデータで処
理を続行してしまう。すなわち、アドレスデータメモリ
上のアドレス値が破壊された後、レジスタにロードする
場合、このロード時点では、アドレス値が破壊されてい
ることが認識できないため、誤まったアドレス値がレジ
スタに設定されてしまう。このため、レジスタを用いて
アクセスするフィールドに正しくアクセスすることがで
きず、結果的に、誤まったフィールドにアクセスしてし
まうことになる。この時、誤まったフィールドにデータ
をストアする場合、他メモリの内容を破壊することとな
る。
【０００４】従って、障害が多重に複雑となり、最終的
な障害発覚時点では、プログラム障害の原因を特定する
ことが困難になってしまうという欠点があった。
な障害発覚時点では、プログラム障害の原因を特定する
ことが困難になってしまうという欠点があった。
【０００５】
【課題を解決するための手段】本発明のプログラム障害
の検出方式は、アドレスデータをメモリに初期値として
設定する場合には、アドレス属性パターンとアドレス値
とを設定し、プログラムによりアドレスデータをメモリ
にストアする場合には、アドレス属性パターンを生成付
加するアドレスデータストア命令により、前記アドレス
値と前記アドレス属性パターンとをストアし、アドレス
データをプログラムでメモリよりロードする場合には、
アドレス属性を自動判定するアドレスデータロード命令
によりアドレス属性の判定を行い、前記アドレス属性パ
ターンが設定されていない場合又は前記アドレス値が０
の場合には、ハードウェア割り込みにより中央処理装置
に通知を行い、前記アドレス属性パターンが設定されか
つ前記アドレス値が０でない場合には、このアドレス値
のロードを行う構成である。
の検出方式は、アドレスデータをメモリに初期値として
設定する場合には、アドレス属性パターンとアドレス値
とを設定し、プログラムによりアドレスデータをメモリ
にストアする場合には、アドレス属性パターンを生成付
加するアドレスデータストア命令により、前記アドレス
値と前記アドレス属性パターンとをストアし、アドレス
データをプログラムでメモリよりロードする場合には、
アドレス属性を自動判定するアドレスデータロード命令
によりアドレス属性の判定を行い、前記アドレス属性パ
ターンが設定されていない場合又は前記アドレス値が０
の場合には、ハードウェア割り込みにより中央処理装置
に通知を行い、前記アドレス属性パターンが設定されか
つ前記アドレス値が０でない場合には、このアドレス値
のロードを行う構成である。
【０００６】
【実施例】次に本発明について図面を参照して説明す
る。
る。
【０００７】図１は本発明の一実施例を説明するための
情報処理システムにおけるアドレスデータのストア，ロ
ード処理を示す図である。図２は本発明の一実施例を説
明するための情報処理システムにおけるアドレスデータ
のロード処理を示す図である。以下に図１を用い、アド
レスデータがレジスタ１０からアドレスデータメモリ３
１にストアされ、次にアドレスデータメモリ３１よりレ
ジスタ２０にロードされる手順を説明し、図２を用い、
アドレスデータがアドレスデータメモリ７０よりレジス
タ６０にロードされる手順を説明する。
情報処理システムにおけるアドレスデータのストア，ロ
ード処理を示す図である。図２は本発明の一実施例を説
明するための情報処理システムにおけるアドレスデータ
のロード処理を示す図である。以下に図１を用い、アド
レスデータがレジスタ１０からアドレスデータメモリ３
１にストアされ、次にアドレスデータメモリ３１よりレ
ジスタ２０にロードされる手順を説明し、図２を用い、
アドレスデータがアドレスデータメモリ７０よりレジス
タ６０にロードされる手順を説明する。
【０００８】まず、レジスタ１０上にあるアドレス値１
１がアドレスデータメモリ３１にストアされる場合は、
アドレスデータメモリ３１がアドレス属性のメモリであ
るため、専用のアドレスストア命令が用いられる。この
アドレスストア命令は、レジスタ１０上のアドレス値１
１をアドレスデータメモリ３１上のアドレス値３２に設
定すると同時に、アドレス属性パターンを生成し、これ
をデータメモリ３１上のアドレス属性パターン３３に設
定する。
１がアドレスデータメモリ３１にストアされる場合は、
アドレスデータメモリ３１がアドレス属性のメモリであ
るため、専用のアドレスストア命令が用いられる。この
アドレスストア命令は、レジスタ１０上のアドレス値１
１をアドレスデータメモリ３１上のアドレス値３２に設
定すると同時に、アドレス属性パターンを生成し、これ
をデータメモリ３１上のアドレス属性パターン３３に設
定する。
【０００９】次に、アドレスデータメモリ３１が破壊さ
れる場合と、破壊されない場合とを考える。破壊される
場合では、ストア処理後、プログラム処理が一時中断
し、中断中に他のプログラムが走行し、アドレスデータ
メモリ３１の内容がストア命令によって破壊されてしま
ったと仮定する。破壊後、一時中断中のプログラムが再
開し、アドレスデータメモリ３１上のアドレス値３２を
レジスタ２０にロードしようとする。
れる場合と、破壊されない場合とを考える。破壊される
場合では、ストア処理後、プログラム処理が一時中断
し、中断中に他のプログラムが走行し、アドレスデータ
メモリ３１の内容がストア命令によって破壊されてしま
ったと仮定する。破壊後、一時中断中のプログラムが再
開し、アドレスデータメモリ３１上のアドレス値３２を
レジスタ２０にロードしようとする。
【００１０】この場合、アドレスデータメモリ３１の属
性はアドレスデータであるため、ロードは専用のアドレ
スロード命令が使用される。アドレスロード命令は、ア
ドレスデータメモリ３１上のアドレス属性パターン３３
とアドレス値３２が正しいか否かを判定する。ここでは
アドレス属性パターン３３は破壊されているため、アド
レスロード命令は、判定異常として、中央処理装置（Ｃ
ＰＵ）に通知を行い、ロード処理を停止する。通知は、
ＣＰＵの割り込み原因表示のアドレスデータ不一致表示
の表示をセットすることにより行う。
性はアドレスデータであるため、ロードは専用のアドレ
スロード命令が使用される。アドレスロード命令は、ア
ドレスデータメモリ３１上のアドレス属性パターン３３
とアドレス値３２が正しいか否かを判定する。ここでは
アドレス属性パターン３３は破壊されているため、アド
レスロード命令は、判定異常として、中央処理装置（Ｃ
ＰＵ）に通知を行い、ロード処理を停止する。通知は、
ＣＰＵの割り込み原因表示のアドレスデータ不一致表示
の表示をセットすることにより行う。
【００１１】プログラム処理は、割り込み発生により、
アドレスデータ不一致の障害処理を実行するプログラム
に移行し、障害処理を実行し、この時点で、障害解析の
ためのデータが確保される。
アドレスデータ不一致の障害処理を実行するプログラム
に移行し、障害処理を実行し、この時点で、障害解析の
ためのデータが確保される。
【００１２】次に、アドレスデータメモリ３１が破壊さ
れない場合のロード処理は次のようになる。アドレスロ
ード命令がアドレス属性パターン３３とアドレス値３２
を判定する時点で正常と判定するため、処理は通常のロ
ード処理と同様に行われ、アドレスデータメモリ３１上
のアドレス値３２がレジスタ２０上のアドレス値２１に
設定される。これによりレジスタ２０を使用してアクセ
スするデータメモリ４０のフィールド４１に正しくアク
セスされる。
れない場合のロード処理は次のようになる。アドレスロ
ード命令がアドレス属性パターン３３とアドレス値３２
を判定する時点で正常と判定するため、処理は通常のロ
ード処理と同様に行われ、アドレスデータメモリ３１上
のアドレス値３２がレジスタ２０上のアドレス値２１に
設定される。これによりレジスタ２０を使用してアクセ
スするデータメモリ４０のフィールド４１に正しくアク
セスされる。
【００１３】次に図２を説明する。図２は、アドレスデ
ータメモリ７０にストア処理が行われる前にロード処理
が行われる場合で、この場合は初期値としてアドレス値
７１だけではなくアドレス属性パターン７２も初期値と
して必要となる。このアドレス属性パターン７２は、ア
ドレス属性宣言によりコンパイラが設定する。
ータメモリ７０にストア処理が行われる前にロード処理
が行われる場合で、この場合は初期値としてアドレス値
７１だけではなくアドレス属性パターン７２も初期値と
して必要となる。このアドレス属性パターン７２は、ア
ドレス属性宣言によりコンパイラが設定する。
【００１４】これにより、アドレスのストア命令が発生
しないアドレスデータメモリ７０についても、レジスタ
６０へのロード処理の場合は、専用のアドレスロード命
令を用いることができる。このため、アドレス属性を持
つアドレスデータメモリのロードについては、すべてア
ドレスロード命令を用いてアドレスデータの正常性を判
定してから、ロードをすることができる。
しないアドレスデータメモリ７０についても、レジスタ
６０へのロード処理の場合は、専用のアドレスロード命
令を用いることができる。このため、アドレス属性を持
つアドレスデータメモリのロードについては、すべてア
ドレスロード命令を用いてアドレスデータの正常性を判
定してから、ロードをすることができる。
【００１５】
【発明の効果】以上説明したように本発明は、アドレス
データの代入時に、データ相互間の同一属性チェック
を、コンパイル時点のみではなく、実メモリ上でのプロ
グラム実行時にも行うため、プログラム障害検出が早期
に行われ、このため障害の多重化，複雑化が回避され、
これにより障害発生時の障害原因の解析が容易になると
いう効果がある。
データの代入時に、データ相互間の同一属性チェック
を、コンパイル時点のみではなく、実メモリ上でのプロ
グラム実行時にも行うため、プログラム障害検出が早期
に行われ、このため障害の多重化，複雑化が回避され、
これにより障害発生時の障害原因の解析が容易になると
いう効果がある。
【００１６】また、プログラム障害が表面化する以前
に、障害を発見することができるため、プログラム障害
の潜在化の防止にも役に立つという効果がある。
に、障害を発見することができるため、プログラム障害
の潜在化の防止にも役に立つという効果がある。
【図１】本発明の一実施例を説明するためのアドレスデ
ータのレジスタからメモリへのストア及びメモリからレ
ジスタへのロードを示す図である。
ータのレジスタからメモリへのストア及びメモリからレ
ジスタへのロードを示す図である。
【図２】本発明の一実施例を説明するためのアドレスデ
ータのメモリからレジスタへのロードを示す図である。
ータのメモリからレジスタへのロードを示す図である。
１０，２０，６０ レジスタ １１，２１，３２，６１，７１ アドレス値 ３１，７０ アドレスデータメモリ ３３，７２ アドレス属性パターン ４０ データメモリ ４１ フィールド
Claims (1)
- 【請求項１】 アドレスデータをメモリに初期値として
設定する場合には、アドレス属性パターンとアドレス値
とを設定し、プログラムによりアドレスデータをメモリ
にストアする場合には、アドレス属性パターンを生成付
加するアドレスデータストア命令により、前記アドレス
値と前記アドレス属性パターンとをストアし、アドレス
データをプログラムでメモリよりロードする場合には、
アドレス属性を自動判定するアドレスデータロード命令
によりアドレス属性の判定を行い、前記アドレス属性パ
ターンが設定されていない場合又は前記アドレス値が０
の場合には、ハードウェア割り込みにより中央処理装置
に通知を行い、前記アドレス属性パターンが設定されか
つ前記アドレス値が０でない場合には、このアドレス値
のロードを行うことを特徴とするプログラム障害の検出
方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3322750A JPH05241903A (ja) | 1991-12-06 | 1991-12-06 | プログラム障害の検出方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3322750A JPH05241903A (ja) | 1991-12-06 | 1991-12-06 | プログラム障害の検出方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05241903A true JPH05241903A (ja) | 1993-09-21 |
Family
ID=18147227
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3322750A Withdrawn JPH05241903A (ja) | 1991-12-06 | 1991-12-06 | プログラム障害の検出方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05241903A (ja) |
-
1991
- 1991-12-06 JP JP3322750A patent/JPH05241903A/ja not_active Withdrawn
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH02294739A (ja) | 障害検出方式 | |
| US5404499A (en) | Semi-automatic program execution error detection | |
| JPH05241903A (ja) | プログラム障害の検出方式 | |
| JPS6146535A (ja) | 擬似エラ−設定制御方式 | |
| JP2002116926A (ja) | プログラム処理装置およびプログラム処理方法 | |
| JPH0769846B2 (ja) | エラー処理回路の検証装置 | |
| JPH07225681A (ja) | 割込制御装置 | |
| KR20250003334A (ko) | 컴퓨터 프로그램을 테스트하기 위한 방법 | |
| JPH0314148A (ja) | プログラム破壊検出装置 | |
| JPH0454648A (ja) | ソフトウエア開発装置 | |
| JPH0147818B2 (ja) | ||
| JPH04337847A (ja) | プログラムチェック方法 | |
| JPH11242613A (ja) | マイクロプロセッサ | |
| JPH0149975B2 (ja) | ||
| JPH0374879B2 (ja) | ||
| JPH02128237A (ja) | 情報処理装置 | |
| JPH03105529A (ja) | Ｐｓｗ形式エラー制御回路 | |
| JPS6160146A (ja) | マイクロプログラムチエツク方式 | |
| JPH064412A (ja) | ローカルメモリ検査訂正回路 | |
| JPH04149746A (ja) | デバッグ装置 | |
| JPS6031650A (ja) | 計算機 | |
| JPH1055290A (ja) | エミュレータによるプログラムの不具合検出方法 | |
| JPH07160539A (ja) | マイクロコンピュータ | |
| JPS59229658A (ja) | 情報処理装置 | |
| JPS6132701B2 (ja) |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Withdrawal of application because of no request for examination |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19990311 |