JPH09114693A

JPH09114693A - プログラム開発支援装置及びプログラム実行装置

Info

Publication number: JPH09114693A
Application number: JP7265803A
Authority: JP
Inventors: Toshibumi Seki; 俊文關
Original assignee: Toshiba Corp
Current assignee: Toshiba Corp
Priority date: 1995-10-13
Filing date: 1995-10-13
Publication date: 1997-05-02

Abstract

(57)【要約】【課題】処理の並列性をできる限り保持しながらも逐
次テストの処理結果の再現性を保証すること。【解決手段】並行化装置１３は，各ジョブの実行履歴
をタスク毎に分け、そのタスク内のジョブ毎の手続き間
の実行順序制約を求めるとともに、得られた順序制約と
解析装置８で得られた手続き間の依存関係からジョブ間
の実行順序制約ルール１４を求める。逐次化制御手段１
５は、実行順序制約ルール１４に従って並行プログラム
７をスケジューリングする。これにより、逐次実行時に
得られた正しい処理結果を維持しながらも、最終的な結
果に影響を与えない並列性を導入して動作可能とする。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、複数のタスクがメ
ッセージを交換しながら並行に動作している並行／並列
／分散システムにおけるプログラム開発支援装置及びプ
ログラム実行装置に関する。

【０００２】

【従来の技術】近年の半導体集積回路技術の進歩によ
り、複雑なプロセッサ及び大容量のメモリが小型かつ低
価格で実現できるようになり、多数のプロセッサからな
る並列処理システムや分散処理システムが実用化されて
いる。このようなハードウェアに対しては、専用のプロ
グラム、即ち並列プログラムや分散処理プログラム等
（以下、「並行プログラム」という。）を用いなければ
ならない。従って、かかる並行プログラムをいかに効率
よく開発するかは、優れたアルゴリズムを検討する場合
と同様に、重要な課題となっている。

【０００３】ところで、プログラム開発においては、プ
ログラム中のエラーを見つけ修正すること、即ち、デバ
ッグと呼ばれる開発工程がプログラム開発の効率に大き
く影響する。

【０００４】しかしながら、並行プログラムの開発にお
いては、逐次プログラムの開発においては遭遇すること
のない、並行プログラム特有の問題を考慮する必要があ
る。即ち、この並行プログラム特有の問題とは、並行プ
ログラムを構成する各プロセスは、各プロセス間におけ
る相互作用のタイミングによりさまざまな振る舞いをす
る可能性があるため、並行プログラム全体が正しく動作
しないということである。このような問題は、並行プロ
グラムの性質に基づくものであり、これを一般に「非決
定性」と呼んでいる。

【０００５】例えば、図１９に示す並列プログラムがあ
ったとする。同図において、プロセスＰ１は、共有メモ
リＣＭの初期設定initを行うプロセス、プロセスＰ２
は、共有メモリＣＭから読み出しreadを行うプロセス、
プロセスＰ３は、共有メモリＣＭに書き込みwrite を行
うプロセスであることを示している。これらのプロセス
を並列処理システム等で動作させた場合、全部で３階乗
通りの動作の組み合わせがあることになる。通常、シス
テムの初期設定後、処理を開始するのであるから、今、
プロセスＰ１→Ｐ２→Ｐ３又はＰ１→Ｐ３→Ｐ２の順番
でプログラムが動作する場合に正しい結果が得られるの
ものとすると、残りの４通り、例えば、Ｐ２→Ｐ３→Ｐ
１は、初期化が最初に行われないため、明らかに正しい
結果が得られないことがわかる。同様に、１プロセス内
に複数の手続きが同時に動作する並行プログラムにおい
ても、手続き間の実行順序により正しい結果が得られな
い場合がある。

【０００６】このようにプロセスの振る舞いに関する非
決定性は、並行プログラムを動作させる毎に、その時点
におけるシステムの状況等によって結果を異なったもの
にする。従って、この非決定性に関する問題を解決しな
い限り、その並行プログラムは、デバッグにおいてたと
え正常に動作することがあっても、常に、正常に動作す
るという保証はない。また、非決定性に関するバグは、
−般に、逐次プログラムにおけるバグを見つける場合よ
りも困難である。なぜなら、逐次プログラムにおいて
は、デバッグ時にプログラム中の全てのパスを実行する
ことによって動作を確認することができるのに対し、並
行プログラムにおいては、全てのパス、即ち各プロセス
中の全てのパスのみならず、プロセス相互間の振る舞い
をも考慮してパスを実行しなければならないからであ
る。即ち、上述した例のように、プロセスの数が少ない
場合にあっては、各プロセス相互間の振る舞いを把握す
ることは比較的容易であるが実際のプログラム開発にあ
ってはその数は膨大なものとなり、その組み合わせも膨
大なものとなるため、全ての振る舞いを把握することは
もはや不可能なものとなる。

【０００７】以上のように、並行プログラム開発におけ
るデバッグは、逐次プログラム開発におけるデバッグに
比較して、非常に困難なものとなっていた。特に、プロ
グラム自体が巨大化した今日においては、このデバッグ
は一層困難なものとなっていた。

【０００８】このように非決定性のある並行プログラム
を効率よくデバッグする方法として、逐次化という方法
がある。これは、本来並行して動作するタスクに実行の
制約を与え、１タスクずつ順次動作させ、プログラムの
動作解析を容易にするとともに、処理の再現性を与える
ものである。この逐次化手法の一つとして、ログ情報に
基づいて行う方法がある。そこでは、実行経過をログ情
報として保存し、以降のプログラムデバッグ時には、保
存したログ情報に従ってタスク群を動作させる。よっ
て、タスク群の非決定的動作はなくなり、ログ情報に指
示された順序に動作するようになり、プログラムの再現
性が実現される。

【０００９】

【発明が解決しようとする課題】しかし、上述したログ
情報に基づく方法は、システムへの特定の入力毎にログ
情報を作成しデバッグする方法であり、複数の入力が同
時にシステムに投入される場合には、各入力に応じた処
理手順間に共有部分がない場合を除いて正しい動作を保
証できない。以下、ある入力に応じた処理全体の流れを
「ジョブ」と呼ぶことにする。即ち、複数のジョブが様
々なタイミングでシステムに投入される場合は、前記従
来技術の問題として指摘したプロセスをジョブと読み変
えたときと同様の問題が発生する。即ち、個々のジョブ
のみを実行した場合は正しく動作するが、複数のジョブ
を並行に動作させると処理タイミングによる共有メモリ
更新の不具合等が生じるとともに、処理の再現性も失わ
れる。よって、ジョブ間にもジョブの実行順序を規定し
逐次化を行うことが並行プログラムの効率的開発のため
に望まれる。但し、ジョブ実行順序の逐次化の際には、
単にジョブを逐次的に実行するのでは処理効率が悪いと
いう問題が生じる。このため、ジョブ間のプロセス間で
並行動作をさせても各ジョブの処理結果に影響を与えな
い部分については、並行動作可能とし、処理効率を高く
することが望まれる。複数のジョブを同時に実行させて
も個々に実行させた場合と同様の結果を得る技術とし
て、データベースのトランザクション制御（直列可能
性）を実現する技術があり、そこでは共有メモリに対し
てロックを行う方法やタイムスタンプを用いる方法、さ
らにスケジューラを用いる方法が存在する。

