JP2809986B2 - 計算機システム及びプログラムバグ回避方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、高い信頼性を必要とす
る計算機システムのプログラムのバグ、特に並列処理プ
ログラム中の排他制御処理のバグを検出する計算機シス
テム及びプログラムバグ回避方法に関する。

【０００２】

【従来の技術】近年、計算機システムの信頼性に対する
要求がますます高まり、ハードウェアエラーに対しては
フォールトトレラント計算機のように、故障を検出し回
復する機能を備えた計算機システムが開発されている。

【０００３】フォールトトレラント計算機には、ハード
ウェアにより故障回復を行なう第１のタイプと、ソフト
ウェアにより故障回復を行なう第２のタイプの２種類が
存在する。

【０００４】第１のタイプのフォールトトレラント計算
機では、ＣＰＵを３重化してその出力を比較した結果に
基づいて故障を検出する。例えば、１つのＣＰＵに故障
が発生した場合、他の２つのＣＰＵの出力が同じとなる
ため、出力が同じとならない正常に動作していない１つ
のＣＰＵのみを切り放して処理を継続する。

【０００５】このように、ハードウェア故障であれば、
故障を検出し、回復することが可能であるが、ソフトウ
ェアバクに対しては、第１のタイプのフォールトトレラ
ント計算機では、全てのＣＰＵが同じように動作してし
まうため、結局ソフトウェアバグを検出しても回復する
ことはできない。

【０００６】第２のタイプのフォールトトレラント計算
機では、複数のモジュールから構成されるプログラムの
実行途中（チェックポイント）で時々、再実行可能な状
態を保存しておき、故障発生時には故障モジュールのみ
を切り放し、保存しておいた再実行可能な状態に戻して
から処理を再開する。

【０００７】このように、第２のタイプのフォールトト
レラント計算機は、ハードウェア故障を検出し、回復す
ることが可能なのに加えて、ソフトウェアバグがあった
としても再実行可能な状態から処理を再開することがで
きるので、バグがタイミングに依存していて、かつ最後
に再実行可能な状態を保存した以降に故障が発生した場
合であれば、再実行によってバグによる故障の発生を防
げる可能性が高い。

【０００８】第２のタイプのフォールトトレラント計算
機では、タイミングに依存したソフトウェアのバグを回
復するために、各モジュールの処理途中の所定タイミン
グで不正状態検出処理を組み込んでいる。ただし、不正
状態検出処理の組み込みは、本来実行すべき処理に対し
て性能の低下を招くために、非常に粗いレベル（組み込
みの間隔が広い）で不正状態検出処理を組み込んでい
る。

【０００９】

【発明が解決しようとする課題】このように第２のタイ
プのフォールトトレラント計算機では、再実行可能な状
態を保存しておくので、各モジュールの処理途中の所定
タイミングで組み込まれた不正状態検出処理によって不
正状態が検出された際に、再実行可能な状態を保存した
以降に故障が発生したのであれば、タイミングに依存し
たソフトウェアのバグによる故障を再実行により回避す
ることができる。

【００１０】しかしながら、不正状態検出処理が非常に
粗いレベルで組み込まれているとバグによる故障の検出
が遅れ、バグの発生以降に再実行可能な状態を保存して
しまうことがあり、再実行してもバグによる故障の発生
を防ぐことができなくなることがあった。

【００１１】ソフトウェアにより故障回復を行なう第２
のタイプのフォールトトレラント計算機は、トランジェ
ントなソフトウェアバグを回避できる性質を持っている
にも関わらず、現実には性能低下を招くことのないよう
にするために、非常に粗いレベルで不正状態検出処理を
組み込んでいた。このため、バグによる故障の発生以降
に再実行可能な状態を保存してしまうことがあり、再実
行によってもバグの発生を防ぐことが不可能になってし
まうことがあった。

