JPH07271631A

JPH07271631A - デバッガ

Info

Publication number: JPH07271631A
Application number: JP6062985A
Authority: JP
Inventors: Shin Hashimoto; 伸橋本
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 1994-03-31
Filing date: 1994-03-31
Publication date: 1995-10-20

Abstract

(57)【要約】【目的】本発明は、デバッガに関し、並列実行、逐次
実行、マシンが異なる、スカラ実行、ベクトル実行、オ
ブションが異なるなどの場合に、ソースプログラムに所
定パターンを埋め込んで翻訳し、実行時に結果出力、他
の実行時の結果と動的に比較して出力し、一度の再翻訳
で多数の場所の動的なチェックを実現し、特に巨大配列
の動的比較結果の出力を可能にすることを目的とする。【構成】ソースプログラムに所定パターンを埋め込で
翻訳してデバッグオブジェクトを生成するコンパイラ組
み込み部と、生成されたデバッグオブジェクトをリンク
して実行プログラムを生成するリンカと、生成された２
種の実行プログラムがそれぞれ別個に実行して埋め込ま
れた所定パターンにより実行結果をそれぞれ出力、ある
いは一方の実行プログラムの埋め込まれた所定パターン
により出力された実行結果を、他方の実行プログラムが
取り込んで実行結果とを動的に比較して比較結果を出力
するように構成する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、プログラムのデバッグ
を行うデバッガに関するものである。

【０００２】

【従来の技術】巨大科学技術計算プログラムなどの開発
時に結果異常や異常終了が起こった場合、その原因を突
き止めることは一般に難しい。

【０００３】例えばベクトル計算機において、同じ内容
をそれぞれに適したように作成してコンパイルしたプロ
グラムをベクトル実行した場合の結果とスカラ実行した
場合の結果が異なる場合、その原因を突き止めることは
極めて難しい。

【０００４】特に、最近出現しつつある並列計算機にお
いて、並列実行と逐次実行の結果が異なる場合、デバッ
グが困難であって非常に重要である。これは、例えば既
に開発を完了して結果の確認の行われている逐次プログ
ラムを、並列計算機に移植することが多いが、この場合
に逐次プログラムで逐次実行したときの結果と、移植し
た並列プログラムで並列実行したときの結果とが異なる
場合、デバッグすることが非常に困難である。

【０００５】従来は、上述した場合に、ソースプログラ
ムを変更してＷＲＩＴＥ文を挿入してある箇所の値を取
り出し、実行後にこれを取り出して正しい値と比較など
してデバッグを行うようにしていた。

【０００６】また、対話型デバッガを使用してある特定
の場所の値を確認してデバッグを行うようにしていた。

【０００７】

【発明が解決しようとする課題】上述した従来のＷＲＩ
ＴＥ文を挿入して値を確認したり、あるいは対話型デバ
ッガを用いて値を確認したりしてデバッグを行っていた
ため、下記のような問題があった。

【０００８】（１）巨大な配列を出力した場合、結果
の照合に手間がかかる。（２）新しいＷＲＩＴＥ文を入れる毎に再コンパイル
が必要となり、デバッグ効率が悪い。

【０００９】（３）浮動小数点の場合、ＷＲＩＴＥ文
の出力を比較すると、２進法と１０進法の変換が必要と
なり、結果の照合を間違うことが起こり易い。（４）手作業で行うため、誤りが発生し易い。

【００１０】このため、これら手作業で行うのではなく
て、ソースプログラムに所定パターンを埋め込んで１度
の再翻訳により、実行途中結果および動的な比較結果を
出力し、デバッグ時のエラー情報を自動収集することが
望まれている。

【００１１】本発明は、これらの問題を解決するため、
並列実行、逐次実行、マシンが異なる、スカラ実行、ベ
クトル実行、オブションが異なるなどの場合に、ソース
プログラムに所定パターンを埋め込んで再翻訳し、実行
時に結果を出力したり、更に他の実行時の結果と動的に
比較してエラー情報を出力したりし、一度の再翻訳で多
数の場所の動的なチェックを実現し、特に巨大配列の動
的比較結果の出力を可能にすることを目的としている。

【００１２】

【課題を解決するための手段】図１、図１１および図１
３を参照して課題を解決するための手段を説明する。図
１、図１１および図１３において、ソースプログラム１
１は、デバッグ対象のプログラムである。

【００１３】コンパイラ組み込み部１４は、ソースプロ
グラムに所定パターンを埋め込んで並列デバッグオブジ
ェクト１６に翻訳するものである。コンパイラ組み込み
部２４は、ソースプログラムに所定パターンを埋め込ん
で逐次デバッグオブジェクト２６に翻訳するものであ
る。

【００１４】並列デバッグオブジェクト１６は、並列実
行可能なデバッグオブジェクトである。逐次デバッグオ
ブジェクト２６は、逐次実行のデバッグオブジェクトで
ある。

【００１５】リンカ１７は、並列デバッグオブジェクト
１６および並列デバッグライブラリをリンクし、並列実
行可能形式の並列デバッグ実行プログラム１９を生成す
るものである。

【００１６】リンカ２７は、逐次デバッグオブジェクト
２６および逐次デバッグライブラリをリンクし、逐次実
行可能形式の逐次デバッグ実行プログラム２９を生成す
るものである。

【００１７】比較情報ファイル２０は、逐次デバッグ実
行プログラム２９の実行途中結果を出力するファイルで
ある。比較結果２１は、並列デバッグ実行プログラム１
９が実行時に比較情報ファイル２０から取り込んだ逐次
実行時の実行途中結果と、当該並列実行時の実行途中結
果とを比較し、その比較結果を出力したものである。