【００１０】しかし、ロック法では複数プロセスからな
るジョブにおいて、複数の異なるプロセスが同一共有メ
モリをアクセスする場合には、ジョブを構成するプロセ
スの処理手順を予め考慮してプログラミングしなければ
ならず、他のジョブとプロセスを共有することが難し
く、さらに不十分な排他制御では処理の非決定性により
デバッグを困難にする問題がある。タイムスタンプ法で
はジョブを構成するプロセス数が多くなると処理がアボ
ートされる可能性が高くなり処理効率が悪くなる問題が
ある。さらにスケジューラを用いる方法は、ジョブ開始
時に一連の処理手順を全てスケジューラに通知しておか
なければ共有データの解放タイミングが分からないが、
ジョブの最初のプロセスが後続するプロセスの処理まで
考慮して一連の処理手順を与えることは難しいといった
問題がある。

【００１１】本発明は、上記問題点を解決するため、複
数の手続きからなるタスクが互いにメッセージを交換し
ながら並行に動作する実行環境を有するシステムにあっ
て、処理の並列性をできる限り保持しながらも逐次テス
トの処理結果の再現性を保証することができる、即ち複
数ジョブの同時実行時にも逐次的にジョブを実行した場
合と同一の結果を効率よくかつ確実に得ることができる
プログラム開発支援装置及びプログラム実行装置を提供
することを目的としている。

【００１２】

【課題を解決するための手段】かかる課題を解決するた
め、請求項１記載の本発明のプログラム開発支援装置
は、複数の手続きからなるタスクが互いにメッセージを
交換しながら並行に動作する実行環境を有するシステム
において、前記実行環境上で動作するタスク群の実行履
歴を取得するログ情報取得手段と、前記ログ情報取得手
段により取得されたログ情報を保存するログ情報記憶手
段と、前記ログ情報記憶手段に保存されているログ情報
をタスク毎に分割し、分割したログ情報を基に各タスク
のジョブ毎の実行順序制約を決定する並行化手段と、前
記各タスク毎に設けられ、前記決定された実行順序制約
を記憶する実行順序制約記憶手段と、前記各タスク毎に
設けられ、当該タスクに記憶された前記実行順序制約に
基づき当該タスクの実行を制御する逐次化制御手段とを
具備する。

【００１３】請求項２記載の本発明のプログラム開発支
援装置は、複数の手続きからなるタスクが互いにメッセ
ージを交換しながら並行に動作する実行環境を有するシ
ステムにおいて、前記実行環境上で動作するタスク群の
実行履歴を取得するログ情報取得手段と、前記ログ情報
取得手段により取得されたログ情報を保存するログ情報
記憶手段と、前記システムへの入力に対する処理系列で
あるジョブ毎に一意に決定され、前記メッセージに付加
されるジョブ識別子を発番するジョブ識別子発番手段
と、前記ログ情報記憶手段に保存されているログ情報を
タスク毎に分割し、分割したログ情報を基に各タスクの
ジョブ毎の実行順序制約を決定する並行化手段と、前記
各タスク毎に設けられ、前記決定された実行順序制約を
記憶する実行順序制約記憶手段と、前記各タスク毎に設
けられ、前記ジョブ識別子発番手段により発番されたジ
ョブ識別子が付加されたメッセージを受信し、受信した
メッセージに付加されたジョブ識別子及び当該タスクに
記憶された前記実行順序制約に基づき当該タスクの実行
を制御する逐次化制御手段とを具備する。

【００１４】請求項３記載の本発明のプログラム開発支
援装置は、請求項２記載のプログラム開発支援装置にお
いて、前記ジョブ識別子発番手段によって発番されるジ
ョブ識別子が、前記システムへの入力によって一意に決
定され、異なる処理系列を区別する処理系列識別子と、
この処理系列がシステム起動後の何回目の起動かを示す
起動回数とを有することを特徴とする。

【００１５】請求項４記載の本発明のプログラム開発支
援装置は、請求項１または２記載のプログラム開発支援
装置において、前記並行化手段が、前記ログ情報記憶手
段に保存されているログ情報をタスク毎のログ情報に分
割し手続き実行順序制約を求める履歴分割部と、前記履
歴分割部によって分割された手続き実行順序制約を記憶
する分割履歴記憶部と、前記分割履歴記憶部に記憶され
た手続き実行順序制約を基にジョブ間の実行順序制約を
求める実行制約決定部とを有することを特徴とする。

【００１６】請求項５記載の本発明のプログラム開発支
援装置は、請求項４記載のプログラム開発支援装置にお
いて、前記各タスク毎に設けられた前記実行順序制約記
憶手段が、それぞれ前記手続き実行順序制約と前記ジョ
ブ間実行順序制約とを記憶することを特徴とする。

【００１７】請求項６記載の本発明のプログラム開発支
援装置は、請求項４記載のプログラム開発支援装置にお
いて、前記ジョブ間実行順序制約が、２つのジョブ間で
後着のジョブが処理を開始できる先行ジョブ内の手続き
を示す先行制約手続き名と、先行ジョブが全て終了しな
いと処理開始できない後着ジョブ内の手続きを示す起動
制約手続き名とを有することを特徴とする。

【００１８】請求項７記載の本発明のプログラム実行装
置は、複数の手続きからなるタスクが互いにメッセージ
を交換しながら並行に動作する実行環境を有するシステ
ムにおいて、前記各タスクが、当該タスクのジョブ毎の
実行順序制約を実行順序制約記憶手段と、当該タスクに
記憶された前記実行順序制約に基づき当該タスクの実行
を制御する逐次化制御手段とを具備する。

【００１９】請求項８記載の本発明のプログラム実行装
置は、複数の手続きからなるタスクが互いにメッセージ
を交換しながら並行に動作する実行環境を有するシステ
ムにおいて、前記システムへの入力に対する処理系列で
あるジョブ毎に一意に決定され、前記メッセージに付加
されるジョブ識別子を発番するジョブ識別子発番手段
と、前記各タスク毎に設けられ、当該タスクのジョブ毎
の実行順序制約を記憶する実行順序制約記憶手段と、前
記各タスク毎に設けられ、前記ジョブ識別子発番手段に
より発番されたジョブ識別子が付加されたメッセージを
受信し、受信したメッセージに付加されたジョブ識別子
及び当該タスクに記憶された前記実行順序制約に基づき
当該タスクの実行を制御する逐次化制御手段とを具備す
る。

