JP2738360B2 - マルチタスクプログラムのデバッグ方法およびデバッグシステム - Google Patents
マルチタスクプログラムのデバッグ方法およびデバッグシステムInfo
- Publication number
- JP2738360B2 JP2738360B2 JP7232131A JP23213195A JP2738360B2 JP 2738360 B2 JP2738360 B2 JP 2738360B2 JP 7232131 A JP7232131 A JP 7232131A JP 23213195 A JP23213195 A JP 23213195A JP 2738360 B2 JP2738360 B2 JP 2738360B2
- Authority
- JP
- Japan
- Prior art keywords
- program
- data
- value
- size
- data array
- 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.)
- Expired - Fee Related
Links
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
【発明の属する技術分野】本発明は、分散メモリ型のマ
ルチプロセッサシステムにおけるマルチタスクプログラ
ムのデバッグ方法およびデバッグシステムに関する。
ルチプロセッサシステムにおけるマルチタスクプログラ
ムのデバッグ方法およびデバッグシステムに関する。
【０００１】
【従来の技術】分散メモリ型のマルチプロセッサシステ
ムでは、プロセッサを有効に利用してプログラムを高速
に実行するために、シングルプロセッサで実行していた
シリアルプログラムを、配列データを各プロセッサに分
散配置して複数のプロセッサで同時に処理するようなマ
ルチタスクプログラムに書き換えることが多い。
ムでは、プロセッサを有効に利用してプログラムを高速
に実行するために、シングルプロセッサで実行していた
シリアルプログラムを、配列データを各プロセッサに分
散配置して複数のプロセッサで同時に処理するようなマ
ルチタスクプログラムに書き換えることが多い。
【０００２】このようなマルチタスクプログラムが正し
いことを確認したりデバッグする場合、各タスクで別々
に処理される配列データの値を確認する必要がある。従
来の一般的な方法では、デバッガで配列データの値を確
認したい箇所にブレイクポイントを設定し、その値を確
認していた。
いことを確認したりデバッグする場合、各タスクで別々
に処理される配列データの値を確認する必要がある。従
来の一般的な方法では、デバッガで配列データの値を確
認したい箇所にブレイクポイントを設定し、その値を確
認していた。
【０００３】特開平３−２４６７３２号公報には、マル
チタスクプログラムのデバッグ方法として、タスク間共
有定義変数のアクセスに関するトレース情報を解析する
ことによってデバッグするという技術が開示されてい
る。
チタスクプログラムのデバッグ方法として、タスク間共
有定義変数のアクセスに関するトレース情報を解析する
ことによってデバッグするという技術が開示されてい
る。
【０００４】
【発明が解決しようとする課題】マルチタスクプログラ
ムのデバッグで一般的なデバッガを使う方法では、ブレ
イクポイントを何回か通過して初めてデータの値が不正
になるということがあり、効率的に誤りを検出すること
ができないという問題点があった。
ムのデバッグで一般的なデバッガを使う方法では、ブレ
イクポイントを何回か通過して初めてデータの値が不正
になるということがあり、効率的に誤りを検出すること
ができないという問題点があった。
【０００５】特開平３−２４６７３２号公報記載の技術
においては、トレース情報を採取する処理時間が本来の
プログラムの処理時間に比べて相対的に大きくなるた
め、本来のマルチタスクプログラムとは異なる実行結果
を生む可能性が高くなるという問題点があった。
においては、トレース情報を採取する処理時間が本来の
プログラムの処理時間に比べて相対的に大きくなるた
め、本来のマルチタスクプログラムとは異なる実行結果
を生む可能性が高くなるという問題点があった。
【０００６】本発明の目的は、シリアルプログラムから
マルチタスクプログラムを正しく生成することにある。
マルチタスクプログラムを正しく生成することにある。
【０００７】本発明の他の目的は、シリアルプログラム
をマルチタスクプログラムに書き換えた際の誤りを検出
することにある。
をマルチタスクプログラムに書き換えた際の誤りを検出
することにある。
【０００８】さらに本発明の他の目的は、シリアルプロ
グラムを基にして作成したマルチタスクプログラムの実
行結果を変えることなく、該マルチタスクプログラムを
効率良くデバッグすることにある。
グラムを基にして作成したマルチタスクプログラムの実
行結果を変えることなく、該マルチタスクプログラムを
効率良くデバッグすることにある。
【０００９】
【課題を解決するための手段】本発明の第１のマルチタ
スクプログラムのデバッグ方法は、分散メモリ型のマル
チプロセッサシステムの各プロセッサ上のメモリに、シ
リアルプログラムのループ中で処理されるデータ配列を
分散配置して各プロセッサで並列に処理するように書き
直したマルチタスクプログラムの正当性を検証するマル
チタスクプログラムのデバッグ方法であって、前記シリ
アルプログラムを実行して並列処理を行う箇所のデータ
配列の値とサイズを得て、さらに前記マルチタスクプロ
グラムを実行して並列処理を行う箇所のデータ配列の値
とサイズを得て、その後、双方の並列処理を行う箇所の
データ配列の値とサイズが不一致の場合には、前記シリ
アルプログラムが前記マルチタスクプログラムと等価で
はない旨を出力することを特徴とする。
スクプログラムのデバッグ方法は、分散メモリ型のマル
チプロセッサシステムの各プロセッサ上のメモリに、シ
リアルプログラムのループ中で処理されるデータ配列を
分散配置して各プロセッサで並列に処理するように書き
直したマルチタスクプログラムの正当性を検証するマル
チタスクプログラムのデバッグ方法であって、前記シリ
アルプログラムを実行して並列処理を行う箇所のデータ
配列の値とサイズを得て、さらに前記マルチタスクプロ
グラムを実行して並列処理を行う箇所のデータ配列の値
とサイズを得て、その後、双方の並列処理を行う箇所の
データ配列の値とサイズが不一致の場合には、前記シリ
アルプログラムが前記マルチタスクプログラムと等価で
はない旨を出力することを特徴とする。
【００１０】本発明の第２のマルチタスクプログラムの
デバッグ方法は、分散メモリ型のマルチプロセッサシス
テムの各プロセッサ上のメモリに、シリアルプログラム
のループ中で処理されるデータ配列を分散配置して各プ
ロセッサで並列に処理するように書き直したマルチタス
クプログラムの正当性を検証するマルチタスクプログラ
ムのデバッグ方法であって、前記シリアルプログラムに
並列処理を行う箇所のデータ配列の値とサイズを得る指
示を追加したシリアル変換プログラムと、前記マルチタ
スクプログラムに並列処理を行う箇所のデータ配列の値
とサイズを得る指示を追加したマルチタスク変換プログ
ラムとをそれぞれ実行し、その後、双方の並列処理を行
う箇所のデータ配列の値とサイズが不一致の場合には、
前記シリアルプログラムが前記マルチタスクプログラム
と等価ではない旨を出力することを特徴とする。
デバッグ方法は、分散メモリ型のマルチプロセッサシス
テムの各プロセッサ上のメモリに、シリアルプログラム
のループ中で処理されるデータ配列を分散配置して各プ
ロセッサで並列に処理するように書き直したマルチタス
クプログラムの正当性を検証するマルチタスクプログラ
ムのデバッグ方法であって、前記シリアルプログラムに
並列処理を行う箇所のデータ配列の値とサイズを得る指
示を追加したシリアル変換プログラムと、前記マルチタ
スクプログラムに並列処理を行う箇所のデータ配列の値
とサイズを得る指示を追加したマルチタスク変換プログ
ラムとをそれぞれ実行し、その後、双方の並列処理を行
う箇所のデータ配列の値とサイズが不一致の場合には、
前記シリアルプログラムが前記マルチタスクプログラム
と等価ではない旨を出力することを特徴とする。
【００１１】本発明の第１のマルチタスクプログラムの
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムを実行して並列処理を行う箇所のデータ配列の値
とサイズを得るとともに、前記マルチタスクプログラム
を実行して並列処理を行う箇所のデータ配列の値とサイ
ズをも得て、双方の並列処理を行う箇所のデータ配列の
値とサイズが不一致の場合には、前記シリアルプログラ
ムが前記マルチタスクプログラムと等価ではない旨を出
力装置へ出力するデータ照合手段を備えている。
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムを実行して並列処理を行う箇所のデータ配列の値
とサイズを得るとともに、前記マルチタスクプログラム
を実行して並列処理を行う箇所のデータ配列の値とサイ
ズをも得て、双方の並列処理を行う箇所のデータ配列の
値とサイズが不一致の場合には、前記シリアルプログラ
ムが前記マルチタスクプログラムと等価ではない旨を出
力装置へ出力するデータ照合手段を備えている。
【００１２】本発明の第２のマルチタスクプログラムの
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムに並列処理を行う箇所のデータ配列の値とサイズ
を得る指示を追加したシリアル変換プログラムと、前記
マルチタスクプログラムに並列処理を行う箇所のデータ
配列の値とサイズを得る指示を追加したマルチタスク変
換プログラムとをそれぞれ実行し、双方の並列処理を行
う箇所のデータ配列の値とサイズが不一致の場合には、
前記シリアルプログラムが前記マルチタスクプログラム
と等価ではない旨を出力装置へ出力するデータ照合手段
を備えている。
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムに並列処理を行う箇所のデータ配列の値とサイズ
を得る指示を追加したシリアル変換プログラムと、前記
マルチタスクプログラムに並列処理を行う箇所のデータ
配列の値とサイズを得る指示を追加したマルチタスク変
換プログラムとをそれぞれ実行し、双方の並列処理を行
う箇所のデータ配列の値とサイズが不一致の場合には、
前記シリアルプログラムが前記マルチタスクプログラム
と等価ではない旨を出力装置へ出力するデータ照合手段
を備えている。
【００１３】本発明の第３のマルチタスクプログラムの
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムを入力して、並列処理を行う箇所のデータ配列の
値とサイズを照合データファイルに退避する指示を追加
したシリアル変換プログラムを生成するとともに、前記
マルチタスクプログラムを入力して、並列処理を行う箇
所のデータ配列の値とサイズを前記照合データファイル
に退避した並列処理を行う箇所のデータ配列の値とサイ
ズと照合する指示を追加したマルチタスク変換プログラ
ムを生成するプログラム変換手段と、前記シリアル変換
プログラムを実行して、並列処理を行う箇所のデータ配
列の値とサイズを前記照合データファイルに退避する照
合データ退避手段と、前記マルチタスク変換プログラム
を実行して、並列処理を行う箇所のデータ配列の値とサ
イズを前記照合データファイルに退避されているデータ
配列の値とサイズと一致するか否かを判定し、不一致の
場合には、前記シリアルプログラムが前記マルチタスク
プログラムと等価ではない旨を出力装置へ出力するデー
タ照合手段とから構成されている。
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムを入力して、並列処理を行う箇所のデータ配列の
値とサイズを照合データファイルに退避する指示を追加
したシリアル変換プログラムを生成するとともに、前記
マルチタスクプログラムを入力して、並列処理を行う箇
所のデータ配列の値とサイズを前記照合データファイル
に退避した並列処理を行う箇所のデータ配列の値とサイ
ズと照合する指示を追加したマルチタスク変換プログラ
ムを生成するプログラム変換手段と、前記シリアル変換
プログラムを実行して、並列処理を行う箇所のデータ配
列の値とサイズを前記照合データファイルに退避する照
合データ退避手段と、前記マルチタスク変換プログラム
を実行して、並列処理を行う箇所のデータ配列の値とサ
イズを前記照合データファイルに退避されているデータ
配列の値とサイズと一致するか否かを判定し、不一致の
場合には、前記シリアルプログラムが前記マルチタスク
プログラムと等価ではない旨を出力装置へ出力するデー
タ照合手段とから構成されている。
【００１４】本発明の第４のマルチタスクプログラムの
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムを入力して、参照しているデータ配列の値とサイ
ズを並列ループの前で照合データファイルに退避し、定
義しているデータ配列の値とサイズを並列ループの後で
照合データファイルに退避する指示を追加したシリアル
変換プログラムを生成するとともに、前記マルチタスク
プログラムを入力して、参照しているデータ配列の値と
サイズを並列ループの前で前記照合データファイルに退
避したシリアルプログラムを実行した結果と照合し、定
義しているデータ配列の値とサイズを並列ループの後で
前記照合データファイルに退避した前記シリアルプログ
ラムを実行した結果と照合する指示を追加したマルチタ
スク変換プログラムを生成するプログラム変換手段と、
前記シリアル変換プログラム実行時に、参照しているデ
ータ配列の値とサイズを並列ループの前で前記照合デー
タファイルに退避し、定義しているデータ配列の値とサ
イズを並列ループの後で前記照合データファイルに退避
する照合データ退避手段と、前記マルチタスク変換プロ
グラム実行時に、参照しているデータ配列の値とサイズ
を並列ループの前で、前記照合データ退避手段が前記照
合データファイルに退避した前記シリアル変換プログラ
ムが参照しているデータ配列の値とサイズと一致するか
否かを判定するとともに、定義しているデータ配列の値
とサイズを並列ループの後で、前記照合データ退避手段
が前記照合データファイルに退避した前記シリアル変換
プログラムが定義しているデータ配列の値とサイズと一
致するか否かを判定し、いずれかの判定において不一致
の場合には、前記シリアルプログラムが前記マルチタス
クプログラムと等価ではない旨を出力装置へ出力するデ
ータ照合手段とから構成されている。
デバッグシステムは、分散メモリ型のマルチプロセッサ
システムの各プロセッサ上のメモリに、シリアルプログ
ラムのループ中で処理されるデータ配列を分散配置して
各プロセッサで並列に処理するように書き直したマルチ
タスクプログラムの正当性を検証するマルチタスクプロ
グラムのデバッグシステムであって、前記シリアルプロ
グラムを入力して、参照しているデータ配列の値とサイ
ズを並列ループの前で照合データファイルに退避し、定
義しているデータ配列の値とサイズを並列ループの後で
照合データファイルに退避する指示を追加したシリアル
変換プログラムを生成するとともに、前記マルチタスク
プログラムを入力して、参照しているデータ配列の値と
サイズを並列ループの前で前記照合データファイルに退
避したシリアルプログラムを実行した結果と照合し、定
義しているデータ配列の値とサイズを並列ループの後で
前記照合データファイルに退避した前記シリアルプログ
ラムを実行した結果と照合する指示を追加したマルチタ
スク変換プログラムを生成するプログラム変換手段と、
前記シリアル変換プログラム実行時に、参照しているデ
ータ配列の値とサイズを並列ループの前で前記照合デー
タファイルに退避し、定義しているデータ配列の値とサ
イズを並列ループの後で前記照合データファイルに退避
する照合データ退避手段と、前記マルチタスク変換プロ
グラム実行時に、参照しているデータ配列の値とサイズ
を並列ループの前で、前記照合データ退避手段が前記照
合データファイルに退避した前記シリアル変換プログラ
ムが参照しているデータ配列の値とサイズと一致するか
否かを判定するとともに、定義しているデータ配列の値
とサイズを並列ループの後で、前記照合データ退避手段
が前記照合データファイルに退避した前記シリアル変換
プログラムが定義しているデータ配列の値とサイズと一
致するか否かを判定し、いずれかの判定において不一致
の場合には、前記シリアルプログラムが前記マルチタス
クプログラムと等価ではない旨を出力装置へ出力するデ
ータ照合手段とから構成されている。
【００１５】
【発明の実施の形態】以下、本発明の一実施例につい
て、図を参照しながら詳細に説明する。
て、図を参照しながら詳細に説明する。
【００１６】図１を参照すると、本発明の一実施例であ
るマルチタスクプログラムのデバッグシステムは、分散
メモリ型のマルチプロセッサシステムにおいて、利用者
がシリアルプログラム１１を各プロセッサ上のメモリに
データ配列を分散配置し、そのデータ配列を各プロセッ
サで並列に処理するように書き直す場合、マルチタスク
プログラム１２に対して、並列に処理されるデータ配列
の値とサイズを照合する指示を追加したマルチタスク変
換プログラム１５を生成し、さらにシリアルプログラム
１１に対して、前記並列処理部に対応する箇所のデータ
配列の値とサイズを退避する指示を追加したシリアル変
換プログラム１４を生成するプログラムであるプログラ
ム変換プログラム（以下、プログラム変換手段とする）
１３と、シリアル変換プログラム１４実行時、データの
適合箇所を通過する毎にデータの値とサイズを照合デー
タファイル１７に退避するプログラムである照合データ
退避プログラム（以下、照合データ退避手段とする）１
６と、マルチタスク変換プログラム１５実行時、データ
の照合箇所毎にデータのサイズと値を照合データファイ
ル１７と照合し、マルチタスクプログラム１２がシリア
ルプログラム１１と等価か否かを判定し、マルチタスク
プログラム１２がシリアルプログラム１１と等価でない
場合には、その旨出力装置に出力するプログラムである
データ照合プログラム（以下、データ照合手段とする）
１８とから構成されている。
るマルチタスクプログラムのデバッグシステムは、分散
メモリ型のマルチプロセッサシステムにおいて、利用者
がシリアルプログラム１１を各プロセッサ上のメモリに
データ配列を分散配置し、そのデータ配列を各プロセッ
サで並列に処理するように書き直す場合、マルチタスク
プログラム１２に対して、並列に処理されるデータ配列
の値とサイズを照合する指示を追加したマルチタスク変
換プログラム１５を生成し、さらにシリアルプログラム
１１に対して、前記並列処理部に対応する箇所のデータ
配列の値とサイズを退避する指示を追加したシリアル変
換プログラム１４を生成するプログラムであるプログラ
ム変換プログラム（以下、プログラム変換手段とする）
１３と、シリアル変換プログラム１４実行時、データの
適合箇所を通過する毎にデータの値とサイズを照合デー
タファイル１７に退避するプログラムである照合データ
退避プログラム（以下、照合データ退避手段とする）１
６と、マルチタスク変換プログラム１５実行時、データ
の照合箇所毎にデータのサイズと値を照合データファイ
ル１７と照合し、マルチタスクプログラム１２がシリア
ルプログラム１１と等価か否かを判定し、マルチタスク
プログラム１２がシリアルプログラム１１と等価でない
場合には、その旨出力装置に出力するプログラムである
データ照合プログラム（以下、データ照合手段とする）
１８とから構成されている。
【００１７】次に本発明の一実施例であるマルチタスク
プログラムのデバッグシステムについて、図１〜図６を
参照して説明する。
プログラムのデバッグシステムについて、図１〜図６を
参照して説明する。
【００１８】利用者はマルチプロセッサシステムのプロ
セッサを有効に利用し、プログラムの処理時間を短縮す
るために、図２に示すシリアルプログラム１１を図３に
示すマルチタスクプログラム１２に書き直す。本実施例
では図３に示すように、ループ２１の処理時間を短縮す
るために、ループ３３中で処理される配列（ＡＲＲＡＹ
１、ＡＲＲＡＹ２）を各プロセッサのメモリに分散する
指示３１と、並列実行する指示３２を利用者が追加して
いる。
セッサを有効に利用し、プログラムの処理時間を短縮す
るために、図２に示すシリアルプログラム１１を図３に
示すマルチタスクプログラム１２に書き直す。本実施例
では図３に示すように、ループ２１の処理時間を短縮す
るために、ループ３３中で処理される配列（ＡＲＲＡＹ
１、ＡＲＲＡＹ２）を各プロセッサのメモリに分散する
指示３１と、並列実行する指示３２を利用者が追加して
いる。
【００１９】プログラム変換手段１３は、シリアルプロ
グラム１１を入力し（ステップ１３１）、マルチタスク
プログラム１２上で並列処理するために分散配置された
データ配列（ＡＲＲＡＹ１、ＡＲＲＡＹ２）に対し、参
照しているデータ配列（ＡＲＲＡＹ１）の値とサイズを
並列ループ３３の前で照合データファイルに退避する指
示４１と、定義しているデータ配列（ＡＲＲＡＹ２）の
値とサイズを並列ループ３３の後で照合データファイル
に退避する指示４２を追加した図４に示すシリアル変換
プログラム１４を生成する（ステップ１３２）。
グラム１１を入力し（ステップ１３１）、マルチタスク
プログラム１２上で並列処理するために分散配置された
データ配列（ＡＲＲＡＹ１、ＡＲＲＡＹ２）に対し、参
照しているデータ配列（ＡＲＲＡＹ１）の値とサイズを
並列ループ３３の前で照合データファイルに退避する指
示４１と、定義しているデータ配列（ＡＲＲＡＹ２）の
値とサイズを並列ループ３３の後で照合データファイル
に退避する指示４２を追加した図４に示すシリアル変換
プログラム１４を生成する（ステップ１３２）。
【００２０】また、プログラム変換手段１３は、マルチ
タスクプログラム１２を入力し（ステップ１３３）、各
プロセッサに分散配置されたデータ配列（ＡＲＲＡＹ
１、ＡＲＲＡＹ２）の定義と参照を行っている並列ルー
プ３３に対して、並列ループ３３の前で参照しているデ
ータ配列（ＡＲＲＡＹ１）の値とサイズをシリアルプロ
グラム１１を実行した結果と照合する指示５１と、並列
ループ３３の後で定義しているデータ配列（ＡＲＲＡＹ
２）の値とサイズをシリアルプログラム１１を実行した
結果と照合する指示５２を追加した図５に示すマルチタ
スク変換プログラム１５を生成する（ステップ１３
４）。
タスクプログラム１２を入力し（ステップ１３３）、各
プロセッサに分散配置されたデータ配列（ＡＲＲＡＹ
１、ＡＲＲＡＹ２）の定義と参照を行っている並列ルー
プ３３に対して、並列ループ３３の前で参照しているデ
ータ配列（ＡＲＲＡＹ１）の値とサイズをシリアルプロ
グラム１１を実行した結果と照合する指示５１と、並列
ループ３３の後で定義しているデータ配列（ＡＲＲＡＹ
２）の値とサイズをシリアルプログラム１１を実行した
結果と照合する指示５２を追加した図５に示すマルチタ
スク変換プログラム１５を生成する（ステップ１３
４）。
【００２１】照合データ退避手段１６は、シリアル変換
プログラム１４実行時、プログラム変換手段１３によっ
て追加された指示に従って、マルチタスクプログラム１
２上で並列処理するために分散配置されたデータ配列
（ＡＲＲＡＹ１、ＡＲＲＡＹ２）に対し、参照している
データ配列（ＡＲＲＡＹ１）の値とサイズを並列ループ
３３の前で図６に示すような形式の照合データファイル
１７に退避し（ステップ１６１）、さらに定義している
データ配列（ＡＲＲＡＹ２）の値とサイズを並列ループ
３３の後で照合データファイル１７に退避する（ステッ
プ１６２）。
プログラム１４実行時、プログラム変換手段１３によっ
て追加された指示に従って、マルチタスクプログラム１
２上で並列処理するために分散配置されたデータ配列
（ＡＲＲＡＹ１、ＡＲＲＡＹ２）に対し、参照している
データ配列（ＡＲＲＡＹ１）の値とサイズを並列ループ
３３の前で図６に示すような形式の照合データファイル
１７に退避し（ステップ１６１）、さらに定義している
データ配列（ＡＲＲＡＹ２）の値とサイズを並列ループ
３３の後で照合データファイル１７に退避する（ステッ
プ１６２）。
【００２２】データ照合手段１８は、マルチタスク変換
プログラム１５実行時、プログラム変換手段１３によっ
て追加された指示に従って、マルチタスクプログラム１
２上で各プロセッサに分散配置されたデータ配列（ＡＲ
ＲＡＹ１、ＡＲＲＡＹ２）の定義と参照を行っている並
列ループ３３に対して、並列ループ３３の前で参照して
いるデータ配列（ＡＲＲＡＹ１）の値とサイズを、照合
データ退避手段１６によって照合データファイル１７に
出力されたシリアル変換プログラム１４を実行した結果
であるデータ配列（ＡＲＲＡＹ１）の値とサイズと照合
し（ステップ１８１）、さらに並列ループ３３の後で定
義しているデータ配列（ＡＲＲＡＹ２）の値とサイズ
を、照合データ退避手段１６によって照合データファイ
ル１７に出力されたシリアル変換プログラム１４を実行
した結果であるデータ配列（ＡＲＲＡＹ２）の値とサイ
ズと照合する（ステップ１８２）。
プログラム１５実行時、プログラム変換手段１３によっ
て追加された指示に従って、マルチタスクプログラム１
２上で各プロセッサに分散配置されたデータ配列（ＡＲ
ＲＡＹ１、ＡＲＲＡＹ２）の定義と参照を行っている並
列ループ３３に対して、並列ループ３３の前で参照して
いるデータ配列（ＡＲＲＡＹ１）の値とサイズを、照合
データ退避手段１６によって照合データファイル１７に
出力されたシリアル変換プログラム１４を実行した結果
であるデータ配列（ＡＲＲＡＹ１）の値とサイズと照合
し（ステップ１８１）、さらに並列ループ３３の後で定
義しているデータ配列（ＡＲＲＡＹ２）の値とサイズ
を、照合データ退避手段１６によって照合データファイ
ル１７に出力されたシリアル変換プログラム１４を実行
した結果であるデータ配列（ＡＲＲＡＹ２）の値とサイ
ズと照合する（ステップ１８２）。
【００２３】データ照合手段１８は、このステップ１８
１またはステップ１８２における照合において、結果が
一致していなければ、図２に示すシリアルプログラム１
１と図３に示すマルチタスクプログラム１２は等価では
ない、すなわち利用者によるシリアルプログラム１１の
マルチタスクプログラム１２への書き直しが誤っている
ということを出力装置に出力する（ステップ１８３）。
１またはステップ１８２における照合において、結果が
一致していなければ、図２に示すシリアルプログラム１
１と図３に示すマルチタスクプログラム１２は等価では
ない、すなわち利用者によるシリアルプログラム１１の
マルチタスクプログラム１２への書き直しが誤っている
ということを出力装置に出力する（ステップ１８３）。
【００２４】以上により、本発明の一実施例であるマル
チタスクプログラムのデバッグシステムの処理が完了す
る。
チタスクプログラムのデバッグシステムの処理が完了す
る。
【００２５】本発明の一実施例であるマルチタスクプロ
グラムのデバッグシステムは、シリアルプログラムをマ
ルチタスクプログラムへ書き換えた際の誤りを検出する
ことができるという効果を有している。
グラムのデバッグシステムは、シリアルプログラムをマ
ルチタスクプログラムへ書き換えた際の誤りを検出する
ことができるという効果を有している。
【００２６】
【発明の効果】以上説明したように、本発明のマルチタ
スクプログラムのデバッグシステムは、シリアルプログ
ラムを基にして作成したマルチタスクプログラムの実行
結果を変えることなく、マルチタスクプログラムをデバ
ッグすることができる効果を有している。
スクプログラムのデバッグシステムは、シリアルプログ
ラムを基にして作成したマルチタスクプログラムの実行
結果を変えることなく、マルチタスクプログラムをデバ
ッグすることができる効果を有している。
【００２７】さらに本発明は、シリアルプログラムから
マルチタスクプログラムを正しく生成することができる
効果を有している。
マルチタスクプログラムを正しく生成することができる
効果を有している。
【図１】本発明の一実施例を示すブロック図である。
【図２】本発明の一実施例におけるシリアルプログラム
１１の例を示す図である。
１１の例を示す図である。
【図３】本発明の一実施例におけるマルチタスクプログ
ラム１２の例を示す図である。
ラム１２の例を示す図である。
【図４】本発明の一実施例におけるシリアル変換プログ
ラム１４の例を示す図である。
ラム１４の例を示す図である。
【図５】本発明の一実施例におけるマルチタスク変換プ
ログラム１５の例を示す図である。
ログラム１５の例を示す図である。
【図６】本発明の一実施例における照合データファイル
１７の例を示す図である。
１７の例を示す図である。
【図７】本発明の一実施例におけるプログラム変換手段
１３、照合データ退避手段１６、およびデータ照合手段
１８の処理を示す流れ図である。
１３、照合データ退避手段１６、およびデータ照合手段
１８の処理を示す流れ図である。
１１ シリアルプログラム １２ マルチタスクプログラム １３ プログラム変換手段 １４ シリアル変換プログラム １５ マルチタスク変換プログラム １６ 照合データ退避手段 １７ 照合データファイル １８ データ照合手段
Claims (2)
- 【請求項１】 分散メモリ型のマルチプロセッサシステ
ムの各プロセッサ上のメモリに、シリアルプログラムの
ループ中で処理されるデータ配列を分散配置して各プロ
セッサで並列に処理するように書き直したマルチタスク
プログラムの正当性を検証するマルチタスクプログラム
のデバッグ方法であって、 シリアルプログラムを入力して、該シリアルプログラム
が参照する第１のデータ配列の値およびサイズを並列ル
ープの前で照合データファイルに退避し、該シリアルプ
ログラムが定義する第２のデータ配列の値およびサイズ
を前記並列ループの後で前記照合データファイルに退避
する指示を該シリアルプログラムに追加したシリアル変
換プログラムを生成するとともに、 前記マルチタスクプログラムを入力して、該マルチタス
クプログラムが参照する第３のデータ配列の値およびサ
イズを、前記シリアル変換プログラムが前記照合データ
ファイルに退避した前記第１のデータ配列の値およびサ
イズと前記並列ループの前で照合し、該マルチタスクプ
ログラムが定義する第４のデータ配列の値およびサイズ
を、前記シリアル変換プログラムが前記照合データファ
イルに退避した前記第２のデータ配列の値およびサイズ
と前記並列ループの後で照合する指示を該マルチタスク
プログラムに追加したマルチタスク変換プログラムを生
成するプログラム変換ステップと、 前記プログラム変換ステップにおいて生成された前記シ
リアル変換プログラムの実行時に、前記第１のデータ配
列の値およびサイズを前記並列ループの前で前記照合デ
ータファイルに退避し、前記第２のデータ配列の値およ
びサイズを前記並列ループの後で前記照合データファイ
ルに退避する照合データ退避ステップと、 前記プログラム変換ステップにおいて生成された前記マ
ルチタスク変換プログラムの実行時に、前記並列ループ
の前で、前記第３のデータ配列の値およびサイズを、前
記照合データ退避ステップにおいて前記シリアル変換プ
ログラムが前記照合データファイルに退避した前記第１
のデータ配列の値およびサイズと一致するか否かを判定
するとともに、前記並列ループの後で、前記第４のデー
タ配列の値およびサイズを、前記照合データ退避ステッ
プにおいて前記シリアル変換プロ グラムが前記照合デー
タファイルに退避した前記第２のデータ配列の値および
サイズと一致するか否かを判定し、いずれかの判定にお
いて不一致の場合には、前記シリアルプログラムが前記
マルチタスクプログラムと等価ではない旨を出力装置へ
出力するデータ照合ステップとを含むことを特徴とする
マルチタスクプログラムのデバッグ方法。 - 【請求項２】 分散メモリ型のマルチプロセッサシステ
ムの各プロセッサ上のメモリに、シリアルプログラムの
ループ中で処理されるデータ配列を分散配置して各プロ
セッサで並列に処理するように書き直したマルチタスク
プログラムの正当性を検証するマルチタスクプログラム
のデバッグシステムであって、 シリアルプログラムを入力して、該シリアルプログラム
が参照する第１のデータ配列の値およびサイズを並列ル
ープの前で照合データファイルに退避し、該シリアルプ
ログラムが定義する第２のデータ配列の値およびサイズ
を前記並列ループの後で前記照合データファイルに退避
する指示を該シリアルプログラムに追加したシリアル変
換プログラムを生成するとともに、 前記マルチタスクプログラムを入力して、該マルチタス
クプログラムが参照する第３のデータ配列の値およびサ
イズを、前記シリアル変換プログラムが前記照合データ
ファイルに退避した前記第１のデータ配列の値およびサ
イズと前記並列ループの前で照合し、該マルチタスクプ
ログラムが定義する第４のデータ配列の値およびサイズ
を、前記シリアル変換プログラムが前記照合データファ
イルに退避した前記第２のデータ配列の値およびサイズ
と前記並列ループの後で照合する指示を該マルチタスク
プログラムに追加したマルチタスク変換プログラムを生
成するプログラム変換手段と、 前記シリアル変換プログラム実行時に、前記第１のデー
タ配列の値およびサイズを前記並列ループの前で前記照
合データファイルに退避し、前記第２のデータ配列の値
およびサイズを前記並列ループの後で前記照合データフ
ァイルに退避する照合データ退避手段と、 前記マルチタスク変換プログラム実行時に、前記並列ル
ープの前で、前記第３のデータ配列の値およびサイズを
前記シリアル変換プログラムが前記照合データファイル
に退避した前記第１のデータ配列の値およびサイズと一
致するか否かを 判定するとともに、前記並列ループの後
で、前記第４のデータ配列の値およびサイズを前記シリ
アル変換プログラムが前記照合データファイルに退避し
た前記第２のデータ配列の値およびサイズと一致するか
否かを判定し、いずれかの判定において不一致の場合に
は、前記シリアルプログラムが前記マルチタスクプログ
ラムと等価ではない旨を出力装置へ出力するデータ照合
手段とを備えたことを特徴とするマルチタスクプログラ
ムのデバッグシステム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP7232131A JP2738360B2 (ja) | 1994-09-12 | 1995-09-11 | マルチタスクプログラムのデバッグ方法およびデバッグシステム |
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6-216974 | 1994-09-12 | ||
| JP21697494 | 1994-09-12 | ||
| JP7232131A JP2738360B2 (ja) | 1994-09-12 | 1995-09-11 | マルチタスクプログラムのデバッグ方法およびデバッグシステム |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH08137714A JPH08137714A (ja) | 1996-05-31 |
| JP2738360B2 true JP2738360B2 (ja) | 1998-04-08 |
Family
ID=26521741
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP7232131A Expired - Fee Related JP2738360B2 (ja) | 1994-09-12 | 1995-09-11 | マルチタスクプログラムのデバッグ方法およびデバッグシステム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2738360B2 (ja) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2013008326A1 (ja) * | 2011-07-13 | 2013-01-17 | 富士通株式会社 | ソフトウェア検証方法、およびソフトウェア検証システム |
| JPWO2013008326A1 (ja) * | 2011-07-13 | 2015-02-23 | 富士通株式会社 | ソフトウェア検証方法、およびソフトウェア検証システム |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5048018A (en) | 1989-06-29 | 1991-09-10 | International Business Machines Corporation | Debugging parallel programs by serialization |
-
1995
- 1995-09-11 JP JP7232131A patent/JP2738360B2/ja not_active Expired - Fee Related
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5048018A (en) | 1989-06-29 | 1991-09-10 | International Business Machines Corporation | Debugging parallel programs by serialization |
Non-Patent Citations (1)
| Title |
|---|
| 村岡洋一著，「超並列処理コンパイラ」，コロナ社，１９９０年８月初版発行 山田 剛著，"並列処理システムにおけるプログラムデバッギング"，情報処理，（１９９３年９月），ＶＯＬ．３４，ＮＯ．９，Ｐ．１１７０−１１７８ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH08137714A (ja) | 1996-05-31 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5799142A (en) | Debugging method and debugging system for multi-task programs | |
| JP2738360B2 (ja) | マルチタスクプログラムのデバッグ方法およびデバッグシステム | |
| JP2001273340A (ja) | マイクロプロセッサの設計検証方法及びマイクロプロセッサの設計検証装置及びパイプラインシミュレータ生成装置 | |
| US7024347B2 (en) | Transaction conflict testing method and apparatus | |
| JP2663893B2 (ja) | アーキテクチャ・シミュレータ | |
| JP2000099367A (ja) | ソフトウエアの評価装置 | |
| JPH05334119A (ja) | プログラムデバッグ方法 | |
| JPH05165680A (ja) | メモリ操作トレ−ス装置 | |
| JP3301203B2 (ja) | ページ記述言語プログラム変換装置 | |
| JP2570108B2 (ja) | ソフトウェアデバッグ方法 | |
| JPS60179847A (ja) | 実配列および仮配列間の整合性チエツク方式 | |
| JPH06242982A (ja) | 仮想計算機システムの試験方式 | |
| JP2743889B2 (ja) | プログラム評価の方法および装置 | |
| JP3278860B2 (ja) | プログラム生成方法 | |
| JP3293652B2 (ja) | シミュレーションプログラム生成方式 | |
| JPH0468446A (ja) | デバッグ支援装置 | |
| JPH08286950A (ja) | 情報処理装置及びトレース情報格納方法 | |
| JP2786689B2 (ja) | コンパイラ処理方法 | |
| JPH01304548A (ja) | プログラム検証方式 | |
| JPH05127945A (ja) | プログラム実行状況解析方式 | |
| JPS63163636A (ja) | 並列処理実行方式 | |
| JPS63289654A (ja) | プログラム分岐命令モニタ方式 | |
| JPH07200351A (ja) | プログラムデバッグ方法およびプログラムデバッグ支援装置 | |
| JPH03225435A (ja) | マイクロプロセッサ | |
| JPH05189217A (ja) | 業務支援システム |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19971216 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080116 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090116 Year of fee payment: 11 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100116 Year of fee payment: 12 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110116 Year of fee payment: 13 |
|
| LAPS | Cancellation because of no payment of annual fees |