【００１８】

【作用】本発明は、図１に示すように、コンパイラ組み
込み部１４がソースプログラム１１に所定パターンを埋
め込で翻訳して並列デバッグオブジェクト１６を生成
し、コンパイラ組み込み部２４がソースプログラム１１
に所定パターンを埋め込で翻訳して逐次デバッグオブジ
ェクト２６を生成し、リンカ１７が並列デバッグオブジ
ェクト１６および並列デバッグライブラリをリンクして
並列デバッグ実行プログラム１９を生成し、リンカ２７
が逐次デバッグオブジェクト２６および逐次デバッグラ
イブラリをリンクして逐次デバッグ実行プログラム２９
を生成し、逐次デバッグ実行プログラム２９を実行して
埋め込んだ所定パターンにより実行途中結果を出力し、
並列デバッグ実行プログラム１９を実行して埋め込んだ
所定パターンにより実行途中結果を出力したり、あるい
は、逐次実行の実行途中結果を取り込んで並列実行の実
行途中結果とを動的に比較して比較結果を出力したりす
るようにしている。

【００１９】また、図１３に示すように、コンパイラ組
み込み部１４がソースプログラム１１に所定パターンを
埋め込で翻訳して並列デバッグオブジェクト１６を生成
し、コンパイラ組み込み部２４がソースプログラム１１
に所定パターンを埋め込で翻訳して逐次デバッグオブジ
ェクト２６を生成し、リンカ３７が並列デバッグオブジ
ェクト１６、逐次デバッグライブラリ２６およびデバッ
グライブラリ１８をリンクしてデバッグ実行プログラム
３８を生成し、デバッグ実行プログラム３８を実行して
埋め込んだ所定パターンにより実行途中結果を出力した
り、あるいは、逐次実行の実行途中結果と並列実行の実
行途中結果とを動的に比較して比較結果を出力したりす
るようにしている。

【００２０】また、図１１に示すように、コマンド解析
部５６が２つの実行プログラムのコマンドを解析し、解
析されたコマンドが指定されたコマンドと一致したとき
に、デバッグ制御部４３、４４が２つの実行プログラム
の実行途中結果をそれぞれ取り出して比較し、比較結果
を出力するようにしている。

【００２１】これらの際に、２つのソースプログラムと
して２つの並列実行の異なるソースプログラム、あるい
は２つの実行プログラムとして２つの並列実行の異なる
実行プログラムとするようにしている。

【００２２】また、２つのソースプログラムとして並列
実行および逐次実行のソースプログラム、あるいは２つ
の実行プログラムとして並列実行および逐次実行の実行
プログラムとするようにしている。

【００２３】また、２つのソースプログラムとして２つ
の逐次実行の異なるソースプログラム、あるいは２つの
実行プログラムとして２つの逐次実行の異なる実行プロ
グラムとするようにしている。

【００２４】また、２つのソースプログラムとして２の
異なるプロセッサのソースプログラム、あるいは２つの
実行プログラムとして２つの異なるプロセッサの実行プ
ログラムとするようにしている。

【００２５】また、２つのソースプログラムとしてスカ
ラ実行およびベクトル実行のソースプログラム、あるい
は２つの実行プログラムとしてスカラ実行およびベクト
ル実行の実行プログラムとするようにしている。

【００２６】また、２つのソースプログラムとして翻訳
オプションの異なる２つのソースプログラム、あるいは
２つの実行プログラムとして翻訳オプションの異なる２
つの実行プログラムとするようにしている。

【００２７】従って、並列実行、逐次実行、マシンが異
なる、スカラ実行、ベクトル実行、オブションが異なる
などの場合に、ソースプログラム１１に所定パターンを
埋め込んで再翻訳し、実行時に結果を出力したり、更に
他の実行時の結果と動的に比較してエラー情報を出力し
たりすることにより、一度の再翻訳で多数の場所の動的
なチェックを実現し、特に巨大配列の動的比較結果を出
力することが可能となる。

【００２８】

【実施例】

（１）まず、図２から図１０を用いて、図１の構成の
もとで並列実行の実行プログラムおよび逐次実行の実行
プログラムの翻訳および実行時の動作を詳細に説明す
る。

【００２９】図２は、本発明の１実施例構成図を示す。
これは、図１の構成のうちの並列デバッグ用のコパイラ
組み込み部１４の動作を説明したフローチャートであ
る。図２において、Ｓ１は、ソースプログラムの読み込
みを行う。これは、後述する図３のソースプログラム１
１を取り込む。

【００３０】Ｓ２は、パターン１を埋め込む。これは、
図４に示すように、ソースプログラムのの宣言文に続
いてパターン１を埋め込む。このパターン１は、例えば
ライブラリ関数を呼び出したときの戻り値が整数値とな
るように宣言したものである（戻り値が浮動小数点であ
ると、比較時などにコード変換が必要となる場合があっ
て間違う可能性があるので、予め整数値となるように宣
言したものである）。

【００３１】Ｓ３は、並列実行される繰り返し文または
ブロックか判別する。これは、Ｓ１で読み込んだソース
プログラムの先頭から順次検索し、並列実行される繰り
返し文またはブロックが出現したか判別する。ＹＥＳの
場合には、Ｓ４からＳ６によってパターン３、４、２を
埋め込み、Ｓ７に進む。一方、ＮＯの場合には、Ｓ７に
進む。

【００３２】Ｓ４は、並列実行される繰り返し文または
ブロックと判明したので、その直前にパターン３（入れ
子の深さを＋１するパターン）を埋め込む（図４のパタ
ーン３参照）。