【００１２】本発明は前記のような事情を考慮してなさ
れたもので、必要以上に性能低下を招くことなく非常に
細かいレベルで不正状態検出処理を組み込むことができ
るようにして、ソフトウェアにより故障回復を行なうタ
イプのフォールトトレラント計算機でトランジェントな
ソフトウェアバグの回避を可能にする計算機システム及
びプログラムバグ回避方法を提供することを目的とす
る。

【００１３】

【課題を解決するための手段】本発明は、プログラムの
実行途中で、プログラムの再実行が可能な状態を保存
し、前記プログラムに組み込まれた不正状態を検出する
ための不正状態検出処理によって不正状態が検出された
場合に、保存された状態からプログラムの再実行を行な
う計算機システムにおいて、複数レベルの何れかの実行
レベルがそれぞれに対して設定された複数の不正状態検
出処理が組み込まれたプログラムを格納するためのメモ
リと、前記メモリに格納されたプログラムの実行すべき
不正状態検出処理の実行レベルを指定する不正状態検出
処理実行レベル指定手段と、前記メモリに格納されたプ
ログラムと共に、前記不正状態検出処理実行レベル指定
手段によって指定された実行レベルに応じた段階の不正
状態検出処理を実行する制御手段とを具備したことを特
徴とする。

【００１４】また、前記不正状態検出処理実行レベル指
定手段は、前記制御手段によって実行された不正状態検
出処理によって不正状態が検出された場合に、前記制御
手段によって実行される不正状態検出処理の数が増加さ
れるように実行レベルを変更することを特徴とする。

【００１５】また、前記不正状態検出処理実行レベル指
定手段は、前記プログラムを機能単位で分類したモジュ
ール単位で、不正状態検出処理の実行レベルを指定する
ことを特徴とする。 また本発明は、プログラムの実行途
中で、プログラムの再実行が可能な状態を保存し、前記
プログラムに組み込まれた不正状態を検出するための不
正状態検出処理によって不正状態が検出された場合に、
保存された状態からプログラムの再実行を行なう計算機
システムのプログラムバグ回避方法であって、プログラ
ム実行中に不正状態を検出するための、それぞれに対し
て複数段階の実行レベルが設定された複数の不正状態検
出処理が組み込まれたプログラムの不正状態検出処理の
実行レベルを指定し、前記プログラムと共に、指定され
た実行レベルに応じた段階の不正状態検出処理を実行
し、この実行された不正状態検出処理によって不正状態
が検出された場合に、実行される不正状態検出処理の数
が増加されるように実行レベルの指定を変更した上でプ
ログラムの再実行を行なうことを特徴とする。

【００１６】

【作用】このような構成によれば、プログラム中に設け
られた不正状態検出処理が粗いレベルから細かいレベル
まで段階をもって実行レベルの設定が可能となるため、
バグの発生がない間は粗いレベルで不正状態検出処理を
実行することで、本来の処理に与える影響を少なくする
ことができる。また、タイミングに依存したバグが発生
した場合、不正状態検出処理によって不正状態が検出さ
れた場合には、不正状態検出処理の実行レベルを細かい
レベルに上げて実行頻度を増やす。不正状態が解消され
なければ、実行レベルを順次上げながら、プログラムの
再実行が可能な状態を保存するチェックポイントからの
再実行を繰り返す。すなわち、バグの発生可能範囲が順
次狭くなり、必要最低限の実行レベルによる不正状態検
出処理によるプログラムの再実行により、タイミングに
依存したトランジェントなソフトウェアバグの回避を可
能にする。

【００１７】また、不正状態検出処理の実行レベルの設
定をプログラムのモジュール単位とすることにより、さ
らに本来実行すべき処理に対する影響が少なくなる。従
って、必要以上の性能低下を招くことなく、非常に細か
いレベルで不正状態検出処理を組み込むことを可能にす
るので、ソフトウェアにより、故障回復を行なうタイプ
のフォールトトレラント計算機において、タイミングに
依存したトランジェントなソフトウェアバグの回避を可
能にする。

【００１８】

