JP3006505B2 - 並列プロセスを含むプログラムの修正装置、修正方法、および修正プログラムを記憶する記憶媒体 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、並列プロセスを含
むプログラムをマルチプロセッサ上で効率良く実行する
ことができるように修正する、並列プロセスを含むプロ
グラムの修正装置に関し、特に、並列プロセスがプロセ
ス共有の資源をアクセスする際の排他制御による待ち時
間を減少させるように該プログラムを修正する並列プロ
セスを含むプログラムの修正装置、修正方法、および修
正プログラムを記憶する記憶媒体に関する。

【０００２】

【従来の技術】「Practical Parallel Programming」(Bau
er著,Academic Press社,1992年発行)には、マルチプロ
セッサシステムにおいて複数のプロセスを並列に実行す
る過程において、該プロセスがプロセス共有の資源にア
クセスする際には、クリティカルブロックを宣言し、他
のプロセスからの該資源に対するアクセスを禁止する技
術が記載されている。

【０００３】

【発明が解決しようとする課題】この従来の技術におい
ては、プロセス共有資源をアクセスしているプロセスが
クリティカルブロックを解除するまで、他のプロセスに
よる該資源に対するアクセスは待たされてしまうので、
該他のプロセスを含むプログラムの実行時間が遅延する
という問題点がある。

【０００４】本発明の目的は、並列プロセスを含むプロ
グラムをマルチプロセッサ上で効率良く実行することが
できるように修正する装置を提供することにある。

【０００５】本発明の他の目的は、並列プロセスがプロ
セス共有の資源をアクセスする際の排他制御による待ち
時間を減少させるように該プログラムを修正する装置を
提供することにある。

【０００６】

【課題を解決するための手段】本発明の第１の並列プロ
セスを含むプログラムの修正装置は、複数のプロセスを
含む目的プログラムを複数のプロセッサで並列に実行す
るマルチプロセッサシステムにおいて、前記複数のプロ
セスの内のいずれかのプロセスがデータをアクセスして
いるために当該データにアクセスすることができず待ち
状態になっている前記複数のプロセスの内の別のプロセ
スがある場合に、当該別のプロセス中で待ち状態となっ
ている当該データへのアクセス命令を記憶するロード・
モジュール実行手段と、前記ロード・モジュール実行手
段が記憶した前記アクセス命令を含む第１の命令ストリ
ームと当該第１の命令ストリームを含むプロセス中で前
記データをアクセスしない第２の命令ストリームとを入
れ換えるように、前記目的プログラムの元となるソース
プログラムを修正するソースプログラム書き換え手段
と、前記ソースプログラム書き換え手段が書き換えた前
記ソースプログラムをコンパイルして目的プログラムを
生成するコンパイル手段とを備えたことを特徴とする。

【０００７】本発明の第２の並列プロセスを含むプログ
ラムの修正装置は、第１の並列プロセスを含むプログラ
ムの修正装置において、前記ソースプログラム書き換え
手段が、前記第２の命令ストリームを特定する条件が、
さらに、前記データとは依存関係がある処理を含まない
という条件を含むことを特徴とする。

【０００８】本発明の第３の並列プロセスを含むプログ
ラムの修正装置は、第１および第２の並列プロセスを含
むプログラムの修正装置において、前記ソースプログラ
ム書き換え手段が、前記第２の命令ストリームを特定す
る条件が、さらに、第１の命令ストリームとの間に副作
用を持つ関数呼び出しおよび分岐処理を含まないという
条件を含むことを特徴とする。

【０００９】本発明の第４の並列プロセスを含むプログ
ラムの修正装置は、第１から第３のいずれかの並列プロ
セスを含むプログラムの修正装置において、前記ソース
プログラム書き換え手段が、前記第２の命令ストリーム
を特定する条件が、さらに、最も処理時間が長いという
条件を含むことを特徴とする。