【００２０】請求項９記載の本発明のプログラム実行装
置は、請求項８記載のプログラム実行装置において、前
記ジョブ識別子発番手段によって発番されるジョブ識別
子が、前記システムへの入力によって一意に決定され、
異なる処理系列を区別する処理系列識別子と、この処理
系列がシステム起動後の何回目の起動かを示す起動回数
とを有することを特徴とする。

【００２１】請求項１０記載の本発明のプログラム実行
装置は、請求項７または８記載のプログラム実行装置に
おいて、前記各タスク毎に設けられた前記実行順序制約
記憶手段が、それぞれ手続き実行順序制約とジョブ間実
行順序制約とを記憶することを特徴とする。

【００２２】請求項１１記載の本発明のプログラム実行
装置は、請求項１０記載のプログラム実行装置におい
て、前記ジョブ間実行順序制約が、２つのジョブ間で後
着のジョブが処理を開始できる先行ジョブ内の手続きを
示す先行制約手続き名と、先行ジョブが全て終了しない
と処理開始できない後着ジョブ内の手続きを示す起動制
約手続き名とを有することを特徴とする。

【００２３】請求項１２記載の本発明のプログラム実行
装置は、請求項７または８記載のプログラム実行装置に
おいて、前記逐次化制御手段が、前記受信したメッセー
ジに付加されたジョブ識別子のジョブが前記実行順序制
約記憶手段に記憶されているジョブか否かを判定するジ
ョブ実行判定手段と、記憶されていないと判定されたジ
ョブについてはタスクの実行を規制する手段とを具備す
る。

【００２４】即ち、本発明では、ジョブ毎のプロセス間
実行順序ないしはプロセス内の手続き間の実行順序をロ
グ情報を基に規定し、それらジョブ毎のログ情報間の並
列性を抽出することによって、処理の並列性をできる限
り保持しながらも逐次テストの処理結果の再現性を保証
している。

【００２５】

【発明の実施の形態】図１は本発明に係る並行プログラ
ム開発支援装置を実現するためのコンピュータシステム
の構成の一例を示す図である。

【００２６】同図において、Ｎ台のプロセッサ１₁、１
₂…、１_Nは、並行プログラムを同時に実行することが
できる。各プロセッサ１₁、１₂、・・・,１_Nは、Ｉ／Ｏ
インターフェース２を介して共有メモリ３及び周辺装置
とアクセスすることができる。周辺装置は、入力装置
４、出力装置５及び外部記憶装置６から構成される。入
力装置４は、キーボードとポインティングデバイス等と
からなり、各種コマンドやデー夕の入力をすることでき
る。出力装置５は、ＣＲＴディスプレイ等からなり、ソ
ースプログラムやデバッグ状況に関する情報等をテキス
ト又はグラフィック表示することにより、ユーザに提示
することができる。ユーザは、これら入力装置４及び出
力装置５を用いて、対話的にコンピュータを操作するこ
とができる。外部記憶装置６は、磁気デイスクや光磁気
ディスク等からなり、ソースプログラムやデバッグ状況
に関する情報を書き込み又は読み出すことができるよう
になっている。

【００２７】上記のように構成されたコンピュ−タシス
テムにおいて、各プロセッサ１₁、１₂…、１_Nには少
なくとも１個以上のタスクが例えば図２に示すように登
録されており、それぞれのタスクＡ、Ｂ、Ｃは並行／並
列に動作しており、互いにメッセージを交換しながら情
報交換して処理を行っている。

【００２８】各タスクＡ、Ｂ、Ｃは、図３に示すよう
に、複数の手続き３１₁、３１₂…から成る処理手続き
部３１と、手続き３１₁、３１₂…が共有する共有デー
タ３２と、手続き３１₁、３１₂…の実行を制御する起
動制御部３３とを備える。

【００２９】起動制御部３３は、他のタスクからメッセ
ージを受信すると、対応する手続き３１₁、３１₂…を
起動する。

【００３０】このようなタスク実行環境において、本発
明に係る並行プログラム開発支援装置は、以下のような
構成よりなる。図４は本発明に係る並行プログラム開発
支援装置の構成例を説明するための図である。

【００３１】同図において、並行プログラム７は、論理
的に並行に動くモデルに基づいて記述されたプログラム
である。複数のＣＰＵから構成される並列計算機上で、
論理的にも物理的にも並行に動くプログラム（並列プロ
グラム）は、並行プログラムに含まれる。また、単一の
ＣＰＵ上で物理的には逐次的に動く場合でも、マルチタ
スクシステムのように論理的に並行であれぱ、並行プロ
グラムに含まれる。

【００３２】解析装置８は、並行プログラム７の各タス
ク内の手続き間の依存関係を解析する。即ち、手続き間
での共有データの存在有無や、共有データに対する読み
込み操作か書き込み操作かを解析する。

【００３３】表示／入力装置９は、設計者がテスト対象
の並行プログラムヘデータを入力したり、入力データに
対応して一意に定まる処理系列（ジョブ）に付けられる
ジョブ識別子を入力する。さらに、表示／入力装置９
は、収集された実行履歴を表示し参照するための支援装
置である。ここでは、システムを割り込み等によって起
動させる処理に対しても、その割込みに対応するジョブ
識別子を与え、メッセージの形でシステム内に通知する
とする。

【００３４】テスト支援装置１０は、並行プログラム７
をテスト実行しデバッグする。この際、表示／入力装置
９から与えられた入力データとそれに付随するジョブ識
別子に応じた処理を行い、その実行履歴を実行履歴ＤＢ
１２に保存する。さらに、実行履歴ＤＢ１２に保存され
た処理順序に従って並行プログラム７の実行を制御しテ
スト実行を行う。

【００３５】シミュレータ１１は、テスト支援装置１０
によって実行指示されたオブジェクトを実行する。

【００３６】実行履歴ＤＢ１２は、ジョブ毎にシミュレ
ータで実行されたタスク（手続き）の実行順序を保存す
る。

【００３７】並行化装置１３は、次の２つのフェ−ズか
らなる処理を行う。第１のフェ−ズでは、各ジョブの実
行履歴をタスク毎に分け、そのタスク内のジョブ毎の手
続き間の実行順序制約を求める。第２のフェーズでは、
フェーズ１で得られた順序制約と解析装置８で得られた
手続き間の依存関係からジョブ間の実行順序制約を求め
る。

【００３８】実行順序制約ルール１４は、並行化装置１
３によって生成されたタスク毎のジョブ実行順序を規定
する制約ルールである。実行順序制約ルール１４は、後
述するように各タスク毎に保持される。

【００３９】逐次化制御手段１５は、実行順序制約ルー
ル１４に従って並行プログラム７をスケジューリングす
る装置である。これにより、逐次実行時に得られた正し
い処理結果を維持しながらも、最終的な結果に影響を与
えない並列性を導入して動作可能とする。逐次化制御手
段１５は、後述するように各タスク毎に設けられてい
る。

【００４０】次に、本発明に係る並行プログラム開発支
援装置の詳細について説明する。