【実施例】以下、図面を参照して本発明の一実施例を説
明する。図１は本発明の一実施例に係わる計算機システ
ムの構成を示すブロック図である。図１に示すように、
本実施例の計算機システムは、制御手段１０、モジュー
ル単位不正状態検出処理実行レベル指定手段１２、不正
状態検出処理分類手段１４、及びメモリ１６を含んで構
成されている。

【００１９】制御手段１０は、システム全体の制御を司
るもので、メモリ１６に格納されたプログラムの実行
や、他の各手段の制御等を行なうものである。また、制
御手段１０は、メモリ１６に格納されたプログラムを機
能単位に分類して得られる複数のモジュールに関する情
報を管理する。制御手段１０は、プログラム実行中にチ
ェックポイントにおいて、プログラムの再実行が可能な
状態を保存し、またプログラム中に設けられた不正状態
検出処理を、不正状態検出処理分類手段１４によって設
定された実行レベルのものについて実行する。

【００２０】モジュール単位不正状態検出処理実行レベ
ル指定手段１２（以下、実行レベル指定手段と称する）
は、制御手段１０が管理する分類されたモジュール毎
に、不正状態検出処理分類手段１４に対して、設定すべ
き不正状態検出処理の実行レベルを指定する。また、実
行レベル指定手段１２には、図２に示すような、モジュ
ール単位実行レベルテーブル１２ａが設けられている。

【００２１】モジュール単位実行レベルテーブル１２ａ
は、モジュール単位毎に不正状態検出処理実行レベルを
指定するために、各モジュールに対して指定した不正状
態検出処理実行レベルを管理するためのものである。図
２に示す例では、各モジュールＡ，Ｂ，Ｃ，Ｄ，Ｅ，Ｆ
に対して、不正状態検出処理実行レベルが、例えば各々
レベル１，レベル１，レベル２，レベル３，レベル２，
レベル１に設定されている状態であることを示してい
る。

【００２２】不正状態検出処理分類手段１４は、実行レ
ベル指定手段１２からの不正状態検出処理の実行レベル
の指定に応じて、プログラムの各モジュールの処理過程
に設けられた所定の実行レベルの不正状態検出処理を設
定すると共に、不正状態検出処理の処理結果から複数の
モジュールからバグが発生したモジュールを特定する。

【００２３】メモリ１６は、計算機システムの動作をさ
せるためのプログラム２０等を格納するためのものであ
り、制御手段１０によって制御される。プログラム２０
は、複数のモジュール２１，２２，…、２ｎに分類され
る。また、複数のモジュール２１，２２，…、２ｎのそ
れぞれには、不正状態検出処理２１ａ，２１ｂ，２２
ａ，２ｎａ，２ｎｂ，２ｎｃが含まれている。

【００２４】メモリ１６に格納されたプログラム２０
は、例えば図３に示すような関係で、モジュールが分類
されている。制御手段１０は、これらの各モジュールの
関係を示す情報を管理している。

【００２５】また、プログラム２０は、図４に示すよう
に、各モジュールの処理途中の所定タイミングで複数の
不正状態検出処理３０２〜３１２を組み込んでいる。不
正状態検出処理３０２〜３１２には、レベルが設定され
ている。本実施例では、各不正状態検出処理３０２〜３
１２に対して、レベル１、レベル２、レベル３の３つの
レベルの何れかが設定されているものとする。

【００２６】具体的には、例えば図５に示すような形式
によって、不正状態検出処理がプログラム２０中に設定
されるものとする。図５に示す例では、所属するモジュ
ール指定５０２、不正状態検出処理実行レベル５０３、
不正状態検出処理５０１が設定された処理過程において
不正状態であるかどうかを判別するために予め設定して
おく不正状態判定条件５０４、不正状態判定条件５０４
と一致したことにより不正状態であることが検出された
際に実行すべき処理を示す不正状態検出時処理５０５が
指定されている。