【００１０】本発明の第１の並列プロセスを含むプログ
ラムの修正方法は、複数のプロセスを含む目的プログラ
ムを複数のプロセッサで並列に実行するマルチプロセッ
サシステムにおいて、前記複数のプロセスの内のいずれ
かのプロセスがデータをアクセスしているために当該デ
ータにアクセスすることができず待ち状態になっている
前記複数のプロセスの内の別のプロセスがある場合に、
当該別のプロセス中で待ち状態となっている当該データ
へのアクセス命令を記憶するロード・モジュール実行ス
テップと、前記ロード・モジュール実行ステップが記憶
した前記アクセス命令を含む第１の命令ストリームと当
該第１の命令ストリームを含むプロセス中で前記データ
をアクセスしない第２の命令ストリームとを入れ換える
ように、前記目的プログラムの元となるソースプログラ
ムを修正するソースプログラム書き換えステップと、前
記ソースプログラム書き換えステップが書き換えた前記
ソースプログラムをコンパイルして目的プログラムを生
成するコンパイルステップとを含むことを特徴とする

【００１１】本発明の第２の並列プロセスを含むプログ
ラムの修正方法は、第１の並列プロセスを含むプログラ
ムの修正方法において、前記ソースプログラム書き換え
ステップにおいて、前記第２の命令ストリームを特定す
る条件が、さらに、前記データとは依存関係がある処理
を含まないという条件を含むことを特徴とする。

【００１２】本発明の第３の並列プロセスを含むプログ
ラムの修正方法は、第１および第２の並列プロセスを含
むプログラムの修正方法において、前記ソースプログラ
ム書き換えステップにおける、前記第２の命令ストリー
ムを特定する条件が、さらに、第１の命令ストリームと
の間に副作用を持つ関数呼び出しおよび分岐処理を含ま
ないという条件を含むことを特徴とする。

【００１３】本発明の第４の並列プロセスを含むプログ
ラムの修正方法は、第１〜第３のいずれかの並列プロセ
スを含むプログラムの修正方法において、前記ソースプ
ログラム書き換えステップにおける、前記第２の命令ス
トリームを特定する条件が、さらに、最も処理時間が長
いという条件を含むことを特徴とする。

【００１４】

【００１５】

【００１６】

【００１７】

【００１８】

【発明の実施の形態】以下、本発明の実施例について、
図を参照しながら詳細に説明する。

【００１９】図１を参照すると、本発明の並列プロセス
を含むプログラムの修正装置の実施例は、第１のソース
プログラム格納ファイル部１１、ロード・モジュール実
行部１２、実行情報格納ファイル部１３、第２のソース
プログラム格納ファイル部１４、コンパイラ部１５、お
よびソースプログラム書き換え部１６とから構成されて
いる。

【００２０】第１のソースプログラム格納ファイル部１
１は、並列プロセスを含むソースプログラムを格納す
る。

【００２１】コンパイラ部１５は、第１のソースプログ
ラム格納ファイル部１１からソースプログラムを取り出
し、ソースプログラムを目的プログラムにコンパイル
し、目的プログラムをロード・モジュール（ＬＭ）の形
でロード・モジュール実行部１２に供給する。

【００２２】ロード・モジュール実行部１２は、第１お
よび第２のプロセッサを有するマルチプロセッサ部から
なり、ロード・モジュール形式の目的プログラムの並列
プロセスが第１および第２のプロセッサにおいて、第１
および第２のタスクとして実行されるようにロード・モ
ジュール形式の目的プログラムを実行する。

【００２３】このロード・モジュール実行部１２におい
ては、第１および第２のプロセッサが第１および第２の
タスクを並列に実行する際に第１および第２のタスクに
同時に同一資源へのアクセスを行うブロックが出現する
と、第１のプロセッサが前記資源へのアクセスを実行し
終わるまで、第２のプロセッサに前記ブロックの実行を
見合わせる待ち状態が発生する。即ち、第１のプロセッ
サによる排他制御によって第２のプロセッサに待ち状態
が発生してしまう。

【００２４】このロード・モジュール実行部１２は、第
２のプロセッサに発生した前記待ち状態を検出し、この
待ち状態において第２のプロセッサが実行を見合わせて
いる前記ブロックを特定ブロックとして特定するブロッ
ク特定情報を出力するブロック特定情報出力機能部（図
示せず）を有する。

