JPH01295336A - クリティカルセクション最適化方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は情報処理装置分野に利用される。

本発明は、マルチプロセッサシステムにおける、プログ
ラムの実行のターンアラウンドタイムを減少させるため
のコンパイラのクリティカルセクション最適化方式に関
する。

本明細書で、クリティカルセクションとは、プログラム
の中で、２台以上のプロセッサで同時に実行してはいけ
ない文の集まりをいう。

〔概要〕

本発明は、マルチプロセッサシステムにおけるクリティ
カルセクション最適化方式において、プログラム中でク
リティカルセクションと指定された部分の中の文を一つ
ずつ取り出し、この文中のプロセッサ間で共有されてい
ない要素のみを含むローカル演算を検出し、この検出さ
れたローカル演算を前記クリティカルセクションの前に
移動させることにより、 前記ローカル演算を並列実行可能とし、プログラムの実
行のターンアラウンドタイムの短縮化を図ったものであ
る。

〔従来の技術〕

マルチプロセッサシステムでは、プログラムのいくつか
の部分を複数のプロセッサで同時並列に実行することに
よって、プログラムのターンアラウンドタイムを短縮す
ることができる。

しかし、プロセッサ間で共有している要素を更新する部
分など、同時に実行すると結果が不正になるときは、そ
の部分をクリティカルセクションと指定することにより
、従来はコンパイラが指定された部分全体の同時実行を
禁止していた。

〔発明が解決しようとする問題点〕

前述した従来の技術では、指定されたクリティカルセク
ション内に、プロセッサごとに独立に実行してもよい演
算が含まれている場合であっても、あるプロセッサがク
リティカルセクションを実行中は、対応するクリティカ
ルセクションの実行に入ろうとした他のプロセッサは、
クリティカルセクション実行中のプロセッサがクリティ
カルセクション内の全演算の実行を終了するまで待たさ
れる。従ってこのような場合、並列実行の効率が悪くな
り、ターンアラウンドタイムを短縮することができない
欠点があった。

本発明の目的は、前記の欠点を除去することにより、ク
リティカルセクション内にローカルな要素の演算を含む
場合、それをクリティカルセクションの外に移動して実
行することにより、そのローカルな要素の演算を並列実
行可能とし、プログラムの実行のターンアラウンドタイ
ムを短縮するクリティカルセクション最適化方式を提供
することである。

〔問題点を解決するための手段〕

本発明は、プログラムが格納されたプログラム部および
コンパイラが格納されたコンパイラ部を備えたマルチプ
ロセッサシステムにおけるクリティカルセクション最適
化方式において、前記コンパイラは、前記プログラム中
でクリティカルセクションと指定された部分の中の文を
一つずつ取り出す文取り出し手段と、前記文の中のプロ
セッサ間で共有されていない要素のみを含むローカル演
算を検出するローカル演算検出手段と、検出されたロー
カル演算を前記クリティカルセクションの前に移動する
ローカル演算移動手段とを含むことを特徴とする。

〔作用〕

文取り手段は、プログラム中でクリティカルセクション
と指定された部分の中の文を一つずつ取り出し、ローカ
ル演算検出手段は取り出された文の中のプロセッサ間で
共有されていない要素のみを含むローカル演算を検出す
る。そしてローカル演算移動手段は、検出されたローカ
ル演算を前記クリティカルセクションの前に移動する。

従って、前記ローカル演算は並列実行することができる
ようになり、プログラムの実行のターンアラウンドタイ
ムを短縮することが可能となる。

〔実施例〕

以下、本発明の実施例について図面を参照して説明する
。

第１図は本発明の一実施例の要部を示すブロック構成図
である。

本実施例は、プログラム１０が格納されたプログラム部
１０ａおよびコンパイラ２０が格納されたコンパイラ部
２０ａを備えたマルチプロセッサシステムにおけるクリ
ティカルセクション最適化方式において、 コンパイラ２０は、プログラム１０中でクリティカルセ
クションと指定された部分の中の文２１を一つずつ取り
出す文取り出し手段２２と、文２１の中のプロセッサ間
で共有されていない要素のみを含むローカル演算を検出
するローカル演算検出手段２３と、検出されたローカル
演算を前記クリティカルセクションの前に移動するロー
カル演算移動手段２４とを含んでいる。