【００３３】Ｓ５は、その直後にパターン４（図５参
照、実行途中結果を出力・比較などするパターン）を埋
め込む（図４のパターン４参照）。Ｓ６は、宣言部にパ
ターン２を埋め込む（例えば図４の（Ａ）のパターン２
を埋め込む）。

【００３４】Ｓ７は、非同期転送待ちか判別する。これ
は、例えば図３のソースプログラムのの非同期転送待
ちか判別する。ＹＥＳの場合には、Ｓ８およびＳ９を行
う。一方、ＮＯの場合には、終了する（ＥＮＤ）。

【００３５】Ｓ８は、その直後にパターン５を埋め込
む。これは、例えば図４のの非同期転送待ちの直後に
パターン５（図６の通過回数を＋１などするパターン
５）を埋め込む）。

【００３６】Ｓ９は、宣言部にパターン２を埋め込む。
これは、例えば図４の宣言部に（Ｂ）を埋め込む。以上
によって、図１の並列デバッグ用のコンパイラ組み込み
部１４がソースプグラム１１（図３）に並列実行される
繰り返し文またはブロックが出現したときにＳ４からＳ
６によって直前にパターン３、直後にパターン４、宣言
部にパターン２を埋め込み、非同期転送待ちが出現した
ときにＳ８とＳ９によって直後にパターン５および宣言
部にパターン２を埋め込む。そして、翻訳して並列デバ
ッグオブジェクト１６として、図４に示すようなイメー
ジの並列デバッグオブジェクト１６を生成する。

【００３７】図３は、本発明のデバッグ対象のソースプ
ログラム例を示す。ここで、からは、ソースプログ
ラムをブロックに分けたものであって、後述する図４の
からにそれぞれ対応する。

【００３８】図４は、本発明の並列デバッグオブジェク
ト例（概念）を示す。これは、図３のソースプログラム
例を、図２のフローチャートに従って、宣言部にパター
ン１、並列実行される繰り返し文またはブロックが出現
したときにその直前にパターン３、直後にパターン４お
よび宣言部にパターン２を埋め込み、非同期転送待ちが
出現したときに直後にパターン５と宣言部にパターン２
を埋め込んだものである。

【００３９】図５は、本発明のパターン４の実行時の動
作フローチャートを示す。このパターン４は、図２のＳ
５で並列実行される繰り返し文またはブロックの直後に
埋め込んたものであって、翻訳した並列デバッグオブジ
ェクト１６を並列デバッグライブラリとリンクして並列
実行プログラム１９とし、これを実行したときのパター
ン４の動作である。

【００４０】Ｓ１１は、深さを１減らす。Ｓ１２は、通
過回数を１増やす。Ｓ１３は、深さが０か判別する。Ｙ
ＥＳの場合には、Ｓ１４に進む。ＮＯの場合には、終了
する。

【００４１】Ｓ１４は、まだ変数があるか判別する。Ｙ
ＥＳの場合には、Ｓ１５に進む。ＮＯの場合には、終了
する。Ｓ１５は、そのファイル、行、通過回数、変数の
組は、比較対象として指定されているか判別する。ＹＥ
Ｓの場合には、Ｓ１６に進む。ＮＯの場合には、指定さ
れていないので、Ｓ１４に戻り次に進む。

【００４２】Ｓ１６は、Ｓ１５のＹＥＳで指定されてい
ると判明したので、その指定は出力か比較のいずれか判
別する。出力の場合には、Ｓ１７に進む。一方、比較の
場合には、Ｓ２１に進む。

【００４３】Ｓ１７は、Ｓ１６で出力と判明したので、
要素か代表値かのいずれが指定されたかを判別する。要
素の場合には、Ｓ１８で全要素を比較情報ファイル２０
に出力する。一方、代表値の場合には、Ｓ１９で全要素
の代表値を取り、Ｓ２０で比較情報ファイル２０に出力
する。

【００４４】次に、Ｓ２１は、Ｓ１６で比較と判明した
ので、比較が要素か代表値がのいずれが指定されたかを
判別する。要素と判明した場合には、Ｓ２２からＳ２６
で要素比較を行う。一方、代表値と判明した場合には、
Ｓ２７からＳ３１で代表値比較を行う。

【００４５】Ｓ２２は、Ｓ２１で要素と判明したので、
要素を転送してくる。これは、後述する逐次デバッグ実
行プログラム２９の実行時に比較情報ファイル２０に出
力された要素を転送してくる。

【００４６】Ｓ２３は、要素が終わりか判別する。ＹＥ
Ｓの場合には、Ｓ１４に戻る。ＮＯの場合には、Ｓ２４
に進む。Ｓ２４は、ファイルから１個読む。

【００４７】Ｓ２５は、要素とＳ２４で読んだ要素の値
（逐次デバッグ実行プログラム２９の実行時の対応する
要素の値）とを比較して一致か判別する。ＹＥＳの場合
には、並列デバッグ実行プログラム１９の実行時の要素
の値と、逐次デバッグ実行プログラム２９の実行時の要
素の値（比較情報ファイル２０から取り出した値）とが
一致して両者が等しかったので正常とする。一方、ＮＯ
の場合には、両者が等しくなく、エラーと判明したの
で、Ｓ２６で配列名と添字を出力する（並列デバッグ実
行プログラム１９の実行時にエラーとなった配列名と添
字を出力する）。

【００４８】以上のＳ２２からＳ２６によって、並列デ
バッグ実行プログラム１９の実行時の要素の値と、逐次
デバッグ実行プログラム２９の実行時の要素の値を比較
情報ファイル２０から取り出して比較し、一致したとき
に正常、不一致のときにエラーとして並列デバッグ実行
プログラム１９の実行時の配列名と添字を比較結果２１
として出力する。これにより、エラーとなった配列名と
添字のみが比較結果２１として自動的に得られ、従来の
人手で比較したりなどの手間が不要となる。