【００２５】実行情報格納ファイル部１３は、前記ブロ
ック特定情報を格納情報として格納する。

【００２６】このブロック特定情報は、例えば、待ち状
態においてプロセッサが実行を見合わせているブロック
（即ち、待ち状態が発生したソースプログラム上のブロ
ック）の行番号を表し、このブロック特定情報は実行Ｌ
Ｍの形で実行情報格納ファイル部１３に格納される。

【００２７】ソースプログラム書き換え部１６は、第１
のソースプログラム格納ファイル部１１から供給された
ソースプログラムと実行情報格納ファイル部１３から供
給された前記格納情報とに基づいて、該ソースプログラ
ム中の、該格納情報にて特定された特定ブロックと、第
２のプロセッサにおいて該特定ブロックより後に第２の
タスクとして実行され、かつ前記資源へのアクセスを行
わない他のブロックとを入れ換えることにより、該ソー
スプログラムを他のソースプログラムに書き換えて出力
する。

【００２８】この際、ソースプログラム書き換え部１６
は、実行情報格納ファイル部１３から排他制御によって
待ち状態になったブロックを認識し、該ブロックと入れ
換え可能な実行時間の最も長いブロックを検出し、該ブ
ロックを排他制御によって待ち状態になったブロックと
入れ換えた他のソースプログラムを出力する。

【００２９】第２のソースプログラム格納ファイル部１
４は、該他のソースプログラムを格納する。

【００３０】コンパイラ部１５は、第２のソースプログ
ラム格納ファイル部１４から該他のソースプログラムを
供給されると、該他のソースプログラムを他の目的プロ
グラムにコンパイルする。

【００３１】ロード・モジュール実行部１２は、該他の
目的プログラムの第１および第２のタスクが第１および
第２のプロセッサにおいて実行されるように該他の目的
プログラムを実行する。

【００３２】なお、第２のソースプログラム格納ファイ
ル部１４から他のソースプログラムを供給され、該他の
ソースプログラムを他の目的プログラムにコンパイル
し、この他の目的プログラムを、ロード・モジュール実
行部１２に供給する他のコンパイラ部を、コンパイラ部
１５とは別に設定しても良い。

【００３３】次に、このように構成された本発明の並列
プロセスを含むプログラムの修正装置の第１の実施例に
ついて、図１〜図６を参照して以下に詳細に説明する。

【００３４】まず、本実施例では図２のＣ言語で記述さ
れたソースプログラムを２台のプロセッサで並列に実行
する場合について説明する。

【００３５】図２を参照すると、ソースプログラム中の
並列化ケースブロック３１、３２は異なるプロセッサで
並列に実行されるブロックである。変数ａはタスク間共
通データで、変数ｂ、ｃはタスク内でローカルなデータ
である。並列化ケースブロック３１、３２中のタスク間
共通領域ａをアクセスしているブロック３３と３５が、
排他制御によって実行されるブロックである。該ブロッ
クをクリティカルセクションと呼ぶ。

【００３６】コンパイラ部１５は、クリティカルセクシ
ョンを実行する時、以下の処理を行う命令列を含む目的
プログラムを生成する。

【００３７】（１）他のクリティカルセクションが実行
されていることを示すタスク共通領域に設定されたフラ
グの値がオフならば該フラグをオンにし、該クリティカ
ルセクションを実行する。

【００３８】（２）該フラグがオンの場合、該フラグが
オフになるまで待ち状態になる。該フラグがオフになっ
た時点で、ウエイト状態であった時間と現在実行しよう
としているクリティカルセクションのソース上の行番号
を実行情報格納ファイル部１３に出力し、（１）の処理
を行う。

【００３９】図３は、コンパイラ部１５によって生成さ
れた目的プログラムを実行した際の、各プロセッサの命
令実行の時間推移例を示したものである。