【００２７】不正状態検出処理分類手段１４は、プログ
ラム２０中に設定されたレベル１の不正状態検出処理３
０２，３０３、レベル２の不正状態検出処理３０４，３
０５，３０６、レベル３の不正状態検出処理３０７，３
０８，３０９，３１０，３１１，３１２を、制御手段１
０の制御のもとに、選択的に有効にする（実行させる）
ことができる。

【００２８】次に、本実施例の動作について説明する。
まず、プログラム２０の各モジュール中に設定された不
正状態検出処理の動作について説明する。制御手段１０
によって、メモリ１６に格納されたプログラム２０を実
行していく過程で不正状態検出処理があると、図６に示
すフローチャートの処理が実行される。

【００２９】制御手段１０は、実行レベル指定手段１２
より、現在対象としている不正状態検出処理５０１が所
属するモジュールに対して設定された不正状態検出処理
実行レベルを求める（ステップＡ１）。すなわち、実行
レベル指定手段１２が管理するモジュール単位実行レベ
ルテーブル１２ａに格納された、対象とするモジュール
に対応して格納されている不正状態検出処理実行レベル
を読み込む。

【００３０】次に、ステップＡ１で求めた対象とするモ
ジュールの不正状態検出処理実行レベルが、対象とする
不正状態検出処理５０１に設定された不正状態検出処理
実行レベル５０３以上であるかどうかを判別する（ステ
ップＡ２）。

【００３１】ここで、条件を満たさない場合には、不正
状態検出処理を実行しない。また、ステップＡ２の条件
を満たす場合には、不正状態検出処理５０１に設定され
た不正状態検出判定条件５０４に従って不正状態の検査
を行なう（ステップＡ３）。この結果、不正状態でなけ
れば正常に終了する。

【００３２】しかし、ステップＡ３の不正状態の検査で
異常（不正）であることが検出された場合には、不正状
態検出処理５０１で設定された不正状態検出時処理５０
５を実行する。不正状態検出時処理としては、例えば警
告メッセージの出力、処理のアボート等の様々な処理が
存在する。

【００３３】ここで、プログラムの再実行によりトラン
ジェントなソフトウェアのバグを回復可能な状況につい
て説明する。図７は不正状態検出処理によるバグ検出と
再実行可能な状態を保存しておくチェックポイントのタ
イミングの関係を示すものである。

【００３４】図７（ａ）は、プログラムの再実行により
回復不可能な状況を示している。プログラムの実行中に
バグが発生し（７０１ａ）、例えば不正状態検出処理が
粗いレベルで組み込まれていたために、バグ発生後にチ
ェックポイントがあり（７０１ｂ）、さらにその後に不
正状態検出処理によってバクが検出されている（７０１
ｃ）。

【００３５】この場合、不正状態検出処理によってバグ
が検出されたために、チェックポイント（７０１ｂ）か
ら再実行を行なうが、バグ発生後にチェックポイント
（７０１ｂ）が採られているため、バグの回復は不可能
である。

【００３６】一方、図７（ｂ）は、プログラムの再実行
により回復可能な状況を示している。プログラムの実行
中にチェックポイント（７０２ａ）が採られ、その後、
バグが発生し（７０２ｂ）、例えば不正状態検出処理が
細かいレベルで組み込まれていたために、次のチェック
ポイントの前に、不正状態検出処理によってバクが検出
されている（７０２ｃ）。

【００３７】この場合、不正状態検出処理によってバグ
が検出されたために、チェックポイント（７０２ａ）か
ら再実行を行なうが、バグ発生後にチェックポイントを
採っていないため、バグ発生前のチェックポイント（７
０２ａ）から再実行されることになり、バグがタイミン
グに依存したトランジェントなものであれば、回復が可
能となる。

【００３８】本実施例では、プログラム実行中に不正状
態検出処理によって不正状態が検出された場合、図８に
示すフローチャートの手順に従って、不正状態検出処理
の実行レベルの変更（細かいレベルに実行レベルを上げ
る）を行なった上で、チェックポイントで保存された状
態からプログラムを再実行する。