本発明の特徴は、第１図において、文取り出し手段２２
、ローカル演算検出手段２３およびローカル演算移動手
段２４を設けたことにある。

次に本実施例の動作について説明する。プログラム部１
０ａから取り出されたプログラム１０は、コンパイラ部
２０ａに格納されたコンパイラ２０に人力される。文取
り出し手段２２はプログラムの文２１を順に調ベクリテ
ィカルセクションに含まれる文を取り出す。ローカル演
算検出手段２３は、その文中に、ローカル変数のみから
なるローカル演算があるかどうかを調べる。ローカル演
算移動手段２４は、ローカル演算検出手段２３によって
、ローカル演算があるとされた場合に、そのローカル演
算を元の文から分離して別の文としてクリティカルセク
ションの前に移動する。

次に、本実施例によるコンパイラの処理手順を第２図に
示す流れ図を参照してより詳細に説明する。

文取り出し手段２２は、プログラムの文２１を順に取り
出して（ステップ３１）、クリティカルセクションに含
まれる文かどうかを調べる（ステップ３２）。

クリティカルセクションに含まれる文でなければステッ
プ３１を繰り返す。クリティカルセクションに含まれる
文であるとき、ローカル演算検出手段２３は、その文２
１中に、ローカル変数のみからなるローカル演算がある
かどうかを調べる（ステップ３３）。ローカル演算がな
ければ次の文２１を調べるためステップ３１へ行く。ロ
ーカル演算があればローカル演算移動手段２４は、その
ローカル演算を元の文から分離して別の文としクリティ
カルセクションの前に移動する（ステップ３４）。

次に、第３図および第４図を参照して、特に前述したス
テップ３２よりステップ３４までの手順を、具体例につ
いて説明する。

第３図はプログラム１０の一例で変更前のプログラムを
示し、第４図はその変更後のプログラムを示す。

文取り出し手段２２は、文４１をクリティカルセクショ
ンに含まれる文として取り出す。ローカル演算検出手段
２３は、この文４１中の、ＡおよびＢがローカル変数で
あるので、Ａ＊Ｂをローカル演算として検出する。ロー
カル演算移動手段２４は、−時ローカル変数Ｔを作り、
ローカル演算Ａ＊ＢをＴに代入する文５１を新たに作っ
てクリティカルセクションの前に置く。そしてもとの文
４１のローカル演算Ａ＊ＢをＴに置き換え文５２とする
。

〔発明の効果〕

以上説明したように、本発明は、マルチプロセッサシス
テムにおいて、クリティカルセクション内にローカルな
要素の演算を含む場合、それをクリティカルセクション
の外に移動して実行することにより、そのローカルな要
素の演算を並列実行可能とし、プログラムの実行の最適
化を行いターンアラウンドタイムを短縮することができ
る効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の要部を示すブロック構成図
。 第２図はその動作を示す流れ図。 第３図はそのプログラムの一例を示す説明図。 第４図は第３図のプログラムに対応する変形されたプロ
グラムを示す説明図。 １ト・・プログラム、ｌＯａ・・・プログラム部、２０
・・・コンパイラ、２０ａ・・・コンパイラ部、２１．
４１．５１．５２・・・文、２２・・・文取り出し手段
、２３・・・ローカル演算検出手段、２４・・・ローカ
ル演算移動手段、３１〜３４・・・ステップ。

Claims (1)

1. 【特許請求の範囲】 １、プログラム（１０）が格納されたプログラム部（１
   ０ａ）およびコンパイラ（２０）が格納されたコンパイ
   ラ部（２０ａ）を備えたマルチプロセッサシステムにお
   けるクリティカルセクション最適化方式において、 前記コンパイラは、 前記プログラム中でクリティカルセクションと指定され
   た部分の中の文（２１）を一つずつ取り出す文取り出し
   手段（２２）と、 前記文の中のプロセッサ間で共有されていない要素のみ
   を含むローカル演算を検出するローカル演算検出手段（
   ２３）と、 検出されたローカル演算を前記クリティカルセクション
   の前に移動するローカル演算移動手段（２４）と を含むことを特徴とするクリティカルセクション最適化
   方式。