【００４０】プロセッサ４２でクリティカルセクション
３５を実行開始する時に、プロセッサ４１で別のクリテ
ィカルセクション３３を実行中であり、クリティカルセ
クション３５がｔ１秒間クリティカルセクション３３の
実行終了待ち状態になったとすると、クリティカルセク
ション３５の行番号ｍが実行情報格納ファイル部１３に
出力される。

【００４１】ソースプログラム書き換え部１６は、実行
情報格納ファイル部１３を読み出し、待ち状態の発生し
た行番号ｍを得てクリティカルセクション３５で待ち状
態が発生したことを認識し、クリティカルセクション３
５と入れ換えるブロックを選択する。

【００４２】その処理を図４の流れ図を用いて説明す
る。

【００４３】１．並列化ケースブロック３２内の最初の
ブロック３４を選択する（ステップ２１）。

【００４４】２．選択したブロック３４が実行待ち状態
の発生したクリティカルセクション３５であるか否かを
検査する（ステップ２２）。図３の例では違うので、ス
テップ２３に進む。

【００４５】３．選択したブロック３４がクリティカル
セクション３５とデータの依存関係があるか否かを検査
する（ステップ２３）。図３の例では依存関係はないの
でステップ２４に進む。

【００４６】４．選択したブロック３４とクリティカル
セクション３５との間に副作用を持つ関数呼出しあるい
は分岐がある否かを検査する（ステップ２４）。図３の
例ではないのでステップ２５に進む。

【００４７】５．交換ブロックが検出されていないの
で、選択したブロック３４を交換ブロックとする（ステ
ップ２５）。

【００４８】６．選択したブロック３４が並列化ケース
ブロック３２内の最後のブロックであるか否かを検査す
る（ステップ２６）。図３の例では最後のブロックでな
いのでステップ２７に進む。

【００４９】７．次のブロック３５を選択してステップ
２２にもどる（ステップ２７）。

【００５０】８．選択したブロックがクリティカルセク
ション３５なのでステップ２６に進む（ステップ２
２）。

【００５１】９．選択したブロック３５が並列化ケース
ブロック３２内の最後のブロックであるか否かを検査す
る（ステップ２６）。図３の例では最後のブロックなの
で処理を終了する。

【００５２】このような処理により、ブロック３４が交
換ブロックとなる。

【００５３】ソースプログラム書き換え部１６は、ブロ
ック３４とクリティカルセクション３５を入れ換えた図
５に示すソースプログラムを出力する。

【００５４】図５に示すソースプログラムを再度コンパ
イル、実行すると各プロセッサの命令実行の時間的推移
は図６のようになり、プロセッサ６２でクリティカルセ
クション３５を実行するとき、プロセッサ６１ではクリ
ティカルセクションを実行していないため、待ち状態は
発生しない。

【００５５】以上により、本発明の並列プロセスを含む
プログラムの修正装置の第１の実施例の処理が完了す
る。

【００５６】本発明の並列プロセスを含むプログラムの
修正装置の第１の実施例は、ロード・モジュール実行部
１２が、ソースプログラムの並列処理で排他処理により
待ち状態となったブロックの情報を実行情報格納ファイ
ル部１３に格納し、ソースプログラム書き換え部１６が
該ソースプログラムと該ブロックの情報とに基づいて、
該ブロックと他のブロックとを入れ替えるようにしたこ
とにより、排他制御による待ち状態が発生しないように
該ソースプログラムを書き換えることができる効果を有
している。

【００５７】次に、このように構成された本発明の並列
プロセスを含むプログラムの修正装置の第２の実施例に
ついて、図４、および図７〜図１０を参照して以下に詳
細に説明する。

【００５８】まず、本実施例では図７のＣ言語で記述さ
れたソースプログラムを２台のプロセッサで並列に実行
させる場合を考える。

【００５９】図７を参照すると、ソースプログラム中の
並列化ケースブロック７１、７２は異なるプロセッサで
並列に実行されるブロックである。変数ａはタスク間共
通データで、変数ｂ、ｃ、ｄはタスク内でローカルなデ
ータである。並列化ケースブロック７１、７２中のタス
ク間共通領域ａをアクセスしているブロック７３と７５
が、クリティカルセクションである。