【００４９】次に、Ｓ２７は、Ｓ２１で代表値と判明し
たので、各要素を転送してくる。これは、局所メモリあ
るいはグローバルメモリなどのメモリ上にある各要素を
転送してくることを意味する。

【００５０】Ｓ２８は、全要素の代表値をとる。Ｓ２９
は、ファイルから１個読む。Ｓ３０は、代表値と読んだ
値を比較して一致か判別する。ＹＥＳの場合には、並列
デバッグ実行プログラム１９の実行時の全要素の代表値
と、逐次デバッグ実行プログラム２９の実行時の全要素
の代表値（比較情報ファイル２０から取り出した全要素
の代表値）とが一致して両者が等しかったので正常とす
る。一方、ＮＯの場合には、両者が等しくなく、エラー
と判明したので、Ｓ３１で配列名を出力する（並列デバ
ッグ実行プログラム１９の実行時にエラーとなった配列
名を出力する）。

【００５１】以上のＳ２７からＳ３１によって、並列デ
バッグ実行プログラム１９の実行時の要素の代表値と、
逐次デバッグ実行プログラム２９の実行時の要素の代表
値を比較情報ファイル２０から取り出して比較し、一致
したときに正常、不一致のときにエラーとして並列デバ
ッグ実行プログラム１９の実行時の配列名を比較結果２
１として出力する。これにより、エラーとなった配列名
のみが比較結果２１として自動的に得られ、従来の人手
で比較したりなどの手間が不要となる。

【００５２】従って、Ｓ１１からＳ３１によって、並列
実行される繰り返し文またはブロックであって指定され
たファイル、行、通過回数、変数の組の場合に、並列デ
バッグ実行プログラム１９の実行時の全要素や代表値を
出力したり、あるいは要素や代表値と、逐次デバッグ実
行プログラム２９の実行時の全要素や代表値を比較情報
ファイル２０から取り出して比較し、不一致のときにエ
ラーとして並列デバッグ実行プログラム１９の実行時の
配列名や添字を比較結果２１として出力することが可能
となる。

【００５３】図６は、本発明のパターン５の実行時の動
作フローチャートを示す。これは、図２のＳ８で、非同
期転送待ちの直後に埋め込んだパターン５の、並列デバ
ッグ実行プログラム１９を実行したときの動作である。

【００５４】図６において、Ｓ４１は、通過回数を１増
やす。Ｓ４２は、深さが０か判別する。ＹＥＳの場合に
は、図５の（Ａ）へ行く。そして、（Ａ）以降のＳ１４
からＳ３１によって、既述したと同様に、そのファイ
ル、行、通過回数、変数の組が比較対象として指定され
ていた場合、・出力と指定されていたとき、指定された要素あるいは
代表値を比較情報ファイル２０に出力する。

【００５５】・比較と指定されていたとき、指定された
要素あるいは代表値を、逐次デバッグ実行プログラム２
９の実行途中結果の要素あるいは代表値と比較し、一致
しないときにそのときの配列名や添字を比較結果２１と
して出力する。

【００５６】次に、図７から図１０を用いて、逐次デバ
ッグオブジェクトの場合ついて詳細に説明する。ここ
で、図７、図８、図９および図１０は、並列デバッグ・
オブジェクトの場合の図２、図４、図５、図６にそれぞ
れ対応している。図３のソースプログラム１１は共用す
る。

【００５７】図７は、本発明の動作説明フローチャート
（逐次、コンパイル組み込み部）を示す。ここで、Ｓ５
１からＳ５９は、図２のＳ１からＳ９に対応する。この
うち異なるのは、Ｓ５５のときにパターン４’、Ｓ５８
のときにパターン５’をそれぞれ埋め込むことであり、
他はほぼ同一であるので、説明を省略する。

【００５８】図８は、本発明の逐次デバッグオブジェク
ト例（概念）を示す。これは、図４に対応したものであ
って、パターン４’とパターン５’が異なり、他は同一
であるので、説明を省略する。

【００５９】図９は、本発明のパターン４’の実行時の
動作フローチャートを示す。ここで、Ｓ６１からＳ８１
は、図５のＳ１１からＳ３１にそれぞれ対応するが、Ｓ
６５のＮＯ、Ｓ６８の続き、Ｓ７０の続き、Ｓ７３のＮ
Ｏ、Ｓ８０のＮＯの場合に、ＢのＳ６２に戻る点が異な
るのみで他は同一である。これは、逐次デバッグ実行プ
ログラム２９の実行時であるので、Ｓ６２で通過回数を
１増やしたものである。

【００６０】図１０は、本発明のパターン５’の実行時
の動作フローチャートを示す。これは、並列の場合の図
６と同一であって、図９のＢのＳ６２に戻る点のみが異
なる。他は同じであるので、説明を省略する。

【００６１】（２）次に、図１１および図１２を用い
て、対話的にデバッグする場合の動作を詳細に説明す
る。図１１は、本発明の他の実施例構成図を示す。

【００６２】図１１において、デバッガ４１は、対話的
にデバッグするツールであって、ユーザ入出力管理部４
２、デバッグ制御部（対話型デバッガ制御１）４３、デ
バッグ制御部（対話型デバッガ制御２）４４、コマンド
解析部４５、および中間データ比較部４６から構成され
るものである。

【００６３】ユーザ入出力管理部４２は、端末５１の画
面上でユーザからの入力を取り込んだり、結果などを画
面上に表示したりし、ユーザと会話的に各種入出力を行
うものである。