【００４１】図５は本発明における各タスクを構成する
手続き構成例を示す。同図に示すように、例えばタスク
Αは４つの手続きから成り、手続き１は共有データに対
して書き込み操作をし、手続き２は共有データに対して
読み込み操作をし、手続き３は共有データに対して読み
書きの両方の操作をし、手続き４も共有データに対して
読み込み操作をする。以下同様にタスクＢとタスクＣ内
にも、それぞれ３つの手続きと２つの手続きが存在し、
タスクＢの手続き３とタスクＣの手続き２は共有データ
に対してアクセスしない。これらタスク群が、図２に示
すように各プロセッサに割り当てられ、タスク間でメッ
セージを介して通信し合いながら表示／入力装置９によ
り与えられた入力に従った処理（ジョブ）を行う。

【００４２】図６に３つの異なる入力を与えたときのタ
スクの処理系列を示す。ここで、第１の入力に対するジ
ョブをジョブ１、第２の入力に対するジョブをジョブ
２、第３の入力に対するジョブをジョブ３とする。図６
（ａ）に示すジョブ１における処理フローは、入力され
たデータに従ってタスクΑの手続き２が起動され、それ
によってタスクＢの手続き２とタスクＢの手続き３の両
方が起動され、以下図に示すような順に起動され、最後
にタスクＡの手続き４がタスクＢの手続き１とタスクＣ
の手続き２の両方の結果を受けて処理を行うというもの
である。同様に、図６（ｂ）に示すジョブ２における処
理フローは、タスクＢの手続き１から起動されタスクＢ
の手続き３で終了し、図６（ｃ）に示すジョブ３におけ
る処理フローは、タスクＣの手続き１から起動されタス
クＣの手続き２で終了するというものである。

【００４３】図７に、図６に示した各ジョブの処理フロ
ーの実行時に実行履歴ＤＢ１２に保存される実行履歴と
してのログ情報を示す。同図（ａ）はジョブ１における
実行履歴、同図（ｂ）はジョブ２における実行履歴、同
図（ｃ）はジョブ３における実行履歴を示している。こ
れらの実行履歴は、タスク間で交換されるメッセージを
テスト支援装置１０によって収集することにより生成さ
れ、実行履歴ＤＢ１２に保存される。複数のプロセッサ
に分散して配置されたタスク間の通信も、いずれか一カ
所のプロセッサに配置されたテスト支援装置を介して通
信するようにすることにより、たとえタスクが複数のプ
ロセッサに分散配置されても、−連の処理フローを求め
ることができる。

【００４４】このような実行履歴は、最初はデフォルト
で定められた逐次化ルールに従って各タスクが実行され
生成される。デフォルト逐次化のルールとしては、タス
ク毎に異なるプライオリティを与えておく方法等が存在
する。この段階で並行プログラムが正しく動作しない場
合は、並行プログラムのソースプログラムを修正するこ
とによってデバッグする。そして最終的に正しく動作し
たときの実行履歴が実行履歴ＤＢ１２に保存される。

【００４５】図７（ａ）に示すジョブ１における実行履
歴は、最初にタスクＡの手続き２からタスクＢの手続き
２がメッセージによって起動され、続いて同じくタスク
Ａの手続き２からタスクＢの手続き３が起動されたこと
を示している。つまり、この段階ではシステムには一度
に１つだけのジョブを与え、それぞれのジョブ毎のデバ
ッグを行うことにより、ジョブ毎に正しく振る舞うため
の実行履歴を求める。以下、図７に示す実行履歴は、各
ジョブの処理を正しくタスクが動作した場合の実行履歴
として説明する。

【００４６】図８に、タスク間で交換されるメッセージ
のフォーマットを示す。同図に示すフォーマットの宛先
情報には、宛先タスク名等の情報伝達先を指定する情報
がセットされる。送信元情報には、送信元タスク名等の
送信元を規定する情報がセットされる。ジョブ識別子
は、システムへの実行要求入力によって一意に定まる識
別子である。メッセージ本体には、タスク間で交換する
データがセットされる。また、実行履歴ＤＢ１２にログ
情報として保存される情報は、このメッセージフォーマ
ット中の宛先情報と送信元情報を用いて生成される。

【００４７】以下の実施例においては、ログ情報とし
て、宛先情報として宛先タスク名と手続き名を送信元情
報として送信元タスク名と手続き名を用いて説明する
が、同一タスクが複数回利用される場合は、その何回目
の使用か判別がつかなくなるので、送信元情報を｛タス
ク名、手続き名、手続き起動回数｝からなるように拡張
することができる。さらにある手続きの１回の起動中に
複数回のメッセージ送信がある場合は、今回の起動後の
何回目の送信かを特定するため、送信元情報を｛タスク
名、手続き名、手続き起動回数、メッセージ送信回数｝
からなるように拡張することができる。

【００４８】図９に図８に示したジョブ識別子（ＩＤ）
の構成例を示す。同図に示すジョブ番号は、システムへ
の人力によって一意に定まる処理番号である。起動回数
は、その処理がシステム起動後何回目の起動かを示す値
である。これらジョブ番号と起動回数によって、複数の
処理（ジョブ）が同時に動作していても、それらを区別
することができる。つまり、ジョブ番号によって異なる
入力により起動された処理を区別でき、起動回数によっ
て同一入力により同一処理が再帰的に起動されたとして
も区別することができる。もちろん、ジョブ番号はジョ
ブの名称のような異なるジョブを区別できるものならよ
く、「番号」に制約されるものではない。次に、実行
履歴ＤＢ１２に記憶された逐次的な実行履歴を並列化装
置１３にて並列性を抽出し、並列性を回復する処理につ
いて詳述する。

【００４９】図１０は並列化装置１３の詳細な構成を示
す図である。同図に示すように、並列化装置１３は、履
歴分割部１６と分割履歴記憶部１７と実行制約決定部１
８とからなり、処理面からみると大きく２つのフェーズ
に分かれる。

【００５０】フェーズ１では、履歴分割部１６が実行履
歴ＤＢ１２の履歴情報を入力して分割履歴記憶部１７に
各タスク内のジョブ毎の手続き起動順序を規定するルー
ルテーブルを生成する。フェーズ２では、実行制約決定
部１８が分割履歴記憶部１７に記憶されたルールテーブ
ルより各タスク毎のジョブ間の実行順序を規定する実行
順序制約ルールを生成する。

【００５１】まずフェーズ１の処理について、図７と図
１１を用いて説明する。タスクＡのジョブ１における手
続き間の実行順序は、図７（ａ）より手続き２→手続き
３→手続き４の順に実行されていることがわかる。これ
は、手続きＸによって手続きＹが起動され（Ｘ→Ｙ）、
さらに手続きＹによって手続きＺが起動される（Ｙ→
Ｚ）ならば、手続きＺは手続きＸより後に起動されるこ
とは明らかであり、対象としているタスク（今はタスク
Ａ）以外を縮約していくことにより、自動的に求めるこ
とができる。