【００６０】コンパイラ部１５は、クリティカルセクシ
ョンを実行する時、以下の処理を行う命令列を含む目的
プログラムを生成する。

【００６１】（１）他のクリティカルセクションが実行
されていることを示すタスク共通領域に設定されたフラ
グの値がオフならば該フラグをオンにし、該クリティカ
ルセクションを実行する。

【００６２】（２）該フラグがオンの場合、該フラグが
オフになるまで待ち状態になる。該フラグがオフになっ
た時点で、ウエイト状態であった時間と現在実行しよう
としているクリティカルセクションのソース上の行番号
を実行情報格納ファイル部１３に出力し、（１）の処理
を行う。

【００６３】図８は、コンパイラ１５部によって生成さ
れた目的プログラムを実行した際の、各プロセッサの命
令実行の時間的推移例を示したものである。

【００６４】プロセッサ８２でクリティカルセクション
７５を実行開始する時に、プロセッサ８１で別のクリテ
ィカルセクション７３を実行中であり、クリティカルセ
クション７５ｔ２秒間がクリティカルセクション７３の
実行終了待ち状態になったとすると、クリティカルセク
ション７５の行番号ｎが実行情報格納ファイル部１３に
出力される。

【００６５】ソースプログラム書き換え部１６は、実行
情報格納ファイル部１３を読み出し、待ち状態の発生し
た行番号ｎを得てクリティカルセクション７５で待ち状
態が発生したことを認識し、クリティカルセクション７
５と入れ換えるブロックを選択する。

【００６６】その処理を図４の流れ図を用いて説明す
る。

【００６７】１．並列化ケースブロック７２内の最初の
ブロック７４を選択する（ステップ２１）。

【００６８】２．選択したブロック７４が実行待ち状態
の発生したクリティカルセクション７５であるか否かを
検査する（ステップ２２）。図８の例では違うので、ス
テップ２３に進む。

【００６９】３．選択したブロック７４がクリティカル
セクション７５とデータの依存関係があるか否かを検査
する（ステップ２３）。図８の例では依存関係はないの
でステップ２４に進む。

【００７０】４．選択したブロック７４とクリティカル
セクション７５との間に副作用を持つ関数呼出しあるい
は分岐がある否かを検査する（ステップ２４）。図８の
例ではないのでステップ２５に進む。

【００７１】５．交換ブロックが検出されていないの
で、選択したブロック７４を交換ブロックとする（ステ
ップ２５）。

【００７２】６．選択したブロック７４が並列化ケース
ブロック７２内の最後のブロックであるか否かを検査す
る（ステップ２６）。図８の例では最後のブロックでな
いのでステップ２７に進む。

【００７３】７．次のブロック７５を選択してステップ
２２にもどる（ステップ２７）。

【００７４】８．選択したブロックがクリティカルセク
ション７５なのでステップ２６に進む（ステップ２
２）。

【００７５】９．選択したブロック７５が並列化ケース
ブロック７２内の最後のブロックであるか否かを検査す
る（ステップ２６）。図８の例では最後のブロックでは
ないのステップ２７に進む。

【００７６】１０．次のブロック７６を選択してステッ
プ２２にもどる（ステップ２７）。

【００７７】１１．選択したブロック７６が実行待ち状
態の発生したクリティカルセクション７４であるか否か
を検査する（ステップ２２）。図８の例では違うのでス
テップ２３に進む。

【００７８】１２．選択したブロック７６がクリティカ
ルセクション７５とデータの依存関係があるか否かを検
査する（ステップ２３）。図８の例では依存関係はない
のでステップ２４に進む。

【００７９】１３．選択したブロック７６とクリティカ
ルセクション７５との間に副作用を持つ関数呼出しある
いは分岐があるか否かを検査する（ステップ２４）。図
８の例ではないのでステップ２５に進む。

