トップ :: G 物理学 :: G06 計算;計数




【発明の名称】 割込命令チェック装置及びプログラム
【発明者】 【氏名】西長 佐世子
【要約】 【課題】グローバル変数の読込処理から書込処理までの途中の割り込みによって生じる不具合に着目し、当該不具合を発生させる可能性のあるグローバル変数の干渉部分を抽出し、割込禁止／許可命令が適正位置に存在することを自動的にチェックする。

【解決手段】ソースプログラムに基づき、グローバル変数の処理記述毎に、予め定めれた条件を満たす読込処理及び書込処理を判断し、変数属性テーブルを作成する。そして、この変数属性テーブルに基づき、グローバル変数の書込処理が上位関数にあり（Ｓ１２０）、下位関数中に条件を満たす読込処理及び書込処理のペアがあれば（Ｓ１３０）、その下位関数中のペア記述位置に応じた適正位置に割込禁止／許可命令が存在することを判断し（Ｓ１４０〜Ｓ１６０）、その判断結果を出力する（Ｓ１７０）。
【特許請求の範囲】
【請求項１】実行単位の複数の処理プログラムからなるソースプログラムであって、前記処理プログラム毎に予め設定された優先度に基づき、当該処理プログラム間で割込処理を行い一連の機能を実現するためのソースプログラムを対象とし、前記優先度が相対的に高い上位処理プログラムに割り込まれる可能性のある前記優先度が相対的に低い下位処理プログラム中の割込禁止／許可命令をチェックする割込命令チェック装置であって、前記ソースプログラムを読み込むプログラム読込手段と、前記優先度を示す優先度情報を取得する優先度取得手段と、前記プログラム読込手段にて読み込まれたソースプログラム及び前記優先度取得手段にて取得された前記優先度情報に基づき、前記上位処理プログラムと前記下位処理プログラムとで共通に使用されるグローバル変数の書込処理が前記上位処理プログラム中にあり、かつ、前記下位処理プログラム中に、当該グローバル変数の読込処理及び書込処理のペアであって、当該読込処理によって読み出されるグローバル変数を用いた演算結果を当該書込処理で書き込む条件付ペアがある場合に、当該処理記述位置に応じた適正位置に割込禁止命令及び割込許可命令が存在することを判断する割込命令判断手段と、該割込命令判断手段による判断に基づく判断情報を出力する出力手段とを備えていることを特徴とする割込命令チェック装置。
【請求項２】請求項１に記載の割込命令チェック装置において、前記割込命令判断手段は、前記下位処理プログラム中で後に記述された書込処理とペアになる読込処理が、前記グローバル変数の代入処理を伴うものである場合に、前記条件付ペアがあると判断することを特徴とする割込命令チェック装置。
【請求項３】請求項１又は２に記載の割込命令チェック装置において、前記割込命令判断手段は、前記下位処理プログラム中で前に記述された読込処理とペアになる書込処理が、前記グローバル変数に対する固定値の代入処理でない場合に、前記条件付ペアがあると判断することを特徴とする割込命令チェック装置。
【請求項４】請求項１〜３のいずれかに記載の割込命令チェック装置において、前記割込命令判断手段は、前記処理プログラムを構成する同一の単位プログラム内に、前記条件付ペアがある場合に、前記適正位置に割込禁止命令及び割込許可命令が存在することを判断することを特徴とする割込命令チェック装置。
【請求項５】請求項１〜４のいずれかに記載の割込命令チェック装置において、前記割込命令判断手段は、前記条件付ペアを構成する読込処理記述の直前に前記割込禁止命令が存在し、かつ、書込処理記述の直後に前記割込許可命令が存在する場合に、前記適正位置に前記割込禁止命令及び前記割込許可命令が存在すると判断することを特徴とする割込命令チェック装置。
【請求項６】請求項１〜５のいずれかに記載の割込命令チェック装置において、前記割込命令判断手段は、前記プログラム読込手段にて読み込まれたソースプログラム中の前記グローバル変数を検索する変数検索手段と、前記プログラム読込手段にて読み込まれたソースプログラム中の記述を参照し、前記変数検索手段にて検索されたグローバル変数に対する処理が読込処理であるか又は書込処理であるかを判断する処理判断手段と、該処理判断手段にて判断された読込処理及び書込処理が予め定められた条件を満たすものであるか否かを判断する条件判断手段と、前記変数検索手段にて検索された前記グローバル変数が使用される前記処理プログラム又は前記処理プログラムを構成する単位プログラムを特定するプログラム特定手段と、該プログラム特定手段にて特定された前記プログラムの優先度を、前記優先度取得手段にて取得された前記優先度情報に基づいて特定する優先度特定手段とを備え、該優先度特定手段にて特定された前記優先度と、前記処理判断手段及び前記条件判断手段による判断結果とに基づき、前記適正位置に前記割込禁止命令及び前記割込許可命令が存在することを判断することを特徴とする割込命令チェック装置。
【請求項７】請求項６に記載の割込命令チェック装置において、さらに、前記単位プログラム間のコール情報を探索するコール情報探索手段を備え、前記優先度特定手段は、前記優先度情報に加え、前記コール情報探索手段にて探索された前記コール情報に基づき、前記単位プログラムの優先度を特定することを特徴とする割込命令チェック装置。
【請求項８】請求項１〜７のいずれかに記載の割込命令チェック装置において、前記優先度取得手段は、前記プログラム読込手段にて読み込まれたソースプログラムの記述に基づいて、前記優先度情報を作成して取得することを特徴とする割込命令チェック装置。
【請求項９】請求項１〜８のいずれかに記載の割込命令チェック装置において、前記出力手段は、前記判断情報を結果ファイルとして記憶手段へ出力することを特徴とする割込命令チェック装置。
【請求項１０】請求項１〜９のいずれかに記載の割込命令チェック装置において、前記出力手段は、前記判断情報を表示手段へ出力することを特徴とする割込命令チェック装置。
【請求項１１】請求項１〜１０のいずれかに記載の割込命令チェック装置において、さらに、前記出力手段から出力される前記判断情報に基づき、前記適正位置に前記割込禁止命令又は割込許可命令の少なくともいずれか一方が存在しない場合には、前記適正位置に記述して前記ソースプログラムを修正するプログラム修正手段を備えることを特徴とする割込命令チェック装置。
【請求項１２】請求項１〜１１のいずれかに記載の割込命令チェック装置の前記プログラム読込手段、前記優先度取得手段、前記割込命令判断手段及び前記出力手段としてコンピュータを機能させるためのプログラム。
【発明の詳細な説明】【０００１】
【発明の属する技術分野】本発明は、割込処理が実行される処理プログラム中に記述される割込禁止／許可命令のチェック技術に関する。
【０００２】
【従来の技術】例えば車両に搭載される電子制御装置（以下「ＥＣＵ」という。）に用いられる制御プログラムでは、制御応答性や安全性の確保等から所定の処理をリアルタイムに実行する必要性がある。そのため、このようなリアルタイム性を必要とする処理（リアルタイム処理）は、メインルーチンとは別の割込ルーチンとして用意されるのが一般的である。割り込みルーチンは、例えばイベントの発生等をトリガとしてメインルーチンの実行中に優先して実行される。優先して実行されるとは、割込ルーチンの実行により一時的にメインルーチンの実行が中断され、割込ルーチン終了後に、再びその中断位置からメインルーチンが実行されることをいう。
【０００３】近年では、上述したＥＣＵの制御プログラムもＯＳ（オペレーティング・システム）上で動作するようになっており、メインルーチンや割込ルーチン等の実行状態がタスクと呼ばれ、ＯＳにより管理されている。このタスクには優先度を示すレベル（タスクレベル）が設定されており、このタスクレベルに基づいて上述したような割込処理を実現している。つまり、ＯＳの管理の下、相対的にレベルの高いタスクである上位タスクは、相対的にレベルの低いタスクである下位タスクに優先する（割り込む）。上述した例で言えば、メインルーチンによる処理が下位タスクに相当し、割込ルーチンによる処理が上位タスクに相当する。
【０００４】このようなタスク概念の導入は、タスクレベルを設定するという極めて簡単な情報記述だけで何等プログラム間の実行タイミング等を記述する必要をなくし、割込処理の設計を容易にした。一方、イベント発生というような、下位タスクの処理タイミングに関係しないタイミングで、上位タスクが割り込む。そのために場合によっては、上位タスクあるいは下位タスクの処理に不具合を生じることがある。
【０００５】ここで、上位タスクの割り込みによって生じる不具合について１つのケースを説明する。例えば上位タスクと下位タスクとで共通の変数を操作する場合を考える。この共通の変数は、例えばプログラム全体が複数の関数にて構成されているとき、これら関数間で共通にアクセスできる記憶領域に記憶されるものであり、グローバル変数（大域変数）と呼ばれる。
【０００６】このとき、下位タスクは、２つの処理ステップＡ，Ｂにてこの変数を２回読み出すものとし、２つの処理ステップＡ，Ｂにて読み出される変数が同一値であることを前提とした処理を実行するものとする。一方、上位タスクは、処理ステップＣにてこの変数を書き換える。
【０００７】このような前提の下、下位タスクの処理ステップＡが実行された後、上位タスクが割り込むと、処理ステップＣにて変数値が書き換えられてしまい、その後処理ステップＢにて読み出される変数値が、処理ステップＡにて読み出された変数値と異なってしまうという事態が生じる。すなわち、グローバル変数の同時性が確保されなくなってしまう。
【０００８】このような不具合を回避するため、下位タスクのプログラム中には、必要に応じて割込禁止／許可命令を記述するのが、一般的であり、不可欠である。割込禁止命令は、上位タスクの割り込みを禁止するものであり、割込許可命令は上位タスクの割り込みを許可するものである。つまり、割込禁止命令と割込許可命令で挟まれた処理ステップの途中では、上位タスクは割り込めない。したがって、上述したケースでは、下位タスクのプログラム中の処理ステップＡの前に割込禁止命令を記述し、処理ステップＢの後に割込許可命令を記述する。このようにすれば、割込禁止命令と割込許可命令とで挟まれた処理ステップＡからＢまでの処理の途中で上位タスクが割り込むことがなくなり、処理ステップＡにて読み出される変数値と処理ステップＢにて読み出される変数値が変わってくることがなくなる。
【０００９】上述したように、割込処理は、リアルタイム処理の実行には不可欠の技術であり、ＯＳによるタスク管理といったコンピュータ技術の発達によって容易に設計されるに至った。しかしながら一方では、割込禁止／許可命令が適正に記述されないと折角の技術もその効果を発揮しないことになる。
【００１０】例えば割込禁止命令が抜け落ちた場合には、上述したように不適切なタイミングで変数が書き換えられてしまう事態が生じる。また、割込許可命令が抜け落ちた場合には、上位タスクによる変数の書き換えがなされない、又は、遅れてしまうことになって、リアルタイム処理の実効が損なわれる。
【００１１】これに対して、本出願人は、特願平１１−２９５５８７号にて、不具合が発生する可能性を有するグローバル変数の干渉部分を抽出し、割込禁止／許可命令が適正位置に存在することをチェックする割込命令チェック装置を提案した。この割込命令チェック装置は、上位タスクによる優先的な書込処理によって不具合が発生するという事実に着目したものであり、上位タスクによる書込処理の存在を前提としている。この割込命令チェック装置によれば、上位タスクの書込処理によって生じる干渉部分に割込禁止／許可命令があるか否かをチェックでき、チェック作業の大幅な工数削減が図られる。
【００１２】
【発明が解決しようとする課題】しかしながら、上述した割込命令チェック装置においても、さらに、改良の余地が残される。それは、上述した割込命令チェック装置が、下位タスクに読込処理と書込処理とが存在する場合、それぞれ個別に割込禁止命令及び割込許可命令の存在を判断している点である。
【００１３】と言うのは、下位タスク中の読込処理と次の書込処理とが所定の関係を有する場合があり、その場合に、読込処理と書込処理との間で上位タスクが割り込むと、不具合が発生する状況が考えられるからである。ここで発生する不具合について、具体的に説明する。
【００１４】例えば、下位タスクで同一のグローバル変数に対し、読込処理を行い、次に書込処理を行う場合の典型的な２つのコーディング例を図１３に示す。図１３（ａ）は、ステップＤにてグローバル変数Ｖａｌをローカル変数ａに代入し、続いてローカル変数ａをインクリメントして、ステップＥでローカル変数ａをグローバル変数Ｖａｌに再び代入するものである。ここでは、ステップＤの処理が読込処理に相当し、ステップＥの処理が書込処理に相当する。
【００１５】一方、図１３（ｂ）は、ステップＦにてｉｆ文の条件式中でグローバル変数が値「０」に等しいか否かを判断し、等しい場合には、ステップＧでグローバル変数Ｖａｌに値「１」を代入するものである。ここでは、条件式の成立を判断するためにステップＦでグローバル変数Ｖａｌが読み出されることになり、そのため、ステップＦの処理は読込処理に相当することになる。一方のステップＧの処理は、書込処理に相当する。
【００１６】このとき問題になるのは、図１３（ａ）に示す場合である。つまり、ステップＤの実行後、上位タスクが割り込んでグローバル変数Ｖａｌに例えば別の値が代入されても、ステップＥでローカル変数ａがグローバル変数Ｖａｌに代入されるため、グローバル変数Ｖａｌは、下位タスクによって上書きされてしまい、上位タスクでの書込処理が意味をなさなくなってしまう。
【００１７】すなわち、このような場合には、ステップＤからステップＥまでの期間で上位タスクの割込処理を禁止する必要がある。しかし、従来提案した割込命令チェック装置では、このような読込処理と書込処理とのペアについての判断については言及していなかった。
【００１８】本発明は、読込処理から書込処理までの途中の割り込みによって生じる不具合に着目し、当該不具合を発生させる可能性のあるグローバル変数の干渉部分を抽出し、割込禁止／許可命令が適正位置に存在することを自動的にチェックすることを目的とする。
【００１９】
【課題を解決するための手段及び発明の効果】上述した目的を達成するためになされた請求項１に記載の割込命令チェック装置は、実行単位となる複数の処理プログラムからなるソースプログラムを対象としている。例えばＯＳ上でタスク管理されるプログラムであれば、この処理プログラム毎にタスクが生成されることになる。
【００２０】なお、処理プログラムは、プログラムの記述単位であるとは限らない。例えば関数型のプログラムを例に挙げれば、複数の関数にて１つの処理プログラムが構成されるという具合である。本明細書では、処理プログラムを構成する記述単位となるプログラムを「単位プログラム」をいう。
【００２１】このとき、上述した処理プログラム毎に実行の優先順位を示す優先度が予め設定されており、ソースプログラムに基づく処理では、この優先度に基づき処理プログラム間で割込処理が行われ、一連の機能が実現される。上述した例で言えば、タスク毎に設定されたタスクレベルがここでいう「優先度」に相当する。したがって、上位タスクが下位タスクに割り込んでリアルタイム処理を実現することによってエンジン等の制御を行う制御プログラムが、ここでいうソースプログラムの一例である。
【００２２】本割込命令チェック装置は、このようなソースプログラムを対象とし、上位処理プログラムに割り込まれる可能性のある下位処理プログラム中の割込禁止／許可命令をチェックする。上述した例で言えば、上位タスクに割り込まれる下位タスクのプログラム中に記述される割込命令をチェックすることになる。
【００２３】なお、上位処理プログラムとは、上述した処理プログラム中で相対的に優先度が高いものをいい、逆に、下位処理プログラムとは、上述した処理プログラム中で相対的に優先度が低いものをいう。「相対的に」であるから、ある上位処理プログラムに対し、下位処理プログラムが複数存在することが考えられる。また逆に、ある下位処理プログラムに対して上位処理プログラムが複数存在することも考えられる。さらに、ある処理プログラムに対しては上位処理プログラムとなるプログラムが、別の処理プログラムに対しては下位処理プログラムとなることも考えられる。
【００２４】上述したチェックは具体的には、以下に示す各手段によってなされる。プログラム読込手段は、ソースプログラムを読み込む。このプログラム読込手段は、本装置内部の記憶手段に記憶されたソースプログラムを読み込むものとすることが考えられる。また、外部のサーバに記憶されたソースプログラムを読み込むものとしてもよい。
【００２５】優先度取得手段は、上述した処理プログラム毎に予め設定された優先度を示す優先度情報を取得する。ＯＳ上でタスク管理されるプログラムであれば、上述したタスクレベルの情報を取得するという具合である。この優先度情報は、予め作成されて外部から提供されるものとしてもよいが、装置内部で作成することも考えられる。例えばＣ言語では定義ファイルに優先度が記述されるのが一般的だからである。したがって、請求項８に示すように、優先度取得手段が、プログラム読込手段にて読み込まれたソースプログラムの記述に基づいて、優先度情報を作成して取得するようにしてもよい。このようにすれば、優先度情報を予め作成しておく必要がなくなる。
【００２６】このようにしてソースプログラムが読み込まれ優先度情報が得られると、これらの情報に基づき、割込命令判断手段が、以下に示す判断を行う。すなわち、上位処理プログラムと下位処理プログラムとで共通に使用されるグローバル変数に対する書込処理が上位処理プログラム中にあり、かつ、下位処理プログラム中に、当該グローバル変数の読込処理及び書込処理の条件付ペアがある場合に、当該処理記述位置に応じた適正位置に割込禁止命令及び割込許可命令が存在することを判断する。ここで条件付ペアというのは、その読込処理によって読み出されるグローバル変数を用いた演算結果を次の書込処理で書き込むペアをいう。
【００２７】割込命令判断手段にてこのような判断がなされると、その判断に基づく判断情報を出力手段が出力する。判断に基づく判断情報とは、割込禁止／許可命令が存在するか否かという情報であることが考えられる。また、命令記述の存在の有無を示す情報に加え又は代え、その判断に際して取得可能な情報であってもよい。例えば、グローバル変数に係る処理記述がプログラムの何行目にあるか、どの単位プログラム中にあるか、割込禁止／許可命令が何行目に存在するか、あるいは、割込禁止命令、割込許可命令のいずれが抜け落ちているか、といった情報である。
【００２８】すなわち、本発明の割込命令チェック装置は、下位処理プログラム中のグローバル変数に対する読込処理と次の書込処理との間に生じる割り込みによって発生する不具合に着目したものであり、上述した構成により、このような不具合を発生させる可能性のあるグローバル変数の干渉部分を抽出し、割込禁止／許可命令が適正位置に存在することを自動的にチェックできる。そして、利用者は、出力手段からの判断情報に基づいて、ソースプログラムを速やかに修正することが可能となる。その結果、チェック作業の工数削減に寄与できる。
【００２９】ところで、上述した条件付ペアの存在は、具体的には請求項２に示すようにして判断することが考えられる。この場合、割込命令判断手段は、下位処理プログラム中で後に記述された書込処理とペアになる読込処理が、グローバル変数の代入処理を伴うものである場合に、読込処理及び書込処理のペアがあると判断する。下位処理プログラム中の読込処理が変数などへのグローバル変数の代入処理であれば、その後、その変数を用いた演算結果を再びグローバル変数へ書き込む可能性が高くなるからである。逆に、代入処理を伴わない処理には、ｉｆ文などの条件式やｓｗｉｔｃｈ文の中に記述されるものが考えられる。
【００３０】また、請求項３に示すようにして判断してもよい。この場合、割込命令判断手段は、下位処理プログラム中で前に記述された読込処理とペアになる書込処理が、グローバル変数に対する固定値の代入処理でない場合に、条件付ペアがあると判断する。つまり、グローバル変数への固定値の代入処理であれば、前出の読込処理との関係を否定できるからである。
【００３１】なお、上述した判断手法のいずれか一方を用いて条件付ペアの存在を判断してもよいが、両方を用いてペアの存在を判断をすれば、上述した条件付ペアがより確実に抽出できるため好ましい。なお、割込命令判断手段は、処理プログラムを構成する同一の単位プログラム内に、上述した条件付ペアがある場合に、割込禁止命令及び割込許可命令の存在を判断することが考えられる（請求項４）。不具合を発生させる下位処理プログラム中の処理記述例は、図１３（ａ）に示す如くであり、通常、処理プログラムを構成する同一単位プログラム内にこのような処理記述がなされるためである。
【００３２】また、割込命令判断手段は、条件付ペアを構成する読込処理記述の直前に割込禁止命令が存在し、かつ、書込処理記述の直後に割込許可命令が存在する場合に、適正位置に存在すると判断することが望ましい（請求項５）。不具合の発生する可能性があるステップ間だけで割り込みを禁止すれば十分であり、条件付ペアを構成する読込処理から書込処理までの途中で割り込みが発生しないようにすればよいためである。つまり、読込処理の直前で割り込みを禁止し、書込処理の直後で割り込みを許可するのが、リアルタイム性の確保という観点からは有効である。
【００３３】ところで、上述した割込命令判断手段を具体化した構成が、請求項６に示すものである。この構成において、割込命令判断手段は、変数検索手段、処理判断手段、条件判断手段、プログラム特定手段及び優先度特定手段の計５つの手段を備える。
【００３４】変数検索手段は、プログラム読込手段にて読み込まれたソースプログラム中のグローバル変数を検索する。また、処理判断手段は、プログラム読込手段にて読み込まれたソースプログラム中の記述を参照し、変数検索手段にて検索されたグローバル変数に係る処理が読込処理であるかあるいは書込処理であるかを判断する。そして、条件判断手段は、処理判断手段にて判断された読込処理及び書込処理が予め定められた条件を満たすものであるか否かを判断する。予め定められた条件とは、請求項２に記載した構成における読込処理についての条件や、請求項３に記載した構成における書込処理についての条件とすることが考えられる。
【００３５】また、プログラム特定手段は、検索されたグローバル変数が使用される処理プログラム又は単位プログラムを特定する。なお、記述単位である単位プログラムを特定することが、プログラムの修正作業を考えた場合に有利である。プログラム特定手段にて処理プログラム又は単位プログラムが特定されると、優先度特定手段が、当該プログラムの優先度を、優先度情報に基づいて特定する。これによって、検出されたグローバル変数の使用されているプログラムが上位処理プログラム（に属するもの）であるか下位処理プログラム（に属するもの）であるかが特定されることになる。
【００３６】したがって割込命令判断手段は、特定された処理プログラム（又は単位プログラム）の優先度と、上述した処理判断手段及び条件判断手段による判断結果とを用い、上述した適正位置に割込禁止命令及び割込許可命令が存在することを判断する。
【００３７】この構成では、グローバル変数を検索し、検索したグローバル変数を使用するプログラムを特定し、さらに、それらプログラムの優先度を特定する。つまり、各グローバル変数を基にして情報を整理するため、その処理内容が分かり易いものとなり、処理設計が簡単になる。例えば上述した各手段をコンピュータシステムの機能として実現する場合、そのプログラム設計が容易になる。また、条件判断手段をコンピュータシステムの機能として実現する場合、請求項２や３に記載した構成における判断手法、すなわち、グローバル変数の読込処理記述又は書込処理記述だけに基づく判断手法を用いれば、他の処理ステップの処理内容を判断する必要がなくなり、この点においても、プログラム設計が容易になる。
【００３８】なお、優先度特定手段が単位プログラムの優先度を特定する場合、処理プログラム毎に設定された優先度が、単位プログラムの優先度となっていることを前提としている。しかしながら、処理プログラムが関数ｆ１、関数ｆ１からコールされる関数ｆ１１、及び関数ｆ１１からコールされる関数ｆ１２という３つの関数で構成されている場合、優先度情報は、最初に実行される関数ｆ１のみに対応させて記述されるのが一般的である。したがって、グローバル変数が関数ｆ１１の中で使用される場合、このような優先度情報からは関数ｆ１１の優先度を特定することができない。
【００３９】そこで、請求項７に示すように、さらに、単位プログラム間のコール情報を探索するコール情報探索手段を備え、優先度特定手段が、優先度情報及びコール情報探索手段にて探索されたコール情報に基づき、単位プログラムの優先度を特定するようにするとよい。
【００４０】コール情報探索手段が単位プログラム間のコール情報を探索するというのは、上述した例で言えば、関数ｆ１から関数ｆ１１がコールされ、関数ｆ１１から関数ｆ１２がコールされることを探索することをいう。すなわち、ここでいう「コール情報」とは、「ｆ１→ｆ１１→ｆ１２」という情報であり、いわゆるコールツリーと呼ばれるものである。このようなコール情報を用いれば、関数ｆ１に対応させて優先度が付加されている場合であっても、関数ｆ１と関数ｆ１１の優先度は同じであることが分かるため、単位プログラムの優先度を特定することができる。
【００４１】ところで、割込命令判断手段の判断に基づく判断情報を、出力手段が出力することは既に述べた。具体的に、出力手段は、例えば結果ファイルとして記憶手段へ出力することが考えられる（請求項９）。この記憶手段は、本装置内部のものであっても外部のものであってもよい。また、記憶手段への出力に加え又は代え、表示手段へ出力するようにすることが考えられる（請求項１０）。
【００４２】また、上述した構成では、出力手段から出力された判断情報に基づき、ソースプログラムの記述を利用者が修正することを述べた。これに対して例えば請求項１１に示すように、プログラム修正手段を備え、このプログラム修正手段が、出力手段から出力される判断情報に基づき、適正位置に割込禁止命令又は割込許可命令が存在しない場合、割込禁止／許可命令が適正位置にくるように、ソースプログラムを修正するようにしてもよい。この場合、割込禁止／許可命令のチェックだけでなくプログラム修正までが自動で行われるため、利用者にとってさらに便利であり、プログラム修正工数の削減が図られる。
【００４３】なお、このような割込命令チェック装置のプログラム読込手段、優先度取得手段、割込命令判断手段及び出力手段をコンピュータシステムにて実現する機能は、例えば、コンピュータで起動するプログラムとして備えることができる。すなわち、プログラムの発明としても実現できる（請求項１２）。
【００４４】また、このようなプログラムの場合、例えば、ＦＤ、ＭＯ、ＤＶＤ−ＲＯＭ、ＣＤ−ＲＯＭ、ハードディスク等のコンピュータ読み取り可能な記録媒体に記録し、必要に応じてコンピュータにロードして起動することにより用いることができる。この他、ＲＯＭやバックアップＲＡＭをコンピュータ読み取り可能な記録媒体としてこのプログラムを記録しておき、ＲＯＭあるいはバックアップＲＡＭをコンピュータに組み込んで用いてもよい。
【００４５】
【発明の実施の形態】以下、本発明を具体化した一実施例を図面を参照して説明する。図１は、本発明を具体化した割込命令チェック装置１０を含むシステムの概要を示す説明図である。
【００４６】本実施例の割込命令チェック装置１０は、外部の記憶装置２０及び表示装置３０に接続されている。割込命令チェック装置１０は、その内部にＣＰＵ、ＲＯＭ、ＲＡＭ、Ｉ／Ｏなどを備え、いわゆるコンピュータシステムとして構成されている。
【００４７】記憶装置２０は、ハードディスク装置等の大容量記憶装置である。この記憶装置２０は、割込命令チェック装置１０にローカルに接続されるものであってもよいが、例えばネットワークを介して接続されるものであってもよい。つまり、ネットワークを介して接続し、割込命令チェック装置１０とは別のコンピュータシステムからもアクセス可能とすることが考えられる。このようにすれば、記憶装置２０内のデータを他のコンピュータシステムから書き込んだり、他のコンピュータシステムで読み出したりすることができる。
【００４８】表示装置３０は、ＣＲＴや液晶などを用いたディスプレイ装置である。本割込命令チェック装置１０は、記憶装置２０に記憶されたソースプログラム２１、タスクレベル表２２、及び環境ファイル２３を読み込み、ソースプログラム２１中の適正位置に割込禁止命令及び割込許可命令が記述されていることをチェックし、そのチェック結果を結果ファイル２４として記憶装置２０に記憶すると共に表示装置３０へ出力する。したがって、上述したように記憶装置２０を他のコンピュータシステムからアクセスできるようにすれば、ソースプログラム２１、タスクレベル表２２、及び環境ファイル２３を他のコンピュータシステムにて作成して記憶装置２０へ記憶しておくことができる。また、チェック結果を他のコンピュータシステムにて参照することができる。
【００４９】最初に、本割込命令チェック装置１０が読み込むソースプログラム２１、タスクレベル表２２、及び環境ファイル２３について説明する。ソースプログラム２１は、最終的には、ＥＣＵなどの有する所定のマイコンに搭載されるものであり、コンパイル／リンクされてＯＳ上で実行される。このソースプログラム２１は、Ｃ言語で記述されており、複数の関数の集合体である。そして、これらの関数はいくつかの関数グループに分けられ、この関数グループの単位で実行される。この関数グループ単位の処理実行状態がタスクとして上述したＯＳに管理される。したがって、この関数グループが「処理プログラム」に相当し、各関数が処理プログラムを構成する「単位プログラム」に相当する。
【００５０】タスクレベル表２２は、上述した関数グループの「優先度」としてのタスクレベルを記述するものである。したがって、タスクレベル表２２が「優先度情報」に相当する。具体的には、例えばある関数グループが関数ｆ１、関数ｆ１からコールされる関数ｆ１１、関数ｆ１１からコールされる関数ｆ１２及び関数ｆ１３という４つの関数で構成されている場合、最初に実行される関数ｆ１に対してタスクレベルが記述される。なお、本明細書中では、関数グループの中で最初に実行される関数を「メイン関数」と記述し、一方、メイン関数の配下に属する関数を「サブ関数」と記述することにする。
【００５１】タスクレベル表２２を図２に例示した。各関数グループのメイン関数ｆ１，ｆ２，ｆ３，ｆ４，・・・にそれぞれ対応させてタスクレベルが記述されている。図２に例示したものでは、タスクレベルの数値が小さいほど優先度が高くなっているものとして以下の説明を続ける。図２では、メイン関数ｆ１はタスクレベル「１」となっており、メイン関数ｆ２はタスクレベル「２」となっている。同様に、メイン関数ｆ３はタスクレベル「６」、メイン関数ｆ４はタスクレベル「３」となっている。
【００５２】したがって例えば、メイン関数ｆ１の関数グループ（以下「関数グループ１」という。）は、メイン関数ｆ２の関数グループ（以下「関数グループ２」という。）よりも優先度が高いことを示している。つまり、実際にＯＳ上で実行された場合、関数グループ１に基づく処理は、関数グループ２に基づく処理に割り込み可能である。割り込み可能とは、関数グループ２に基づく処理実行中、関数グループ１に基づく処理の実行指令があると、関数グループ２に基づく処理が一旦中断されて関数グループ１に基づく処理が優先して実行され、関数グループ１に基づく処理終了後に、再び中断位置から関数グループ２に基づく処理が実行されることをいう。すなわち、関数グループ１は関数グループ２に対し「上位処理プログラム」であり、関数グループ２は関数グループ１に対し「下位処理プログラム」となっている。
【００５３】なお、図２では、タスクレベルの数値が小さいほど優先度が高いことを示しているが、その逆の場合もあり、タスクレベルの数値が大きいほど優先度が高いことを示すタスクレベル表２２が入力されることがあり得る。このタスクレベル表２２の記述形式等を示す情報が記述されるのが、次に説明する環境ファイル２３である。
【００５４】環境ファイル２３は、本割込命令チェック装置１０の設定を行うためのファイルである。例えば上述したタスクレベル表２２のタスクレベルについて言えば、数値が小さいものほど優先度が高いのか、逆に数値が大きいものほど優先度が高いのかを示す情報が記述される。本割込命令チェック装置１０は、この環境ファイル２３に基づいて、タスクレベル表２２やソースプログラム２１の記述形式の違いを吸収する。その結果、複数種類のソースプログラム２１やタスクレベル表２２に対して、本割込命令チェック装置１０は動作する。例えば記憶装置２０が異なるコンピュータシステムに接続されている場合、それらコンピュータシステムからそれぞれ出力され記憶された、異なる記述形式のソースプログラム２１，タスクレベル表２２に基づいて同様の処理を行うことができる。
【００５５】以上本実施例の割込命令チェック装置１０が読み込む情報について説明した。次に、本割込命令チェック装置１０の動作を説明する。ここでは最初に本割込命令チェック装置１０のチェックの目的を説明し、その後、詳細な動作説明を行うことにする。
【００５６】上述したようにソースプログラム２１は、関数グループ単位で実行され、関数グループ単位にタスクレベルが設定されており、関数グループ間で割込処理が実現される。このとき、タスクレベルが相対的に高い上位の関数グループと、タスクレベルが相対的に低い下位の関数グループとで、同一の変数を操作する可能性がある。この同一の変数は、グローバル変数として定義されるものであり、関数グループ間で共通に使用可能なものである。このような同一のグローバル変数を上位の関数グループと下位の関数グループとで操作すると、不具合を生じる可能性がある。そのため、下位の関数グループには、グローバル変数に係る処理記述の前後に割込禁止／許可命令を記述し、上位の関数グループの割り込みを一時的に禁止する。
【００５７】本実施例の割込命令チェック装置１０は、この割込禁止／許可命令が適正位置に記述されていることをチェックすることを目的としている。そして、特に本実施例の割込命令チェック装置１０では、あるグローバル変数に対する読込処理と書込処理の特定条件を満たすペア（条件付ぺア）が下位の関数グループにある場合に、そのペアに対して記述されるべき割込禁止／許可命令をチェックする。
【００５８】図３は、本割込命令チェック装置１０の機能ブロック図である。図３に示すように、本割込命令チェック装置１０は、変数テーブル作成ブロック１１、コールツリー作成ブロック１２、変数属性テーブル作成ブロック１３及び干渉検出／チェックブロック１４を備えている。以下、各ブロック１１〜１４の動作を説明する。
【００５９】変数テーブル作成ブロック１１は、ソースプログラム２１に基づき、変数テーブルを作成する。変数テーブルは、図４に示すように、グローバル変数名、関数名、行数、書き込み／読み込みの区別が記述されたものである。なお、変数テーブルの左端の欄に示した（１）〜（７）の数字は、この変数テーブル中の記述を説明するために便宜上付したものである。
【００６０】変数テーブル作成ブロック１１は次の■〜■の手順で処理を実行する。
■ ソースプログラム２１中のグローバル変数を検索する。検索されたグローバル変数は、変数テーブルの「グローバル変数名」の欄に記される。
■ 検索されたグローバル変数が使用されている関数を取得する。取得された関数が、変数テーブルの「関数名」の欄に記される。
【００６１】■ グローバル変数に係る処理記述が上記■で取得された関数中（関数が記述されたファイル）の何行目に当たるかを特定する。特定された行数が変数テーブルの「行数」の欄に記される。
■ 上記■で特定された行数の処理記述がグローバル変数の書込処理であるか読込処理であるかを判断する。書込処理である場合には変数テーブルの「書き込み」の欄に「○」が記され、一方、読込処理である場合には変数テーブルの「読み込み」の欄に「○」が記される。
【００６２】例えば図４の変数テーブルに示す（７）の場合について、実際のソースプログラム２１から変数テーブルを作成する過程を具体的に示す。例えばソースプログラム２１中に、図５に示す記述があったとして説明を続ける。このとき、ソースプログラム２１中でグローバル変数Ｖａｌ７を検索し（上記■）、グローバル変数Ｖａｌ７の使用される関数を取得する（上記■）。図５から分かるように、関数ｆ１、関数ｆ２１、及び関数ｆ２２が取得される。したがって、図４に示すように、グローバル変数Ｖａｌ７に対し関数名ｆ１，ｆ２１，ｆ２２が記される。
【００６３】続いて、グローバル変数に係る処理記述が関数ｆ１，ｆ２１，ｆ２２の何行目に当たるかを特定する（上記■）。図５に示すように関数ｆ１の５行目、関数ｆ２１の１０行目及び１２行目、関数ｆ２２の１０行目及び１２行目にその処理記述があれば、「５」，「１０」，「１２」，「１０」，「１２」が行数として特定され、変数テーブルに記される。図４に示す如くである。
【００６４】そして次に、グローバル変数に係る処理記述がグローバル変数の書込処理であるか読込処理であるかを判断する（上記■）。書き込み処理である場合は「＝」の左側にグローバル変数が記述されている。一方、読込処理である場合は「＝」の右側にグローバル変数が記述されているか、又は、条件式などに記述されている。関数ｆ１では「＝」の左側にグローバル変数Ｖａｌ７が記述されているため書込処理と判断し、関数ｆ２１の１０行目では「＝」の右側にグローバル変数Ｖａｌ７が記述されているため読込処理、１２行目では「＝」の左側にグローバル変数Ｖａｌ７が記述されているため書込処理と判断する。さらに、関数ｆ２２の１０行目ではｉｆ文の条件式中にグローバル変数Ｖａｌ７が記述されているため読込処理、１２行目では「＝」の左側にグローバル変数Ｖａｌ７が記述されているため書込処理と判断する。これによって、図４に示す変数テーブルには、関数ｆ１の５行目、関数ｆ２１の１２行目、関数ｆ２２の１２行目の処理記述に対応させ「書き込み」の欄に「○」が記され、関数ｆ２１の１０行目、関数ｆ２２の１０行目の処理記述に対応させ「読み込み」の欄に「○」が記される。
【００６５】続いて、コールツリー作成ブロック１２について説明する。コールツリー作成ブロック１２は、ソースプログラム２１に基づき、「コール情報」としてのコールツリーを作成する。具体的には、上述したメイン関数内でサブ関数をコールする処理を検索し、サブ関数をコールする処理があれば、そのサブ関数内でさらにサブ関数をコールする処理を検索するという具合に、いわゆるネスト構造になっている関数グループ内の関係を特定する。このようにして、図６に示すようなコールツリーが作成される。図６には、作成されるコールツリーの一部を例示した。図６の上段に示すコールツリーは、関数ｆ１から関数ｆ１１がコールされ、さらに関数ｆ１１から関数ｆ１２及び関数ｆ１３がコールされていることを示している。他の関数ｆ２，ｆ３についても同様である。つまり、図６中の実線で結ばれた複数の関数群が上述した関数グループを構成し、関数ｆ１，ｆ２，ｆ３がメイン関数、残りの関数ｆ１１，ｆ１２，ｆ１３，ｆ２１，ｆ２２，ｆ２３，ｆ３１がサブ関数に相当する。
【００６６】続いて、変数属性テーブル作成ブロック１３について説明する。変数属性テーブル作成ブロック１３は、変数テーブル作成ブロック１１にて作成された変数テーブル（図４参照）、コールツリー作成ブロック１２にて作成されたコールツリー（図６参照）、タスクレベル表２２（図２参照）に基づき、変数属性テーブルを作成する。この変数属性テーブルは、図７に太枠にて示したように、変数テーブル（図４参照）に対し、関数名に対応する「タスクレベル」が追加されたものである。なお、変数属性テーブルの左端に示す（１）〜（７）の数字は、変数テーブルと同様、説明のために便宜上付したものである。
【００６７】変数属性テーブル作成ブロック１３は、変数テーブルの「関数名」の欄に記述された関数を１つずつ選択し、次の■及び■の処理を実行する。
■ 選択した関数がタスクレベル表２２にあるか否かを判断する。タスクレベル表２２には、上述のように各関数グループのメイン関数だけが記述されているため、変数テーブルから選択した関数がメイン関数であればタスクレベル表２２に存在する。一方、変数テーブルから選択した関数がサブ関数であればタスクレベル表２２に存在しない。
【００６８】■ 上記■で存在すると判断された場合、タスクレベル表２２に記述されているタスクレベルを変数属性テーブルに記す。一方、上記■で存在しないと判断された場合、その関数はサブ関数であるため、コールツリー作成ブロック１２にて作成されたコールツリーを参照し、メイン関数を特定する。そして、タスクレベル表２２を参照して、そのメイン関数に対応するタスクレベルを変数属性テーブルに記す。
【００６９】この変数属性テーブルによれば、グローバル変数を使用する関数が上位関数であるかあるいは下位関数であるかが把握できる。つまり、割り込む側である上位の関数グループに属する関数であるか、あるいは、割り込まれる側である下位の関数グループに属する関数であるかが把握できる。
【００７０】また、変数属性テーブル作成ブロック１３は、作成した変数属性テーブルに対し、テーブル更新処理を実行する。図８は、テーブル更新処理を示すフローチャートである。このテーブル更新処理は、変数属性テーブルに記載された下位関数の各グローバル変数の処理記述に対して実行されるものである。
【００７１】まず最初のステップ（以下、ステップを単に記号Ｓで示す）２００において、変数属性テーブルを参照する。Ｓ２１０では、読込処理か否かを判断する。ここで読込処理であると判断された場合（Ｓ２１０：ＹＥＳ）、Ｓ２２０へ移行する。一方、書込処理であると判断された場合（Ｓ２１０：ＮＯ）、Ｓ２４０へ移行する。
【００７２】読込処理である場合に移行するＳ２２０では、代入を伴う処理であるか否かを判断する。代入を伴う処理は、「＝」の右側にグローバル変数が記述されている処理である。条件式中にグローバル変数が記述されている場合などは代入を伴う処理ではない。ここで代入を伴う処理であると判断された場合（Ｓ２２０：ＹＥＳ）、Ｓ２３０にて当該読込処理が代入を伴う読み込みであるとして情報を付加し、その後、Ｓ２６０へ移行する。一方、代入を伴わない処理であると判断された場合（Ｓ２２０：ＮＯ）、以降の処理を実行せずに、本テーブル更新処理を終了する。
【００７３】書込処理である場合に移行するＳ２４０では、固定値の代入処理であるか否かを判断する。ここで固定値の代入処理でないと判断された場合（Ｓ２４０：ＮＯ）、Ｓ２５０にて当該書込処理が固定値以外の書き込みであるとして情報を付加し、その後、Ｓ２６０へ移行する。一方、固定値の代入処理であると判断された場合（Ｓ２４０：ＹＥＳ）、以降の処理を実行せずに、本テーブル更新処理を終了する。
【００７４】Ｓ２６０では、Ｓ２３０又はＳ２５０で付加された情報を基にして、変数属性テーブルを更新する。例えば更新後の変数属性は、図９に示す如くとなる。（７）の場合について見れば、図５の処理記述から分かるように、関数ｆ２１の１０行目の処理記述は、代入を伴う読込処理であるため、Ｓ２１０及びＳ２２０で肯定判断されることになる。このような処理記述に対応させ、変数属性テーブルの読み込みの欄に「●」を記して更新する（Ｓ２３０，Ｓ２６０）。また、関数ｆ２１の１２行目の処理記述は、固定値の代入ではない書込処理である。したがって、Ｓ２１０及びＳ２４０で否定判断されることになる。このような処理記述に対応させ、変数属性テーブルの書き込みの欄に「●」を記して更新する（Ｓ２５０，Ｓ２６０）。
【００７５】すなわち、上述したテーブル更新処理によって、予め定められた条件を満たす読込処理及び書込処理が、更新後の変数属性テーブルの書き込み及び読み込みの欄から、把握できることになる。なお、図９中の（１）〜（６）については特に更新がなかったものとしている。
【００７６】続いて、干渉検出／チェックブロック１４について説明する。干渉検出／チェックブロック１４は、上述した変数属性テーブル作成ブロック１３にて作成され更新された図９に示す変数属性テーブルに基づき、割込禁止／許可命令のチェック処理を実行し、結果ファイル２４を記憶装置２０に出力すると共に表示用データ３１を表示装置３０へ出力する。
【００７７】この干渉検出／チェックブロック１４にて実行されるチェック処理を図１０のフローチャートに基づいて説明する。このチェック処理は、変数属性テーブルに記載された各グローバル変数毎に実行されるものである。まず最初のステップＳ１００において、更新後の変数属性テーブルを読み込む。そして、読み込まれた変数属性テーブルに基づき、以下の処理を実行する。
【００７８】続くＳ１１０では、関数毎に記述されたタスクレベルが異なるか否かを判断する。図９の変数属性テーブルに示す（１）〜（４）、（６）及び（７）の場合は、関数間でタスクレベルが異なるため、肯定判断される。一方、（５）の場合は、タスクレベルが共に「６」となっているため、否定判断される。ここでタスクレベルが異なると判断された場合（Ｓ１１０：ＹＥＳ）、Ｓ１２０へ移行する。一方、タスクレベルが同じであると判断された場合（Ｓ１１０：ＮＯ）、以降の処理を実行せず、本チェック処理を終了する。
【００７９】Ｓ１２０では、上位関数で書き込みをするか否かを判断する。変数属性テーブルに示す（１）〜（３）及び（７）の場合は、タスクレベルの高い（数値の小さい）関数である上位関数にて書込処理を行うため、肯定判断される。一方、（４）及び（６）の場合は、上位関数にて読込処理を行うから、否定判断される。ここで上位関数で書き込みをすると判断された場合（Ｓ１２０：ＹＥＳ）、Ｓ１３０へ移行する。一方、上位関数で読み込みをしないと判断された場合（Ｓ１２０：ＮＯ）、以降の処理を実行せず、本チェック処理を終了する。
【００８０】Ｓ１３０では、条件付ペアが下位関数にあるか否かを判断する。ここで判断されるペアは、同一下位関数内での読込処理とこれに続く書込処理のペアである。条件を満たすか否かは、図９に示す変数属性テーブルの読み込み及び書き込みの欄が「●」となっているか否かで判断する。図９に示す変数属性テーブルでは（７）の場合に、肯定判断されることになる。ここで、条件付ペアがあると判断された場合（Ｓ１３０：ＹＥＳ）、Ｓ１４０へ移行する。一方、条件付ペアがないと判断された場合（Ｓ１３０：ＮＯ）、以降の処理を実行せず、本チェック処理を終了する。
【００８１】Ｓ１４０では、下位関数で条件付ペアとなっている読込処理記述の直前に割込禁止命令があり、かつ、書込処理記述の直後に割込許可命令があることをチェックする。例えば変数属性テーブルの（７）の場合について具体的に説明する。（７）の場合は、図５中の下位関数ｆ２１の１０行目の読込処理記述の直前に割込禁止命令が存在し、１２行目の書込処理記述の直後に割込許可命令が存在することをチェックする。つまり、図５に割込禁止命令を「ｚｄｉ」として示し、割込許可命令を「ｚｅｉ」として示したが、この枠線で囲って示した割込許可／禁止命令の存在をチェックするのである。
【００８２】Ｓ１５０では、Ｓ１４０のチェック結果に基づき、割込禁止／許可命令が存在するか否かを判断する。ここで存在すると判断された場合（Ｓ１５０：ＹＥＳ）、Ｓ１６０の処理を実行せず、Ｓ１７０へ移行する。一方、存在しないと判断された場合（Ｓ１５０：ＮＯ）、Ｓ１６０にてＮＧ判定をし、エラー情報、エラーコードなどを作成して、その後、Ｓ１７０へ移行する。
【００８３】Ｓ１７０では、結果出力を行う。Ｓ１５０にて肯定判断されてここへ移行した場合には、そのグローバル変数の処理記述位置に応じた適正位置に割込禁止／許可命令が存在する旨を、結果ファイル２４として記憶装置２０に記憶すると共に表示用データ３１として表示装置３０へ出力する。一方、Ｓ１６０からここへ移行した場合には、適正位置に割込禁止／許可命令が存在しない旨を示す詳細情報を含めた結果ファイル２４を記憶装置２０へ記憶すると共に、エラー情報及びエラーコードを表示用データ３１として表示装置３０へ出力する。
【００８４】次に、本割込命令チェック装置１０の出力情報について説明する。図１０中のＳ１７０で説明したように、本実施例では、表示用データ３１及び結果ファイル２４を出力する（図３参照）。なおここでは、チェック結果に問題がない場合もその旨を表示するが、ここでは割込禁止／許可命令が存在しない場合の出力情報について説明する。
【００８５】割込禁止／許可命令が適正位置に存在しない場合に出力される表示用データ３１は、エラー情報、エラーコードである。エラー情報は、そのグローバル変数の処理記述位置に応じた適正位置に割込禁止／許可命令が存在しない旨を示す情報であり、エラーコードは、エラー情報をいくつかのケースに分類する情報である。いくつかのケースとは、例えば割込禁止／許可命令の記述が存在しないケースや、存在するが適正位置でないケースなど種々考えられる。もちろんエラー情報のみを表示するようにしてもよいが、エラーコードがあれば、ソースプログラム２１の修正が容易になり、ソースプログラム２１の修正工数の削減に寄与する。
【００８６】一方、割込禁止／許可命令が適正位置に存在しない場合に出力される結果ファイル２４を図１１に例示した。この図１１は、変数属性テーブルに示す（７）の場合、すなわちグローバル変数Ｖａｌ７についてチェックを行った結果、適正位置に存在しないと判断された際の結果ファイル２４を示すものである。
【００８７】まず、１行目の記述について説明する。「０００１」は、シリアルナンバーであり、上述したチェック処理に対して連番で付加されるものである。「Ｖａｌ７（ｉｎｔ）」は、グローバル変数Ｖａｌ７についてのチェック結果であることを示し、「（ｉｎｔ）」は、このグローバル変数Ｖａｌ７が整数型であることを示している。
【００８８】「ＮＧ」は、グローバル変数Ｖａｌ７についてのチェック結果に問題があることを示している。続けて２〜６行目の記述を説明する。２〜６行目は、グローバル変数に係る処理記述位置毎のチェック結果を示している。
【００８９】２行目の「ｆｉｌｅ１０」は関数ｆ１の記述されたファイル名を示しており、３行目の「ｆｉｌｅ１１」は関数ｆ２１、５行目の「ｆｉｌｅ１２」は関数ｆ２２の記述されたファイル名を示している。「５」（２行目），「１０」（３行目），「１２」（４行目），「１０」（５行目）、「１２」（６行目）は、ファイル内（関数内）のグローバル変数の記述位置を示している。
【００９０】「０００１」は、上述したシリアルナンバーであり、１行目に示したグローバル変数Ｖａｌ７の詳細情報であることを示している。２，５，６行目の「ＯＫ」、３，４行目の「ＮＧ」は、それぞれの関数内でのチェック結果を示している。上位関数ｆ１については、割込禁止／許可命令のチェックを行わないため、常に「ＯＫ」が記される。
【００９１】２行目の「＃−ｆ１＿Ｗ」はメイン関数ｆ１内の書込処理であることを示し、３行目の「ｆ２−ｆ２１＿Ｒ」及び４行目の「ｆ２−ｆ２１＿Ｗ」はそれぞれ、関数ｆ２からコールされるサブ関数ｆ２１内の処理であることを示し、前者は読込処理、後者は書込処理であることを示している。５，６行目も同様である。
【００９２】「Ｖａｌ７＝ａ；」、「ｂ＝Ｖａｌ７；」、「Ｖａｌ７＝ｂ；」、「ｉｆ（Ｖａｌ７＝＝１）」及び「Ｖａｌ７＝０；」は、それぞれのグーバル変数の処理記述そのものを示している。なお、結果ファイル２４のフォーマットは、ここで説明したものに限定されない。結果ファイル２４からソースプログラム２１を修正することを考えれば処理記述位置を特定できる情報が付加されることが望ましいが、少なくともグローバル変数に対してのチェック結果が得られればよい。
【００９３】次に、本実施例の割込命令チェック装置１０の発揮する効果を説明する。本実施例の割込命令チェック装置１０では、タスクレベル表２２を用いて作成した変数属性テーブル（図９参照）を読み込み（図１０中のＳ１００）、グローバル変数の書込処理が上位関数にあり（Ｓ１２０）、かつ、下位関数中に読込処理及び書込処理の条件付ペアがあれば（Ｓ１３０）、当該処理記述位置に応じた適正位置に割込禁止／許可命令が存在することを判断し（Ｓ１４０〜Ｓ１６０）、その判断結果を出力する（Ｓ１７０）。これによって、あるグローバル変数に対する読込処理と書込処理のペアが下位の関数グループにある場合に、そのペア記述により生じ得るグローバル変数の干渉部分を抽出でき、割込禁止／許可命令が適正位置に存在することを自動的にチェックできる。結果として、割込禁止／許可命令のチェック工数の削減に寄与する。
【００９４】ここで具体例を挙げて、本実施例におけるチェック処理の有効性を説明する。本実施例に記載したアルゴリズムを用いると、図１２（ａ）に示すようなグローバル変数Ｖａｌ７２に関する下位関数ｆ３１での処理記述は、図１２（ｂ）に示すような変数属性テーブルに表される。そして、条件を満たす読込処理とそれに続く書込処理のペアは、９、１０行目のペアであると判断される。つまり、この場合９行目の直前に割込禁止命令が存在し、１０行目の直後に割込許可命令が存在することをチェックする。なお、図１２（ａ）の左端には、処理に関係しない、説明のための行数を便宜上付加した。
【００９５】ここで図１２（ａ）に示す処理記述を見ると、グローバル変数Ｖａｌ７２によるスイッチ文が７行目に記載されており、８〜１１行目、１２〜１５行目、１６〜１９行目のｃａｓｅ文による記述はそれぞれ独立している。そして、各ｃａｓｅ文の処理内容を見ると、割込禁止／許可命令の記述が必要となるのは、変数ｉにグローバル変数Ｖａｌ７２を読み出す９行目と、変数ｉを用いた演算結果ｉ＋ｊをグローバル変数Ｖａｌ７２に代入する１０行目のペアに対してである。
【００９６】従来のように個々の処理記述に対して割込禁止／許可命令をチェックすると、７，９，１０，１３，１４，１７，１８行の処理記述のそれぞれに対するチェックを行ってしまうことになる。これに対して、本実施例では、９行目の直前及び１０行目の直後にそれぞれ、割込禁止命令及び割込許可命令があるか否かをチェックすることができ、ｃａｓｅ文の記述に対しても適切なチェックを行えることが分かる。
【００９７】なお、本実施例では、読込処理とその読込処理のすぐ次にある書込処理のペアをチェックするものであった。ただし、処理記述内容によっては、読込処理及び書込処理の条件付ペアの間に、同じグローバル変数の読込処理や書込処理が記述されている場合をチェック対象としてもよい。
【００９８】また、上述のように本実施例では、下位関数中に存在するグローバル変数の処理記述で条件付ペアとなる読込処理記述の直前に割込禁止命令が存在し、書込処理記述の直後に割込許可命令が存在することを判断する（Ｓ１４０）。このようにしたのは、不具合の発生する可能性があるステップ間だけで割り込みを禁止すれば十分であり、条件付ペアを構成する読込処理と書込処理との途中で割り込みが発生しないようにすればよいためである。このように、読込処理の直前で割り込みを禁止し、書込処理の直後で割り込みを許可すれば、リアルタイム性確保の観点から有効である。
【００９９】さらにまた、本実施例の割込命令チェック装置１０では、図３に示す変数テーブル作成ブロック１１が、まず最初にグローバル変数を検索し（上記■）、そのグローバル変数に関する情報を記述した変数テーブルを作成する（上記■〜■）。そして、変数属性テーブル作成ブロック１３が、その変数テーブルに関数に対応するタスクレベルを追加した変数属性テーブルを作成する（上記■及び■）。さらに、変数属性テーブル作成ブロック１３は、テーブル更新処理（図８参照）を実行し、読込処理及び書込処理が予め定められた条件を満たすか否かを判断して、変数属性テーブルを更新する。つまり、各グローバル変数を基にして情報を整理するため、処理内容が分かり易いものとなり、各ブロック１１〜１４の処理設計が容易になっている。
【０１００】また、本実施例では、図３に示すコールツリー作成ブロック１２がソースプログラム２１に基づき、コールツリー（図６参照）を作成する。したがって、上述したように関数グループのメイン関数のみに対応させてタスクレベルが記述されたタスクレベル表２２を用い、各関数グループの関数に対するタスクレベルを特定することができる（上記■及び■）。つまり、タスクレベル表２２には、ソースプログラム２１を構成する関数の全てに対するタスクレベルを記述しておく必要がないのである。結果として、例えばソースプログラム２１の定義ファイルに記述された情報のみを用いてタスクレベル表２２を作成すればよいという点で有利である。
【０１０１】さらにまた、表示用データ３１として、チェック結果に問題があったことを示すエラー情報と、そのエラーのケースを示すエラーコードを出力するようにした。これによって利用者は、チェック結果だけでなくその内容を知ることができる。そしてまた、チェック結果に問題があった場合、結果ファイル２４には、図１１に示すような詳細情報を付加した形式の情報を記述する。したがって、利用者は、この結果ファイル２４に基づき、速やかにソースプログラム２１を修正することができる。
【０１０２】以上、本発明はこのような実施例に何等限定されるものではなく、本発明の主旨を逸脱しない範囲において種々なる形態で実施し得る。
（イ）上記実施例では、タスクレベル表２２は、予め作成されて記憶装置２０に記憶されていた。これに対して、ソースプログラム２１内にタスクレベルの定義ファイルがあれば、割込命令チェック装置１０が読み込んだソースプログラム２１に基づき、タスクレベル表２２を作成して取得するようにしてもよい。このようにすれば、タスクレベル表２２を予め作成する必要がなくなる。
【０１０３】（ロ）また、上記実施例は結果ファイル２４に基づき利用者がソースプログラム２１を修正するものであったが、結果ファイル２４の内容から割込命令チェック装置１０が自動的にソースプログラム２１を修正するように構成することも考えられる。
【０１０４】（ハ）さらにまた、上記実施例では、上位関数中のグローバル変数に係る処理記述の前後の割込禁止／許可命令のチェックは行っていない。これは上位関数には割込禁止／許可命令があってもなくても実質的な弊害がないからである。また、ある関数に対しての上位関数が別の関数に対する下位関数となる場合もあり得るからである。
【０１０５】しかし、あるグローバル変数について見た場合、どの関数よりも上位となる関数に割込禁止／許可命令が存在している場合には、その割込禁止／許可命令が不必要な割込禁止／許可命令であるとしてチェックするようにしてもよい。このチェック結果に基づけば不必要な割込禁止／許可命令を取り除くことができ、上位関数の処理実行に要する時間を短縮できることになる。
【出願人】 【識別番号】０００００４２６０
【氏名又は名称】株式会社デンソー
【出願日】 平成１３年４月９日（２００１．４．９）
【代理人】 【識別番号】１０００８２５００
【弁理士】
【氏名又は名称】足立 勉
【公開番号】 特開２００２−３１２１９６（Ｐ２００２−３１２１９６Ａ）
【公開日】 平成１４年１０月２５日（２００２．１０．２５）
【出願番号】 特願２００１−１１００７５（Ｐ２００１−１１００７５）