JPH0449141B2

JPH0449141B2 -

Info

Publication number: JPH0449141B2
Application number: JP59072785A
Authority: JP
Inventors: Toshikazu Umetsu
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1984-04-13
Filing date: 1984-04-13
Publication date: 1992-08-10
Also published as: JPS60218139A

Description

【発明の詳細な説明】〔発明の利用分野〕本発明は、プログラム破壊検出方式に関し、特
にメモリ上に格納されたプログラムの破壊を検出
する自動診断方式に関するものである。

〔発明の背景〕

従来のプロセツサ・システムにおけるプログラ
ム破壊検出方式は、例えば特開昭57−86956号公
報に示される如き技術が知られている。これによ
ればプロセツサが複数になると、プロセツサ対応
にプログラム破壊検出のためのハードウエア回路
が必要となる。また、その検出方法は、ハードウ
エア回路を用いているため、プログラムの暴走は
検出できるが、プログラム・エリアあるいはテー
ブル・エリアの破壊による誤動作に対しては検出
できないという欠点がある。

〔発明の目的〕

本発明の目的は、このような従来の欠点を改善
し、特別なハードウエア回路を備えることなく、
プログラム破壊による暴走あるいは誤動作を自動
的に検出できるプログラム破壊検出方式を提供す
ることにある。

〔発明の概要〕

上記目的を達成するため、本発明のプログラム
破壊検出方式は、メモリに記憶されたプログラム
を周期的にチエツクする制御手段と、チエツクす
べきメモリ・エリアのアドレス、データ長および
チエツク方式を定義したプログラム破壊チエツク
テーブルと、メモリ内容をチエツクした後、得ら
れたエラー情報を退避する退避テーブルとを有
し、前記プログラム破壊チエツク・テーブルの内
容を参照して前記制御手段にてメモリの内容をチ
エツクし、その結果得られたエラー情報を前記退
避テーブルに退避することに特徴がある。

〔発明の実施例〕

次に本発明の実施例につき図面を用いて詳細に
説明する。

第１図は、本発明を具体化するための制御シス
テムの論理ブロツク図である。１はクロツク・パ
ルス・ゼネレータ、２はイニシヤライズ・ブロツ
ク、３は制御ブロツク、４はタスク群（０〜Ｎの
Ｎ個）、５はチエツク（診断）・ブロツク、６は外
部格納フアイル（以下格納フアイルと称す）、７
は格納フアイル６内に保持されるプログラム破壊
チエツク・テーブル（以下チエツク・テーブルと
称す）、８は格納フアイル６内に保持されるエラ
ー情報退避テーブル、９はタスク群の各タスクの
メモリ上の位置およびチエツク対象エリアを示
す。

まず、電源オンにより、立ち上げ処理が行わ
れ、イニシヤライズ・ブロツク２が、チエツク・
テーブル７の初期設定およびエラー情報退避テー
ブル８のゼロクリアを行う。その後は制御ブロツ
ク３に制御が移り、タスク４の起動処理を行う。
CPG（クロツク・パルス・ゼネレータ）１は、制
御ブロツク３に対し、タイミング・パルスを出
し、制御ブロツク３は、これにより周期的に、チ
エツク・ブロツク５に制御を渡すことができる。
制御を渡されたチエツク・ブロツク５は、格納フ
アイル６内に保持されているチエツク・テーブル
７の各情報に従い、プログラム破壊チエツク処理
を行い、タスク４が破壊されているかどうかをチ
エツクする。チエツクによつて異常を検出すれ
ば、格納フアイル６内のエラー情報退避テーブル
８に各種情報を退避させる。この時、チエツク・
テーブル７、エラー情報退避テーブル８を、格納
フアイル６内に保存しておく理由は、タスク４と
同じくメモリ上に置くとプログラムの暴走等によ
つてテーブルが破壊されるおそれがあるので、こ
れを避けるためである。なお、格納フアイル６に
は、第１図には図示されていないが、チエツク方
式を定義するためのチエツク方式定義テーブルも
格納されている。

チエツク・ブロツク５がチエツク・テーブル７
を参照してチエツクする部分は、メモリ対象エリ
ア９の斜線の部分である。チエツク対象のエリア
の先頭アドレス、ベータ長、チエツク方式等がチ
エツク・テーブル７に示されているので、チエツ
ク・ブロツク５は、その値にしたがつて対象エリ
アをアクセスし、チエツク方式にしたがつてチエ
ツクする。

チエツク・テーブル７の定義されたタスクにつ
いてのチエツク処理が終了し、エラー検出してい
れば、エーラー情報退避テーブル８の内容を
FD（フレキシブル・デイスク）またはDK（デイ
スク）に吸い上げる。ブザー鳴動する。デイ
スプレイにエラーメツセージを表示する等のエラ
ー検出処理を行い、制御ブロツク３に対してエラ
ー検出を報告する。エラー検出の報告を受けた制
御ブロツク３は、エラーを検出したタスク４を制
御下からはずし縮退運用を行うか、業務に支障を
期たす場合はシステム・ダウンする等の処理を行
う。

第２図はイニシヤライズ・ブロツク２によつて
セツトされ、チエツク・ブロツク５が、チエツク
処理を行う際に参照し、格納フアイル６内に保持
されるプログラム破壊チエツク・テーブル７およ
びチエツク・ブロツク５が、チエツク処理でエラ
ー検出した時にエラー情報を退避するエラー情報
退避テーブル８およびチエツク方式定義テーブル
の一実施例を示したものである。第２図ａのチエ
ツク・テーブル７は、チエツクエリアの先頭アド
レス、チエツクするエリアのデータ長、チエツク
方式の種別およびチエツク方式別の固定値から構
成され、チエツク方式別の固定値は、イニシヤラ
イズ・ブロツク２により、立ち上げ時、算出およ
び設定される。