【００８０】１４．交換ブロック７４が既に検出されて
いるので、該交換ブロック７４の予測実行時間と選択し
たブロック７６の予測実行時間を比較し、選択したブロ
ック７６の予測実行時間の方が長いため、選択したブロ
ック７６を交換ブロックとする（ステップ２５）。

【００８１】１５．選択したブロック７６が並列化ケー
ス内の最後のブロックであるか否かを検査する（ステッ
プ２６）。図８の例では最後のブロックであるので処理
を終了する。

【００８２】このような処理により、ブロック７６が交
換ブロックとなる。

【００８３】ソースプログラム書き換え部１６は、交換
ブロック７６とクリティカルセクション７５を入れ換え
た図９に示すソースプログラムを出力する。

【００８４】図９に示すソースプログラムを再度コンパ
イル、実行すると各プロセッサの命令実行の時間的推移
は図１０のようになり、プロセッサ１０２でクリティカ
ルセクション７５を実行するとき、プロセッサ１０１で
はクリティカルセクションを実行していないため、待ち
状態は発生しない。

【００８５】以上により、本発明の並列プロセスを含む
プログラムの修正装置の第２の実施例の処理が完了す
る。

【００８６】本発明の並列プロセスを含むプログラムの
修正装置の第２の実施例は、ロード・モジュール実行部
１２が、ソースプログラムの並列処理で排他処理により
待ち状態となったブロックの情報を実行情報格納ファイ
ル部１３に格納し、ソースプログラム書き換え部１６が
該ソースプログラムと該ブロックの情報とに基づいて、
該ブロックと実行時間の最も長い他のブロックとを入れ
替えるようにしたことにより、排他制御による待ち状態
が発生しないように該ソースプログラムを書き換えるこ
とができる効果を有している。

【００８７】

【発明の効果】以上説明したように、本発明の並列プロ
セスを含むプログラムの修正装置は、並列プロセスがプ
ロセス共有の資源をアクセスする際の排他制御による待
ち時間を減少させるように該プログラムを修正し、該プ
ログラムをマルチプロセッサ上で効率良く実行すること
ができる効果を有している。

【図面の簡単な説明】

【図１】図１は、本発明の第１および第２の実施例にお
ける並列プロセスを含むプログラムの修正装置のブロッ
ク図である。

【図２】図２は、本発明の第１の実施例におけるソース
プログラムの例を示す図である。

【図３】図３は、本発明の第１の実施例において、図２
のソースプログラムをコンパイルした目的プログラムを
実行した時の各プロセッサの命令実行の時間的推移を示
す図である。

【図４】図４は、本発明の第１および第２の実施例にお
けるソースプログラム書き換え部１６の処理を説明する
流れ図である。

【図５】図５は、本発明の第１の実施例において、図２
のソースプログラムをソースプログラム書き換え部１６
によって書き換えたソースプログラムを示す図である。

【図６】図６は、本発明の第１の実施例において、図５
のソースプログラムをコンパイルした目的プログラムを
実行した時の各プロセッサの命令実行の時間的推移を示
す図である。

【図７】図７は、本発明の第２の実施例におけるソース
プログラムの例を示す図である。

【図８】図８は、本発明の第２の実施例において、図７
のソースプログラムをコンパイルした目的プログラムを
実行した時の各プロセッサの命令実行の時間的推移を示
す図である。

【図９】図９は、本発明の第２の実施例において、図７
のソースプログラムをソースプログラム書き換え部１６
によって書き換えたソースプログラムを示す図である。

【図１０】図１０は、本発明の第２の実施例において、
図９のソースプログラムをコンパイルした目的プログラ
ムを実行した時の各プロセッサの命令実行の時間的推移
を示す図である。

【符号の説明】

１１ ソースプログラム格納ファイル部 １２ ロード・モジュール実行部 １３ 実行情報格納ファイル部 １４ ソースプログラム格納ファイル部 １５ コンパイラ部 １６ ソースプログラム書き換え部

Claims (8)