【００３９】図９（ａ）〜（ｃ）は、不正状態の検出に
伴い、プログラムを再実行する際に、該当モジュールの
不正状態検出処理の実行レベルを上げていき、バグ発生
の可能性のある領域を狭めていく様子を示している。図
９（ａ）はモジュールＡの不正状態検出処理実行レベル
が１の場合の処理、図９（ｂ）はモジュールＡの不正状
態検出処理実行レベルが２の場合の処理、図９（ｃ）は
モジュールＡの不正状態検出処理実行レベルが３の場合
の処理を示している。

【００４０】例えば、現在、モジュールＡを対象とする
と、モジュール単位実行レベルテーブル１２ａに、モジ
ュールＡに対して格納されている不正状態検出処理実行
レベルが１で不正検出処理が実行される。

【００４１】この場合、図９（ａ）に示すように、実行
レベル１の不正状態検出処理のみが実行されるので、例
えば９０１ａの時間にバグが発生し、９０１ｂの時間に
バグによる不正状態を検出することになるので、バグ発
生の可能性があるとして予測される範囲は、９０１ｃに
示すように、広い部分に渡ることになる。

【００４２】不正状態が検出されると（バグが検出され
ると）、不正状態検出処理分類手段１４は、バグが発生
したサブルーチンの含まれるモジュールを特定する（ス
テップＢ１）。

【００４３】実行レベル指定手段１２は、不正状態検出
処理分類手段１４によって特定されたモジュールについ
て、モジュール単位実行レベルテーブル１２ａに格納さ
れた、不正状態検出処理実行レベルを１レベル上げる
（ステップＢ２）。

【００４４】制御手段１０は、保存された再実行可能な
状態を用いて、チェックポイントからプログラム（該当
するモジュール）を再実行する。その際、不正状態検出
処理は、前回より細かいレベルの実行レベルで実行され
る。

【００４５】例えば、図９（ａ）に示すようなタイミン
グでチェックポイント９１０，９１１があると、実行レ
ベル１の不正状態検出処理では、バグ発生後のチェック
ポイント９１１から、プログラムが再実行されることに
なる。

【００４６】図９（ａ）に示すように、モジュールＡの
実行でバグが検出されたとすると、再実行により次にプ
ログラムが実行されるときには、モジュールＡに組み込
まれた不正状態検出処理実行レベルは２に上がってい
る。この状態を、図９（ｂ）に示している。

【００４７】図９（ｂ）に示すように、プログラムの再
実行時には、実行レベル１に加えて、実行レベル２の不
正状態検出処理も実行されるので、例えば９０２ａの時
間にバクが発生し、９０２ｂの時間にバグによる不正状
態を検出することになるので、バグ発生の可能性がある
として予測される範囲は、９０２ｃに示すように、図９
（ａ）に示す９０１ｃの範囲と比較してだいぶ狭められ
ている。

【００４８】チェックポイントからのプログラムの再実
行により、再度、不正状態が検出されると（バグが検出
されると）、前述したように、図８に示すフローチャー
トの手順に従って、不正状態検出処理実行レベルがさら
に１レベル上げられた上で、プログラムが再実行され
る。

【００４９】図９（ｂ）に示すように、モジュールＡの
実行でバグが検出されたとすると、再実行により次にプ
ログラムが実行されるときには、モジュールＡに組み込
まれた不正状態検出処理実行レベルは３に上がってい
る。この状態を、図９（ｃ）に示している。

【００５０】図９（ｃ）に示すように、プログラムの再
実行時には、実行レベル１，２に加えて、実行レベル３
の不正状態検出処理も実行されるので、例えば９０３ａ
の時間にバクが発生し、９０３ｂの時間にバグによる不
正状態を検出することになるので、バグ発生の可能性が
あるとして予測される範囲は、９０３ｃに示すように、
図９（ｂ）に示す９０２ｃの範囲と比較して、さらに狭
められている。