【００５２】同様にタスクＢのジョブ１における手続き
間の実行順序は、手続き２と手続き３は並行動作可能で
あるが、この装置上での逐次実行時には手続き２→手続
き３→手続き１の順に実行されており、図１１（ｂ）の
ジョブ１に関する「使用する手続き系列」のようにな
る。以下、同様にタスク毎にジョブに応じた手続きの実
行順序を実行履歴に現れた順に規定するように求める。
図７に示す３つのジョブの結果をタスク毎にまとめた結
果が図１１に示すものである。図１１中、「なし」とは
＜そのタスクが該当ジョブで利用されなかったことを示
している。

【００５３】次に、フェーズ２の処理について、図１１
ないし図１５を用いて説明する。フェーズ２では、ジョ
ブ間の実行順序制約を求めるが、その制約は図１２に示
すように２つの項目からなる。図１２はジョブｉ実行中
にジョブｊの実行要求を受けた場合のジョブｊの実行可
能タイミングを示すものである。図１２内の「先行制約
手続き名」は、ジョブｊの最初の手続きが起動可能とな
るためのジョブｉ内の手続き名である。「起動制約手続
き名」は、ジョブｉの全手続きが終了しないと処理開始
できないジョブｊ内の手続き名である。具体例を図１３
を用いて説明する。

【００５４】図１３において、あるタスクはジョブｉに
おいては共有データに対して、手続き１で読み、手続き
２で書き、手続き３で読むという順序で処理を行う。ジ
ョブｊは共有データに対して、手続き１で読み、手続き
３でも読み、手続き４で書くという処理を行うとする。
このとき、「先行制約手続き名」は、手続き２となる。
即ち、ジョブｉの手続き２が終了すれば以降ジョブｉに
よって共有データが更新されることはない。よって、ジ
ョブｊの手続き１を開始したとしてもジョブｉの結果は
ジョブｊを同時実行させない場合と同値である。また、
「起動制約手続き名」は、手続き４である。即ち、ジョ
ブｊはジョブｉと同時実行されるが、手続き４によって
共有データが更新される前にジョブｉの共有データを参
照する処理（手続き３）が共有データを読み込み終わっ
ていなければならない。さもないと、逐次にジョブｉ→
ジョブｊと実行した場合と処理結果が異なってしまう。
よって、「先行制約手続き名」は、ジョブｊの先頭手続
きの属性が読み込み（アクセスしないを含む）ならば、
先行ジョブの最後の共有データへの書き込み処理をする
手続き名であり、ジョブｊの先頭手続きの属性が書き込
みならば、先行ジョブの最後の共有データヘアクセスす
る（読み込みは含むが、アクセスしないは含まない）手
続き名となる。「起動制約手続き名」は、後着ジョブの
最初の共有データヘ書き込み処理する手続き名である。
もし、ジョブｉに書き込み操作をする手続きが存在しな
ければ、「先行制約手続き名」は「制約なし」となり、
ジョブｊに書き込み操作をする手続きが存在しなけれ
ば、「起動制約手続き名」は「制約なし」となる。この
ように２つのジョブ間の制約を規定しておけば、たとえ
３つ以上のジョブが同時実行要求をしたとしても対応す
ることができる。即ち、ｉ番目のジョブは（ｉ−１）番
目のジョブとの間での制約を守っていれぱ、（ｉ−２）
番目以前のジョブとの間で共有メモリアクセスに関する
問題は生じないことは明らかである。

【００５５】図１４は各タスク毎に上記先行制約手続き
名と起動制約手続き名を求める処理を示すフローチャー
トであり、図１５は図１１に示した手続き間の実行順序
制約を基にジョブ間の実行順序制約ルールを図１４に示
すフローチャートに従って求めた結果である。即ち、各
タスク毎にジョブ１からジョブ３の全組み合わせについ
て調べた結果である。

【００５６】以下、図１４に従って説明すると、先行ジ
ョブｉを１とし（Ｓ１）、ジョブ１の手続き系列｛手続
き２→手続き３→手続き４｝を手続き間実行順序制約テ
ーブルより取り出す（Ｓ２）。このとき、ジョブ１の手
続き系列が存在しなければ、「制約なし」を先行制約手
続き名と起動制約手続き名とするが（Ｓ１０）、本例で
は、存在するので後着ジョブｊを１とし（Ｓ３）、ジョ
ブ１の手続き系列｛手続き２→手続き３→手続き４｝を
手続き間実行順序制約テーブルより取り出す（Ｓ４）。
このとき、ジョブ１の手続き系列が存在しなければ、
「制約なし」を先行制約手続き名と起動制約手続き名と
するが（Ｓ１０）、本例では、存在するのでジョブｊの
先頭手続きの共有データに対する属性（Ｒ，Ｗ，ＲＷ，
なし（φ））を求め、読み込み属性であることを求める
（Ｓ５）。この属性は、解析装置によって予め調べられ
ている。先頭手続きの属性が読み込み（Ｒ）なので、ジ
ョブ１の最終書き込み属性の手続き名を求める（Ｓ
７）。このとき、ジョブ１の手続き系列が存在しなけれ
ば、「制約なし」を先行制約手続き名と起動制約手続き
名とするが（Ｓ１０）、本例では、手続き３が最終書き
込み手続きなので、手続き３を先行制約手続き名とする
（Ｓ８）。

【００５７】続いて、ジョブ１の最初の書き込み属性の
手続き名を求め、これを起動制約手続き名とする（Ｓ
９）。即ち、この場合、手続き３が起動制約手続き名と
なる。ジョブ１内に書き込み属性の手続きが存在しなけ
れば、起動制約手続き名を「制約なし」とする。よっ
て、ジョブ間実行順序制約ルールテーブルのジョブｉ
（ｉ＝１）とジョブｊ（ｊ＝１）に対応する箇所の先行
制約手続き名｛手続き３｝と起動制約手続き名｛手続き
３｝を登録する（Ｓ１１）。

【００５８】次に、後着ジョブを次のジョブとして上記
同様の処理を行うためにｊに１加える（Ｓ１２）。ジョ
ブ２が存在しなければ先行ジョブ１を変えて上記同様の
処理を繰り返すが、後着ジョブ２が存在するのでＳ４に
戻る（Ｓ１３）。Ｓ４にてジョブ２の手続き名を求める
が、該当手続き系列が存在しないのでＳ１０に進み、先
行制約手続き名と起動制約手続き名を「制約なし」とし
て、実行順序制約ルールテーブルの［ｉ＝１］［ｊ＝
２］項に登録する（Ｓ１１）。同様にジョブｊをジョブ
３として手続き系列を求めると、｛手続き１｝が求まり
（Ｓ４）、手続き１の属性を調べると（Ｓ５）、書き込
み属性なのでジョブ１の共有データヘアクセスする最終
手続き名を求めると、手続き４なのでこれを先行制約手
続き名とする（Ｓ６）。続いてジョブ３内の最初の書き
込み属性の手続きを求めると手続き１なので、これを起
動制約手続き名とする（Ｓ９）。そして、実行順序制約
ルールテーブルのジョブｉ（ｉ＝１）とジョブｊ（ｊ＝
３）に対応する箇所の先行制約手続き名｛手続き４｝と
起動制約手続き名｛手続き１｝を登録する（Ｓ１１）。