(57)【特許請求の範囲】
1. 【請求項１】 複数のプロセスを含む目的プログラムを
   複数のプロセッサで並列に実行するマルチプロセッサシ
   ステムにおいて、前記複数のプロセスの内のいずれかのプロセスがデータ
   をアクセスしているために当該データにアクセスするこ
   とができず待ち状態になっている前記複数のプロセスの
   内の別のプロセスがある場合に、当該別のプロセス中で
   待ち状態となっている当該データへのアクセス命令を 記
   憶するロード・モジュール実行手段と、 前記ロード・モジュール実行手段が記憶した前記アクセ
   ス命令を含む第１の命令ストリームと当該第１の命令ス
   トリームを含むプロセス中で前記データをアクセスしな
   い第２の命令ストリームとを入れ換えるように、前記目
   的プログラムの元となるソースプログラムを修正するソ
   ースプログラム書き換え手段と、 前記ソースプログラム書き換え手段が書き換えた前記ソ
   ースプログラムをコンパイルして目的プログラムを生成
   するコンパイル手段と を備えたことを特徴とする並列プ
   ロセスを含むプログラムの修正装置。
2. 【請求項２】 前記ソースプログラム書き換え手段が、
   前記第２の命令ストリームを特定する条件が、さらに、
   前記データとは依存関係がある処理を含まないという条
   件を含むことを特徴とする請求項１記載の並列プロセス
   を含むプログラムの修正装置。
3. 【請求項３】 前記ソースプログラム書き換え手段が、
   前記第２の命令ストリームを特定する条件が、さらに、
   第１の命令ストリームとの間に副作用を持つ関数呼び出
   しおよび分岐処理を含まないという条件を含むことを特
   徴とする請求項１および請求項２記載の並列プロセスを
   含むプログラムの修正装置。
4. 【請求項４】 前記ソースプログラム書き換え手段が、
   前記第２の命令ストリームを特定する条件が、さらに、
   最も処理時間が長いという条件を含むことを特徴とする
   請求項１〜請求項３のいずれかに記載の並列プロセスを
   含むプログラムの修正装置。
5. 【請求項５】 複数のプロセスを含む目的プログラムを
   複数のプロセッサで並列に実行するマルチプロセッサシ
   ステムにおいて、前記複数のプロセスの内のいずれかのプロセスがデータ
   をアクセスしているた めに当該データにアクセスするこ
   とができず待ち状態になっている前記複数のプロセスの
   内の別のプロセスがある場合に、当該別のプロセス中で
   待ち状態となっている当該データへのアクセス命令を 記
   憶するロード・モジュール実行ステップと、 前記ロード・モジュール実行ステップが記憶した前記ア
   クセス命令を含む第１の命令ストリームと当該第１の命
   令ストリームを含むプロセス中で前記データをアクセス
   しない第２の命令ストリームとを入れ換えるように、前
   記目的プログラムの元となるソースプログラムを修正す
   るソースプログラム書き換えステップと、 前記ソースプログラム書き換えステップが書き換えた前
   記ソースプログラムをコンパイルして目的プログラムを
   生成するコンパイルステップと を含むことを特徴とする
   並列プロセスを含むプログラムの修正方法。
6. 【請求項６】 前記ソースプログラム書き換えステップ
   において、前記第２の命令ストリームを特定する条件
   が、さらに、前記データとは依存関係がある処理を含ま
   ないという条件を含むことを特徴とする請求項５記載の
   並列プロセスを含むプログラムの修正方法。
7. 【請求項７】 前記ソースプログラム書き換えステップ
   において、前記第２の命令ストリームを特定する条件
   が、さらに、第１の命令ストリームとの間に副作用を持
   つ関数呼び出しおよび分岐処理を含まないという条件を
   含むことを特徴とする請求項５および請求項６記載の並
   列プロセスを含むプログラムの修正方法。
8. 【請求項８】 前記ソースプログラム書き換えステップ
   において、前記第２の命令ストリームを特定する条件
   が、さらに、最も処理時間が長いという条件を含むこと
   を特徴とする請求項５〜請求項７のいずれかに記載の並
   列プロセスを含むプログラムの修正方法。