【００６４】デバッガ制御部（対話型デバッガ制御１）
４３は、対話型デバッガ１（例えば既存のｓｄｂやｄｂ
ｘなどの対話型デバッガ）を制御するものである。デバ
ッガ制御部（対話型デバッガ制御２）４４は、対話型デ
バッガ２（例えば既存のｓｄｂやｄｂｘなどの対話型デ
バッガ）を制御するものである。

【００６５】コマンド解析部４５は、被デバッグ実行プ
ログラム１および被デバッグ実行プログラム２の２つの
実行プログラムのコマンドを解析し、指定されたコマン
ドと一致するか否かを判別したりなどするものである
（図１２参照）。

【００６６】中間データ比較部４６は、被デバッグ実行
プログラム１および被デバッグ実行プログラム２の２つ
の実行プログラムの指定されたコマンドの中間の実行途
中結果を比較し、一致するか否かを判別するものであ
る。

【００６７】対話型デバッガ１は、被デバッグ実行プロ
グラム１と対話しつつデバッグを行うものであって、指
定したコマンドのときに実行を一時的に停止させたり、
中間結果を取り出したりなどするものである。

【００６８】対話型デバッガ２は、被デバッグ実行プロ
グラム２と対話しつつデバッグを行うものであって、指
定したコマンドのときに実行を一時的に停止させたり、
中間結果を取り出したりなどするものである。

【００６９】次に、図１２にフローチャートに示す順序
に従い、図１１の構成の動作を詳細に説明する。図１２
において、Ｓ９１は、コマンドの読み込みを行う。これ
は、図１１の被デバッグ実行プログラム１、２のコマン
ドの読み込みを行う。

【００７０】Ｓ９２は、指定されたコマンドは終了か判
別する。ＹＥＳの場合には、終了する（ＥＮＤ）。ＮＯ
の場合には、Ｓ９３に進む。Ｓ９３は、指定されたコマ
ンドが比較か判別する。ＹＥＳの場合には、Ｓ９６に進
む。一方、ＮＯの場合には、Ｓ９４で対話型デバッガ１
でコマンドを実行し、Ｓ９５で対話型デバッガ２でコマ
ンドを実行し、Ｓ９１に戻る。

【００７１】Ｓ９６は、Ｓ９３のＹＥＳで指定されたコ
マンドが比較と判明したので、会話型デバッガ１でデー
タを取る。Ｓ９７は、Ｓ９３のＹＥＳで指定されたコマ
ンドが比較と判明したので、会話型デバッガ２でデータ
を取る。

【００７２】Ｓ９８は、両方のデータが一致するか判別
する。これは、対話型デバッガ１で被デバッグ実行プロ
グラム１のコマンド実行した結果のデータと、対話型デ
バッガ２で被デバッグ実行プログラム２のコマンド実行
した結果のデータとが一致するか判別する。ＹＥＳの場
合には、実行途中結果が正常と判明したので、Ｓ９１に
戻る。一方、ＮＯの場合には、実行途中結果が一致しな
く異常と判明したので、Ｓ９９で一致しないデータをユ
ーザに表示する。これは、ユーザが会話的に指定したコ
マンドの実行途中結果が被デバッグ実行プログラム１と
被デバッグ実行プログラム２とではその実行途中結果が
異なったので、その異なった内容（配列名や添字、エラ
ーの値）などを端末５１の画面上に表示してユーザに知
らせる。ユーザは画面上からエラーとなった内容を見
て、被デバッグ実行プログラム１、２のいずれの場所に
エラーがあったかを認識し、そのエラー部分を修正など
する。

【００７３】以上のように、被デバッグ実行プログラム
１、２の２つの実行プログラムを会話的に指定したコマ
ンドの実行途中結果が不一致のときにその内容を表示さ
せてデバッグすることにより、並列実行、逐次実行、マ
シンが異なる、スカラ実行、ベクトル実行、オブション
が異なるなどの場合にも容易に２つの実行プログラムの
実行途中結果を比較し、デバッグすることが可能とな
る。

【００７４】（３）次に、図１３から図２３を用い
て、図１３の構成のもとで並列実行の実行プログラムお
よび逐次実行の実行プログラムを１つのデバッグ実行プ
ログラム３８に翻訳および実行時の動作を詳細に説明す
る。

【００７５】図１３は、本発明の他の実施例構成図を示
す。これは、リンカが並列デバッグオブジェクト１６、
逐次デバッグオブジェクト２６およびデバッグライブラ
リ１８をリンクして１つのデバッグ実行プログラム３８
を生成するときの構成である。ここで、制御コマンド１
２、並列デバッグ用コンパイラ１３、解析情報１５、並
列デバッグオブジェクト１６、逐次デバッグ用コンパイ
ラ２３、逐次デバッグオブジェクト２６は、図１の構成
と同一であるので、説明を省略する。

【００７６】図１３において、リンカ３７は、並列デバ
ッグオブジェクト１６、逐次デバッグオブジェクト２
６、およびデバッグライブラリ１８をリンクし、デバッ
グ実行プログラム３８を生成するものである。

【００７７】デバッグ実行プログラム３８は、並列実行
デバッグオブジェクト１６、逐次実行デバッグオブジェ
クト２６などをリンクしたものであって、並列実行可能
な部分と逐次実行可能な部分との両者を持つものであ
る。

【００７８】比較結果３９は、デバッグ実行プログラム
１９中の並列デバッグ実行プログラムと、逐次デバッグ
実行プログラムとの実行途中結果を比較し、その比較結
果を出力したものである。以下動作を詳細に説明する。

【００７９】図１４は、本発明の他の動作説明フローチ
ャート（並列、コンパイラ組み込み部）を示す。ここ
で、Ｓ１０１からＳ１０９は、図２のＳ１からＳ９と同
一であるので、説明を省略する。