【００５９】そして、次のジョブｊを調べるためｊに１
加え、ｊ＝４とし（Ｓ１２）、ジョブ４の存在を調べる
と該当ジョブが存在しないので、先行ジョブを次に進め
るためｉに１加え（Ｓ１４）、ジョブ２の存在を調べる
（Ｓ１５）。ジョブ２は存在するのでＳ２に戻り、上記
同様の処理を繰り返す。

【００６０】このような処理を繰り返すことにより、図
１５（ａ）に示すタスクＡに関するジョブ間の実行順序
制約が求まる。同様にタスクＢにおけるジョブ間の実行
順序制約を求めると図１５（ｂ）に示すような関係が得
られ、タスクＣにおけるジョブ間の実行順序制約を求め
ると図１５（Ｃ）に示すような関係が得られる。このよ
うにして得られた図１１に示すタスク毎の各ジョブに応
じた手続き間の実行順序制約と、図１５に示したタスク
毎のジョブ間の実行順序制約を合わせて、実行順序制約
ルールとする。

【００６１】そして、本発明に係るタスクでは、図１６
に示すように、図３に示したタスクに超逐次制御手段４
１を有する構成としている。超逐次制御手段４１は、従
来からある起動制御部３３に、上述した実行順序制約ル
ール４２と、ジョブに応じて発番されるジョブＩＤで現
在当該タスクで実行中のジョブＩＤを記憶する実行中ジ
ョブＩＤ記憶部４３をもつ。起動制御部３３は、付加さ
れた実行順序制約ルール４２と実行中ジョブＩＤ記憶部
４３に記憶された現在実行中のジョブＩＤに基づいて、
処理手続き群中の該当する手続きを起動制御する。

【００６２】次に図１７及び図１８を用いてタスク起動
制御について説明する。図１７はその場合における開始
処理を示しており、図１８はその場合における終了処理
を示している。

【００６３】まず、システム内に何の処理も動作してい
ないとき、ジョブ１が投入された場合の処理の流れを説
明する。ジョブＩＤは、ジョブ番号＝１、起動回数＝１
となる（以下ジョブＩＤ（１，１）と記す）。まず最初
に図６に示したタスクＡの手続き２の実行要求が発生す
る。

【００６４】タスクＡは、ジョブＩＤ（１，１）の手続
き２の実行要求を起動制御部３３で受け付け（Ｔ1)、現
在実行中のジョブが存在するか否かを実行中ジョブＩＤ
記憶部４３を調べることによって判断する（Ｔ２）。こ
の場合、実行中ジョブが存在しないのでジョブＩＤ
（１，１）を実行中ジョブＩＤ記憶部４３に保存し（Ｔ
１１）、手続き２を起動する（Ｔ１２）。手続き２は固
有の処理を行い、その一部として図６に示すようにタス
クＢの手続き２と手続き３を起動要求し処理を終了す
る。

【００６５】この終了処理として、図１８に示すように
ジョブＩＤ（１，１）の手続き２の処理終了を受け付け
（Ｕ１）、手続き２がジヨブ１の最終手続きか否かを図
１１に示した手続き間実行順序制約を参照することによ
って判断する（Ｕ２）。手続き２は最終手続きでないの
で、手続き２の終了待ちしている手続きが存在している
か否かを手続き２の終了待ちQueue で調べる（Ｕ８）。
ここでは、終了待ちしている手続きが存在しないので処
理を終了する。

【００６６】以降、タスクＡの手続き２によって起動要
求されたタスクＢの手続き２や手続き３が起動され、上
記同様の処理を行う。

【００６７】タスクＡのジョブＩＤ（１，１）の処理順
序としては、図１１（ａ）に示すように次に手続き３を
行いその次に手続き４を行うのが正しき手続きの起動順
序である。この制約順序通りにタスクＡの手続き３の起
動要求を受け付ければ、起動制御部３３はＴ２にて既実
行中ジョブｋ（ｋ＝１）が存在するが、実行中ジョブＩ
Ｄ記憶部に保存されているジョブＩＤ（ジョブＩＤ
（１，１））と現在要求されたジョブＩＤが等しい（Ｔ
３）ので、指定実行順序か否かを手続き間実行順序制約
を参照して調べる（Ｔ５）。ここでは、実行順序が正し
いので、手続き３を起動する（Ｔ１２）。しかし、手続
き４の起動要求を手続き３の起動要求より先に受けた場
合には、上記説明のＴ５における実行順序判断で誤って
いると判断するので、手続き４の１つ前の手続き３の終
了待ちQueue に｛ジョブＩＤ（１，１），手続き４｝を
保存する（Ｔ１０）。その後、手続き３が上記手順に従
って起動された場合には、その終了時に図１８に示すよ
うに、Ｕ８にて手続き３の終了待ちQueue に｛ジョブＩ
Ｄ（１，１），手続き４｝が保存されていることを検出
し、それを取り出し（Ｕ９）、現在実行中のジョブＩＤ
とQueue より取り出した処理のジョＩＤとがー致するの
で（Ｕ１０）、手続き４を起動する（Ｕ１２）。これに
よって、シングルジョブの場合でも、逐次実行の時に得
られた正しい処理順序通りに処理が行われることが保証
されていることが分かる。

【００６８】次に、ジョブＩＤ（１，１）実行中にジョ
ブＩＤ（１，２）が再帰的に発生した場合の処理につい
て説明する。

【００６９】タスクＡは、ジョブＩＤ（１，２）の手続
き２の実行要求を起動制御部３３で受け付ける（Ｔ
１）。ここで、現在実行中のジョブが存在するか否かを
実行中ジヨブＩＤ記憶部４３を調べるとＩＤ（１，１）
が記録されているので、実行中ジョブｋ（ｋ＝１）が存
在することを検出する（Ｔ２）。

【００７０】次に、実行要求のジョブＩＤが現在実行中
のジョブＩＤと等しいか否かを調べる（Ｔ３）。ここで
は、等しくないので、ジョブ実行順序制約ルールを参照
して、先行制約手続き名と起動制約手続き名を求める
（Ｔ４）。即ち、ジョブｋ（ｋ＝１）実行中にジョブｉ
（ｉ＝１）の起動要求があったので、ジョブ実行順序制
約ルールテーブルの［ｉ＝１］［ｊ＝１］項を取り出
し、ＵＰ＝手続き３、ＤＮ＝手続き３を求める。