第２図ｂのエラー情報退避テーブル８は、エラ
ーを検出したタスクNo.、アドレス、方式種別、方
式別固定値および実際のデータ値から構成され、
チエツク・ブロツク５がエラーを検出した時点で
各データを設定する。第２図ｃのチエツク方式定
義テーブル１０は、チエツク方式の種別と方式名
称を定義したものであり、ここに示した実施例で
は、コンペア・チエツク、サム（加算）チエツ
ク、XOR（排他的論理和）チエツクの３種類を定
義した。

第３図は、チエツク・ブロツク５の処理ステツ
プをフローチヤート（流れ図）で示したものであ
り、以下各ステツプの処理を説明する。

ステツプ（０）：チエツク・ブロツクの処理スタ
ート。

ステツプ(1)：タスクNo.に初期値セツト。

ステツプ(2)：プログラム破壊チエツク・テーブル
から該当タスクNo.の該当アドレスを読み取る。

ステツプ(3)：同上、データ長を読み取る。

ステツプ(4)：同上、方式種別を読み取る。

ステツプ(5)：方式種別によりチエツク処理の振り
分けを行う。

ステツプ(6)：指定アドレスから指定データ長分だ
けデータを読み取る。

ステツプ(7)：各チエツク方式別に処理を行う。す
なわち、各ステツプ方式別には、コンペア・チ
エツクは無処理、サムチエツクは、サム（加
算）をとる。XOR（排他的論理和）をとる。

ステツプ(8)：ステツプ７で算出した結果（データ
値）と、チエツク・テーブル７内の方式別固定
値とは等しいかどうかの判定。等しいならステ
ツプ(10)へ。等しくないならステツプ(9)へ。

ステツプ(9)：エラーを検出した場合の処理ステツ
プ・エラー情報退避テーブル８へデーターをセ
ツトする。

ステツプ(10)：タスクNo.Ｊのチエツクは終了かどう
かの判定。未終了ならステツプ(2)へ。終了なら
ステツプ(11)へ。

ステツプ(11)：タスクNo.Ｊを＋１加算し、次のタス
クNo.を設定する。

ステツプ(12)：チエツク・テーブルに定義された全
タスクの処理が終了かどうかの判定。未終了な
らステツプ(2)へ。終了ならステツプ(13)へ。

ステツプ(13)：ステツプ(12)迄で、エラーを検出した
かどうかの判定。エラー検出ならステツプ(14)へ。
エラー未検出ならステツプ(15)へ。

ステツプ(14)：エラー検出した場合の処理で、エ
ラー情報退避テーブルをFD（フエキシブル・デ
イスク）へ吸い上げる。ブザー鳴動。デイ
スプレイにエラーメツセージ表示等の処置を行
い制御ブロツクへエラー検出を報告する。

ステツプ(15)：処理終了。

なお、第３図において、エラー情報退避テーブ
ル８の内容は、フレキシブル・デイスク３０また
はハード・デイスク３１のいずれかに吸い上げら
れる。

本発明の実施例においては、（）システム設
計者またはデバツグ担当者があらかじめプログラ
ム破壊チエツク・テーブル７に、チエツクすべき
アドレス、データ長およびチエツク方式を定義し
ておくことにより、メモリ内容が固定なプログラ
ムや固定データのテーブル・エリアの内容を周期
的にチエツクすることができる。（）チエツ
ク・テーブル７を変更することにより、簡単にチ
エツク方法の変更が可能である。（）プログラ
ム破壊チエツク・ブロツク（例えばマイクロ・コ
ンピユータで構成される）５によつて、プログラ
ムやテーブル内容の異常を即時検出できるので、
システムの信頼性が確保できる。（）エラー情
報退避テーブル８に検出したエラー情報を退避す
ることにより、保守作業を効率よく行うことがで
きる。（）プログラム破壊チエツク・テーブル
７およびエラー情報退避テーブル８を格納フアイ
ル６に保持することにより、これらのテーブルが
タスクに破壊されることなく、正確なチエツク情
報を保証できる。（）プログラム破壊チエツ
ク・ブロツク５の処理によつて若干処理能力が低
下するが、高速な処理能力もよりも信頼性を必要
とするシステムの検査時に有効である。

〔発明の効果〕

以上説明したように、本発明によれば、特別な
ハードウエア回路を用いることなくプログラム・
エリアおよびテーブル・エリアの破壊を検出する
ことができるので、高信頼性のシステムを実現す
ることができる。

【図面の簡単な説明】

第１図は本発明の実施例を示す制御システムの
ブロツク図、第２図は第１図におけるプログラム
破壊チエツク・テーブル等の詳細図、第３図は第
１図におけるプログラム破壊チエツク・ブロツク
の処理フローチヤートである。１：クロツク・パルス・ゼネレータ、２：イニ
シヤライズ・ブロツク、３：制御ブロツク、５：
プログラム破壊チエツク・ブロツク、６：格納フ
アイル、７：プログラム破壊チエツク・テーブ
ル、８：エラー情報退避テーブル。

Claims

【特許請求の範囲】

１メモリに記憶されたプログラムを周期的にチ
エツクする制御手段と、チエツクすべきメモリ・
エリアのアドレス、データ長およびチエツク方式
を定義したプログラム破壊チエツク・テーブル
と、メモリ内容をチエツクした後、得られたエラ
ー情報を退避する退避テーブルとを有し、前記プ
ログラム破壊チエツク・テーブルの内容を参照し
て前記制御手段にてメモリの内容をチエツクし、
その結果得られたエラー情報を前記退避テーブル
に退避することを特徴とするプログラム破壊検出
方式。