【００５１】つまり、バグが発生したモジュールの不正
状態検出処理の実行レベルを順次上げていくことによ
り、バク発生箇所と予測される場所をしだいに狭めてい
き、バクの発生場所を特定することができる。

【００５２】図９（ｃ）に示すように、不正状態検出処
理実行レベルをレベル３にすることにより、バグ発生後
のチェックポイント９１１前に不正状態が検出されるこ
とになる。従って、実行レベル３の不正状態検出処理に
よって不正状態が検出された場合、バグ発生前のチェッ
クポイント９１０からプログラムが再実行されることに
なる。つまり、バグがタイミングに依存したトランジェ
ントなものであれば、プログラムの再実行により、処理
の回復が可能となる。

【００５３】なお、ここまでの処理ではバグ検出に伴
い、図２で示されるモジュール単位不正状態検出処理実
行レベル指定手段１２中のモジュール単位実行レベルテ
ーブル１２ａに格納された各モジュールに対する不正状
態検出処理実行レベルをプログラマが変更していたが、
バグ検出されたモジュールを、プログラムのリンクマッ
プから特定し、モジュールの不正状態検出処理実行レベ
ルを、バグ検出時あるいはアボート処理時に変更するこ
とも可能である。

【００５４】このようにして、ソフトウェアにより故障
回復を行なう計算機システムにおいて、プログラム中に
実行レベルの分類が可能な不正状態検出処理を設定し、
プログラム実行中に不正状態検出処理によってバグが検
出された場合には、実行レベルを順次上げて再実行させ
ることができる。このため、バグ検出がない間は、不正
状態検出処理を、実行頻度の少ない粗いレベルの実行レ
ベルについてのみ行なうので、必要以上に、本来実行す
べき処理の性能を低下させることがない。そして、不正
状態検出処理実行レベルを順次上げてプログラムを再実
行させることにより、バグ発生可能性範囲が狭められ、
再実行可能な状態が保存されたチェックポイントをバグ
発生前とすることができ、プログラムの再実行によりタ
イミングに依存したバグを回避することが可能となる。

【００５５】なお、本発明はソフトウェアで故障回復す
るタイプのオペレーティングシステム、あるいはそれ以
外のオペレーティングシステム、あるいは通常のアプリ
ケーション等、様々な分野に適用できるものである。

【００５６】

【発明の効果】以上のように本発明によれば、ソフトウ
ェアにより故障回復を行なうタイプのフォールトトレラ
ント計算機において、必要以上の性能低下を招くことな
く、非常に細かいレベルでの不正状態検出処理によって
トランジェントなソフトウェアバグの回避が可能となる
ものである。

【図面の簡単な説明】

【図１】本発明の一実施例に係わるプログラムバグ回避
方法を用いる計算機システムの構成を示すブロック図。

【図２】本実施例におけるモジュール単位実行レベルテ
ーブル１２ａの一例を示す図。

【図３】プログラムをモジュール毎に分類した際の各モ
ジュールの関係を示す図。

【図４】本実施例におけるプログラム中に実行レベル分
けされた不正状態検出処理が組み込まれた状態を説明す
るための図。

【図５】本実施例におけるプログラム中に組み込まれる
不正状態検出処理を説明するための図。

【図６】本実施例における不正状態検出処理の処理手順
を説明するためのフローチャート。

【図７】不正状態検出処理によるバグ検出と再実行可能
な状態を保存しておくチェックポイントのタイミングの
関係を説明するための図。

【図８】本実施例における不正状態検出処理の実行レベ
ルを変更する処理手順を説明するための図。

【図９】本実施例における不正状態検出処理の実行レベ
ルを変更する処理にともなうバグ発生、バグ検出、チェ
ックポイントの関係を示す図。

【符号の説明】