【００７１】次に、ＤＮが今起動要求を受けている手続
き２と等しいか調べる（Ｔ６）。ここでは、異なるの
で、ジョブ１のＵＰ（＝手続き３）が終了しているか否
かを調べる（Ｔ８）。このとき、先行ジョブ（ジョブＩ
Ｄ（１，１））の手続き３が既に終了していなければ、
ＵＰ（手続き３）の終了待ちQueue に｛ジョブＩＤ
（１，２），手続き２｝を保存する（Ｔ９）。これは、
先行するジョブ（ジョブＩＤ（１，１））の手続き３が
終了し共有データに結果を書き出さないうちに後着ジョ
ブ（ジョブＩＤ（１，２））の手続き２を起動し書き換
え前のデータを読み込むことを防止するためである。こ
のQueue に保存された処理は、先行ジョブ（ジョブＩＤ
（１，１））の手続き３が終了したとき、Ｕ８にて実行
待ち手続きが存在することが求められ、｛ジョブＩＤ
（１，２），手続き２｝が取り出され（Ｕ９）、現在実
行中ジョブＩＤ（１，１）と取り出されたジョブＩＤ
（１，２）が異なるので（Ｕ１０）、実行中ジョブＩＤ
記憶部４３にジョブＩＤ（１，２）を追加保存し（Ｕ１
１）、手続き２を起動する（Ｕ１２）。

【００７２】これにより、タスクＡ内でジョブＩＤ
（１，１）の手続き３に続く手続き４とジョブＩＤ
（１，２）の手続き２を並行動作でき、しかもそのとき
共有データに対する操作は互いに読み込み操作なので逐
次的に実行した場合と同一の結果を得ることができる。

【００７３】また、上記処理Ｔ８において、先行ジョブ
（ジョブＩＤ（１，１））の手続き３が既に終了してい
れば、ジョブＩＤ（１，２）を実行中ジョブＩＤ記憶部
４３に追加保存し（Ｔ１１）、手続き２を起動する（Ｔ
１２）。このとき、タスクＡ内でジョブＩＤ（１，１）
の手続き４とジョブＩＤ（１，２）の手続き２を並行動
作でき、しかもそのとき共有データに対する操作は互い
に読み込み操作なので逐次的に実行した場合と同一の結
果を得ることができる。

【００７４】引き続き、ジョブＩＤ（１，２）の手続き
３の起動要求が生じたとき、まだ先行ジョブ（ジョブＩ
Ｄ（１，１））の手続き４が終了していない場合を想定
する。ジョブＩＤ（１，２）の手続き３の起動要求は、
異なるジョブＩＤの処理が未だ実行中なので、Ｔ４にて
ジョブ実行順序制約ルールテーブルよりＵＰ＝手続き
３、ＤＮ＝手続き３を取り出す（Ｔ４）。そして、ここ
ではＤＮと現在実行しようとする手続き名（手続き３）
が等しいので（Ｔ６）、ジョブ１の終了待ちQueue に
｛ジョブＩＤ（１，２），手続き３｝を保存する（Ｔ
７）。これは、先行するジョブ（ジョブＩＤ（１，
１））の最終手続き４が終了しないうちに、後着ジョブ
（ジョブＩＤ（１，２））の書き込み手続き３を行うこ
とを禁止するためである。ジョブＩＤ（１，１）の手
続き４が終了したときには、起動制御部３３で処理終了
要求を受け付けると（Ｕ１）、手続き４がジョブ１の最
終手続きかを手続き実行順序制約ルールを参照して調べ
る（Ｕ２）。ここでは、最終手続きなので、実行中ジヨ
プＩＤ記憶部４３からジョブＩＤ（１，１）を削除する
（Ｕ３）。さらに、ジョブ１の終了待ち手続きが存在す
るか調べ（Ｕ４）、存在しない場合は処理を終了する
が、本例のように実行待ちの手続きが存在する場合は、
ジョブ１の終了待ちQueue から｛ジョブＩＤ（１，
２），手続き３｝を取り出し（Ｕ５）、実行中ジョブＩ
Ｄ記憶部４３に取り出したジョブＩＤ（１，２）を保存
し（Ｕ６）、取り出した手続き３を起動する（Ｕ７）。

【００７５】これによって、同一ジョブが再帰的に起動
された場合でも、共有データに対するアクセス順序を規
定することにより、逐次実行時に得られた正しい結果を
保証できることが分かる。また、同様に異なるジョブが
ほぼ同時に起動された場合でも、上記手順に従うことに
よって、個々にジョブを実行した場合と同一の処理結果
が得られる。さらに、図１７のステップＴ４において、
実行要求に付加されていたジョブＩＤi に該当する項目
が実行順序制約ルールテーブルに存在しないとき、その
実行要求を無視するようにすることも可能である。これ
は、テストによって正しい動作が確認された実行履歴に
だけ基づいて動作し、未テストの動作が確認されていな
い入力に対しては処理しないということである。これに
より、信頼性の高い並行プログラムを実現することがで
きる。

【００７６】なお、本発明に係るコンピュータシステム
の構成は、図１おける共有メモリ３が存在しない構成の
場合、Ｉ／Ｏインターフェイスがバスで密にプロセッサ
１₁〜１_Nが接続している並列計算機の場合、Ｉ／Ｏイ
ンターフェイスが通信路で疎に結合している分散ネット
ワーク計算機構成の場合、単一プロセッサで構成される
場合、及ぴそれらの組み合わせの場合等であってももち
ろんよい。

【００７７】

【発明の効果】以上説明したように本発明によれば、各
タスクのジョブ毎の実行順序制約を各タスク毎に持た
せ、タスク毎にこの実行順序制約を基に実行制御させて
いるので、複数ジョブの同時実行時にも逐次的にジョブ
を実行した場合と同一の結果を得ることが保証される。
このことによって、処理タイミングの非決定性が内在す
る並行／並列／分散プログラムの開発を容易にし、生産
性を向上させることができる。さらに、テストによって
正しい動作が確認されたジョブのみを処理し、未テスト
のジョブは処理しないようにすることが可能となり、信
頼性の高い並行プログラムを実現することができる。

【図面の簡単な説明】

【図１】本発明を実現するためのコンピュータシステム
の構成の一例を示す図。

【図２】本発明のタスク間の情報交換を示す一例を示す
図。

【図３】本発明に係るタスクの一構成例を示す図。

【図４】本発明に係る並行プログラム開発支援装置の構
成を示す図。

【図５】本発明に係るタスクを構成する手続き構成の例
を示す図。

【図６】本発明に係るシステムに投入されたジョブの処
理フロー例を示す図。

【図７】本発明に係るタスク間情報交換の実行履歴を示
す図。

【図８】本発明に係るメッセージ構成の一例を示す図。

【図９】本発明に係るジョブ識別子の一構成例を示す
図。

【図１０】本発明に係る並列化装置の一構成例を示す
図。

【図１１】本発明に係る手続き間の実行順序制約を示す
図。

【図１２】本発明に係るジョブ間の実行順序制約を示す
テーブル構成を示す図。

【図１３】本発明に係る実行順序制約を求める例を示す
図。