【００８０】図１４において、Ｓ１１０は、宣言手続き
名を変更する。これは、例えば図１５のソースプログラ
ムの第１行目の宣言手続き名を図１６の第１行の（イ）
に示すように、．ｐを追加しｓｕｂｒｏｕｔｉｎｅｓｕｂ．ｐ（ａ，ｂ，ｃ，ｎ）と変更する。

【００８１】Ｓ１１１は、またコモンブロックがあるか
判別する。ＹＥＳの場合、例えば図１５の第５行目のｃｏｍｍｏｎ／ｃｏｍｍｏｎｌ／ｐ，ｑのコモンブロックがある場合、Ｓ１１２でコモンブロッ
ク名を変更、例えば図１６の（ロ）に示すように、．ｐを付加してｃｏｍｍｏｎ／ｃｏｍｍｏｎｌ．ｐ／ｐ，ｑと変更する。一方、Ｓ１１１のＮＯの場合には、Ｓ１１
３に進む。

【００８２】Ｓ１１３は、まだ手続き呼出し名があるか
判別する。ＹＥＳの場合、例えば図１５の第１６行目のｃａｌｌｓｕｂ２（ｃ，ｎ）の手続き呼出し名がある場合、Ｓ１１４で手続き呼出し
名を変更、例えば図１６の（ハ）に示すように、．ｐを付加してｃａｌｌｓｕｂ２．ｐ（ｃ，ｎ）と変更する。一方、Ｓ１１３のＮＯの場合には、終了す
る。

【００８３】以上のＳ１０１からＳ１１４によって、図
１５のソースプログラムに既述したパターン１からパタ
ーン５を埋め込むと共に、宣言手続き名、コモンブロッ
ク名、手続き呼出し名を変更することが可能となる。

【００８４】図１５は、本発明のデバッグ対象のソース
プログラム例を示す。ここで、’から’は、後述す
る図１６および図２１の同一番号にそれぞれ対応する。
図１６は、本発明の他の並列デバッグ・オブジェクト例
（概念）を示す。これは、図１５のソースプログラムに
ついて、図１４のフローチャートに従ってパターン１か
らパターン５を埋め込むと共に、宣言手続き名、コモン
ドブロック名、呼出し手続名の（イ）、（ロ）、（ハ）
について変更した後の並列デバッグ・オブジェクト例の
概念である。

【００８５】図１７は、本発明のプログラム全体の実行
時の動作フローチャートを示す。これは、図１３のリン
カ３７によってリンクした後のデバッグ実行プログラム
３８の実行時の全体の動作である。

【００８６】図１７において、Ｓ１２１は、自分自身と
同じプログラムを起動する。Ｓ１２２は、自分は親プロ
グラムか判別する。ＹＥＳの場合には、Ｓ１２３で並列
プログラムの主プログラムを実行する。ＮＯの場合に
は、逐次プログラムの主プログラムを実行する。

【００８７】図１８は、本発明のパターン４の実行時の
動作フローチャートを示す。これは、図１４のＳ１０５
で並列実行される繰り返し文またはブロックの直後に埋
め込んだパターン４の実行時の動作である。図１８にお
いて、Ｓ１３１は、深さを１減らす。

【００８８】Ｓ１３２は、通過回数を１増やす。Ｓ１３
３は、深さが０か判別する。ＹＥＳの場合には、Ｓ１３
４に進む。ＮＯの場合には、終了する。

【００８９】Ｓ１３４は、まだ変数があるか判別する。
ＹＥＳの場合には、Ｓ１３５に進む。ＮＯの場合には、
終了する。Ｓ１３５は、そのファイル、行、通過回数、
変数の組は、比較対象として指定されているか判別す
る。ＹＥＳの場合には、Ｓ１３６に進む。ＮＯの場合に
は、指定されていないので、Ｓ１３４に戻り次に進む。

【００９０】Ｓ１３６は、その変数の要素がまだあるか
判別する。ＹＥＳの場合には、Ｓ１３７に進む。一方、
ＮＯの場合には、その要素がなくなったので、次の変数
に進み、Ｓ１３４を繰り返す。

【００９１】Ｓ１３７は、その要素を並列実行している
プロセッサから転送してくる。Ｓ１３８は、その要素を
逐次実行しているプロセッサから転送してくる。Ｓ１３
９は、Ｓ１３７の並列実行の要素の値と、Ｓ１３８の逐
次実行の要素の値とを比較して一致か判別する。ＹＥＳ
の場合には、一致して両者の要素の値が等しかったの
で、次の要素に進み、Ｓ１３６に戻る。一方、ＮＯの場
合には、両者の要素の値が一致しなくエラーと判明した
ので、Ｓ１４０でその要素の配列名と添字を出力し、次
の要素に進み、Ｓ１３６に戻る。

【００９２】以上によって、１つにリンクされた並列実
行の要素の値と逐次実行した要素の値とが一致しないと
きに配列名と添字を出力する。これにより、エラーとな
った配列名と添字のみが比較結果２１として自動的に得
られることとなる。

【００９３】図１９は、本発明のパターン５の実行時の
動作フローチャートを示す。これは、図１４のＳ１０８
で、非同期転送待ちの直後に埋め込んだパターン５の、
デバッグ実行プログラム３８の並列実行部分を実行した
ときの動作である。

【００９４】図１９において、Ｓ１４１は、通過回数を
１増やす。Ｓ１４２は、深さが０か判別する。ＹＥＳの
場合には、図１８の（Ａ）へ行く。そして、（Ａ）以降
のＳ１３４からＳ１４０によって、既述したと同様に、
そのファイル、行、通過回数、変数の組が比較対象とし
て指定されていた場合、並列実行の変数の要素の値と、
逐次実行の変数の要素の値とを比較して一致しないとき
に配列名と添字を出力する。

