(57)【要約】  並列化プログラム生成方法は、縮退プログラム依存グラフの頂点の実行順序を計算し、実行順序を与えられた複数の頂点のうちで分岐及び合流の何れも含まずに順番に実行される頂点列を基本ブロックとして纏め、縮退プログラム依存グラフの頂点の各々に相当する手続きを生成し、基本ブロック間をまたいでの依存関係がある手続きについては先行手続きを待ち合わせる命令の後に後続手続きを実行する命令を配置し、同一の基本ブロック内部で依存関係がある手続きについては先行手続きに対する後続手続きの依存関係を登録する命令を生成し、同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送の両方について手続きから手続きへの直接のデータ転送を指示する命令を生成するようにして、手続きの実行を制御する手続き制御プログラムを生成する各段階を含む。
2008120367.tif 000002
【特許請求の範囲】
【請求項１】
逐次プログラムを入力として、該逐次プログラムを構成する各文を頂点として有するとともに、文と文との間の関係を該頂点間の辺として有するプログラム依存グラフを生成し、
該プログラム依存グラフの該頂点同士を縮退することにより該頂点の数を減少させた縮退プログラム依存グラフを生成し、
該縮退プログラム依存グラフの頂点の実行順序を算出し、
該実行順序を与えられた複数の頂点のうちで分岐及び合流の何れも含まず順番に実行される頂点列を基本ブロックとして纏め、
該縮退プログラム依存グラフの該頂点の各々に相当する手続きを生成し、
該基本ブロック間をまたいだ依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置し、同一の基本ブロック内部で依存関係がある手続きについては先行手続きの出力データ転送に対する後続手続きの依存関係を登録する命令を生成し、および同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送それぞれについては手続きから手続きへの直接のデータ転送を指示する命令および該データ転送の先行手続きに対する依存関係を登録する命令を生成して、該手続きの実行を制御する手続き制御プログラムを生成する
ことを特徴とする並列化プログラム生成方法。
【請求項２】
該手続き制御プログラムを生成するときに、該手続きを実行する各プロセッサ毎に変数を生成するように該手続き制御プログラムを生成することを特徴とする請求項１記載の並列化プログラム生成方法。
【請求項３】
該手続き制御プログラムを生成するときに、該手続き毎に変数を生成するように該手続き制御プログラムを生成することを特徴とする請求項１記載の並列化プログラム生成方法。
【請求項４】
該手続き制御プログラムを生成するときに、該手続きを実行する各プロセッサ毎に変数を生成し、更に各手続き毎に変数を生成することにより該依存関係を解消することが可能な変数については該手続き毎に変数を生成するように該手続き制御プログラムを生成することを特徴とする請求項１記載の並列化プログラム生成方法。
【請求項５】
該手続き制御プログラムを生成するときに、定義順序関係について先行するデータ転送をキャンセルする指示を生成するように該手続き制御プログラムを生成することを特徴とする請求項１記載の並列化プログラム生成方法。
【請求項６】
逐次プログラムと並列化プログラム生成プログラムとを格納するメモリと、
該メモリに格納された該並列化プログラム生成プログラムを実行することで該メモリに格納された該逐次プログラムから並列化プログラムを生成する演算処理ユニットとを含み、該演算処理ユニットは、該並列化プログラム生成プログラムを実行することにより、
該逐次プログラムを構成する各文を頂点として有するとともに、文と文の間の関係を該頂点間の辺として有するプログラム依存グラフを生成し、
該プログラム依存グラフの該頂点同士を縮退することにより該頂点の数を減少させた縮退プログラム依存グラフを生成し、
該縮退プログラム依存グラフの該頂点の実行順序を算出し、
該実行順序を与えられた該複数の頂点のうちで分岐及び合流の何れも含まずに順番に実行される頂点列を基本ブロックとして纏め、
該縮退プログラム依存グラフの頂点の各々に相当する手続きを生成し、
該基本ブロック間をまたいだ依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置し、同一の基本ブロック内部で依存関係がある手続きについては先行手続きの出力データ転送に対する後続手続きの依存関係を登録する命令を生成し、および同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送の両方について手続きから手続きへの直接のデータ転送を指示する命令および該データ転送の先行手続きに対する依存関係を登録する命令を生成して、該手続きの実行を制御する手続き制御プログラムを生成する
ことを特徴とする並列化プログラム生成装置。
【請求項７】
該演算処理ユニットは、該手続きを実行する各プロセッサ毎に変数を生成するように該手続き制御プログラムを生成することを特徴とする請求項６記載の並列化プログラム生成装置。
【請求項８】
該演算処理ユニットは、該手続き毎に変数を生成するように該手続き制御プログラムを生成することを特徴とする請求項６記載の並列化プログラム生成装置。
【請求項９】
該演算処理ユニットは、該手続きを実行する各プロセッサ毎に変数を生成し、更に該手続き毎に変数を生成することにより該依存関係を解消することが可能な変数については各手続き毎に変数を生成するように該手続き制御プログラムを生成することを特徴とする請求項６記載の並列化プログラム生成装置。
【請求項１０】
逐次プログラムを入力として、該逐次プログラムを構成する各文を頂点として有するとともに、文と文との間の関係を該頂点間の辺として有するプログラム依存グラフを生成し、該プログラム依存グラフの該頂点同士を縮退することにより該頂点の数を減少させた縮退プログラム依存グラフを生成し、該縮退プログラム依存グラフの頂点の実行順序を算出し、該実行順序を与えられた複数の頂点のうちで分岐及び合流の何れも含まず順番に実行される頂点列を基本ブロックとして纏め、該縮退プログラム依存グラフの該頂点の各々に相当する手続きを生成し、該基本ブロック間をまたいだ依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置し、同一の基本ブロック内部で依存関係がある手続きについては先行手続きの出力データ転送に対する後続手続きの依存関係を登録する命令を生成し、および同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送それぞれについては手続きから手続きへの直接のデータ転送を指示する命令および該データ転送の先行手続きに対する依存関係を登録する命令を生成して、該手続きの実行を制御する手続き制御プログラムを生成することを計算機に実行させるコードを含むことを特徴とする並列化プログラム生成プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、一般にプログラム生成方法、装置、及びプログラムに関し、詳しくは並列化プログラム生成方法、装置、及びプログラムに関する。
【背景技術】
【０００２】
近年、シングル・プロセッサでのプログラム性能には限界があることが知られてきた。従来、性能を上げるためには、プロセッサの動作周波数を高くすることで単位時間あたりの処理量を増やす方法と、命令を並列に実行することで同時に実行できる処理を増やす方法とがとられてきた。【０００３】
しかし動作周波数を高くすると消費電力が大きくなるという問題があるとともに、動作周波数の向上には物理的な限界があるという問題がある。また、命令レベルの並列性は高々２〜４程度であり（非特許文献１）、投機的な実行などを導入することにより多少並列性を上げることはできるが、それにも限界があることが知られている。【０００４】
そこで、命令レベルよりも大きな粒度でプログラムを並列化し、複数のプロセッサにて実行することにより、処理性能を向上させる方法が注目されている。しかしながら、制御による分岐が多い逐次プログラムを効果的な並列プログラムへ変換する画一的な方法は、これまでのところ知られていない。【０００５】
逐次プログラムを分割して複数のプロセッサ上で並列に実行するプログラムを生成する手法として、ループに着目したデータ・レベル並列化という方法と、制御に着目した投機的なスレッド実行という方法が知られている。【０００６】
特許文献１では、ループの中におけるデータの依存関係を解析し、配列を分割して、ループの処理を複数のプロセッサで実行させる。この手法は、数値計算等の規則的なループの処理が多い場合に有効である。【０００７】
また特許文献２は、逐次プログラムにおける分岐に着目して、投機的なスレッド実行に置換する手法を示す。この手法では、制御の流れに基づいてプログラムを並列化するので、プログラムの潜在的な並列性を充分に抽出できているとはいえない。また、投機的スレッド実行機構を持たないマルチプロセッサにおいては予測失敗時のロールバックのコストが大きいので、分岐予測ヒット率が低いアプリケーションにはこの手法は適さない。【０００８】
従って、大規模なソフトウェアを対象として、逐次プログラムを並列化することにより、マルチプロセッサ上で効果的に動作する非投機的なマルチ・スレッド・プログラム（並列化プログラム）を生成する方法を提供することが必要になる。但し、このようにして生成する並列化プログラムにおいては、以下に説明するように、スレッド間の依存関係に基づく待ち時間の発生という問題について考慮する必要がある。【０００９】
並列化プログラムの各スレッドの実行を制御する方式としては、例えば、手続を非同期の遠隔呼び出しとして呼び出すことにより並列にスレッドを実行する方式、手続に実行開始するメッセージを送信することにより並列にスレッドを実行する方式、スレッド間で共有メモリを利用して入出力変数の受け渡しを行なうことにより並列にスレッドを実行する方式等が考えられる。しかしこれらの方式では、第１の手続（スレッド）の実行結果を利用する第２の手続がある場合、第１の手続の終了を待つ命令とそれに続く第２の手続を実行する命令とを、他の手続の実行に要する時間などを見積もって、プログラム中の適当な場所に配置しておくことになる。この場合、第１の手続が予想以上に早く終了した場合などに、第２の手続を実行するまでに、不必要な待ち時間が発生してしまう。【００１０】
図１は、無駄な待ち時間の発生について説明するための図である。図１において、プロセッサ０乃至プロセッサ３の４つのプロセッサが用いられる。プロセッサ０でスレッド制御プログラム１（各スレッドに対応する手続の実行及び終了待ちを制御するプログラム）を実行する。図１の例では、まずプロセッサ０から、プロセッサ１乃至プロセッサ３に対して手続Ａ乃至Ｃの実行を順番に要求する（start A()〜start C()）。その後プロセッサ０は、手続Ａの終了を待って（wait A()）、手続Ａの実行結果を利用する手続Ｄの実行を要求する（start D()）。その後、手続Ｂの終了を待って（wait B()）、手続Ｂの実行結果を利用する手続Ｅの実行を要求する（start Ｅ()）。更にその後、手続Ｃの終了を待って（wait C()）、手続Ｃの実行結果を利用する手続Ｆの実行を要求する（start F()）。【００１１】
この例では、手続Ｃが終了してから手続Ｆの実行を要求するまでに待ち時間が発生している。これは、スレッド制御プログラム中において、手続Ｂの終了待ち合わせ（wait B()）と手続Ｅの実行要求（start Ｅ()）が、手続Ｃの終了待ち合わせ（wait C()）と手続Ｆの実行要求（start F()）よりも前に配置されているからである。このような命令配置順のために、手続Ｂが終了しないと、手続Ｃの終了待ち合わせ及び手続Ｆの実行要求が実行されないことになる。【００１２】
このような命令配置は、手続Ｂが手続Ｃよりも早く実行が終了するであろうという見積もりに基づくものである。手続Ｃの方が手続Ｂよりも早く終了することが分かっていたならば、手続Ｃの終了待ち合わせ及び手続Ｆの実行要求を、手続Ｂの終了待ち合わせ及び手続Ｅの実行要求よりも前に配置することが考えられる。しかし実際には、手続の実行にかかる時間は処理データの内容等にも依存するので、終了時間を正確に見積もることは不可能である。従って、単純な遠隔手続呼び出し、共有メモリによるスレッド、メッセージ送信等の上記方式では、図１に示すような待ち時間を無くすことはできない。【００１３】
本願の出願人は、依存関係待ち合わせ付き非同期遠隔手続呼び出し方式として、並列化プログラムの各スレッドの実行を制御する際に、各手続毎に他の手続に対する依存関係を実行条件として指定し、各手続をプロセッサ毎の実行キューに投入し、実行条件が満たされた手続を実行していくという方式を既に提案している。このような方式を、依存関係待ち合わせ付き非同期遠隔手続呼び出し方式と呼ぶ。【００１４】
図２は、依存関係待ち合わせ付き非同期遠隔手続呼び出し方式による手続実行の制御について説明するための図である。図２において、プロセッサ０乃至プロセッサ３の４つのプロセッサが用いられる。プロセッサ０でスレッド制御プログラム２（各スレッドに対応する手続きの実行及び依存関係を制御するプログラム）を実行する。この際プロセッサ０は、手続き呼出しプログラム３を実行することにより、スレッド制御プログラム２に規定される各手続きを各プロセッサ毎のキューを用いて管理する。【００１５】
図２の例では、まず制御プログラム２の命令start A()に従って、プロセッサ１の実行キュー４に手続Ａが投入される。また制御プログラム２の命令start B()に従って、プロセッサ２の実行キュー５に手続Ｂが投入される。更に制御プログラム２の命令start C()に従って、プロセッサ３の実行キュー６に手続Ｃが投入される。【００１６】
同様に、制御プログラム２の命令start D()、start E()、及びstart F()に従って、実行キュー４乃至６にそれぞれ手続Ｄ、Ｅ、及びＦが投入される。またスレッド制御プログラム２中のdep(x, y, …)は依存関係を指定する命令であり、手続Ｘの依存先が手続Ｙ、・・・であることを示す。即ち、手続Ｘを実行するためには、手続Ｙ、・・・の実行が終了している必要があることを示す。制御プログラム２の命令dep(D, A)に従って、プロセッサ１の実行キュー４中の手続Ｄに対して、依存先の手続がＡであることが登録される。また制御プログラム２の命令dep(E, A, B)に従って、プロセッサ２の実行キュー５中の手続Ｅに対して、依存先の手続がＡ及びＢであることが登録される。更に、制御プログラム２の命令dep(F, A, C)に従って、プロセッサ３の実行キュー６中の手続Ｆに対して、依存先の手続がＡ及びＣであることが登録される。【００１７】
このようにして各プロセッサ毎に設けた実行キューに投入されている手続を、キューの順番に従って対応するプロセッサで実行する。この際、依存先が登録されていない手続（図２においてＮＵＬＬで示されている手続）については無条件に実行し、依存先が登録されている手続については、依存先の手続の終了を検出してから実行する。このようにプロセッサ毎にキューを設け、実行条件が満たされたキュー内の手続き（実行可能手続き）から順番に実行していくことで、図１に示したような待ち時間を無くすことができる。【００１８】
以上説明したように、上記の依存関係待ち合わせ付き非同期遠隔手続呼び出し方式を用いれば、並列化プログラムの実行時における不要な待ち合わせ時間の発生を防ぐことができる。従って、大規模なソフトウェアを対象として、逐次プログラムを並列化することにより、マルチプロセッサ上で効果的に動作する非投機的な並列化プログラムを生成する際には、上記の依存関係待ち合わせ付き非同期遠隔手続呼び出し方式に適用可能な並列化プログラムを生成することが望ましい。【００１９】
本願の出願人は、依存関係待ち合わせ付き非同期遠隔手続呼び出し方式に適用可能な並列化プログラム生成方法を既に提案している。この並列化プログラム生成方法では、まずプログラムの実行順序関係を計算し、分岐（ＩＦ、ＧＯＴＯ、ＬＯＯＰ等）や合流を含まない順番に実行される頂点の列である基本ブロックを求める。そして、同一の基本ブロック内部で依存関係がある手続きの実行については、依存関係待ち合わせ付き非同期遠隔手続呼び出しにより手続きを実行する。また、異なる基本ブロックをまたいでの手続き間の依存関係については、先行手続きの終了待ち合わせを行ってから、後続手続きを実行するようにしている。このような構成とすることで、複雑な制御の依存関係が存在する基本ブロック間については、手続きの実行を待ち合わせにより実現することで制御プログラムの生成を容易なものとし、実行順が固定である同一基本ブロック内については、依存関係待ち合わせ付き非同期遠隔手続呼び出しにより無駄な待ち合わせ時間をなくすことができる。【００２０】
上記並列化プログラム生成方法では、異なる基本ブロックをまたいだプロセッサ間でのデータ転送については、常に制御プロセッサ（図２のプロセッサ０）又は制御プロセッサの制御下にあるデータ転送ユニットを介してのデータ転送となっていた。即ち、手続きを実行する第１のプロセッサから制御プロセッサ（又はデータ転送ユニット）にデータをまず転送し、その後、制御プロセッサ（又はデータ転送ユニット）から手続きを実行する第２のプロセッサにこのデータを転送していた。これは、元の逐次プログラムの条件判定の結果に応じてデータ転送の対象が異なったり、手続きの実行順序に依存関係が存在したりするので、制御プロセッサにより一元的に動作を管理することが、正しいデータ転送実現のための比較的容易な解決方法だからである。しかしこのように常に制御プロセッサがデータ転送に介在するのでは、プログラム処理が非効率的になり処理の実行に余計な時間がかかる。従って、このような基本ブロックをまたいでのデータ転送についても、制御プロセッサを介さずに直接に手続き実行プロセッサ間で行うようにすることが、並列化プログラムの処理が効率的になり好ましい。
【特許文献１】特許第３０２８８２１号公報
【特許文献２】特許第３６４１９９７号公報
【非特許文献１】David W. Wall. Limits of Instruction-Level Parallelism. Proceedings of the fourth international conference on Architectural support for programming languages pp. 176-188 May. 1991.
【非特許文献２】S. Horwitz, J. Prins, and T. Reps, "Integrating non-interfering versions of programs," ACM Transactions on Programming Languages and Systems, vol. 11, no. 3, pp. 345-387, 1989.
【非特許文献３】Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren, "The Program Dependence Graph and Its Use in Optimization," ACM Transactions on Programming Languages and Systems, pp. 319-419, vol. 9 no. 3, July 1987.
【非特許文献４】Susan Horwitz, Jan Prins, Thomas Reps, "On the adequacy of program dependence graphs for representing programs," Proceedings of the 15th Annual ACM Symposium on the Principles of Programming Languages, pp. 146-157, Jan., 1988.
【非特許文献５】中田育男著:"コンパイラの構成と最適化"，朝倉書店，１９９９
【発明の開示】
【発明が解決しようとする課題】
【００２１】
以上を鑑みて、本発明は、大規模なソフトウェアを対象として、マルチプロセッサ上で効果的に動作する非投機的かつ依存関係待ち合わせに基づく並列化プログラムを生成する方法、装置、及びプログラムを提供することを目的とする。
【課題を解決するための手段】
【００２２】
並列化プログラム生成方法は、逐次プログラムを入力として、該逐次プログラムを構成する各文を頂点として有するとともに、文と文との間の関係を該頂点間の辺として有するプログラム依存グラフを生成し、該プログラム依存グラフの該頂点同士を縮退することにより該頂点の数を減少させた縮退プログラム依存グラフを生成し、該縮退プログラム依存グラフの頂点の実行順序を算出し、該実行順序を与えられた複数の頂点のうちで分岐及び合流の何れも含まず順番に実行される頂点列を基本ブロックとして纏め、該縮退プログラム依存グラフの該頂点の各々に相当する手続きを生成し、該基本ブロック間をまたいだ依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置し、同一の基本ブロック内部で依存関係がある手続きについては先行手続きの出力データ転送に対する後続手続きの依存関係を登録する命令を生成し、および同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送それぞれについては手続きから手続きへの直接のデータ転送を指示する命令および該データ転送の先行手続きに対する依存関係を登録する命令を生成して、該手続きの実行を制御する手続き制御プログラムを生成することを特徴とする。【００２３】
並列化プログラム生成装置は、逐次プログラムと並列化プログラム生成プログラムとを格納するメモリと、該メモリに格納された該並列化プログラム生成プログラムを実行することで該メモリに格納された該逐次プログラムから並列化プログラムを生成する演算処理ユニットとを含み、該演算処理ユニットは、該並列化プログラム生成プログラムを実行することにより、該逐次プログラムを構成する各文を頂点として有するとともに、文と文の間の関係を該頂点間の辺として有するプログラム依存グラフを生成し、該プログラム依存グラフの該頂点同士を縮退することにより該頂点の数を減少させた縮退プログラム依存グラフを生成し、該縮退プログラム依存グラフの該頂点の実行順序を算出し、該実行順序を与えられた該複数の頂点のうちで分岐及び合流の何れも含まずに順番に実行される頂点列を基本ブロックとして纏め、該縮退プログラム依存グラフの頂点の各々に相当する手続きを生成し、該基本ブロック間をまたいだ依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置し、同一の基本ブロック内部で依存関係がある手続きについては先行手続きの出力データ転送に対する後続手続きの依存関係を登録する命令を生成し、および同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送の両方について手続きから手続きへの直接のデータ転送を指示する命令および該データ転送の先行手続きに対する依存関係を登録する命令を生成して、該手続きの実行を制御する手続き制御プログラムを生成することを特徴とする。【００２４】
並列化プログラム生成プログラムは、逐次プログラムを入力として、該逐次プログラムを構成する各文を頂点として有するとともに、文と文との間の関係を該頂点間の辺として有するプログラム依存グラフを生成し、該プログラム依存グラフの該頂点同士を縮退することにより該頂点の数を減少させた縮退プログラム依存グラフを生成し、該縮退プログラム依存グラフの頂点の実行順序を算出し、該実行順序を与えられた複数の頂点のうちで分岐及び合流の何れも含まず順番に実行される頂点列を基本ブロックとして纏め、該縮退プログラム依存グラフの該頂点の各々に相当する手続きを生成し、該基本ブロック間をまたいだ依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置し、同一の基本ブロック内部で依存関係がある手続きについては先行手続きの出力データ転送に対する後続手続きの依存関係を登録する命令を生成し、および同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送それぞれについては手続きから手続きへの直接のデータ転送を指示する命令および該データ転送の先行手続きに対する依存関係を登録する命令を生成して、該手続きの実行を制御する手続き制御プログラムを生成することを計算機に実行させるコードを含むことを特徴とする。
【発明の効果】
【００２５】
本発明の少なくとも１つの実施例によれば、制御の流れグラフではなく、制御の依存関係を示すグラフであるプログラム依存グラフに基づいて並列化プログラムを生成するので、制御の流れ（分岐）を超えたプログラムの並列性を抽出することができる。また、プログラム依存グラフを縮退してグラフの規模を削減することで、その後の並列化プログラム生成処理の効率化及び最適化が可能になるとともに、大きな粒度での並列化を実現することができる。【００２６】
また、異なる基本ブロックをまたいでの手続き間の依存関係については、先行手続きの終了待ち合わせを行ってから、後続手続きを実行するようにする。また同一の基本ブロック内部で依存関係がある手続きの実行については、依存関係待ち合わせ付き非同期遠隔手続呼び出しにより手続きを実行する。即ち、基本ブロック間をまたいでの依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置して、この命令の配置順により依存関係を非明示的に規定して、依存関係を満たすように手続き制御する。また同一の基本ブロック内部で依存関係がある手続きについては後続手続きの先行手続きから後続手続きへのデータ転送に対して依存関係を明示的に登録する命令を生成するようにして、依存関係を満たすように手続き制御する。このような構成とすることで、複雑な制御の依存関係が存在する基本ブロック間については、手続きの実行を待ち合わせにより実現することで制御プログラムの生成を容易なものとし、実行順が固定である同一基本ブロック内については、依存関係待ち合わせ付き非同期遠隔手続呼び出しにより無駄な待ち合わせ時間をなくすことができる。
また、同一の基本ブロック内部でのデータ転送及び基本ブロック間をまたいでのデータ転送の両方について手続きから手続きへの直接のデータ転送を指示する命令を生成するようにしたので、制御プロセッサを介さずに直接に手続き実行プロセッサ間でデータ転送でき、並列化プログラムの処理を効率化することができる。
【図面の簡単な説明】
【００２７】
【図１】無駄な待ち時間の発生について説明するための図である。
【図２】依存関係待ち合わせ付き非同期遠隔手続呼び出し方式による手続実行の制御について説明するための図である。
【図３】本発明による並列化プログラム生成方法の概略を示す図である。
【図４】手続きプログラム生成方法の概要を示す図である。
【図５】図４の手続きプログラム生成方法により生成される手続きプログラムを示す図である。
【図６】第１の実施例により手続き制御プログラムの生成方法を示すフローチャートである。
【図７】頂点間の実行順序関係を決定する方法を示すフローチャートである。
【図８】頂点ｖ以下の制御の流れを再構成する処理（図７のステップＳ２）を示すフローチャートである。
【図９】Regionの実行順序関係を計算する処理を示すフローチャートである。
【図１０】逆依存及び出力依存を求める処理（図９のステップＳ４）を示すフローチャートである。
【図１１】着目領域を越える変数参照を抽出する処理を示すフローチャートである。
【図１２】着目領域を越える変数代入を抽出する処理を示すフローチャートである。
【図１３】逆依存の追加処理を示すフローチャートである。
【図１４】出力依存の追加処理を示すフローチャートである。
【図１５】逆依存及び出力依存を求める処理（図９のステップＳ５）を示すフローチャートである。
【図１６】全域木を説明するための図である。
【図１７】全域木を模式的に示す図である。
【図１８】全域木間の順序関係を計算する処理を示すフローチャートである。
【図１９】図１８の処理による逆依存辺の追加について説明する図である。
【図２０】基本ブロックを抽出する処理のフローチャートを示す図である。
【図２１】プロセッサ毎に変数を生成する処理と依存関係を抽出する処理のフローチャートを示す図である。
【図２２】制御プログラムを生成する処理のフローチャートを示す図である。
【図２３】基本ブロックの集合Ｂ'の要素Ｂｉ以下の手続き制御プログラムを生成する処理を示すフローチャートである。
【図２４】手続き制御プログラムの構造を示す図である。
【図２５】第２の実施例による手続き制御プログラムの生成方法を示すフローチャートである。
【図２６】手続き毎に変数を生成する処理のフローチャートを示す図である。
【図２７】第２の実施例における基本ブロックの集合Ｂ'の要素Ｂｉ以下の手続き制御プログラムを生成する処理を示すフローチャートである。
【図２８】第３の実施例による手続き制御プログラムの生成方法を示すフローチャートである。
【図２９】変数を生成する処理のフローチャートを示す図である。
【図３０】入力逐次プログラムの部分及び対応する縮退プログラム依存グラフを示す図である。
【図３１】本発明による並列化プログラム生成方法を実行する装置の構成を示す図である。
【符号の説明】
【００２８】
１０  入力変数の引数受信部分
１１  変数宣言部分
１２  プログラム本体部分
１３  出力変数の送信部分
２１，２２  全域木
３１  出力依存辺
３２，３３  逆依存辺
５１０  コンピュータ
５１１  ＣＰＵ
５１２  ＲＡＭ
５１３  ＲＯＭ
５１４  二次記憶装置
５１５  可換媒体記憶装置
５１６  インターフェース
５２０  ディスプレイ装置
５２１  キーボード
５２２  マウス
５２３  通信装置
【発明を実施するための最良の形態】
【００２９】
以下に、本発明の並列化プログラム生成方法の概略及び実施例を添付の図面を用いて詳細に説明する。【００３０】
図３は、本発明による並列化プログラム生成方法の概略を示す図である。【００３１】
ステップＳ１で逐次プログラムからプログラム依存グラフ（ＰＤＧ：Program Dependence Graph）を生成する。次に、ステップＳ２で、手続きとして他のプロセッサエレメントで実行するに適した処理量となるまで依存関係を縮退することにより、手続きを頂点とする縮退プログラム依存グラフを作成する。ステップＳ３で、作成した縮退プログラム依存グラフから、非投機的に手続きの起動と同期を制御する手続き制御プログラムを生成する。またステップＳ４で、縮退プログラム依存グラフから、その各頂点に相当する手続きプログラムを生成する。【００３２】
まず逐次プログラムからプログラム依存グラフを生成する処理（図３のステップＳ１）について説明する。【００３３】
プログラム依存グラフとは、例えば非特許文献２乃至４等に説明されるように、プログラムの文を頂点とし、文と文の間の関係を辺で表現したグラフである。非特許文献２乃至４に記載されるプログラム依存グラフは、次のような頂点集合Vと辺集合Eの組で表現されるものであり、逐次プログラムを解析することにより生成できる。【００３４】
［V:頂点集合］
エントリ:プログラムの開始ポイントを表す。【００３５】
初期定義:プログラム開始時の初期値の定義を表す。【００３６】
プリディケート: If-then-elseまたはwhile-loopの条件判定を表す。【００３７】
代入文:プログラムの代入文を表す。【００３８】
最終使用:プログラム終了時の変数の参照を表す。【００３９】
［E:辺集合］
［制御依存辺: v→cL w］プリディケート頂点vに対して、その条件判定結果により、頂点wに到達するか否かが決まることを表す。Lは条件判定のフラグを表し、L=Tのときは条件判定結果が真の場合に頂点wを実行し、L=Fのときは結果が偽の場合に頂点wを実行する。【００４０】
［データ依存辺］
［ループ独立フロー依存辺: v→lix w］頂点vで代入された変数xの値を、頂点wで参照するような場合のデータ依存関係を表す。ここでは、ループを繰り越さない場合のみを表す。【００４１】
［ループ繰り越しフロー依存辺: v→lc(L)x w］頂点vで代入された変数xの値を、頂点wで参照するような場合のデータ依存関係を表す。ループLを繰り越す場合を表す。【００４２】
［定義順序関係: v→do(u)x w］頂点v及び頂点wが変数xの値を代入し、頂点uで参照するような場合の、頂点vと頂点wの順序関係を表す。制御の流れによっては、v, w, u, あるいは、v, uの順に実行される可能性がある場合に、v, wの実行順序を表すものである。【００４３】
以下において、縮退プログラム依存グラフを作成する処理（図３のステップＳ２）について説明する。【００４４】
上記のような一般的なプログラム依存グラフでは、文または代入式を頂点としたグラフとなっている。文または代入式を頂点とした場合、大規模なソフトウェアではグラフの頂点数が数千〜数万となってしまう。一般的に、コンパイラのグラフを用いた最適化の問題の計算量は、グラフの規模に対して指数関数的に増大することが知られている。したがって、例えば数個の手続きなどを対象とした頂点数が数十程度のグラフの場合には、解析が可能であるが、現実的な規模のソフトウェア全体に対する最適化は困難といえる。【００４５】
そこで、プログラム依存グラフの頂点数及び辺数を低減すべく、プログラム依存グラフの依存関係を縮退して頂点を融合し、粗粒度のプログラム依存グラフを作成する。依存関係を縮退することによりグラフの規模を1/10〜1/100とすることで、現実的な時間にて、プログラムの最適化を可能にする。【００４６】
依存関係の縮退は、次のような方法で、縮退可能な依存関係及び頂点の集合を求め、依存関係を削除して頂点を1つの頂点に融合することにより実行される。【００４７】
１．構文規則に基づく縮退
一般にプログラム依存グラフから等価な逐次プログラムの制御の流れを再構成することは、困難と言われている。これは、制御の依存関係のみの表現となっているため、依存関係を満足する制御の流れは一意に決定できない上に、グラフを変形するような最適化を行なった場合、依存関係を満足するような制御の流れが存在しないような場合も出てくるためである。【００４８】
しかし、表現するプログラムの制御構造を、if文、while文、及び、代入文に限定し、プログラム依存グラフの制御依存部分グラフ(頂点と制御依存辺のみで構成される部分グラフ)の形が木構造となる場合は、プログラムの制御の流れを再構成できることが知られている（非特許文献２）。そこで、プログラムにおけるif文、while文でない制御文に対して、入り口と出口がそれぞれ1つとなるようなプログラムのブロックを求める。ブロック全体とブロック内部の依存関係を1つの頂点に縮退することで、安全に制御の流れを再構成可能な範囲の縮退プログラム依存グラフを作成する。【００４９】
２．結合度に基づく縮退
プログラム依存グラフを探索して、頂点間の結合の強さを求める。結合度は、データ依存辺とその大きさ、及び、制御依存辺、処理の大きさから計算されるものとする。ある結合度以上の頂点に対して、縮約可能な条件を満足する場合は、頂点を結合し依存関係を縮約する。ここで、次の２つ条件を満たすときに、頂点を結合しての縮約が可能となる。【００５０】
１）プログラム依存グラフに対応するＣＦＧ(Control Flow Graph：制御フローグラフ)上で頂点集合外から頂点集合内への分岐は頂点集合の先頭頂点へのみであり、頂点集合内から頂点集合外への分岐は頂点集合の最後の頂点のみである。【００５１】
２）頂点間のデータ依存パスに外部の頂点が含まれない。【００５２】
以上のようにして、「構文規則に基づく縮退」又は「結合度に基づく縮退」により、頂点数が大幅に削減された縮退プログラム依存グラフを生成することができる。縮退プログラム依存グラフは、次の要素から構成される。【００５３】
［V:頂点集合］
エントリ:プログラムの開始ポイントを表す。【００５４】
初期定義:プログラム開始時の初期値の定義を表す。【００５５】
プリディケート: If-then-elseまたはwhile-loopの条件判定を表す。【００５６】
文の集合: プログラムを構成する文の集合を表す。【００５７】
最終使用:プログラム終了時の変数の参照を表す。【００５８】
［E:辺集合］
［制御依存辺: v→cL w］プリディケート頂点vに対して、その条件判定結果により、頂点wに到達するか否かが決まることを表す。Lは条件判定のフラグを表し、L=Tのときは条件判定結果が真の場合に頂点wを実行し、L=Fのときは結果が偽の場合に頂点wを実行する。【００５９】
［データ依存辺］
［ループ独立フロー依存辺: v→lix w］頂点vで代入された変数xの値を、頂点wで参照するような場合のデータ依存関係を表す。ここでは、ループを繰り越さない場合のみを表す。【００６０】
［ループ繰り越しフロー依存辺: v→lc(L)x w］頂点vで代入された変数xの値を、頂点wで参照するような場合のデータ依存関係を表す。ループLを繰り越す場合を表す。【００６１】
［定義順序関係: v→do(u)x w］頂点v及び頂点wが変数xの値を代入し、頂点uで参照するような場合の、頂点vと頂点wの順序関係を表す。制御の流れによっては、v, w, u, あるいは、v, uの順に実行される可能性がある場合に、v, wの実行順序を表すものである。【００６２】
以下において、手続き制御プログラムを生成する処理（図３のステップＳ３）及び手続きプログラムを生成する処理（図３のステップＳ４）について説明する。【００６３】
まず手続きプログラムの生成について説明する。上記のようにして生成された縮退プログラム依存グラフの頂点は、入力逐次プログラムの文の部分集合であって、文の間の制御の流れの情報を有している。従って、着目する１つの頂点へのデータフロー入力辺が表す変数を入力とし、データフロー出力辺が表す変数を出力とする、１つの手続きプログラムを１つの頂点に対して生成する。また、制御の流れより手続きプログラムの本文を、また、本文の実行に必要な局所変数をそれぞれ生成する。【００６４】
図４は、手続きプログラム生成方法の概要を示す図である。図５は、図４の手続きプログラム生成方法により生成される手続きプログラムを示す図である。【００６５】
図４のステップＳ１において、着目頂点についてデータフロー入力辺が表す変数を入力として、入力変数を引数として受信するためのプログラム部分を生成する。これにより、図５に示す入力変数の引数受信部分１０が生成される。ステップＳ２において必要な変数を探索する。更にステップＳ３において、探索により見つかった変数について変数宣言を生成する。これにより、図５に示す変数宣言部分１１が生成される。【００６６】
ステップＳ４において、着目頂点の文の間の制御の流れの情報に基づいて、プログラムの本文を生成する。これにより、図５に示すプログラム本体部分１２が生成される。ステップＳ５において、着目頂点のデータフロー出力辺が表す変数を出力として返すためのプログラム部分を生成する。これにより、図５に示す出力変数のセット部分１３が生成される。【００６７】
このように、手続きプログラムとしては、頂点が表す文／文の集合を実行する手続きとする。また、入力変数を手続きの引数とし、出力変数を復帰値あるいは、出力変数を格納するアドレスを引数として受け取るような手続きを作成する。【００６８】
次に手続き制御プログラムの生成について説明する。非特許文献２に記載される技術に基づいて、縮退したプログラム依存グラフから制御の流れを安全に再構成することができる。具体的には、縮退したプログラム依存グラフの制御依存部分木について、プログラムの実行順序関係を計算し、基本ブロックを求める。基本ブロックとは、分岐（ＩＦ、ＧＯＴＯ、ＬＯＯＰ等）や合流を含まない順番に実行される頂点の列のことを言う。各中間節点が表す制御構造と子頂点が表す「手続き」の呼び出しを行なうプログラムを生成することで、並列プログラムを生成することができる。「手続き」を実行する上で必要となる入力データのデータ転送および出力結果のデータ転送とそれらの待ち合わせを行なうコードも生成する。基本ブロック内の手続き呼び出しおよびデータ転送の依存関係に関しては、依存関係待ち合わせのメカニズムを用いて制御する。【００６９】
本発明によるプログラムの実行は、図２に示されるのと同様に、手続要求側プロセッサ（制御プロセッサ）により制御プログラムを実行し、この制御プログラムが呼び出す各手続きの手続きプログラムを各手続実行側プロセッサにより実行する。各手続きプログラムは、前述のように、頂点が表す文／文の集合を実行する手続きである。手続き呼び出し及び依存関係の登録と手続きの実行とについては、図２に示した仕組みと同様であり、制御プロセッサにおいて手続き呼出しプログラム３が管理する各プロセッサ毎のキューに手続きと依存関係とを登録し、実行可能状態となった手続きを順次実行していく。【００７０】
手続きの入力データは、制御プロセッサから実行するプロセッサに転送する。但し、先行する手続きの結果を利用する場合には、手続きを実行したプロセッサから後続の手続きを実行するプロセッサに対して直接データを転送することとする。これは、元の逐次プログラムにおける条件判定に相当する、制御プログラム上の条件判定結果によっては、複数データのうち適切なデータを選択することが必要となる場合がある。このようなデータ選択は、データ転送の依存関係として制御することになる。【００７１】
実行するマルチプロセッサシステムが分散メモリの場合、手続きへの入出力データをプロセッサ上のメモリ領域に転送し、プロセッサがその領域を用いて計算を行ない、結果を他の適切な領域に転送することになる。この場合のデータ変数の割り付け方としては、１）プロセッサ毎に使用する可能性のある変数の複製領域を作成する方式と、２）手続き毎に使用する可能性のある変数の複製領域を作成する方式とが考えられる。プロセッサ毎に変数の複製領域を作成する方式では、同一のプロセッサが実行する第１の手続きと第２の手続きとが同一の変数ｘを使用する場合、このプロセッサのメモリ領域には１つの変数ｘの領域しか設けない。また手続き毎に変数の複製領域を作成する方式では、同一のプロセッサが実行する第１の手続きと第２の手続きとが同一の変数ｘを使用する場合、このプロセッサのメモリ領域には第１の手続きの変数ｘの領域と第２の手続きの変数ｘの領域とをそれぞれ別個に設ける。【００７２】
また更に、両方式の組み合わせとして、３）プロセッサ毎に使用する可能性のある変数の複製領域を作成し、逆依存関係又は出力依存関係による待ち合わせを削減できる場合は、手続き毎の異なる領域を作成する方式が考えられる。これら第１乃至第３の方式において、同一の変数に対する複製領域の各々について、異なる名前を付けて区別する。【００７３】
上記、１）乃至３）の何れの方式を用いるかに応じて、変数間の依存関係をどのように扱うかが異なってくる。１）及び３）の方式の場合には、変数間の逆依存関係／出力依存関係を抽出し、プロセッサ毎に変数の複製領域を作成することで解消される逆依存関係／出力依存関係と、プロセッサ毎に変数の複製領域を作成することでは解消されない逆依存関係／出力依存関係とを区別して、解消されないものについては手当てする必要がある。それに加え、フロー依存関係及び定義順序関係についても手当てする必要がある。また２）の方式の場合には、手続き毎に変数の複製領域を作成することにより、逆依存関係／出力依存関係については解消されることになるので、データ依存関係のうちのフロー依存関係及び定義順序関係についてのみ手当てが必要となる。【００７４】
ここで逆依存関係は、第１の命令においてある変数の値が使われた後に第２の命令においてその変数が定義される可能性がある場合に対応し、第１の命令から第２の命令に逆依存関係が存在すると言う。また出力依存関係は、第１の命令においてある変数の値が定義された後に第２の命令においてその変数が定義される可能性がある場合に対応し、第１の命令から第２の命令に出力依存関係が存在すると言う。何れの関係においても、第２の命令を実行してから第１の命令を実行するように実行順序を逆にすることはできない。【００７５】
逆依存関係或いは出力依存関係にある頂点v，wについては、当該変数のデータ転送に関して適切な待ち合わせを行なう必要がある。これについては後ほど詳細に説明する。【００７６】
以下に、本発明の実施例について詳細に説明する。第１乃至第３の実施例は、それぞれ上記の第１乃至第３の方式に対応する。また第４乃至第６の実施例は、それぞれ第１乃至第３の実施例に対して、定義順序関係に関するデータ転送を高速化する変形を加えたものである。第１乃至第６の実施例について、以下に順番に説明する。【００７７】
図６は、第１の実施例により手続き制御プログラムの生成方法を示すフローチャートである。まずステップＳ１で、頂点間の実行順序関係を計算し、求めた実行順序(制御の流れ)から基本ブロックを抽出する。縮退したプログラム依存グラフは、データ及び制御の依存関係のみを表現したグラフであって頂点間の実行順序は明示されていないので、これから適切な制御の流れを再構成する必要がある。そこで、縮退したプログラム依存グラフの制御依存部分木について、各中間節点の子頂点の実行順序を計算する。この結果、頂点間の半順序関係を求めることができる。この実行順序関係を用いて、制御プログラムを生成することとなる。またその課程において、逆依存関係、出力依存関係が抽出される。更に、求めた実行順序(制御の流れ)から、基本ブロックを抽出する。【００７８】
次にステップＳ２で、変数の生成と依存関係抽出を行う。本実施例では、プロセッサ毎に変数を生成し、それら変数についての依存関係を抽出する。【００７９】
次にステップＳ３で、制御プログラムの変数と初期値代入文を生成する。ここで変数としては、データの受け渡しを行うための変数を生成する。【００８０】
次にステップＳ４で、Ｓ１で求めた実行順序順に制御依存部分グラフを探索し、制御プログラムを生成する。プリディケート頂点については、その頂点が表す制御構造を生成する。そして、制御構造の本文として、当該頂点の下位の部分木の制御プログラムを生成する。基本ブロックについては依存関係に基づく非同期遠隔手続きおよびデータ転送を行う文を生成する。これについては以下に詳細に説明する。【００８１】
更にステップＳ５で、手続きの実行結果の待ち合わせを行う文を生成する。【００８２】
図７は、頂点間の実行順序関係を決定する方法を示すフローチャートである。図７の処理は、図６のステップＳ１の前半部分に相当する。図７に示す処理の入力は縮退したプログラム依存グラフＰＤＧであり、出力は縮退したプログラム依存グラフＰＤＧ及びその制御の流れである。【００８３】
ステップＳ１で、縮退したプログラム依存グラフＰＤＧのエントリ頂点（プログラムの開始ポイント）をｖとする。ステップＳ２で、頂点ｖ以下の制御の流れを再構成する。以上で処理を終了する。【００８４】
図８は、頂点ｖ以下の制御の流れを再構成する処理（図７のステップＳ２）を示すフローチャートである。図８の処理の入力は、縮退したプログラム依存グラフＰＤＧ及び頂点ｖである。【００８５】
ステップＳ１で、Region(v, T) = {u | u ∈ V, v→cTu ∈ E}が空集合であるか否かを判断する。空集合であれば処理を終了し、空集合でなければステップＳ２に進む。ここでRegion(v, T)とは、頂点uの集合であって、頂点vから頂点uへのL=Fの制御依存関係が存在するものである。ここでＶは頂点集合、Ｅは辺集合、v→cTuはL=Fの制御依存辺を示すものである。【００８６】
ステップＳ２で、Region(v, T)の実行順序関係を計算する。ステップＳ３で、Region(v, F) = {u | u ∈ V, v→cFu ∈ E}が空集合であるか否かを判断する。空集合であれば処理を終了し、空集合でなければステップＳ４に進む。ここでRegion(v, F)とは、頂点uの集合であって、頂点vから頂点uへのL=Fの制御依存関係が存在するものである。以上で処理を終了する。【００８７】
図９は、Regionの実行順序関係を計算する処理を示すフローチャートである。この処理は、図８のステップＳ２及びステップＳ４の各々に対応する。図９の処理の入力は、縮退したプログラム依存グラフＰＤＧ及びV'（着目Region）である。【００８８】
ステップＳ１で、着目領域Ｖ'の各頂点ｖについて、ステップＳ２乃至Ｓ３の処理を繰り返すループを開始する。ステップＳ２で、ｖがプレディケート頂点（If-then-else又はwhile-loopの条件判定を表す頂点）であるか否かを判断する。ｖがプレディケート頂点である場合のみ、ステップＳ３を実行する。ステップＳ３で、頂点ｖ以下の実行順序関係を計算する。【００８９】
次に、ステップＳ４で、逆依存及び出力依存を求める。ここでは制御の流れに起因するデータ依存関係(逆依存、出力依存)を抽出する。具体的には、着目領域（Region）を越えるデータ依存関係から、着目領域内の逆依存及び出力依存を表出する。【００９０】
次に、ステップＳ５で、逆依存及び出力依存を求める。ここでは着目領域（Region）内の実行順序を決定する。即ち、実行順序が一意に定まらないRegion内頂点の集合について適切な実行順序制約を決定する。具体的には、求められた逆依存関係や出力依存関係などによる実行順序制約をもとに、Region内の逆依存関係や出力依存関係を明らかにして、実行順序を決定する。実行順序が任意となる場合は、実行順序を仮定して逆依存関係、出力依存関係を求め、矛盾が起きない実行順序が得られるまで試行を繰返す。【００９１】
最後にステップＳ６でスケジューリングを行う。即ち、上で求めた実行順次関係に基づいて頂点の実行順を決定する。これは、半順序関係の成立するグラフのスケジューリングという一般的な問題に帰着できる。従って、トポロジカル・ソートや、頂点の実行時間の概算を重みとしたリスト・スケジューリングなどのよく知られたスケジューリング手法を適用することができる。この際、各頂点の各ＰＥ（プロセッサエレメント）への割り付けも行われる。【００９２】
図１０は、逆依存及び出力依存を求める処理（図９のステップＳ４）を示すフローチャートである。図１０の処理の入力は、縮退したプログラム依存グラフＰＤＧ及びV'（着目Region）である。【００９３】
ステップＳ１で、着目領域Ｖ'を越える変数参照を抽出してＶｄｅｆとする。ステップＳ２で、着目領域Ｖ'を越える変数代入を抽出してＶｕｓｅとする。ステップＳ３で、Ｖｕｓｅ及びＶ'に基づいて逆依存辺を追加する。ステップＳ４で、Ｖｄｅｆ及びＶ'に基づいて出力依存辺を追加する。以上で処理を終了する。【００９４】
図１１は、着目領域を越える変数参照を抽出する処理を示すフローチャートである。図１１の処理は図１０のステップＳ１に相当し、縮退したプログラム依存グラフＰＤＧ及びV'（着目Region）を入力とする。【００９５】
ステップＳ１で、頂点の集合Ｖｕｓｅを空にする。ステップＳ２で、着目領域Ｖ'内の各フロー依存辺について以降の処理を繰り返すループを開始する。ここでフロー依存辺としては、ループ独立フロー依存辺とループ繰り越しフロー依存辺とを含む。ステップＳ３で、フロー依存辺ｅの依存元頂点をｕとするとともに、辺ｅの依存先頂点をｖとする。【００９６】
ループ繰り越しフロー依存辺である場合には、ステップＳ４で、依存先頂点ｖが着目領域Ｖ'に含まれるという条件が満たされるか否かを判定する。またループ独立フロー依存辺である場合には、ステップＳ５で、依存元頂点ｕが着目領域Ｖ'に含まれず且つ依存先頂点ｖが着目領域Ｖ'に含まれるという条件が満たされるか否かを判定する。この判定結果がｙｅｓの場合のみ、ステップＳ６を実行する。ステップＳ６で、頂点の集合Ｖｕｓｅに依存先頂点ｖを追加する。【００９７】
最後に、ステップＳ７で、頂点の集合Ｖｕｓｅを値として返す。以上で処理を終了する。【００９８】
図１２は、着目領域を越える変数代入を抽出する処理を示すフローチャートである。図１２の処理は図１０のステップＳ２に相当し、縮退したプログラム依存グラフＰＤＧ及びV'（着目Region）を入力とする。【００９９】
ステップＳ１で、頂点の集合Ｖｄｅｆを空にする。ステップＳ２で、着目領域Ｖ'内の各フロー依存辺について以降の処理を繰り返すループを開始する。ここでフロー依存辺としては、ループ独立フロー依存辺とループ繰り越しフロー依存辺とを含む。ステップＳ３で、フロー依存辺ｅの依存元頂点をｕとするとともに、辺ｅの依存先頂点をｖとする。【０１００】
ループ繰り越しフロー依存辺である場合には、ステップＳ４で、依存先頂点ｖが着目領域Ｖ'に含まれるという条件が満たされるか否かを判定する。またループ独立フロー依存辺である場合には、ステップＳ５で、依存元頂点ｕが着目領域Ｖ'に含まれ且つ依存先頂点ｖが着目領域Ｖ'に含まれないという条件が満たされるか否かを判定する。何れかの判定結果がｙｅｓの場合のみ、ステップＳ６を実行する。ステップＳ６で、頂点の集合Ｖｄｅｆに依存先頂点ｖを追加する。【０１０１】
最後に、ステップＳ７で、頂点の集合Ｖｄｅｆを値として返す。以上で処理を終了する。【０１０２】
図１３は、逆依存の追加処理を示すフローチャートである。図１３の処理は図１０のステップＳ３に相当し、縮退したプログラム依存グラフＰＤＧ、V'（着目Region）、及び頂点集合Ｖｕｓｅを入力とする。【０１０３】
ステップＳ１で、頂点集合Ｖｕｓｅの各頂点ｖに対して以降の処理を繰り返すループを開始する。ステップＳ２で、頂点ｖで使用する各変数ｘに対して以降の処理を繰り返すループを開始する。ステップＳ３で、着目領域Ｖ'の各頂点ｕに対して以降の処理を繰り返すループを開始する。【０１０４】
ステップＳ４で、頂点ｕが変数ｘを定義するか否かを判定する。判定結果がｙｅｓの場合のみ、ステップＳ５を実行する。ステップＳ５において、ｖからｕへの逆依存辺を追加する。以上で処理を終了する。【０１０５】
図１４は、出力依存の追加処理を示すフローチャートである。図１４の処理は図１０のステップＳ４に相当し、縮退したプログラム依存グラフＰＤＧ、V'（着目Region）、及び頂点集合Ｖｄｅｆを入力とする。【０１０６】
ステップＳ１で、頂点集合Ｖｄｅｆの各頂点ｕに対して以降の処理を繰り返すループを開始する。ステップＳ２で、頂点ｕで使用する各変数ｘに対して以降の処理を繰り返すループを開始する。ステップＳ３で、着目領域Ｖ'の各頂点ｖに対して以降の処理を繰り返すループを開始する。【０１０７】
ステップＳ４で、頂点ｖが変数ｘを定義するか否かを判定する。判定結果がｙｅｓの場合のみ、ステップＳ５を実行する。ステップＳ５において、ｖからｕへの出力依存辺を追加する。以上で処理を終了する。【０１０８】
図１５は、逆依存及び出力依存を求める処理（図９のステップＳ５）を示すフローチャートである。図１５の処理の入力は、縮退したプログラム依存グラフＰＤＧ及びV'（着目Region）である。【０１０９】
ステップＳ１で、着目領域内の全域木を求めＳとする。変数xを定義する頂点vとその変数ｘを使用するRegionＲ内の頂点との集合として、頂点ｖの変数xに関する全域木が、
Span(v, x) = {v}∪{u| v→lixu ∈ ER}
と定義される。図１６は、全域木を説明するための図である。図１６に示されるプログラム依存グラフにおいて、頂点ｖｉにおいて変数ｘが定義され、２つの頂点ｖ１及びｖ２が変数ｘを使用する。この場合、頂点ｖｉ、ｖ１、及びｖ２で全域木２１を形成する。また頂点ｖｊにおいて変数ｘが定義され、２つの頂点ｖ３及びｖ４が変数ｘを使用する。この場合、頂点ｖｊ、ｖ３、及びｖ４で全域木２２を形成する。図１７は、全域木を模式的に示す図である。全域木Span(vｉ, x)及び全域木Span(vｊ, x)が、データ依存グラフとして図１７に示されるように構成される。【０１１０】
図１５に戻り、ステップＳ２で、実行順が未決定である２つの任意の全域木を順次選択して以降の処理を繰り返すループが開始される。ステップＳ３で、着目領域に閉路がなく、同一変数xに対する独立した全域木Span(h0,x)及びSpan(h1,x)が存在するか否かを判定する。ここで、「独立した」とは、２つの全域木 Span(h0,x)及びSpan(h1,x)について、Span(h0,x)に含まれる頂点とSpan(h1,x)に含まれる頂点との間に辺（依存関係）がないことを言う。【０１１１】
ステップＳ４でR（Region）のオリジナルをスタックに退避させる。ステップＳ５で、h0→h1の出力依存辺を追加し、推移閉包を求める。ステップＳ６で、全域木間の順序関係を計算する。【０１１２】
ステップＳ７で、Ｒ（Region）に閉路が存在するか否かを判定する。存在しない場合には、以降の処理ステップＳ８〜ステップＳ１１をスキップする。存在する場合には、ステップＳ８に進む。ステップＳ８で、スタックが空か否かを判断する。空の場合にはエラー終了する。空でない場合には、ステップＳ９で、Ｒのオリジナルをスタックから取り出す。【０１１３】
以上の処理は、頂点h0からh1への出力依存関係をグラフに追加したときに、巡回グラフとならない場合には追加した依存関係を確定させ、巡回グラフになった場合には元のグラフに戻すことに相当する。元のグラフに戻した後は、以降に示すように、頂点h1からh0への出力依存関係をグラフに追加する。即ち、ステップＳ１０で、h1→h0の出力依存辺を追加し、推移閉包を求める。ステップＳ１１で、全域木間の順序関係を計算する。【０１１４】
以上の処理により、２つの全域木 Span(h0,x)及びSpan(h1,x)に対する実行順序が決定する。更に、実行順が未決定である２つの任意の全域木を順次選択して同様の処理を繰り返し、全ての全域木間の順序関係が決定されたところで終了する。【０１１５】
図１８は、全域木間の順序関係を計算する処理を示すフローチャートである。図１８の処理は、図１５のステップＳ６及びステップＳ１１に相当する。図１８の処理の入力は、縮退したプログラム依存グラフＰＤＧ及びV'（着目Region）である。【０１１６】
ステップＳ１で、着目領域内の各辺ｅ（頂点ｖ→頂点ｗ）について以降の処理を繰り返すループを開始する。ステップＳ２で、頂点ｗで定義され、頂点ｖで参照される各変数ｘについて以降の処理を繰り返すループを開始する。【０１１７】
ステップＳ３で、Va ← { u | v ∈ Span(u, x) }とするとともに、Vb ← { u | w ∈ Span(u, x) }とする。これは、頂点ｖを要素として含む変数ｘに関する全域木における変数ｘを定義する頂点の集合を求めるとともに、頂点ｗを要素として含む変数ｘに関する全域木における変数ｘを定義する頂点の集合を求めることである。【０１１８】
ステップＳ４で、Ｖａの各頂点ｖａについて以降の処理を繰り返すループを開始する。ステップＳ５で、Ｖｂの各頂点ｖｂについて以降の処理を繰り返すループを開始する。更にステップＳ６で、Span(va, x)の頂点であってSpan(vb, x)の頂点でない各頂点ｖｃについて以降の処理を繰り返すループを開始する。【０１１９】
ステップＳ７で、ｖｃ→ｖｂがＥ（辺集合）に含まれるか否かを判定する。判定結果がｙｅｓの場合のみステップＳ８を実行する。ステップＳ８で、ｖｃ→ｖｂの逆依存辺を追加し、推移閉包を求める。以降、各ループの処理を繰り返す。【０１２０】
図１９は、図１８の処理による逆依存辺の追加について説明する図である。図１９には、頂点ｖの変数ｘに関する全域木Span(v,x)と頂点ｗの変数ｘに関する全域木Span(w,x)とが示される。頂点ｖを要素として含む変数ｘに対する全域木Span(va, x)（即ちSpan(v,x)）の各頂点ｖｃ（即ちｖ、２５、２６）に対して、全域木Span(vb, x)（即ちSpan(ｗ,x)）のヘッドｖｂ（変数を定義している頂点ｗ）への逆依存辺３２、３３を追加する。【０１２１】
図２０は、基本ブロックを抽出する処理のフローチャートを示す図である。図２０に示す処理は、図６のステップＳ１の後半部分の処理に相当する。図２０の処理の入力は、実行順序関係が決定された縮退したプログラム依存グラフである。【０１２２】
求めた制御の流れの順に頂点を探索し、頂点の種類に応じた処理を行なう。以下の説明においてＢは基本ブロックの集合であり、Ｂｉはｉ番目の基本ブロックである。またｖは現在の頂点（着目頂点）であり、ｕは現在の頂点の１つ前の頂点である。【０１２３】
まずステップＳ２で、最初の基本ブロックＢ０を空集合として生成する。次にステップＳ２で、ｕをエントリ頂点（プログラムの開始ポイント）として、ｖをエントリ頂点の次の頂点とする。ステップＳ４で、現在の頂点ｖが最終頂点であるか否かを判断する。最終頂点である場合には、処理を終了して基本ブロックの集合Ｂが生成される。【０１２４】
現在の頂点ｖが最終頂点でない場合には、ステップＳ５に進み、現在の頂点ｖがプレディケート頂点（If-then-else又はwhile-loopの条件判定を表す頂点）であるか否かを判断する。プリディケート頂点である場合には、ステップＳ６に進み、ｉをインクリメントしてからＢｉの要素をｖとすることで、新たなプリディケートのみの基本ブロックＢｉを形成する。その後ステップＳ７で、更にｉをインクリメントして、新たな空集合の基本ブロックＢｉを形成する。【０１２５】
現在の頂点ｖがプレディケート頂点でない場合（Ｓ５でＮｏの場合）には、ステップＳ８で、現在の頂点ｖと１つ前の頂点ｕとが、同一のプレディケート頂点からの制御依存関係を有し、且つその制御依存関係が同一の条件判定フラグに基づくものであるか否かを判定する。この判定結果がＮＯとなるのは、例えばｕとｖとが、ＩＦ文の内部と外部とに対応する場合や、ＩＦ文のＴＨＥＮ節とＥＬＳＥ節とに対応する場合等である。即ち、ステップＳ８においては、同一の条件判定に応じて双方共に実行される２つの頂点であるか否かが判定されている。【０１２６】
ステップＳ８の判定がＹＥＳの場合には、ステップＳ９で、現在の基本ブロックに現在の頂点ｖを追加する。ステップＳ８の判定がＮＯの場合には、ステップＳ１０で、ｉをインクリメントして新たな空集合の基本ブロックＢｉを形成する。その後ステップＳ１１で、この新たに生成された基本ブロックＢｉに現在の頂点ｖを追加する。その後ステップＳ１２でｕとｖとをそれぞれ次の頂点に更新し、ステップＳ４に戻り以降の処理を繰り返す。【０１２７】
以上の処理により、分岐（ＩＦ、ＧＯＴＯ、ＬＯＯＰ等）や合流を含まない順番に実行される頂点の列である各基本ブロックＢｉを生成し、これらの基本ブロックを要素とする基本ブロックの集合Ｂを生成することができる。分岐や合流を含まない頂点の列とは、固定の１つの実行順に従い順番に実行される頂点の列のことである。図２０のフローチャートから分かるように、各プレディケート頂点は単独で１つの基本ブロックＢｉを構成し、プレディケート頂点でない１つの基本ブロックＢｉには、途中で分岐も合流もなく固定の１つの実行順に従い順番に実行される頂点の列が含まれることになる。【０１２８】
本発明では、異なる基本ブロックをまたいでの手続き間の依存関係については、先行手続きの出力データ転送の終了待ち合わせを行ってから、後続手続きを実行するようにする。また同一の基本ブロック内部で依存関係がある手続きの実行については、依存関係待ち合わせ付き非同期遠隔手続呼び出しにより手続きを実行する。即ち、基本ブロック間をまたいでの依存関係がある手続きについては先行手続きの出力データ転送を待ち合わせる命令の後に後続手続きを実行する命令を配置することにより、依存関係を満たすように手続き制御する。また同一の基本ブロック内部で依存関係がある手続きについては後続手続きの先行手続きの出力データ転送への依存関係を明示的に登録する命令を生成するようにして、依存関係を満たすように手続き制御する。このような構成とすることで、複雑な制御の依存関係が存在する基本ブロック間については、手続きの実行を待ち合わせにより実現することで制御プログラムの生成を容易なものとし、実行順が固定である同一基本ブロック内については、依存関係待ち合わせ付き非同期遠隔手続呼び出しにより無駄な待ち合わせ時間をなくすことができる。【０１２９】
以上により、基本ブロックを抽出することができる。即ち、図６のステップＳ１の後半部分の処理が実行される。【０１３０】
図２１は、プロセッサ毎に変数を生成する処理と依存関係を抽出する処理のフローチャートを示す図である。図２１に示す処理は、図６のステップＳ２の処理に相当する。【０１３１】
ステップＳ１で、縮約したプログラム依存グラフの各頂点について以降の処理を繰り返すループを開始する。【０１３２】
ステップＳ２で、着目頂点がプログラム・ブロック頂点の場合、その頂点の手続きを実行するプロセッサに対して、既に変数を作成済みか否かを判定する。実行するプロセッサについて変数が作成済みの場合はステップＳ４に進む。実行するプロセッサについて変数が未作成の場合は、ステップＳ３で変数を作成し、その後ステップＳ４に進む。【０１３３】
ステップＳ４で、変数の名前を付けかえる。即ち、例えばプロセッサＰＥ１に変数ｘを作成してある場合、この変数ｘがプロセッサＰＥ１の変数ｘであることを示すような変数名（例えばＰＥ１＿ｘ）に変更する。【０１３４】
以上の処理を、縮約したプログラム依存グラフの各頂点について実行する。その後、ステップＳ５で、逆／出力依存関係を抽出する。なお、逆依存関係及び出力依存関係は、図６のステップＳ１で既に求められている。このステップＳ５では、上記の変数名変更により依存関係が解消された逆依存関係及び出力依存関係を削除することで逆依存関係と出力依存関係を求めてもよい。【０１３５】
変数xに関する逆依存関係v→antix wを削除する条件は、
PE(v)≠PE(w)
かつ
¬∃ u∈V w→f x u∈E かつ PE(v)=PE(u)
である。ここでPE(v)は頂点vが実行されるプロセッサPEを表し、上記第１の条件では、逆依存関係にある頂点vとwが異なるプロセッサＰＥに割り付けられていることを示している。この場合、プロセッサ毎に変数が異なるので、このような逆依存関係は削除できる可能性がある。もし逆に、頂点vとwが同一プロセッサＰＥｉに対して割り付けられているとすると、そのプロセッサＰＥｉの変数x（例えばＰＥｉ＿ｘ）に関して逆依存関係が解消されないので、当該逆依存関係を削除することはできない。即ち、頂点vの処理が終了するまで、頂点wの実行を待ち合わせる必要がある。【０１３６】
また上記第２の条件では、頂点wで代入された値が頂点uで参照されることを想定している。ここで頂点vと頂点uが同一のプロセッサＰＥｉに割り付けられている場合、頂点wで代入された変数ｘの値が、頂点uで参照するためにこのプロセッサＰＥｉの変数xに転送されることとなる。頂点vもプロセッサＰＥｉ上の変数xを参照するため、頂点vの処理が終わるまで、頂点wからのデータ転送を待ち合わせる必要がある。【０１３７】
また変数xに関する出力依存関係v→outputx wを削除する条件は、
PE(v)≠PE(w)
かつ
¬∃u∈V  w→f x u∈E  PE(v)=PE(u)
である。上記第１の条件では、頂点vとwが異なるプロセッサＰＥに割り付けられていることを示している。もし逆に、頂点vとwが同一プロセッサＰＥｉに対して割り付けられているとすると、ＰＥｉの変数xに関して出力依存関係が解消されない。頂点vの結果を後続の頂点が利用するので、それらのデータ転送が完了するまで、頂点wの実行を待ち合わせる必要がある。【０１３８】
また上記第２の条件では、頂点wで代入された値が、頂点uで参照されることを想定する。ここで頂点vと頂点uが同一のプロセッサＰＥｉに割り付けられているとすると、頂点wで代入された値がＰＥｉの変数xに転送されることとなる。頂点vの結果を後続の頂点が利用するため、それらのデータ転送が完了するまで、頂点wからのデータ転送を待ち合わせる必要がある。なお、定義順序関係に相当する場合は、定義順序関係として扱い、出力依存関係は削除するものとする。【０１３９】
以上により、変数作成及び依存関係抽出を実行することができる。即ち、図６のステップＳ２の処理が実行される。【０１４０】
図２２は、制御プログラムを生成する処理のフローチャートを示す図である。図２２に示す処理は、図６のステップＳ４（及びＳ５）の処理に相当する。図２２の処理の入力は、実行順序関係が決定された縮退したプログラム依存グラフ及び基本ブロックの集合Ｂである。【０１４１】
ステップＳ１において、各初期定義頂点について以降の処理を繰り返すループを開始する。ここで初期定義頂点とは、変数の初期値が定まっている頂点のことをいう。【０１４２】
ステップＳ２で、出力フロー依存辺に対応するデータ転送を生成する。即ち、初期定義頂点からプログラム・ブロック頂点へ向かうフロー依存辺について、データ転送を行なう文を生成する。これは、初期のデータ転送を実行するためのものである。【０１４３】
各初期定義頂点について以上の処理が繰り返し実行されると、その後、ステップＳ３において、実行開始を指示する文を生成する。【０１４４】
ステップＳ４で、プログラムの先頭を表すエントリ頂点ｖEntryの直下の子頂点ｖを要素とする基本ブロックの集合をＢ'とする。ステップＳ５において、Ｂ'の各要素Ｂｉについて、ｉの昇順に以降の処理を繰り返すループを開始する。ステップＳ６で、Ｂｉについての手続き制御プログラムを生成する。【０１４５】
図２３は、基本ブロックの集合Ｂ'の要素Ｂｉ以下の手続き制御プログラムを生成する処理を示すフローチャートである。図２３の処理は、図２２のステップＳ６に相当する。図２３に示す処理の入力は縮退したプログラム依存グラフＰＤＧ及び基本ブロック要素Ｂｉである。【０１４６】
図２３のステップＳ１で、基本ブロックＢｉの要素（頂点）の種類を判定する。基本ブロックＢｉの要素である頂点の種類を判定することによって、基本ブロックＢｉがプログラム・ブロックの集合であるか、プレディケート頂点であるかが分かる。【０１４７】
ステップＳ１の判定の結果、基本ブロックＢｉがプログラム・ブロックの集合の場合は、基本ブロックＢｉに属する頂点の手続きを呼び出す文とその間の依存関係を登録する文とを生成することとなる。具体的には、まずステップＳ２において、基本ブロックＢｉの先行手続きの出力データに対する待ち合わせを生成する。この際、ブロック外からブロック内へのフロー依存関係に関して、データ転送の終了待ち合わせを生成する。また同時に、定義順序関係及び逆依存関係、出力依存関係に関しても、手続きあるいはデータ転送の終了待ち合わせを生成する。これは、メモリ上の同一変数に対して、データが読み書きされる順を保証するための待ち合わせである。ここでは、次の５種類の辺について待ち合わせを生成する。
１）Biの頂点wへのループ繰越フロー依存辺: v →lc(L)w w∈Bi
頂点v→頂点wへのデータ転送について待ち合わせを生成する。
２）Bx(i≠x)の頂点vからBiの頂点wへのループ独立フロー依存辺: v →liw u∈Bx w∈Bi(i≠x)
頂点v→頂点wへのデータ転送について待ち合わせを生成する。
３）Biの頂点wへの定義順序関係: v →do(u)w w∈Bi 
頂点v→頂点tへのデータ転送について待ち合わせを生成する。
４）Bx(i≠x)の頂点vからBiの頂点wへの逆依存関係:v →antiw v∈Bx w∈Bi(i≠x)
４−１）PE(v)=PE(w)の場合
頂点vの手続き呼び出しについて待ち合わせを生成する。
４−２）∃u∈V w→f x u∈E かつ PE(v)=PE(u)の場合
頂点vの手続き呼び出しについて待ち合わせを生成する。
５）Bx(i≠x)の頂点vからBiの頂点wへの出力依存関係: v →outputw v∈Bx w∈Bi(i≠x)
５−１）PE(v)=PE(w)の場合
頂点vから全ての頂点uへの変数xに関するデータ転送(∀e =(v→f x u) ∈E)について待ち合わせを生成する。
５−２）∃u∈V w→f x u∈E かつ PE(v)=PE(u)の場合
頂点vから全ての頂点tへの変数xに関するデータ転送(∀e =(v→f x t) ∈E)について待ち合わせを生成する。【０１４８】
即ち、ループ繰越フロー依存辺、ループ独立フロー依存辺、及び定義順序関係については無条件に待ち合わせを生成し、逆依存関係及び出力依存関係については上記に示される場合についてのみ待ち合わせを生成する。逆依存関係及び出力依存関係について、上記に示される場合以外は、前述のように削除されている。【０１４９】
次にステップＳ３で、基本ブロックＢｉの各頂点ｖについて、実行順序の順番で以降の処理を繰り返すループを開始する。ステップＳ４で、頂点ｖの非同期遠隔手続き呼び出しを生成する。【０１５０】
ステップＳ５−１で、基本ブロックＢｉに属する頂点から頂点ｖへのループ独立フロー依存関係に関して依存関係を登録する文を生成する。【０１５１】
ステップＳ５−２で、基本ブロックＢｉに属する頂点ｖから他のプロセッサへのデータ転送指示を行う文、及び先行する手続呼び出しに対する当該データ転送動作の依存関係登録を行う文を生成する。同一プロセッサ内の頂点に対しては、データ転送が不要なのでこの処理は行なわない。なお、基本ブロックを越えないデータ転送であるか基本ブロックを越えるデータ転送であるかに関わらず、制御プロセッサを介することなく後続手続きを実行するプロセッサに直接にデータ転送するように、データ転送指示を生成する。【０１５２】
更にステップＳ５−３で、逆依存関係／出力依存関係に基づく依存関係を登録する文を生成する。具体的には、次の２種類の辺について依存関係を登録する
１）Biの頂点vからBiの頂点wへの逆依存関係: v →antixw v,w ∈Bi
１−１）PE(v=PE(w)の場合
頂点vの手続き呼び出しから、頂点wの手続き呼び出しについて依存関係を登録する。
１−２）∃ u∈V w→f x u∈E かつ PE(v)=PE(u)の場合
頂点vの手続き呼び出しから、頂点w→頂点uのデータ転送について依存関係を登録する。
２）Biの頂点vからBiの頂点wへの出力依存関係: v→outputxw v,w∈Bi
２−１）PE(v)=PE(w)の場合
頂点vから全ての頂点uへの変数xに関するデータ転送(∀e =(v→f x u) ∈E)から、頂点wの手続き呼び出しについて依存関係を登録する。
２−２）∃u∈V w→f x u∈E かつ PE(v)=PE(u)の場合
頂点vから全ての頂点tへの変数xに関するデータ転送(∀e =(v→f x u) ∈E)から、頂点w→頂点uのデータ転送について依存関係を登録する。【０１５３】
基本ブロックＢｉの全ての頂点ｖについてこれらの処理を繰り返した後に、ステップＳ６で、実行開始を指示する文を生成する。【０１５４】
ステップＳ１の判定の結果、基本ブロックＢｉがプリディケート頂点ｖの場合は、頂点ｖの表す制御構造を生成する。まずステップＳ７で、基本ブロックＢｉの要素ｖの先行手続きに対する待ち合わせを生成する。即ち、条件式で参照する変数の値を確定するために、入力フロー依存辺について、先行する手続き呼び出しを待ち合わせる文を生成する。ここでは、当該頂点の外のループを繰り越すフロー依存辺と、当該頂点へのループ独立フロー依存辺との２種類のデータ依存入力辺について、出力元頂点の手続き終了待ち合わせを生成する。【０１５５】
次にステップＳ８で、頂点ｖのプレディケートの種類を判定する。プレディケートがループである場合には、ステップＳ９に進む。プレディケートがｉｆ文である場合には、ステップＳ１４に進む。【０１５６】
ステップＳ８の判定結果がループを示す場合には、ステップＳ９において、入力逐次プログラムにおいて相当するｆｏｒ文或いはｗｈｉｌｅ文を生成する。次にステップＳ１０において、頂点ｖへのL=Tの制御依存関係がある頂点ｕを要素とする基本ブロックの集合をＢ'とする。ステップＳ１１において、Ｂ'の各要素Ｂｉについて、ｉの昇順に以降の処理を繰り返すループを開始する。ステップＳ１２で、Ｂｉについての手続き制御プログラムを生成する。このステップＳ１２は入れ子構造となっており、ＢｉについてステップＳ１２を実行することは、このＢｉについて図２２全体のフローチャートを実行することに相当する。【０１５７】
ループの終了後、ステップＳ１３で、頂点ｖへのループを繰り越す先行手続きの終了待ち合わせを生成する。これは、ループを繰り越して条件を判定するので、本文の末尾に、条件式への入力データ待ち合わせ（自ループを繰り越す入力フロー依存辺）を行なう文を追加するものである。【０１５８】
ステップＳ８の判定結果がｉｆ文を示す場合には、ステップＳ１４において、ｉｆ文を生成する。次にステップＳ１５で、ｔｈｅｎ節を生成する。ステップＳ１６で、頂点ｖへのL=Tの制御依存関係がある頂点ｕを要素とする基本ブロックの集合をＢ'とする。ステップＳ１７において、Ｂ'の各要素Ｂｉについて、ｉの昇順に以降の処理を繰り返すループを開始する。ステップＳ１８で、Ｂｉについての手続き制御プログラムを生成する。このステップＳ１８は入れ子構造となっており、ＢｉについてステップＳ１８を実行することは、このＢｉについて図２２全体のフローチャートを実行することに相当する。なおステップＳ１７及びＳ１８で生成された文が、ｔｈｅｎ節の本文を構成することになる。【０１５９】
次にステップＳ１９で、頂点ｖへのL=Fの制御依存関係がある頂点ｕを要素とする基本ブロックの集合をＢ'とする。ステップＳ２０で、基本ブロックの集合Ｂ'が空集合であるか否かを判定し、空集合の場合には処理を終了する。基本ブロックの集合Ｂ'が空集合でない場合、ステップＳ２１で、ｅｌｓｅ節を生成する。ステップＳ２２で、Ｂ'の各要素Ｂｉについて、ｉの昇順に以降の処理を繰り返すループを開始する。ステップＳ２３で、Ｂｉについての手続き制御プログラムを生成する。このステップＳ２３は入れ子構造となっており、ＢｉについてステップＳ２３を実行することは、このＢｉについて図２２全体のフローチャートを実行することに相当する。なおステップＳ２２及びＳ２３で生成された文が、ｅｌｓｅ節の本文を構成することになる。【０１６０】
以上の処理を実行することで、基本ブロックＢｉ以下の手続き制御プログラムが生成される。図２４は、第１の実施例の場合の手続き制御プログラムの構造を示す図である。【０１６１】
図２４に示されるように、本発明の第１の実施例の場合の制御プログラムは、変数の宣言初期化部分４１、プレディケートへの入力データ待合わせ部分４２、プレディケートの制御構造の生成部分４３、基本ブロックへの依存関係待ち合わせ部分４４、基本ブロック内のスレッド起動と依存関係登録部分４５、及び、手続き及びデータ転送の待ち合わせ終了処理部分４６を含む。基本ブロック内のスレッド起動と依存関係登録部分４５では、非同期遠隔手続き呼び出しの起動指示、手続きの出力データの転送指示、依存関係の登録、手続きのディスパッチ（実行開始）を行う。【０１６２】
なおプログラム・ブロックは手続きとして呼び出されることとなる。ここでは、分散メモリを想定しているため、入力データは予め実行するプロセッサ上に転送されているものとする。そのため、入出力変数のためのデータ領域は予め用意する。また、実行結果は、実行するプロセッサ上に格納し、必要とされるプロセッサへ適宜その値を転送するものとする（このデータ転送は制御ブログラムにて制御する）。次に、頂点の部分プログラムが使用、定義する変数で、入力の変数以外を求め、変数の宣言を生成する。部分プログラムを出力し、最後に、適切なアドレスに出力する変数の値を代入する文を生成する。【０１６３】
以下に、本発明の第２の実施例を説明する。この第２の実施例は、手続き毎に使用する可能性のある変数の複製領域を作成する方式に対応する。以下においては、第２の実施例と第１の実施例とが相違する部分について主に説明する。特に説明のない部分については、第２の実施例と第１の実施例とは基本的に同様である。【０１６４】
図２５は、第２の実施例による手続き制御プログラムの生成方法を示すフローチャートである。まずステップＳ１で、変数の生成を行う。即ち、各プログラム・ブロック頂点で読み書きする変数について、当該頂点を実行するプロセッサ上に頂点毎（手続き毎）の変数を生成する。更に、生成した変数を利用するために名前を付け替える。このように、手続き毎に変数を生成することによって、逆依存関係／出力依存関係を削減でき、実行順序関係の求め方に自由度が上がる。これを考慮して、ステップＳ１及びステップＳ２の順序を、第１の実施例とは入れ替えてある。【０１６５】
次にステップＳ２で、頂点間の実行順序関係を計算し、求めた実行順序(制御の流れ)から基本ブロックを抽出する。この処理は、第１の実施例において説明した図６のステップＳ１と同様の処理である。なお上記のように手続き毎に変数を作成することにより、全ての逆依存関係及び出力依存関係が削除されることになる。従って、逆依存関係及び出力依存関係については抽出する必要がない。【０１６６】
次にステップＳ３で、制御プログラムの変数と初期値代入文を生成する。この際、静的単一代入形式（非特許文献５、３２０頁）に変換することで、並列性を向上されることも考えられる。ここで変数としては、データの受け渡しを行うための変数を生成する。【０１６７】
次にステップＳ４で、Ｓ２で求めた実行順序順に制御依存部分グラフを探索し、制御プログラムを生成する。プリディケート頂点については、その頂点が表す制御構造を生成する。そして、制御構造の本文として、当該頂点の下位の部分木の制御プログラムを生成する。基本ブロックについては依存関係に基づく非同期遠隔手続きおよびデータ転送を行う文を生成する。この処理は、第１の実施例の図２２に示す処理と同様である。但し、基本ブロックＢｉについての手続き制御プログラムを生成する段階（図２２のステップＳ６に対応する処理）の内容が、第１の実施例の場合と異なる。【０１６８】
更にステップＳ５で、手続きの終了の待ち合わせを行う文を生成する。【０１６９】
図２６は、手続き毎に変数を生成する処理のフローチャートを示す図である。図２６に示す処理は、図２５のステップＳ１の処理に相当する。【０１７０】
ステップＳ１で、縮約したプログラム依存グラフの各頂点ｖについて以降の処理を繰り返すループを開始する。【０１７１】
ステップＳ２で、着目頂点ｖがプログラム・ブロック頂点の場合、その頂点の手続きを実行するプロセッサに対して、既にその頂点（手続き）に対応する変数を作成済みか否かを判定する。実行するプロセッサについて変数が作成済みの場合はステップＳ４に進む。実行するプロセッサについて変数が未作成の場合は、ステップＳ３で変数を作成し、その後ステップＳ４に進む。【０１７２】
ステップＳ４で、変数の名前を付けかえる。即ち、例えばプロセッサＰＥ１に手続きＰ１の変数ｘを作成してある場合、この変数ｘがプロセッサＰＥ１の手続きＰ１の変数ｘであることを示すような変数名（例えばＰＥ１＿Ｐ１＿ｘ）に変更する。以上の処理を、縮約したプログラム依存グラフの各頂点について実行する。その後、ステップＳ５で、依存関係を抽出する。【０１７３】
前述のように、第２の実施例における図２５のステップＳ４の制御プログラム生成処理は、第１の実施例の図２２に示す処理と同様である。但し、基本ブロックＢｉについての手続き制御プログラムを生成する段階（図２２のステップＳ６に対応する処理）の内容が、第１の実施例の場合と異なる。【０１７４】
図２７は、第２の実施例における基本ブロックの集合Ｂ'の要素Ｂｉ以下の手続き制御プログラムを生成する処理を示すフローチャートである。図２７に示す処理の入力は縮退したプログラム依存グラフＰＤＧ及び基本ブロック要素Ｂｉである。以下において、図２７のフローチャートと図２３のフローチャートとで同一の部分については説明を省略し、異なる部分についてのみ説明する。【０１７５】
図２７のステップＳ２では、基本ブロックＢｉの先行手続きに対する待ち合わせを生成するが、逆依存関係及び出力依存関係は考慮する必要がない。従って、ここでは次の３種類の辺について待ち合わせを生成する。
１）Biの頂点wへのループ繰越フロー依存辺: u →lc(L)w w∈Bi
頂点v→頂点wへのデータ転送について待ち合わせを生成する。
２）Bx(i≠x)の頂点uからBiの頂点wへのループ独立フロー依存辺: u →liw u∈Bx w∈Bi(i≠x)
頂点v→頂点wへのデータ転送について待ち合わせを生成する。
３）Biの頂点wへの定義順序関係: u →do(t)w w∈Bi
頂点v→頂点tへのデータ転送について待ち合わせを生成する。【０１７６】
また図２７に示す第２の実施例では、逆依存関係及び出力依存関係は考慮する必要がないので、図２３に示すステップＳ５−３に相当する処理は実行されない。即ち、逆依存関係／出力依存関係に基づく依存関係を登録する文を生成する必要はない。【０１７７】
以上のようにして、第２の実施例における制御プログラムを生成することができる。第２の実施例の場合の手続き制御プログラムの構造は、第１の実施例の場合の手続き制御プログラムの構造と同様である。また手続きの生成についても、第１の実施例の場合と同様である。【０１７８】
以下に、本発明の第３の実施例を説明する。この第３の実施例は、プロセッサ毎に使用する可能性のある変数の複製領域を作成し、逆依存関係又は出力依存関係による待ち合わせを削減できる場合は、手続き毎の異なる領域を作成する方式に対応する。【０１７９】
図２８は、第３の実施例による手続き制御プログラムの生成方法を示すフローチャートである。【０１８０】
まずステップＳ１で、頂点間の実行順序関係を計算し、求めた実行順序(制御の流れ)から基本ブロックを抽出する。縮退したプログラム依存グラフは、データ及び制御の依存関係のみを表現したグラフであって頂点間の実行順序は明示されていないので、これから適切な制御の流れを再構成する必要がある。そこで、縮退したプログラム依存グラフの制御依存部分木について、各中間節点の子頂点の実行順序を計算する。この結果、頂点間の半順序関係を求めることができる。この実行順序関係を用いて、制御プログラムを生成することとなる。またその課程において、逆依存関係、出力依存関係が抽出される。更に、求めた実行順序(制御の流れ)から、基本ブロックを抽出する。この処理は、第１の実施例において説明した図６のステップＳ１と同一の処理である。【０１８１】
次にステップＳ２で、変数の生成を行う。即ち、各プログラム・ブロック頂点で読み書きする変数について、当該頂点を実行するプロセッサ上に変数を生成する。更に、生成した変数を利用するために名前を付け替える。本実施例では、まず最初にプロセッサ毎に使用する可能性のある変数の複製領域を作成し、その後逆依存関係及び出力依存関係をチェックし、逆依存関係又は出力依存関係による待ち合わせを削減できる場合には手続き毎に異なる変数の複製領域を作成する。【０１８２】
次にステップＳ３で、制御プログラムの変数と初期値代入文を生成する。この際、静的単一代入形式（非特許文献５、３２０頁）に変換することで、並列性を向上されることも考えられる。ここで変数としては、データの受け渡しを行うための変数を生成する。【０１８３】
次にステップＳ４で、Ｓ２で求めた実行順序順に制御依存部分グラフを探索し、制御プログラムを生成する。プリディケート頂点については、その頂点が表す制御構造を生成する。そして、制御構造の本文として、当該頂点の下位の部分木の制御プログラムを生成する。基本ブロックについては依存関係に基づく非同期遠隔手続きおよびデータ転送を行う文を生成する。この処理は、第１の実施例の図２２に示す処理と同様である。但し、基本ブロックＢｉについての手続き制御プログラムを生成する段階（図２２のステップＳ６に対応する処理）については、第２の実施例の場合と同一の処理を実行する。【０１８４】
更にステップＳ５で、手続きの終了の待ち合わせを行う文を生成する。【０１８５】
図２９は、変数を生成する処理のフローチャートを示す図である。図２９に示す処理は、図２８のステップＳ２の処理に相当する。【０１８６】
ステップＳ１で、縮約したプログラム依存グラフの各頂点ｖについて以降の処理を繰り返すループを開始する。【０１８７】
ステップＳ２で、着目頂点ｖがプログラム・ブロック頂点の場合、その頂点の手続きを実行するプロセッサに対して、既にその頂点（手続き）に対応する変数を作成済みか否かを判定する。実行するプロセッサについて変数が作成済みの場合はステップＳ４に進む。実行するプロセッサについて変数が未作成の場合は、ステップＳ３で変数を作成し、その後ステップＳ４に進む。【０１８８】
ステップＳ４で、変数の名前を付けかえる。即ち、例えばプロセッサＰＥ１に変数ｘを作成してある場合、この変数ｘがプロセッサＰＥ１の変数ｘであることを示すような変数名（例えばＰＥ１＿ｘ）に変更する。以上の処理を、縮約したプログラム依存グラフの各頂点について実行する。【０１８９】
その後、ステップＳ５で、全ての逆依存関係及び出力依存関係を探索して、各依存関係に対して以下の処理を繰り返し実行する。【０１９０】
ステップＳ６で、着目している依存関係（逆依存関係又は出力依存関係）が、ステップＳ４の変数名変更により解消されているか否かを判断する。この依存関係が解消されているか否かの判断は、図２１のステップＳ５での依存関係の解消及び削除の判断と同様である。依存関係が解消されているものについては、その依存関係を削除する。依存関係が解消されていない場合は、ステップＳ７で、処理を実行するプロセッサ上に、着目依存関係に対応する手続きの変数を複製して作成し、その後ステップＳ８に進む。【０１９１】
ステップＳ８で、変数の名前を付けかえる。即ち、例えばプロセッサＰＥ１に手続きＰ１の変数ｘ及び手続きＰ２の変数ｘを作成してある場合、これらの変数の変数名を例えばＰＥ１＿Ｐ１＿ｘ及びＰＥ１＿Ｐ２＿ｘのように各プロセッサ及び各手続きに固有の名前に変更する。以上の処理を、各逆依存関係及び出力依存関係について実行する。【０１９２】
前述のように、第３の実施例における図２８のステップＳ４の制御プログラム生成処理は、第１の実施例の図２２に示す処理と同様である。但し、基本ブロックＢｉについての手続き制御プログラムを生成する段階（図２２のステップＳ６に対応する処理）の内容が、第２の実施例の場合と同一の処理、即ち図２７に示すフローチャートの処理となる。即ち、逆依存関係及び出力依存関係は考慮する必要がないので、逆依存関係及び出力依存関係についての待ち合わせ及び依存関係の登録処理は実行されない。【０１９３】
以上のようにして、第３の実施例における制御プログラムを生成することができる。第３の実施例の場合の手続き制御プログラムの構造は、第１の実施例の場合の手続き制御プログラムの構造と同様である。また手続きの生成についても、第１の実施例の場合と同様である。【０１９４】
以下に本発明の第４乃至第６の実施例について説明する。これら第４乃至第６の実施例は、それぞれ第１乃至第３の実施例に対して、定義順序関係に関するデータ転送を高速化するように修正を加えたものである。【０１９５】
図３０は、（ａ）入力逐次プログラムの部分及び（ｂ）対応する縮退プログラム依存グラフを示す図である。図３０（ａ）に示す入力逐次プログラムからプログラム依存グラフを生成し、適宜頂点を結合して縮退することにより、（ｂ）に示す縮退プログラム依存グラフが生成される。【０１９６】
頂点vで定義されたxの値と、頂点wで定義されたxの値の何れかが頂点uで使われる可能性があるとき、頂点vのxから頂点wのxに頂点uに関する定義順序 （def-order dependence）の関係があるという。頂点vの手続きで求めた変数xの値と、頂点wの手続きで求めた変数xの値が、それぞれ頂点uに転送されることとなる。頂点vの実行時点では、条件式（ｉｆ（ｐ））の判定結果が不明なため、どちらの値が頂点uで使用されるのかは未定である。そこで、頂点vの結果を投機的に頂点uに対して転送し、条件判定の結果、値を上書きすることが判明した時点で、先行する転送をキャンセルする。その上で、頂点wの結果を頂点uに対して転送する。これは、明示的にデータ転送キャンセルの指示を生成する方法、又は投機実行が正しくなかったことが判明した時点でデータ転送キャンセルし正しいデータ転送を開始するマルチ・プロセッサ向け並列プログラム実行装置を利用する方法、の何れかの方法を用いて実行することができる。以下の説明では、明示的にデータ転送キャンセルの指示を生成する方法を用いた例について説明する。【０１９７】
以下に本発明の第４の実施例を説明する。第４の実施例は、第１の実施例と比較して、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）におけるステップＳ２の処理内容のみが異なる。他の処理については、第４の実施例と第１の実施例とは同一である。【０１９８】
第１の実施例では、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）のステップＳ２において、定義順序関係について待ち合わせを生成していた。それに対して第４の実施例では、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）のステップＳ２において、Biの頂点wへの定義順序関係: u →do(t)w w∈Biについては、データ転送u →f tのキャンセルを生成する（明示的にキャンセルする）。即ち、定義順序関係については、待ち合わせではなく、先行するデータ転送をキャンセルする（ライブラリで実現する場合は、基本ブロック内の上書きするデータ転送指示によりキャンセルされるので、ここでのキャンセルも不要である）。【０１９９】
このようにして第４の実施例では、第１の実施例に対して定義順序関係に関するデータ転送のキャンセル指示を追加することにより、処理をより高速化することが可能となる。【０２００】
以下に本発明の第５の実施例を説明する。第５の実施例は、第２の実施例と比較して、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）におけるステップＳ２の処理内容のみが異なる。他の処理については、第５の実施例と第２の実施例とは同一である。【０２０１】
第２の実施例では、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）のステップＳ２において、定義順序関係について待ち合わせを生成していた。それに対して第５の実施例では、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）のステップＳ２において、Biの頂点wへの定義順序関係: u →do(t)w w∈Biについては、データ転送u →f tのキャンセルを生成する（明示的にキャンセルする）。即ち、定義順序関係については、待ち合わせではなく、先行するデータ転送をキャンセルする（ライブラリで実現する場合は、基本ブロック内の上書きするデータ転送指示によりキャンセルされるので、ここでのキャンセルも不要である）。【０２０２】
このようにして第５の実施例では、第２の実施例に対して定義順序関係に関するデータ転送のキャンセル指示を追加することにより、処理をより高速化することが可能となる。【０２０３】
以下に本発明の第６の実施例を説明する。第６の実施例は、第３の実施例と比較して、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）におけるステップＳ２の処理内容のみが異なる。他の処理については、第６の実施例と第３の実施例とは同一である。【０２０４】
第３の実施例では、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）のステップＳ２において、定義順序関係について待ち合わせを生成していた。それに対して第６の実施例では、基本ブロックＢｉについての手続き制御プログラムを生成する処理（図２３）のステップＳ２において、Biの頂点wへの定義順序関係: u →do(t)w w∈Biについては、データ転送u →f tのキャンセルを生成する（明示的にキャンセルする）。即ち、定義順序関係については、待ち合わせではなく、先行するデータ転送をキャンセルする（ライブラリで実現する場合は、基本ブロック内の上書きするデータ転送指示によりキャンセルされるので、ここでのキャンセルも不要である）。【０２０５】
このようにして第６の実施例では、第３の実施例に対して定義順序関係に関するデータ転送のキャンセル指示を追加することにより、処理をより高速化することが可能となる。【０２０６】
図３１は、本発明による並列化プログラム生成方法を実行する装置の構成を示す図である。【０２０７】
図３１に示されるように、本発明による並列化プログラム生成方法を実行する装置は、例えばパーソナルコンピュータやエンジニアリングワークステーション等のコンピュータにより実現される。図３１の装置は、コンピュータ５１０と、コンピュータ５１０に接続されるディスプレイ装置５２０、通信装置５２３、及び入力装置よりなる。入力装置は、例えばキーボード５２１及びマウス５２２を含む。コンピュータ５１０は、ＣＰＵ５１１、ＲＡＭ５１２、ＲＯＭ５１３、ハードディスク等の二次記憶装置５１４、可換媒体記憶装置５１５、及びインターフェース５１６を含む。【０２０８】
キーボード５２１及びマウス５２２は、ユーザとのインターフェースを提供するものであり、コンピュータ５１０を操作するための各種コマンドや要求されたデータに対するユーザ応答等が入力される。ディスプレイ装置５２０は、コンピュータ５１０で処理された結果等を表示すると共に、コンピュータ５１０を操作する際にユーザとの対話を可能にするために様々なデータ表示を行う。通信装置５２３は、遠隔地との通信を行なうためのものであり、例えばモデムやネットワークインターフェース等よりなる。【０２０９】
本発明による並列化プログラム生成方法は、コンピュータ５１０が実行可能なコンピュータプログラムとして提供される。このコンピュータプログラムは、可換媒体記憶装置５１５に装着可能な記憶媒体Ｍに記憶されており、記憶媒体Ｍから可換媒体記憶装置５１５を介して、ＲＡＭ５１２或いは二次記憶装置５１４にロードされる。或いは、このコンピュータプログラムは、遠隔地にある記憶媒体（図示せず）に記憶されており、この記憶媒体から通信装置５２３及びインターフェース５１６を介して、ＲＡＭ５１２或いは二次記憶装置５１４にロードされる。【０２１０】
キーボード５２１及び／又はマウス５２２を介してユーザからプログラム実行指示があると、ＣＰＵ５１１は、記憶媒体Ｍ、遠隔地記憶媒体、或いは二次記憶装置５１４からプログラムをＲＡＭ５１２にロードする。ＣＰＵ５１１は、ＲＡＭ５１２の空き記憶空間をワークエリアとして使用して、ＲＡＭ５１２にロードされたプログラムを実行し、適宜ユーザと対話しながら処理を進める。なおＲＯＭ５１３は、コンピュータ５１０の基本動作を制御するための制御プログラムが格納されている。【０２１１】
上記コンピュータプログラム（並列化プログラム生成プログラム即ち並列化プログラム生成コンパイラ）を実行することにより、コンピュータ５１０が、上記各実施例で説明されたように並列化プログラム生成方法を実行する。【０２１２】
以上、本発明を実施例に基づいて説明したが、本発明は上記実施例に限定されるものではなく、特許請求の範囲に記載の範囲内で様々な変形が可能である。
【図１】
2008120367.tif 000003
【図２】
2008120367.tif 000004
【図３】
2008120367.tif 000005
【図４】
2008120367.tif 000006
【図５】
2008120367.tif 000007
【図６】
2008120367.tif 000008
【図７】
2008120367.tif 000009
【図８】
2008120367.tif 000010
【図９】
2008120367.tif 000011
【図１０】
2008120367.tif 000012
【図１１】
2008120367.tif 000013
【図１２】
2008120367.tif 000014
【図１３】
2008120367.tif 000015
【図１４】
2008120367.tif 000016
【図１５】
2008120367.tif 000017
【図１６】
2008120367.tif 000018
【図１７】
2008120367.tif 000019
【図１８】
2008120367.tif 000020
【図１９】
2008120367.tif 000021
【図２０】
2008120367.tif 000022
【図２１】
2008120367.tif 000023
【図２２】
2008120367.tif 000024
【図２３】
2008120367.tif 000025
【図２４】
2008120367.tif 000026
【図２５】
2008120367.tif 000027
【図２６】
2008120367.tif 000028
【図２７】
2008120367.tif 000029
【図２８】
2008120367.tif 000030
【図２９】
2008120367.tif 000031
【図３０】
2008120367.tif 000032
【図３１】
2008120367.tif 000033
【国際調査報告】
2008120367.tif 000034
2008120367.tif 000035
2008120367.tif 000036
2008120367.tif 000037