１０…制御手段、１２…モジュール単位不正状態検出処
理実行レベル指定手段、１２ａ…モジュール単位実行レ
ベルテーブル、１４…不正状態検出処理分類手段、１６
…メモリ、２０…プログラム、２１，２２，…，２ｎ…
モジュール、２１ａ，２１ｂ，２２ａ，２ｎａ，２ｎ
ｂ，２ｎｃ…不正状態検出処理、３０２，３０３…レベ
ル１の不正状態検出処理、３０４，３０５，３０６…レ
ベル２の不正状態検出処理、３０７，３０８，３０９，
３１０，３１１，３１２…レベル３の不正状態検出処
理、５０１…不正状態検出処理、５０２…モジュール指
定、５０３…不正状態検出処理実行レベル、５０４…不
正状態検出判定条件、５０５…不正状態検出時処理、８
０１ａ，８０２ｂ，９０１ａ…バグ発生、８０１ｂ，８
０２ａ…チェックポイント、８０１ｃ，８０２ｃ，９０
１ｂ…バグ検出、９０１ｃ…バグ発生の可能性のある範
囲、９０２ａ…バグ発生、９０２ｂ…バグ検出、９０２
ｃ…バグ発生の可能性のある範囲、９０３ａ…バグ発
生、９０３ｂ…バグ検出、９０３ｃ…バグ発生の可能性
のある範囲。

フロントページの続き (56)参考文献 特開 昭58−201152（ＪＰ，Ａ) 特開 平４−283842（ＪＰ，Ａ) 特開 平２−195448（ＪＰ，Ａ) 特開 平２−133834（ＪＰ，Ａ) 特開 平１−94444（ＪＰ，Ａ) (58)調査した分野(Int.Cl.⁶，ＤＢ名) G06F 11/00 - 11/34

Claims (4)

(57)【特許請求の範囲】
1. 【請求項１】 プログラムの実行途中で、プログラムの
   再実行が可能な状態を保存し、前記プログラムに組み込
   まれた不正状態を検出するための不正状態検出処理によ
   って不正状態が検出された場合に、保存された状態から
   プログラムの再実行を行なう計算機システムにおいて、複数レベルの何れかの実行レベルがそれぞれに対して設
   定された複数の不正状態検出処理が組み込まれたプログ
   ラムを格納するためのメモリと、 前記メモリに格納されたプログラムの実行すべき不正状
   態検出処理の実行レベルを指定する不正状態検出処理実
   行レベル指定手段と、 前記メモリに格納されたプログラムと共に、前記不正状
   態検出処理実行レベル指定手段によって指定された実行
   レベルに応じた不正状態検出処理を実行する制御手段と
   を具備した ことを特徴とする計算機システム。
2. 【請求項２】 前記不正状態検出処理実行レベル指定手
   段は、前記制御手段によって実行された不正状態検出処
   理によって不正状態が検出された場合に、前記制御手段
   によって実行される不正状態検出処理の数が増加される
   ように実行レベルを変更することを特徴とする請求項１
   記載の計算機システム。
3. 【請求項３】 前記不正状態検出処理実行レベル指定手
   段は、前記プログラムを機能単位で分類したモジュール
   単位で、不正状態検出処理の実行レベルを指定すること
   を特徴とする請求項１記載の計算機システム。
4. 【請求項４】 プログラムの実行途中で、プログラムの
   再実行が可能な状態を保存し、前記プログラムに組み込
   まれた不正状態を検出するための不正状態検出処理によ
   って不正状態が検出された場合に、保存された状態から
   プログラムの再実行を行なう計算機システムのプログラ
   ムバグ回避方法であって、 複数レベルの何れかの実行レベルがそれぞれに対して設
   定された複数の不正状態検出処理が組み込まれたプログ
   ラムの実行すべき不正状態検出処理の実行レベルを指定
   し、 前記プログラムと共に、指定された実行レベルに応じた
   段階の不正状態検出処理を実行し、 この実行された不正状態検出処理によって不正状態が検
   出された場合に、実行 される不正状態検出処理の数が増
   加されるように実行レベルの指定を変更した上でプログ
   ラムの再実行を行なうことを特徴とするプログラムバグ
   回避方法 。