【００９５】次に、図２０から図２３を用いて、デバッ
グ実行プログラム３８の逐次実行の場合ついて詳細に説
明する。図１５のソースプログラム１１は共用する。図
２０は、本発明の動作説明フローチャート（逐次、コン
パイル組み込み部）を示す。ここで、Ｓ１５１からＳ１
６４は、図１４のＳ１０１からＳ１１４に対応する。こ
のうち異なるのは、Ｓ１５５のときにパターン４’、Ｓ
１５８のときにパターン５’をそれぞれ埋め込むことで
あり、他はほぼ同一であるので、説明を省略する。

【００９６】図２１は、本発明の他の逐次デバッグ・オ
ブジェクト例（概念）を示す。これは、図１５のソース
プログラムについて、図２０のフローチャートに従って
パターン１、パターン２、パターン３、パターン４’、
パターン５’を埋め込むと共に、宣言手続き名、コモン
ドブロック名、呼出し手続名の（イ）、（ロ）、（ハ）
について変更した後の並列デバッグオブジェクト例の概
念である。

【００９７】図２２は、本発明のパターン４’の実行時
の動作フローチャートを示す。これは、図２０のＳ１５
５で逐次実行される繰り返し文またはブロックの直後に
埋め込んだパターン４の実行時の動作である。

【００９８】図２２において、Ｓ１７１は、深さを１減
らす。Ｓ１７２は、通過回数を１増やす。Ｓ１７３は、
深さが０か判別する。ＹＥＳの場合には、Ｓ１７４に進
む。ＮＯの場合には、終了する。

【００９９】Ｓ１７４は、まだ変数があるか判別する。
ＹＥＳの場合には、Ｓ１７５に進む。ＮＯの場合には、
終了する。Ｓ１７５は、そのファイル、行、通過回数、
変数の組は、比較対象として指定されているか判別す
る。ＹＥＳの場合には、Ｓ１７２に進む。ＮＯの場合に
は、指定されていないので、Ｓ１７４に戻り次に進む。

【０１００】Ｓ１７６は、その変数の要素がまだあるか
判別する。ＹＥＳの場合には、Ｓ１７７でその要素を並
列実行しているプロセッサに転送する。そして、Ｓ１７
２を繰り返す。

【０１０１】以上によって、１つにリンクされた逐次実
行した変数の要素の値を並列実行しているプロセッサに
転送する。図２３は、本発明のパターン５’の実行時の
動作フローチャートを示す。これは、図２０のＳ１５８
で、非同期転送待ちの直後に埋め込んだパターン５’の
デバッグ実行プログラム３８の逐次実行部分を実行した
ときの動作である。

【０１０２】図２３において、Ｓ１８１は、通過回数を
１増やす。Ｓ１８２は、深さが０か判別する。ＹＥＳの
場合には、図２２の（Ｂ）へ行く。そして、（Ｂ）以降
のＳ１７２からＳ１７７によって、既述したと同様に、
そのファイル、行、通過回数、変数の組が比較対象とし
て指定されていた場合、逐次実行の変数の要素の値を並
列実行のプロセッサに転送する。

【０１０３】

【発明の効果】以上説明したように、本発明によれば、
並列実行、逐次実行、マシンが異なる、スカラ実行、ベ
クトル実行、オブションが異なるなどの場合に、ソース
プログラムに所定パターンを埋め込んで再翻訳し、実行
時に結果を出力したり、更に他の実行時の結果と動的に
比較してエラー情報を出力したりする構成を採用してい
るため、一度の再翻訳で多数の場所の動的なチェックを
実現し、特に巨大配列の動的比較結果を出力することが
できる。これらにより、下記のことができるようになっ
た。

【０１０４】（１）ソースプログラム１１の繰り返し
文やブロック、非同期転送待ちの部分に所定パターンを
埋め込んで翻訳した並列デバッグ実行プログラム１９と
逐次デバッグ実行プログラム２９とを別個にリンクして
実行し、逐次実行のときの実行途中結果と、並列実行時
の実行途中結果とを出力したり、比較して一致しない配
列名や添字を出力することにより、動的にエラーの生じ
た配列名や添字を自動的に得ることができる。

【０１０５】（２）ソースプログラム１１の繰り返し
文やブロック、非同期転送待ちの部分に所定パターンを
埋め込んで翻訳した並列デバッグ実行プログラム１９と
逐次デバッグ実行プログラム２９とを一緒にリンクした
デバッグ実行プログラム３８を実行し、逐次実行のとき
の実行途中結果と、並列実行時の実行途中結果とを出力
したり、比較して一致しない配列名や添字を出力するこ
とにより、動的にエラーの生じた配列名や添字を自動的
に得ることができる。

【０１０６】（３）並列実行、逐次実行、マシンが異
なる、翻訳オプションが異なるなどの２つのデバッグ実
行プログラムを実行して両者の実行途中結果を比較して
一致しないときの実行途中結果（配列名や添字など）を
自動的に得ることができる。

【０１０７】（４）並列実行、逐次実行、マシンが異
なる、翻訳オプションが異なるなどの２つのデバッグ実
行プログラムと会話的にコマンド指定してそのときの実
行途中結果を比較して一致しないときに一致しないデー
タを表示してユーザに知らせることが可能となった。

【図面の簡単な説明】

【図１】本発明の１実施例構成図である。

【図２】本発明の動作説明フローチャート（並列、コン
パイル組み込み部）である。