【図１４】本発明に係るジョブ間実行順序制約を生成す
るためのフローチャートを示す図。

【図１５】本発明に係わるタスク毎のジョブ間実行順序
制約の例を示す図。

【図１６】本発明に係わる逐次化ルールを含むタスクの
一構成例を示す図。

【図１７】本発明に係わる実行順序制御部の手続き開始
処理のフローチャートを示す図。

【図１８】本発明に係わる実行順序制御部の手続き終了
処理のフローチャートを示す図。

【図１９】従来の問題点を示す図。

【符号の説明】

１プロセッサ２Ｉ／Ｏインターフェース３共有メモリ４入力装置５出力装置６外部記憶装置

Claims

【特許請求の範囲】

【請求項１】複数の手続きからなるタスクが互いにメ
ッセージを交換しながら並行に動作する実行環境を有す
るシステムにおいて、前記実行環境上で動作するタスク群の実行履歴を取得す
るログ情報取得手段と、前記ログ情報取得手段により
取得されたログ情報を保存するログ情報記憶手段と、前記ログ情報記憶手段に保存されているログ情報をタス
ク毎に分割し、分割したログ情報を基に各タスクのジョ
ブ毎の実行順序制約を決定する並行化手段と、前記各タスク毎に設けられ、前記決定された実行順序制
約を記憶する実行順序制約記憶手段と、前記各タスク毎に設けられ、当該タスクに記憶された前
記実行順序制約に基づき当該タスクの実行を制御する逐
次化制御手段とを具備することを特徴とするプログラム
開発支援装置。
【請求項２】複数の手続きからなるタスクが互いにメ
ッセージを交換しながら並行に動作する実行環境を有す
るシステムにおいて、前記実行環境上で動作するタスク群の実行履歴を取得す
るログ情報取得手段と、前記ログ情報取得手段により
取得されたログ情報を保存するログ情報記憶手段と、前記システムへの入力に対する処理系列であるジョブ毎
に一意に決定され、前記メッセージに付加されるジョブ
識別子を発番するジョブ識別子発番手段と、前記ログ情報記憶手段に保存されているログ情報をタス
ク毎に分割し、分割したログ情報を基に各タスクのジョ
ブ毎の実行順序制約を決定する並行化手段と、前記各タスク毎に設けられ、前記決定された実行順序制
約を記憶する実行順序制約記憶手段と、前記各タスク毎に設けられ、前記ジョブ識別子発番手段
により発番されたジョブ識別子が付加されたメッセージ
を受信し、受信したメッセージに付加されたジョブ識別
子及び当該タスクに記憶された前記実行順序制約に基づ
き当該タスクの実行を制御する逐次化制御手段とを具備
することを特徴とするプログラム開発支援装置。
【請求項３】請求項２記載のプログラム開発支援装置
において、前記ジョブ識別子発番手段によって発番されるジョブ識
別子が、前記システムへの入力によって一意に決定さ
れ、異なる処理系列を区別する処理系列識別子と、この
処理系列がシステム起動後の何回目の起動かを示す起動
回数とを有することを特徴とするプログラム開発支援装
置。
【請求項４】請求項１または２記載のプログラム開発
支援装置において、前記並行化手段が、前記ログ情報記憶手段に保存されて
いるログ情報をタスク毎のログ情報に分割し手続き実行
順序制約を求める履歴分割部と、前記履歴分割部によっ
て分割された手続き実行順序制約を記憶する分割履歴記
憶部と、前記分割履歴記憶部に記憶された手続き実行順
序制約を基にジョブ間の実行順序制約を求める実行制約
決定部とを有することを特徴とするプログラム開発支援
装置。
【請求項５】請求項４記載のプログラム開発支援装置
において、前記各タスク毎に設けられた前記実行順序制約記憶手段
が、それぞれ前記手続き実行順序制約と前記ジョブ間実
行順序制約とを記憶することを特徴とするプログラム開
発支援装置。
【請求項６】請求項４記載のプログラム開発支援装置
において、前記ジョブ間実行順序制約が、２つのジョブ間で後着の
ジョブが処理を開始できる先行ジョブ内の手続きを示す
先行制約手続き名と、先行ジョブが全て終了しないと処
理開始できない後着ジョブ内の手続きを示す起動制約手
続き名とを有することを特徴とするプログラム開発支援
装置。
【請求項７】複数の手続きからなるタスクが互いにメ
ッセージを交換しながら並行に動作する実行環境を有す
るシステムにおいて、前記各タスクが、当該タスクのジョブ毎の実行順序制約を実行順序制約記
憶手段と、当該タスクに記憶された前記実行順序制約に基づき当該
タスクの実行を制御する逐次化制御手段とを具備するこ
とを特徴とするプログラム実行装置。
【請求項８】複数の手続きからなるタスクが互いにメ
ッセージを交換しながら並行に動作する実行環境を有す
るシステムにおいて、前記システムへの入力に対する処理系列であるジョブ毎
に一意に決定され、前記メッセージに付加されるジョブ
識別子を発番するジョブ識別子発番手段と、前記各タスク毎に設けられ、当該タスクのジョブ毎の実
行順序制約を記憶する実行順序制約記憶手段と、前記各タスク毎に設けられ、前記ジョブ識別子発番手段
により発番されたジョブ識別子が付加されたメッセージ
を受信し、受信したメッセージに付加されたジョブ識別
子及び当該タスクに記憶された前記実行順序制約に基づ
き当該タスクの実行を制御する逐次化制御手段とを具備
することを特徴とするプログラム実行装置。
【請求項９】請求項８記載のプログラム実行装置にお
いて、前記ジョブ識別子発番手段によって発番されるジョブ識
別子が、前記システムへの入力によって一意に決定さ
れ、異なる処理系列を区別する処理系列識別子と、この
処理系列がシステム起動後の何回目の起動かを示す起動
回数とを有することを特徴とするプログラム実行装置。
【請求項１０】請求項７または８記載のプログラム実
行装置において、前記各タスク毎に設けられた前記実行順序制約記憶手段
が、それぞれ手続き実行順序制約とジョブ間実行順序制
約とを記憶することを特徴とするプログラム実行装置。
【請求項１１】請求項１０記載のプログラム実行装置
において、前記ジョブ間実行順序制約が、２つのジョブ間で後着の
ジョブが処理を開始できる先行ジョブ内の手続きを示す
先行制約手続き名と、先行ジョブが全て終了しないと処
理開始できない後着ジョブ内の手続きを示す起動制約手
続き名とを有することを特徴とするプログラム実行装
置。
【請求項１２】請求項７または８記載のプログラム実
行装置において、前記逐次化制御手段が、前記受信したメッセージに付加
されたジョブ識別子のジョブが前記実行順序制約記憶手
段に記憶されているジョブか否かを判定するジョブ実行
判定手段と、記憶されていないと判定されたジョブにつ
いてはタスクの実行を規制する手段とを具備することを
特徴とするプログラム実行装置。