【図３】本発明のデバッグ対象のソースプログラム例で
ある。

【図４】本発明の並列デバッグオブジェクト例（概念）
である。

【図５】本発明のパターン４の実行時の動作フローチャ
ートである。

【図６】本発明のパターン５の実行時の動作フローチャ
ートである。

【図７】本発明の動作説明フローチャート（逐次、コン
パイル組み込み部）である。

【図８】本発明の逐次デバッグオブジェクト例（概念）
である。

【図９】本発明のパターン４’の実行時の動作フローチ
ャートである。

【図１０】本発明のパターン５’の実行時の動作フロー
チャートである。

【図１１】本発明の他の実施例構成図である。

【図１２】本発明の他の動作フローチャートである。

【図１３】本発明の他の実施例構成図である。

【図１４】本発明の他の動作説明フローチャート（並
列、コンパイル組み込み部）である。

【図１５】本発明のデバッグ対象のソースプログラム例
である。

【図１６】本発明の他の並列デバッグオブジェクト例
（概念）である。

【図１７】本発明のプログラム全体の実行時の動作フロ
ーチャートである。

【図１８】本発明のパターン４の実行時の動作フローチ
ャートである。

【図１９】本発明のパターン５の実行時の動作フローチ
ャートである。。

【図２０】本発明の他の動作説明フローチャート（逐
次、コンパイル組み込み部）である。

【図２１】本発明の他の逐次デバッグオブジェクト例
（概念）である。

【図２２】本発明のパターン４’の実行時の動作フロー
チャートである。

【図２３】本発明のパターン５’の実行時の動作フロー
チャートである。

【符号の説明】

１１：ソースプログラム１２：制御コマンド１３：並列デバッグ用コンパイラ１４、２４：コンパイラ組み込み部１６：並列デバッグオブジェクト１７、２７、３７：リンカ１８：デバッグライブラリ（並列、逐次）１９：並列デバッグ実行プログラム２０：比較情報ファイル２１：比較結果２３：逐次デバッグ用コンパイラ２６：逐次デバッグオブジェクト２９：逐次デバッグ実行プログラム３８：デバッグ実行プログラム３９：比較結果４１：デバッガ４２：ユーザ入出力管理部４３、４４：デバッグ制御部４５：コマンド解析部４６：中間データ比較部

Claims

【特許請求の範囲】

【請求項１】プログラムのデバッグを行うデバッガにお
いて、ソースプログラムに所定パターンを埋め込で翻訳してデ
バッグオブジェクトを生成するコンパイラ組み込み部
と、この生成されたデバッグオブジェクトをリンクして実行
プログラムを生成するリンカと、生成された２種の実行プログラムがそれぞれ別個に実行
して上記埋め込まれた所定パターンにより実行途中結果
をそれぞれ出力、あるいは一方の実行プログラムの上記
埋め込まれた所定パターンにより出力された実行途中結
果を、他方の実行プログラムが取り込んで実行途中結果
とを動的に比較して比較結果を出力することを特徴とす
るデバッガ。
【請求項２】プログラムのデバッグを行うデバッガにお
いて、ソースプログラムに所定パターンを埋め込で翻訳してデ
バッグオブジェクトを生成するコンパイラ組み込み部
と、これら生成された２種のデバッグオブジェクトをリンク
して１つの実行プログラムを生成するリンカと、生成された１つの実行プログラムが実行して上記埋め込
まれた所定パターンにより実行途中結果をそれぞれ出
力、あるいは一方の実行プログラムの上記埋め込まれた
所定パターンによる実行途中結果と、他方の実行プログ
ラムの実行途中結果とを内部で動的に比較して比較結果
を出力することを特徴とするデバッガ。
【請求項３】プログラムのデバッグを行うデバッガにお
いて、２つの実行プログラムのコマンドを解析するコマンド解
析部と、解析されたコマンドが指定されたコマンドと一致したと
きに、２つの実行プログラムの実行途中結果をそれぞれ
取り出して比較し、比較結果を出力するデバッガ制御部
とを備えたことを特徴とするデバッガ。
【請求項４】上記２つのソースプログラムとして２つの
並列実行の異なるソースプログラム、あるいは２つの実
行プログラムとして２つの並列実行の異なる実行プログ
ラムとしたことを特徴とする請求項１から請求項３に記
載のデバッガ。
【請求項５】上記２つのソースプログラムとして並列実
行および逐次実行のソースプログラム、あるいは２つの
実行プログラムとして並列実行および逐次実行の実行プ
ログラムとしたことを特徴とする請求項１から請求項３
に記載のデバッガ。
【請求項６】上記２つのソースプログラムとして２つの
逐次実行の異なるソースプログラム、あるいは２つの実
行プログラムとして２つの逐次実行の異なる実行プログ
ラムとしたことを特徴とする請求項１から請求項３に記
載のデバッガ。
【請求項７】上記２つのソースプログラムとして２の異
なるプロセッサのソースプログラム、あるいは２つの実
行プログラムとして２つの異なるプロセッサの実行プロ
グラムとしたことを特徴とする請求項１から請求項３に
記載のデバッガ。
【請求項８】上記２つのソースプログラムとしてスカラ
実行およびベクトル実行のソースプログラム、あるいは
２つの実行プログラムとしてスカラ実行およびベクトル
実行の実行プログラムとしたことを特徴とする請求項１
から請求項３に記載のデバッガ。
【請求項９】上記２つのソースプログラムとして翻訳オ
プションの異なる２つのソースプログラム、あるいは２
つの実行プログラムとして翻訳オプションの異なる２つ
の実行プログラムとしたことを特徴とする請求項１から
請求項３に記載のデバッガ。