JP2000172510A - 資源割付装置及び資源割付プログラムが記録されたコンピュータ読み取り可能な記録媒体 - Google Patents
資源割付装置及び資源割付プログラムが記録されたコンピュータ読み取り可能な記録媒体Info
- Publication number
- JP2000172510A JP2000172510A JP34452498A JP34452498A JP2000172510A JP 2000172510 A JP2000172510 A JP 2000172510A JP 34452498 A JP34452498 A JP 34452498A JP 34452498 A JP34452498 A JP 34452498A JP 2000172510 A JP2000172510 A JP 2000172510A
- Authority
- JP
- Japan
- Prior art keywords
- resource
- resource element
- allocation
- allocated
- allocation target
- 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.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】
【課題】 レジスタ割り付けにより発生する転送命令の
発生と、並列実行性を損なう命令間の依存の発生を抑え
て、より目的プログラムのコードサイズ及び実行時間を
減少させる 【解決手段】資源独立関係にある割付対象が、それら割
付済み割付対象と直接的な生存区間の連続性及び／又は
間接的な生存区間の連続性を有しているかを判定すると
共に、次に資源要素を割り付けるべき割付対象と、既に
資源要素が割り付けられた割付対象とが直接的な生存区
間の連続性及び／又は間接的な生存区間の連続性を有し
ているかを判定し、生存区間の連続性が判定された割付
対象に割り付けられたそれぞれの次に資源要素を割り付
けるべき割付対象に割り付けた場合に、機械語プログラ
ムに与え得る利害得失を資源要素毎に定量化する。
発生と、並列実行性を損なう命令間の依存の発生を抑え
て、より目的プログラムのコードサイズ及び実行時間を
減少させる 【解決手段】資源独立関係にある割付対象が、それら割
付済み割付対象と直接的な生存区間の連続性及び／又は
間接的な生存区間の連続性を有しているかを判定すると
共に、次に資源要素を割り付けるべき割付対象と、既に
資源要素が割り付けられた割付対象とが直接的な生存区
間の連続性及び／又は間接的な生存区間の連続性を有し
ているかを判定し、生存区間の連続性が判定された割付
対象に割り付けられたそれぞれの次に資源要素を割り付
けるべき割付対象に割り付けた場合に、機械語プログラ
ムに与え得る利害得失を資源要素毎に定量化する。
Description
【０００１】
【発明の属する技術分野】本発明は、高級言語で書かれ
たソースプログラムを機械語プログラムなどの目的プロ
グラムに翻訳するコンパイラにおいてプログラム中の変
数をレジスタ、メモリ等の資源へ割り付ける資源割付装
置及び資源割付プログラムが記録されたコンピュータ読
み取り可能な記録媒体に関する。
たソースプログラムを機械語プログラムなどの目的プロ
グラムに翻訳するコンパイラにおいてプログラム中の変
数をレジスタ、メモリ等の資源へ割り付ける資源割付装
置及び資源割付プログラムが記録されたコンピュータ読
み取り可能な記録媒体に関する。
【０００２】
【従来の技術】近年、組み込み用途向けマイクロプロセ
ッサの並列実行性の向上による高性能化により、通信、
画像、音声処理など、マルチメディア処理を行なう情報
機器に、組み込み用途向けマイクロプロセッサが使用さ
るようになって来ている。また、組み込み用途向けマイ
クロプロセッサとともに、情報機器に組み込まれるプロ
グラムに対しては、従来から要求されているプログラム
サイズの縮小化の他に、並列実行による実行時間の短縮
化も強く要求されている。
ッサの並列実行性の向上による高性能化により、通信、
画像、音声処理など、マルチメディア処理を行なう情報
機器に、組み込み用途向けマイクロプロセッサが使用さ
るようになって来ている。また、組み込み用途向けマイ
クロプロセッサとともに、情報機器に組み込まれるプロ
グラムに対しては、従来から要求されているプログラム
サイズの縮小化の他に、並列実行による実行時間の短縮
化も強く要求されている。
【０００３】さらにマルチメディア処理を行なう情報機
器に組み込まれるプログラムの規模が増大しており、プ
ログラムの開発コスト、保守、移植性などの観点から、
高級プログラミング言語を用いてプログラム開発できる
ことも、強く要求されている。そのため、高級プログラ
ミング言語で記述されたプログラムを、マイクロプロセ
ッサで直接実行できる機械語プログラムに変換するコン
パイラには、よりプログラムサイズが小さく且つ並列実
行性を向上させた機械語プログラムを生成することが要
求される。
器に組み込まれるプログラムの規模が増大しており、プ
ログラムの開発コスト、保守、移植性などの観点から、
高級プログラミング言語を用いてプログラム開発できる
ことも、強く要求されている。そのため、高級プログラ
ミング言語で記述されたプログラムを、マイクロプロセ
ッサで直接実行できる機械語プログラムに変換するコン
パイラには、よりプログラムサイズが小さく且つ並列実
行性を向上させた機械語プログラムを生成することが要
求される。
【０００４】ところで、高級プログラミング言語を用い
れば、プログラマはプログラム中の数値の保持、演算、
転送等の処理を、変数を被演算子とした演算で表現でき
る。この変数はプログラマによって任意に定義され、ま
た必要な個数だけ用いられるため、プログラマは自由に
プログラムを記述できる。また記述されたプログラム
（ソースプログラムと称す。）はコンパイルされること
よりコンピュータが理解可能な機械語プログラムとな
る。当該機械語プログラム中の演算は機械語命令によっ
て表現され、また当該機械語命令はレジスタあるいはメ
モリを被演算子とするので、上記変数にはレジスタある
いはメモリを割り付ける必要がある。この割り付け処理
は資源割付処理と称される。この資源割付処理はマイク
ロプロセッサの能力を最大限まで引き出すようなソフト
ウェアの開発においては特に重要視される。
れば、プログラマはプログラム中の数値の保持、演算、
転送等の処理を、変数を被演算子とした演算で表現でき
る。この変数はプログラマによって任意に定義され、ま
た必要な個数だけ用いられるため、プログラマは自由に
プログラムを記述できる。また記述されたプログラム
（ソースプログラムと称す。）はコンパイルされること
よりコンピュータが理解可能な機械語プログラムとな
る。当該機械語プログラム中の演算は機械語命令によっ
て表現され、また当該機械語命令はレジスタあるいはメ
モリを被演算子とするので、上記変数にはレジスタある
いはメモリを割り付ける必要がある。この割り付け処理
は資源割付処理と称される。この資源割付処理はマイク
ロプロセッサの能力を最大限まで引き出すようなソフト
ウェアの開発においては特に重要視される。
【０００５】次に従来技術の説明を行うがその前に、本
発明に関係する代表的な文献を挙げる。 （１）林、他：”コンパイラにおける命令スケジューリ
ング”, 特願平４−６１９８３ （２）古関、他：”命令レベル並列アーキテクチャのた
めのコードスケジューリングおよびレジスタアロケータ
の協調技法”,情報処理学会, Vol.38, No.3, Mar.1997 （３）Shlomit S.P.："Register Allocation with Inst
ruction Scheduling: aNew Approach", Proceedings of
the ACM SIGPLAN '93 Conference on Programming Lan
guages Design and Implementation, 1993 （４）田中、他："資源割付装置”, 特願平８−５９４
４６ （５）Hans Zima、他:"Supercompilers for Parallel a
nd VectorComputers", Addison Wesley Publishing Com
pany Inc.,1991、 （邦訳）村岡洋一：”スーパーコン
パイラ”,オーム社, 1995 従来の資源割付処理方式うち、並列実行性を向上させる
方式としては、文献１、２、３などが挙げられる。これ
は、変数へのレジスタ割り付けによって発生する命令間
の依存関係を解消し命令の並列実行性を高めるものであ
る。例えば、コンパイルする前のソースプログラムが次
のようであるとする。 s1: a = b + c; s2: e = a + d; s3: x = y + z; このとき、 命令s2は命令s1で代入される変数aの値を使
用しているのでs2はs1に依存する。 一方、命令s3は命
令s1,s2のどちらにも依存しておらずソースプログラム
上では、s1,s2より先に実行できるし、 並列実行可能な
プロセッサであれば、s1 或はs2と並列に実行できる。
ところが、変数a,b,c,d,eにそれぞれレジスタr0,r1,r
2,r3,r4を、変数x,y,zにそれぞれレジスタr0,r5,r6 を
割り付けると次のようになる。 s1: r0 = r1 + r2; s2: r4 = r0 + r3; s3: r0 = r5 + r6; このとき、命令s3はレジスタr0への代入を行うなうの
で、 命令s1,s2より先に実行できなくなるし且つ、命令
s1,s2とも同時実行できなくなる。 つまり、変数へのレ
ジスタ割り付けにより、命令s1,s2 と、命令s3との間に
新しい依存関係が発生したことになる。 ここでもし、
変数xに変数a,b,c,d,eとは異なる、例えばレジスタr7を
割り付ければこの依存は発生せず、ソースプログラムが
もつ並列実行性を損なうことがなくなり、プログラムの
短時間実行が可能になる。
発明に関係する代表的な文献を挙げる。 （１）林、他：”コンパイラにおける命令スケジューリ
ング”, 特願平４−６１９８３ （２）古関、他：”命令レベル並列アーキテクチャのた
めのコードスケジューリングおよびレジスタアロケータ
の協調技法”,情報処理学会, Vol.38, No.3, Mar.1997 （３）Shlomit S.P.："Register Allocation with Inst
ruction Scheduling: aNew Approach", Proceedings of
the ACM SIGPLAN '93 Conference on Programming Lan
guages Design and Implementation, 1993 （４）田中、他："資源割付装置”, 特願平８−５９４
４６ （５）Hans Zima、他:"Supercompilers for Parallel a
nd VectorComputers", Addison Wesley Publishing Com
pany Inc.,1991、 （邦訳）村岡洋一：”スーパーコン
パイラ”,オーム社, 1995 従来の資源割付処理方式うち、並列実行性を向上させる
方式としては、文献１、２、３などが挙げられる。これ
は、変数へのレジスタ割り付けによって発生する命令間
の依存関係を解消し命令の並列実行性を高めるものであ
る。例えば、コンパイルする前のソースプログラムが次
のようであるとする。 s1: a = b + c; s2: e = a + d; s3: x = y + z; このとき、 命令s2は命令s1で代入される変数aの値を使
用しているのでs2はs1に依存する。 一方、命令s3は命
令s1,s2のどちらにも依存しておらずソースプログラム
上では、s1,s2より先に実行できるし、 並列実行可能な
プロセッサであれば、s1 或はs2と並列に実行できる。
ところが、変数a,b,c,d,eにそれぞれレジスタr0,r1,r
2,r3,r4を、変数x,y,zにそれぞれレジスタr0,r5,r6 を
割り付けると次のようになる。 s1: r0 = r1 + r2; s2: r4 = r0 + r3; s3: r0 = r5 + r6; このとき、命令s3はレジスタr0への代入を行うなうの
で、 命令s1,s2より先に実行できなくなるし且つ、命令
s1,s2とも同時実行できなくなる。 つまり、変数へのレ
ジスタ割り付けにより、命令s1,s2 と、命令s3との間に
新しい依存関係が発生したことになる。 ここでもし、
変数xに変数a,b,c,d,eとは異なる、例えばレジスタr7を
割り付ければこの依存は発生せず、ソースプログラムが
もつ並列実行性を損なうことがなくなり、プログラムの
短時間実行が可能になる。
【０００６】従来の資源割付処理方式うち、目的プログ
ラムのコードサイズを縮小化する方式としては、文献４
が挙げられる。これは、レジスタ割り付けの如何によっ
て発生する転送命令の数を減らすものである。 例えば s1: a = b + c; s2: d = a; s3: e = d + 10; というソースプログラムがあるとき、変数a,b,c,d,e に
それぞれレジスタr0,r1,r2,r3,r4と割り付け且つ、コン
パイラのターゲットプロセッサが２アドレス形式であれ
ば次のようにな目的プログラムに変換される。 ここで、 「mov」は転送命令を表し、例えば「mov r1,r
0」 は、レジスタr1の内容をレジスタr1へ転送すること
を表す。また、「add」 は加算命令を表し「add r2,r
0」は、レジスタr2,r0の加算結果をレジスタr0に格納す
ることを表す。一方、変数a,b,c,d,e にそれぞれレジス
タr0,r0,r2,r0,r0 と具合に、変数a,b,d,e に同じレジ
スタを割り付ければ次のようにな目的プログラムに変換
される。 s1: add r2,r0 s3: add 10,r0 このように前に比べて転送命令の発生を減らすことがで
き、目的プログラムのプログラムの短時間実行ととも
に、コードサイズの縮小化が可能となる。
ラムのコードサイズを縮小化する方式としては、文献４
が挙げられる。これは、レジスタ割り付けの如何によっ
て発生する転送命令の数を減らすものである。 例えば s1: a = b + c; s2: d = a; s3: e = d + 10; というソースプログラムがあるとき、変数a,b,c,d,e に
それぞれレジスタr0,r1,r2,r3,r4と割り付け且つ、コン
パイラのターゲットプロセッサが２アドレス形式であれ
ば次のようにな目的プログラムに変換される。 ここで、 「mov」は転送命令を表し、例えば「mov r1,r
0」 は、レジスタr1の内容をレジスタr1へ転送すること
を表す。また、「add」 は加算命令を表し「add r2,r
0」は、レジスタr2,r0の加算結果をレジスタr0に格納す
ることを表す。一方、変数a,b,c,d,e にそれぞれレジス
タr0,r0,r2,r0,r0 と具合に、変数a,b,d,e に同じレジ
スタを割り付ければ次のようにな目的プログラムに変換
される。 s1: add r2,r0 s3: add 10,r0 このように前に比べて転送命令の発生を減らすことがで
き、目的プログラムのプログラムの短時間実行ととも
に、コードサイズの縮小化が可能となる。
【０００７】
【発明が解決しようとする課題】ところで上記文献４の
資源割付処理は、大域的な転送命令の増減を得失値とい
う独特のパラメータを用いて定量化することにより、コ
ードサイズの低減を図れるものの、転送命令の増減に伴
う命令間の並列実行性の増減を評価することができない
ため、転送命令の低減と、並列実行性の低減とを両立さ
せることはできないという問題点がある。
資源割付処理は、大域的な転送命令の増減を得失値とい
う独特のパラメータを用いて定量化することにより、コ
ードサイズの低減を図れるものの、転送命令の増減に伴
う命令間の並列実行性の増減を評価することができない
ため、転送命令の低減と、並列実行性の低減とを両立さ
せることはできないという問題点がある。
【０００８】一般にソースプログラムは、高級プログラ
ミング言語を用いて記述されているので、並列実行性が
高い場合が多い。これは、高級プログラミング言語の文
法、言語要素がレジスタ、メモリ等のハードウェア資源
に拘束されないからであり、ソースプログラムを構成す
る複数の命令は、プログラマにより任意に定義された変
数を用いて記述されているので命令間の依存関係が少な
いからである。
ミング言語を用いて記述されているので、並列実行性が
高い場合が多い。これは、高級プログラミング言語の文
法、言語要素がレジスタ、メモリ等のハードウェア資源
に拘束されないからであり、ソースプログラムを構成す
る複数の命令は、プログラマにより任意に定義された変
数を用いて記述されているので命令間の依存関係が少な
いからである。
【０００９】これに対して機械語プログラムは、プロセ
ッサが直接実行するものであり、数値の保持、演算がハ
ードウェア資源を被演算子とした機械語命令にて構成さ
れている。これらハードウェア資源における記憶要素は
有限であるので、機械語プログラムには、これらの資源
に値を定義する機械語命令と、その値を使用する機械語
命令との間に多くの依存関係が発生している。そのた
め、機械語プログラムは、その並列実行性が低いといわ
れる。
ッサが直接実行するものであり、数値の保持、演算がハ
ードウェア資源を被演算子とした機械語命令にて構成さ
れている。これらハードウェア資源における記憶要素は
有限であるので、機械語プログラムには、これらの資源
に値を定義する機械語命令と、その値を使用する機械語
命令との間に多くの依存関係が発生している。そのた
め、機械語プログラムは、その並列実行性が低いといわ
れる。
【００１０】ソースプログラム、機械語プログラムにお
ける上記の性質を考えるとコンパイル時には、ソースプ
ログラムにおいて存在する命令間の並列実行性をなるべ
く多く機械語プログラムに継承することが望ましいが、
文献4の資源割付処理では、そのような並列実行性につ
いて言及していないため、並列実行性を検出することは
できない。そこで文献1〜3に記載されている並列実行性
の検出処理を文献4の資源割付処理に適用することも考
えられる。このように適用する場合、問題となるのは、
文献4では、大域的な転送命令の増加率を得失値という
パラメータを用いて算出しているので、文献1〜3に基づ
いて検出された並列実行性と、この得失値とをどのよう
に比較するかである。ここで得失値は、割付済みの割付
対象(割付対象については文献4,若しくは実施形態を参
照のこと)の生存区間と、次に割り付けべき割付対象の
生存区間との位置関係によって定まるという特殊なパラ
メータなので、文献1〜4の何れにも、得失値と並列実行
性とをどのように比較するかに触れられていない。従っ
て得失値−並列実行性を総合的に評価することはでき
ず、文献４に見られるような転送命令の低減と、文献１
〜３に見られるような並列実行性の低減とを両立させる
ことは実質不可能となり、何れか一方が片手落ちとな
る。
ける上記の性質を考えるとコンパイル時には、ソースプ
ログラムにおいて存在する命令間の並列実行性をなるべ
く多く機械語プログラムに継承することが望ましいが、
文献4の資源割付処理では、そのような並列実行性につ
いて言及していないため、並列実行性を検出することは
できない。そこで文献1〜3に記載されている並列実行性
の検出処理を文献4の資源割付処理に適用することも考
えられる。このように適用する場合、問題となるのは、
文献4では、大域的な転送命令の増加率を得失値という
パラメータを用いて算出しているので、文献1〜3に基づ
いて検出された並列実行性と、この得失値とをどのよう
に比較するかである。ここで得失値は、割付済みの割付
対象(割付対象については文献4,若しくは実施形態を参
照のこと)の生存区間と、次に割り付けべき割付対象の
生存区間との位置関係によって定まるという特殊なパラ
メータなので、文献1〜4の何れにも、得失値と並列実行
性とをどのように比較するかに触れられていない。従っ
て得失値−並列実行性を総合的に評価することはでき
ず、文献４に見られるような転送命令の低減と、文献１
〜３に見られるような並列実行性の低減とを両立させる
ことは実質不可能となり、何れか一方が片手落ちとな
る。
【００１１】本発明の目的は、文献４の転送命令数の削
減方式に並列実行性を向上させる方式を組み込み、レジ
スタ割り付けにより発生する転送命令の発生と、並列実
行性を損なう命令間の依存の発生を抑えて、より目的プ
ログラムのコードサイズ及び実行時間を減少させること
ができる資源割付装置を提供することである。
減方式に並列実行性を向上させる方式を組み込み、レジ
スタ割り付けにより発生する転送命令の発生と、並列実
行性を損なう命令間の依存の発生を抑えて、より目的プ
ログラムのコードサイズ及び実行時間を減少させること
ができる資源割付装置を提供することである。
【００１２】
【課題を解決するための手段】上記目的は、次に資源要
素を割り付けるべき割付対象が定義されている命令と同
一の基本ブロックに位置する命令であって、当該定義命
令と直接的な依存関係を有さず、尚且つ間接的な依存関
係を有さない独立命令にて定義されている割付対象を検
出する資源独立関係割付対象検出手段と、前記複数の資
源要素のうち、何れかの資源要素が何れかの割付対象に
既に割り付けられている場合、前記資源独立関係割付対
象検出手段により検出された割付対象が、それら割付済
み割付対象と直接的な生存区間の連続性及び／又は間接
的な生存区間の連続性を有しているかを判定する第１の
生存区間連続性判定手段と、次に資源要素を割り付ける
べき割付対象と、既に資源要素が割り付けられた割付対
象とが直接的な生存区間の連続性及び／又は間接的な生
存区間の連続性を有しているかを判定する第２の生存区
間連続性判定手段と、前記第１及び第２の生存区間連続
性判定手段により生存区間の連続性が判定されると、判
定された割付対象に割付け済みのそれぞれの資源要素
を、次に資源要素を割り付けるべき割付対象に割り付け
た場合に、目的プログラムに与え得る利害得失を各資源
要素について定量化する定量化手段と、前記定量化手段
により定量化された利害得失を示す利得値を資源要素同
士で比較して、その利得が最も大きい資源要素を、次に
資源要素を割り付けるべき割付対象に割り付ける割付手
段とを備える資源割付装置により達成される。
素を割り付けるべき割付対象が定義されている命令と同
一の基本ブロックに位置する命令であって、当該定義命
令と直接的な依存関係を有さず、尚且つ間接的な依存関
係を有さない独立命令にて定義されている割付対象を検
出する資源独立関係割付対象検出手段と、前記複数の資
源要素のうち、何れかの資源要素が何れかの割付対象に
既に割り付けられている場合、前記資源独立関係割付対
象検出手段により検出された割付対象が、それら割付済
み割付対象と直接的な生存区間の連続性及び／又は間接
的な生存区間の連続性を有しているかを判定する第１の
生存区間連続性判定手段と、次に資源要素を割り付ける
べき割付対象と、既に資源要素が割り付けられた割付対
象とが直接的な生存区間の連続性及び／又は間接的な生
存区間の連続性を有しているかを判定する第２の生存区
間連続性判定手段と、前記第１及び第２の生存区間連続
性判定手段により生存区間の連続性が判定されると、判
定された割付対象に割付け済みのそれぞれの資源要素
を、次に資源要素を割り付けるべき割付対象に割り付け
た場合に、目的プログラムに与え得る利害得失を各資源
要素について定量化する定量化手段と、前記定量化手段
により定量化された利害得失を示す利得値を資源要素同
士で比較して、その利得が最も大きい資源要素を、次に
資源要素を割り付けるべき割付対象に割り付ける割付手
段とを備える資源割付装置により達成される。
【００１３】
【発明の実施の形態】資源割付装置の実施形態の説明に
先立って、実施形態で引用する技術用語についての説明
を行う。 ＜用語の説明＞ ・変数の定義、参照、使用 変数の値を設定することを「定義する」と呼び、設定し
た値を使用することを「参照する」と呼ぶ。またプログ
ラム上で変数を定義したり、参照したりすることを変数
を「使用する」と呼ぶことにする。
先立って、実施形態で引用する技術用語についての説明
を行う。 ＜用語の説明＞ ・変数の定義、参照、使用 変数の値を設定することを「定義する」と呼び、設定し
た値を使用することを「参照する」と呼ぶ。またプログ
ラム上で変数を定義したり、参照したりすることを変数
を「使用する」と呼ぶことにする。
【００１４】・中間命令 処理をし易すくするためにコンパイラがソースプログラ
ムのコードを中間的なコードに変換したものを「中間コ
ード」と呼び、中間コードの１ステップを「中間命令」
と呼ぶ。中間命令には4つ組や3つ組などが存在し、これ
らが変換されて最終的な目的プログラムが生成される。
またソースプログラムを中間命令の列に変換したものを
「中間プログラム」と呼ぶ。 図１１(b)は図１０のＣ言
語プログラムに対する中間プログラムの一例であり、４
つ組の一つである３番地コードを用いて中間命令を表現
している。また同図(a)のi1からi22は中間命令の識別子
を意味する。
ムのコードを中間的なコードに変換したものを「中間コ
ード」と呼び、中間コードの１ステップを「中間命令」
と呼ぶ。中間命令には4つ組や3つ組などが存在し、これ
らが変換されて最終的な目的プログラムが生成される。
またソースプログラムを中間命令の列に変換したものを
「中間プログラム」と呼ぶ。 図１１(b)は図１０のＣ言
語プログラムに対する中間プログラムの一例であり、４
つ組の一つである３番地コードを用いて中間命令を表現
している。また同図(a)のi1からi22は中間命令の識別子
を意味する。
【００１５】・基本ブロック 基本ブロックは、プログラムの最初の中間命令、無条件
あるいは条件飛び越しの行き先の中間命令、無条件ある
いは条件飛び越しの直後の中間命令を検出し、検出した
これらを「リーダー」とみなして、リーダーから始まり
次のリーダーの一つ手前まで、あるいはプログラムの最
後までの一連の中間命令列を抽出することにより得られ
る。
あるいは条件飛び越しの行き先の中間命令、無条件ある
いは条件飛び越しの直後の中間命令を検出し、検出した
これらを「リーダー」とみなして、リーダーから始まり
次のリーダーの一つ手前まで、あるいはプログラムの最
後までの一連の中間命令列を抽出することにより得られ
る。
【００１６】・命令依存関係 命令依存関係は、先行文献５の４章で述べられているよ
うな命令間の実行順序の依存関係をいう。ここでは詳細
な説明を省略し、図１１、図１２を参照して簡単に説明
する。命令の依存関係は図１２のような依存グラフで示
される。図１２(a)は、図１１の基本ブロックＢ１内に
存在する中間命令間の依存グラフを示している。本図に
おいて例えば中間命令i11に着目して考えると、中間命
令i11は中間命令i8,i10で定義される変数（割付対象）t
10,t6の値を参照するので、中間命令i8,i10は中間命令i
11より先に実行する必要があり、このとき中間命令i11
は中間命令i8,i10に「依存している」という。また逆に
中間命令i8,i10は中間命令i11を「制約している」とい
う。図１２(a)では中間命令i8,i10から中間命令i11へ向
かう矢印で制約関係を、逆向きで依存関係を表現してい
る。
うな命令間の実行順序の依存関係をいう。ここでは詳細
な説明を省略し、図１１、図１２を参照して簡単に説明
する。命令の依存関係は図１２のような依存グラフで示
される。図１２(a)は、図１１の基本ブロックＢ１内に
存在する中間命令間の依存グラフを示している。本図に
おいて例えば中間命令i11に着目して考えると、中間命
令i11は中間命令i8,i10で定義される変数（割付対象）t
10,t6の値を参照するので、中間命令i8,i10は中間命令i
11より先に実行する必要があり、このとき中間命令i11
は中間命令i8,i10に「依存している」という。また逆に
中間命令i8,i10は中間命令i11を「制約している」とい
う。図１２(a)では中間命令i8,i10から中間命令i11へ向
かう矢印で制約関係を、逆向きで依存関係を表現してい
る。
【００１７】また図１２(a)の中間命令i9は、中間命令i
4,i7に依存している。つまり、中間命令i4,i7は中間命
令i9より先に実行する必要がある。これは、中間命令i
4,i7で定義される変数x、yが外部変数であり、中間命令
i9において関数f1でさらに変数x、yを参照する可能性が
あるからである。また、同図において中間命令i10は中
間命令i9に依存し、中間命令i9は中間命令i4に依存して
いる。このように中間命令i10が中間命令i4に間接的に
依存していることを特に「間接依存」しているというこ
とにする。 これに対して、中間命令i10は中間命令i9に
「直接依存」しているということにする。混同の恐れが
ない限り、以下では「間接依存」、「直接依存」の双方
を単純に「依存」と呼ぶものとする。依存と逆の関係で
ある制約についても同様に「直接制約」「間接制約」
「制約」を定義する。また、任意の二つの中間命令ｘ、
ｙの間に依存、制約どちらの関係も成立していないと
き、中間命令ｘ、ｙは互いに「独立している」または、
「独立関係」にあるということにし、中間命令ｘは中間
命令ｙの「独立命令」、中間命令ｙは中間命令ｘの「独
立命令」ということにする。 ・生存区間 生存区間とは広義にはそれぞれの変数に保持されている
値が有効となる区間であり、狭義には変数に値を定義す
る中間命令からその定義された値を最後に参照する中間
命令までのプログラム上の区間のことである。そして、
生存区間はこの区間に含まれる中間命令の集合で表され
る。ここで変数に値を定義する中間命令は生存区間の開
始点に相当し、生存区間中で定義された値を参照してい
る中間命令のうち、最後に参照する中間命令は生存区間
の終了点に相当する。また生存区間の重複、非重複を中
間命令の集合積で判定するため、生存区間の終始が一致
する中間命令では生存区間は重ならないものと考える。
図１１(c)は、生存区間の一例を示す図である。図１１
(c)において生存区間は縦線の実線で表されている。生
存区間の開始点、及び終了点をそれぞれ白丸、黒丸で表
現している。
4,i7に依存している。つまり、中間命令i4,i7は中間命
令i9より先に実行する必要がある。これは、中間命令i
4,i7で定義される変数x、yが外部変数であり、中間命令
i9において関数f1でさらに変数x、yを参照する可能性が
あるからである。また、同図において中間命令i10は中
間命令i9に依存し、中間命令i9は中間命令i4に依存して
いる。このように中間命令i10が中間命令i4に間接的に
依存していることを特に「間接依存」しているというこ
とにする。 これに対して、中間命令i10は中間命令i9に
「直接依存」しているということにする。混同の恐れが
ない限り、以下では「間接依存」、「直接依存」の双方
を単純に「依存」と呼ぶものとする。依存と逆の関係で
ある制約についても同様に「直接制約」「間接制約」
「制約」を定義する。また、任意の二つの中間命令ｘ、
ｙの間に依存、制約どちらの関係も成立していないと
き、中間命令ｘ、ｙは互いに「独立している」または、
「独立関係」にあるということにし、中間命令ｘは中間
命令ｙの「独立命令」、中間命令ｙは中間命令ｘの「独
立命令」ということにする。 ・生存区間 生存区間とは広義にはそれぞれの変数に保持されている
値が有効となる区間であり、狭義には変数に値を定義す
る中間命令からその定義された値を最後に参照する中間
命令までのプログラム上の区間のことである。そして、
生存区間はこの区間に含まれる中間命令の集合で表され
る。ここで変数に値を定義する中間命令は生存区間の開
始点に相当し、生存区間中で定義された値を参照してい
る中間命令のうち、最後に参照する中間命令は生存区間
の終了点に相当する。また生存区間の重複、非重複を中
間命令の集合積で判定するため、生存区間の終始が一致
する中間命令では生存区間は重ならないものと考える。
図１１(c)は、生存区間の一例を示す図である。図１１
(c)において生存区間は縦線の実線で表されている。生
存区間の開始点、及び終了点をそれぞれ白丸、黒丸で表
現している。
【００１８】生存区間の解析については、本願の発明者
が取得した米国特許についての米国特許公報USP 5,642,
512にその詳細が記載されている。本公報によると、例
えばある変数を定義している命令が複数の基本ブロック
に存在する場合、生存区間の開始点は複数存在すること
になる。また、ある変数の最後の使用となる命令が複数
の基本ブロックに存在する場合、生存区間の終了点は複
数存在することになる。
が取得した米国特許についての米国特許公報USP 5,642,
512にその詳細が記載されている。本公報によると、例
えばある変数を定義している命令が複数の基本ブロック
に存在する場合、生存区間の開始点は複数存在すること
になる。また、ある変数の最後の使用となる命令が複数
の基本ブロックに存在する場合、生存区間の終了点は複
数存在することになる。
【００１９】・割付対象 資源の割付対象としては単に変数をとる場合もあるが、
一つの変数に対して複数の生存区間が存在する場合はそ
れぞれの生存区間ごとに別々の資源要素を割り付けるこ
とができるので、本明細書では割付対象は変数と生存区
間の組であると定義する。
一つの変数に対して複数の生存区間が存在する場合はそ
れぞれの生存区間ごとに別々の資源要素を割り付けるこ
とができるので、本明細書では割付対象は変数と生存区
間の組であると定義する。
【００２０】また変数を「定義する」こと、「参照す
る」こと、「使用する」ことをそれぞれ、その変数を組
みとして有した割付対象を「定義する」「参照する」
「使用する」とも呼ぶ場合がある。更に割付対象が定義
される中間命令、及び参照される中間命令をそれぞれ、
その割付対象の「定義中間命令」「参照中間命令」と呼
び、定義及び参照中間命令を併せて「使用中間命令」と
呼ぶ。尚、本発明の説明では、特に混同の恐れがない限
り割付対象と変数を同義的に使用する。
る」こと、「使用する」ことをそれぞれ、その変数を組
みとして有した割付対象を「定義する」「参照する」
「使用する」とも呼ぶ場合がある。更に割付対象が定義
される中間命令、及び参照される中間命令をそれぞれ、
その割付対象の「定義中間命令」「参照中間命令」と呼
び、定義及び参照中間命令を併せて「使用中間命令」と
呼ぶ。尚、本発明の説明では、特に混同の恐れがない限
り割付対象と変数を同義的に使用する。
【００２１】・割付優先度 割り付けを行う際、割付対象の割り付けの順番を決める
ためのパラメータである。割付優先度の計算には様々な
方法が存在する。例えば、プログラム中の割付対象の使
用率を割付優先度としたときの計算式の例を以下の｛数
式１｝に示す。 ｛数式１｝ 割付優先度＝使用率＝ 割付対象が使用される中間命令の個数／割付対象の生存
区間の長さ尚、割付対象が使用される中間命令が、プロ
グラム中のループ処理の中に存在するときは割付優先度
にそのループレベルを算入してもよい。その例を以下の
｛数式２｝に示す。
ためのパラメータである。割付優先度の計算には様々な
方法が存在する。例えば、プログラム中の割付対象の使
用率を割付優先度としたときの計算式の例を以下の｛数
式１｝に示す。 ｛数式１｝ 割付優先度＝使用率＝ 割付対象が使用される中間命令の個数／割付対象の生存
区間の長さ尚、割付対象が使用される中間命令が、プロ
グラム中のループ処理の中に存在するときは割付優先度
にそのループレベルを算入してもよい。その例を以下の
｛数式２｝に示す。
【００２２】｛数式２｝ 割付優先度＝使用率＝使用中間命令が存在するループレ
ベルの総和／割付対象の生存区間の長さ さらに、各割付優先度を求めた割付優先度の最大値で正
規化したものを、改めて割付優先度としてもよい。
ベルの総和／割付対象の生存区間の長さ さらに、各割付優先度を求めた割付優先度の最大値で正
規化したものを、改めて割付優先度としてもよい。
【００２３】・資源要素 コンピュータのハードウェアの要素のうち、割付対象に
割り付け可能な最小単位である。値を一時的に保持する
バッファや個々のレジスタ、メモリ内の番地単位のメモ
リ要素がその例である。０番目のレジスタ、１番目のレ
ジスタ、１００番地のメモリ、１０１番地のメモリはそ
れぞれ別の資源要素である。
割り付け可能な最小単位である。値を一時的に保持する
バッファや個々のレジスタ、メモリ内の番地単位のメモ
リ要素がその例である。０番目のレジスタ、１番目のレ
ジスタ、１００番地のメモリ、１０１番地のメモリはそ
れぞれ別の資源要素である。
【００２４】・資源 同一機能を有するハードウェア資源であり、資源要素の
集合を意味する。例えば、資源にはレジスタとメモリと
が存在する。更にレジスタはアドレスレジスタ、データ
レジスタ、大域的レジスタ、局所的レジスタというよう
に同一機能を果たすもので分類できる。またメモリは高
速メモリ、低速メモリというように同一機能を果たすも
ので分類できる。このように資源要素が同一機能を果た
すもの同士で分類できれば、その分類毎に別々の資源に
なる。
集合を意味する。例えば、資源にはレジスタとメモリと
が存在する。更にレジスタはアドレスレジスタ、データ
レジスタ、大域的レジスタ、局所的レジスタというよう
に同一機能を果たすもので分類できる。またメモリは高
速メモリ、低速メモリというように同一機能を果たすも
ので分類できる。このように資源要素が同一機能を果た
すもの同士で分類できれば、その分類毎に別々の資源に
なる。
【００２５】・多資源 メモリなどのように他の資源に比べて豊富な資源要素を
持ち、どの資源要素を割付対象に割り付けても特に目的
プログラムの効率化に影響を及ぼさない資源のことをい
う。尚、多資源の資源要素を「多資源要素」と呼ぶこと
にする。 ・少資源 多資源とは逆に、レジスタなどのように資源要素の個数
が少数であり、どの資源要素を割付対象に割り付けるか
によって目的プログラムの効率化に影響を及ぼす資源を
示す。尚、少資源の資源要素を「少資源要素」と呼ぶこ
とにする。 ・資源継承関係 資源継承関係とは割付対象同士の割り付けられた資源要
素を継承し得る関係をいう。また資源要素の継承とは既
に割り付けられた資源要素と同一の資源要素を割り付け
ることをいい、このような同一資源要素への割り付けに
よってコード生成装置に転送命令の生成を省かせること
ができる。加えて割り付け済みの資源要素をまわりに広
げてゆくことができる。プログラム中ではこのような資
源継承関係は生存区間の連続によって表される。正確的
には、次のように定義される。即ち、プログラム上のあ
る中間命令s1が、割付対象ｙの生存区間の終了点であ
り、且つ中間命令s1が、割付対象ｘの開始点であれば、
これらの割付対象ｘと割付対象ｙとは資源要素継承関係
にある。但し生存区間の終始点は一致しているが、同一
の資源要素に割り付けても転送命令の生成を省かせるこ
とが明確に不可能な場合は資源継承関係にないとする。
持ち、どの資源要素を割付対象に割り付けても特に目的
プログラムの効率化に影響を及ぼさない資源のことをい
う。尚、多資源の資源要素を「多資源要素」と呼ぶこと
にする。 ・少資源 多資源とは逆に、レジスタなどのように資源要素の個数
が少数であり、どの資源要素を割付対象に割り付けるか
によって目的プログラムの効率化に影響を及ぼす資源を
示す。尚、少資源の資源要素を「少資源要素」と呼ぶこ
とにする。 ・資源継承関係 資源継承関係とは割付対象同士の割り付けられた資源要
素を継承し得る関係をいう。また資源要素の継承とは既
に割り付けられた資源要素と同一の資源要素を割り付け
ることをいい、このような同一資源要素への割り付けに
よってコード生成装置に転送命令の生成を省かせること
ができる。加えて割り付け済みの資源要素をまわりに広
げてゆくことができる。プログラム中ではこのような資
源継承関係は生存区間の連続によって表される。正確的
には、次のように定義される。即ち、プログラム上のあ
る中間命令s1が、割付対象ｙの生存区間の終了点であ
り、且つ中間命令s1が、割付対象ｘの開始点であれば、
これらの割付対象ｘと割付対象ｙとは資源要素継承関係
にある。但し生存区間の終始点は一致しているが、同一
の資源要素に割り付けても転送命令の生成を省かせるこ
とが明確に不可能な場合は資源継承関係にないとする。
【００２６】資源継承関係は上述の文献３と同様である
のでその詳細は省略するが、ここではさらに、割付対象
ｘと割付対象ｙとが資源要素継承関係にあり且つ、割付
対象ｙと割付対象ｚとが資源要素継承関係にあるとき、
割付対象ｘと割付対象ｚも資源要素継承関係あるという
ことにする。 特に割付対象ｘに対して上述の割付対象
ｙは「直接的」な資源要素継承関係にあるといい、上述
の割付対象ｚは「間接的」な資源要素継承関係にあると
いう。
のでその詳細は省略するが、ここではさらに、割付対象
ｘと割付対象ｙとが資源要素継承関係にあり且つ、割付
対象ｙと割付対象ｚとが資源要素継承関係にあるとき、
割付対象ｘと割付対象ｚも資源要素継承関係あるという
ことにする。 特に割付対象ｘに対して上述の割付対象
ｙは「直接的」な資源要素継承関係にあるといい、上述
の割付対象ｚは「間接的」な資源要素継承関係にあると
いう。
【００２７】例えば、 図１１の割付対象t10と割付対象
t1は中間命令i8で生存区間の終始点が一致しており、
割付対象t10と割付対象t1は資源継承関係（直接的な資
源要素継承関係）にある。さらに、同図の割付対象t1と
割付対象Pr1は中間命令i1で生存区間の終点が一致して
おり、割付対象t1と 割付対象Pr1は資源継承関係（直接
的な資源要素継承関係）にあり、結果、 割付対象t10と
割付対象Pr1も資源継承関係（間接的な資源要素継承関
係）にある。
t1は中間命令i8で生存区間の終始点が一致しており、
割付対象t10と割付対象t1は資源継承関係（直接的な資
源要素継承関係）にある。さらに、同図の割付対象t1と
割付対象Pr1は中間命令i1で生存区間の終点が一致して
おり、割付対象t1と 割付対象Pr1は資源継承関係（直接
的な資源要素継承関係）にあり、結果、 割付対象t10と
割付対象Pr1も資源継承関係（間接的な資源要素継承関
係）にある。
【００２８】・得失値 得失値とは、目的プログラムの転送命令の発生を抑える
観点から考えて、ある特定の割付対象xに対して、割付
対象xと資源継承関係にある割付対象や、既に資源要素
に割り付けられた割付対象、およびその割り付けられて
いる資源要素に着目して、各資源要素を割付対象xに割
り付けたときに、 どれだけ転送命令の発生抑制に貢献
するかを定量化した値である。そのため、得失値はそれ
ぞれの資源要素毎に与えられる。得失値は上述の文献３
と同様であるのでその詳細は省略し、ここでは具体的な
例の説明と正確な定義について説明する。
観点から考えて、ある特定の割付対象xに対して、割付
対象xと資源継承関係にある割付対象や、既に資源要素
に割り付けられた割付対象、およびその割り付けられて
いる資源要素に着目して、各資源要素を割付対象xに割
り付けたときに、 どれだけ転送命令の発生抑制に貢献
するかを定量化した値である。そのため、得失値はそれ
ぞれの資源要素毎に与えられる。得失値は上述の文献３
と同様であるのでその詳細は省略し、ここでは具体的な
例の説明と正確な定義について説明する。
【００２９】例えば、図２０において、L, L1,L2,L3,L
4,L5はそれぞれ割付対象x,x1,x2,x3,x4,x5の生存区間長
さを示す。また、x3とx2, x2とx1, x1とx, xとx4, x4と
x5 は資源継承関係にあるとする。 割付対象xの得失値
は、まず割付対象xと間接的に資源継承関係にある割付
対象x3がレジスタr0に割り付けられているのでレジスタ
r0の得失値は、 割付対象x からx3 までの生存区間長の
和に反比例させて「1/(L+L1+L2)」となる。 つまり、こ
のことを上述の転送命令の発生を抑える観点から言う
と、 割付対象xにレジスタr0を割り付けると「1/(L+L1+
L2)」だけ 転送命令の発生を抑えることができるとする
ということである。 同様に割付対象xと間接的に資源継
承関係にある資源割付対象x5がレジスタr1に割り付けら
れているので、レジスタr1の得失値は「1/(L+L4)」とな
る。もし、ここで L+L1+L2 > L+L4 であれば、得失値か
ら言えば、レジスタr1 を割付対象xに割り付けると最も
転送命令の発生を抑えることができると判断される。
尚、生存区間長の和を求める際に起点となる割付対象の
生存区間長を１としても構わない。 例えば、図２０に
おいて割付対象xからx3までの生存区間長の和を「(1+L1
+L2)」としてもよい。
4,L5はそれぞれ割付対象x,x1,x2,x3,x4,x5の生存区間長
さを示す。また、x3とx2, x2とx1, x1とx, xとx4, x4と
x5 は資源継承関係にあるとする。 割付対象xの得失値
は、まず割付対象xと間接的に資源継承関係にある割付
対象x3がレジスタr0に割り付けられているのでレジスタ
r0の得失値は、 割付対象x からx3 までの生存区間長の
和に反比例させて「1/(L+L1+L2)」となる。 つまり、こ
のことを上述の転送命令の発生を抑える観点から言う
と、 割付対象xにレジスタr0を割り付けると「1/(L+L1+
L2)」だけ 転送命令の発生を抑えることができるとする
ということである。 同様に割付対象xと間接的に資源継
承関係にある資源割付対象x5がレジスタr1に割り付けら
れているので、レジスタr1の得失値は「1/(L+L4)」とな
る。もし、ここで L+L1+L2 > L+L4 であれば、得失値か
ら言えば、レジスタr1 を割付対象xに割り付けると最も
転送命令の発生を抑えることができると判断される。
尚、生存区間長の和を求める際に起点となる割付対象の
生存区間長を１としても構わない。 例えば、図２０に
おいて割付対象xからx3までの生存区間長の和を「(1+L1
+L2)」としてもよい。
【００３０】割付対象xに資源要素rを割り付けたときの
得失値(x,r) は正確には次の数式のように定義される。
（if, else の意味はプログラミング言語Ｃに準ず
る。） ｛数式３｝ 得失値(x,r) = Σ K(x, y, r)/D(x, y) y ∈ S(Σは全てのyについての和) S ： xと資源継承関係にある割付対象の集合 D(x, y) ： 割付対象xから割付対象yに至るまでの生存区間長の和 K(x, y, r)： if(割付対象xから割付対象yの間に存在する、xと資源継 承関係にある割付対象に資源要素が割り付けられて いるとき) 0 ...(1) else if(割付対象xから割付対象yの間に存在する、xと資源継 承関係にある割付対象と資源排他関係（後述）にある割付対象 に資源要素rが割り付けられいるとき) 0 ...(2) else if(割付対象yが資源要素rに割り付けられいるとき) 1 ...(3) else 0 ...(4) ここで、K(x, y, r)について具体的に説明する。例え
ば、図２０において、もしも、割付対象x1に既に資源要
素（レジスタ）が割り付けられていた場合、割付対象x3
と任意のレジスタrについて、数式３の(1)により K(x,x
3,r) は０となる。また、割付対象x1,x2と資源排他関係
（後述）にある割付対象y1に、もしもレジスタr0が割り
付けられている場合、割付対象x3とレジスタr0につい
て、数式３の(2)により K(x,x3,r0) は０となる。ま
た、割付対象xと割付対象x5に対して数式３の(1)(2)の
条件を満たさないとき、 割付対象xと割付対象x5および
レジスタr1について、数式３の(3)により K(x,x5,r1)
は１となる。また、図２０に現れていないレジスタr3に
関しては、割付対象xと、割付対象xと資源継承関係にあ
る割付対象t(x1,x2,x3,x4,x5)のいずれに対しても、数
式３の(4)によりK(x,t,r3)は０となる。以降では、追跡
対象（後述）を用いて、図４の得失値計算部５０（後
述）において効率良く得失値を求める方法を説明する。
得失値(x,r) は正確には次の数式のように定義される。
（if, else の意味はプログラミング言語Ｃに準ず
る。） ｛数式３｝ 得失値(x,r) = Σ K(x, y, r)/D(x, y) y ∈ S(Σは全てのyについての和) S ： xと資源継承関係にある割付対象の集合 D(x, y) ： 割付対象xから割付対象yに至るまでの生存区間長の和 K(x, y, r)： if(割付対象xから割付対象yの間に存在する、xと資源継 承関係にある割付対象に資源要素が割り付けられて いるとき) 0 ...(1) else if(割付対象xから割付対象yの間に存在する、xと資源継 承関係にある割付対象と資源排他関係（後述）にある割付対象 に資源要素rが割り付けられいるとき) 0 ...(2) else if(割付対象yが資源要素rに割り付けられいるとき) 1 ...(3) else 0 ...(4) ここで、K(x, y, r)について具体的に説明する。例え
ば、図２０において、もしも、割付対象x1に既に資源要
素（レジスタ）が割り付けられていた場合、割付対象x3
と任意のレジスタrについて、数式３の(1)により K(x,x
3,r) は０となる。また、割付対象x1,x2と資源排他関係
（後述）にある割付対象y1に、もしもレジスタr0が割り
付けられている場合、割付対象x3とレジスタr0につい
て、数式３の(2)により K(x,x3,r0) は０となる。ま
た、割付対象xと割付対象x5に対して数式３の(1)(2)の
条件を満たさないとき、 割付対象xと割付対象x5および
レジスタr1について、数式３の(3)により K(x,x5,r1)
は１となる。また、図２０に現れていないレジスタr3に
関しては、割付対象xと、割付対象xと資源継承関係にあ
る割付対象t(x1,x2,x3,x4,x5)のいずれに対しても、数
式３の(4)によりK(x,t,r3)は０となる。以降では、追跡
対象（後述）を用いて、図４の得失値計算部５０（後
述）において効率良く得失値を求める方法を説明する。
【００３１】・利得値 利得値とは、資源割付処理の過程において、未だ資源要
素に割り付けられていなく且つ、割付優先度が最大であ
る割付対象x （以降の用語の説明において特に断らない
場合は割付対象xをこの意味で用いる）に対して、割付
対象xに割り付けるべき資源要素を決定する際に、上述
の資源継承関係にある割付対象や、後述の資源排他関係
にある割付対象や、さらに後述の資源独立関係にある割
付対象に対する得失値を算出して、 求めた得失値を使
用して割付対象x に各資源要素を割り付けたときの利害
得失を定量化した値である。定量化すべき利得の目安は
としては、(1)割付対象xと資源継承関係ある割付対象y
に割り付けられている資源要素rが、割付対象xに資源要
素rを割り付けたときに、どれだけ転送命令の発生抑制
に貢献するか、 (2)割付対象xと資源排他関係ある割付
対象zにおいて、割付対象z と資源継承関係ある割付対
象z1に割り付けられている資源要素s が、割付対象xに
資源要素sを割り付けたときに、どれだけ転送命令の発
生増加をもたらすか、(3)割付対象xと資源独立関係ある
割付対象wにおいて、割付対象wと資源継承関係ある割付
対象w1に割り付けられている資源要素t が、割付対象x
に資源要素tを割り付けたときに、どれだけ転送命令の
発生増加および依存関係の発生増加をもたらすかがあ
る。これらの(1)(2)(3) の利害得失を得失値をという共
通のパラメータを用いて資源要素毎に定量化する。後述
の利得計算部３３の説明で更に詳しく説明する。 ・追跡対象 追跡対象とは資源継承関係を辿って行き、各資源要素の
得失値を算出するための情報である。そのため追跡対象
はプログラムにおいて現在資源継承関係を辿っている箇
所を示す情報（これは割付対象名で表される）とその箇
所の割付対象と割付対象ｘとの間に介在する生存区間長
の総和と、その現在位置において得失計算を行なうべき
資源要素の集合とを含んでいる。これらの情報を含むた
め、本実施形態では追跡対象を構造体変数として扱い、
上記の現在の追跡位置の情報、生存区間長の総和、得失
計算を行なうべき資源要素集合をその構造体のメンバー
として扱っている （本実施形態では追跡対象をAとする
とき、現在の追跡位置の割付対象をA.ASO、生存区間長
の総和をA.LNS、得失計算を行なうべき資源要素集合を
A.RESと表している。）。これも先行文献(3)と同様であ
るのでこれ以上の説明は省略する。 ・資源排他関係 資源排他関係とは、生存区間が重複しており、排他的な
資源要素を割り付けるべき割付対象同士の関係をいう。
例えば図２０に示すように２つの割付対象x,yの生存区
間が重複しており（つまり割付対象x,yは資源排他関係
にある）、その一方の割付対象yが他の割付対象y1,y2と
資源継承関係にある場合を想定する。この場合、割付対
象xと割付対象yとは、資源排他関係にあるので、別々の
資源要素（レジスタ）を割り付けるべきであることは明
確であるが、割付対象yは未割付であり、尚且つこの割
付対象yと資源継承関係にある割付対象y2にはレジスタr
2が割り付けられており、この場合、割付対象xにどのレ
ジスタを割り付けるべきであるかが問題となる。
素に割り付けられていなく且つ、割付優先度が最大であ
る割付対象x （以降の用語の説明において特に断らない
場合は割付対象xをこの意味で用いる）に対して、割付
対象xに割り付けるべき資源要素を決定する際に、上述
の資源継承関係にある割付対象や、後述の資源排他関係
にある割付対象や、さらに後述の資源独立関係にある割
付対象に対する得失値を算出して、 求めた得失値を使
用して割付対象x に各資源要素を割り付けたときの利害
得失を定量化した値である。定量化すべき利得の目安は
としては、(1)割付対象xと資源継承関係ある割付対象y
に割り付けられている資源要素rが、割付対象xに資源要
素rを割り付けたときに、どれだけ転送命令の発生抑制
に貢献するか、 (2)割付対象xと資源排他関係ある割付
対象zにおいて、割付対象z と資源継承関係ある割付対
象z1に割り付けられている資源要素s が、割付対象xに
資源要素sを割り付けたときに、どれだけ転送命令の発
生増加をもたらすか、(3)割付対象xと資源独立関係ある
割付対象wにおいて、割付対象wと資源継承関係ある割付
対象w1に割り付けられている資源要素t が、割付対象x
に資源要素tを割り付けたときに、どれだけ転送命令の
発生増加および依存関係の発生増加をもたらすかがあ
る。これらの(1)(2)(3) の利害得失を得失値をという共
通のパラメータを用いて資源要素毎に定量化する。後述
の利得計算部３３の説明で更に詳しく説明する。 ・追跡対象 追跡対象とは資源継承関係を辿って行き、各資源要素の
得失値を算出するための情報である。そのため追跡対象
はプログラムにおいて現在資源継承関係を辿っている箇
所を示す情報（これは割付対象名で表される）とその箇
所の割付対象と割付対象ｘとの間に介在する生存区間長
の総和と、その現在位置において得失計算を行なうべき
資源要素の集合とを含んでいる。これらの情報を含むた
め、本実施形態では追跡対象を構造体変数として扱い、
上記の現在の追跡位置の情報、生存区間長の総和、得失
計算を行なうべき資源要素集合をその構造体のメンバー
として扱っている （本実施形態では追跡対象をAとする
とき、現在の追跡位置の割付対象をA.ASO、生存区間長
の総和をA.LNS、得失計算を行なうべき資源要素集合を
A.RESと表している。）。これも先行文献(3)と同様であ
るのでこれ以上の説明は省略する。 ・資源排他関係 資源排他関係とは、生存区間が重複しており、排他的な
資源要素を割り付けるべき割付対象同士の関係をいう。
例えば図２０に示すように２つの割付対象x,yの生存区
間が重複しており（つまり割付対象x,yは資源排他関係
にある）、その一方の割付対象yが他の割付対象y1,y2と
資源継承関係にある場合を想定する。この場合、割付対
象xと割付対象yとは、資源排他関係にあるので、別々の
資源要素（レジスタ）を割り付けるべきであることは明
確であるが、割付対象yは未割付であり、尚且つこの割
付対象yと資源継承関係にある割付対象y2にはレジスタr
2が割り付けられており、この場合、割付対象xにどのレ
ジスタを割り付けるべきであるかが問題となる。
【００３２】ここで、割付対象yが未割付であるからと
いって、割付対象xにレジスタr2を割り付けてしまう
と、割付対象yにはレジスタr2以外のレジスタ（このレ
ジスタをレジスタr1とする）を割り付けざるを得ない。
このように割付対象yをレジスタr1を割り付けてしまう
と、資源継承関係にある一連の割付対象y、割付対象y
1、割付対象y2にレジスタr2、レジスタr1という二種類
の資源要素を割り付けることになり、レジスタr2−レジ
スタr1間で保持値の転送を行う転送命令を生成せざるを
得なくなる。このような転送命令の生成を避けるには、
割付対象xに資源要素を割り付ける際に、割付対象xにレ
ジスタr2を割り付けることによる損失を見積もらなけれ
ばならない。そこで割付対象xに資源要素を割り付ける
にあたって、資源排他関係にある割付対象yについて、
上述の得失値を算出し、割付対象xに割り付けるべき資
源要素を判定する利得値の計算に使用する。
いって、割付対象xにレジスタr2を割り付けてしまう
と、割付対象yにはレジスタr2以外のレジスタ（このレ
ジスタをレジスタr1とする）を割り付けざるを得ない。
このように割付対象yをレジスタr1を割り付けてしまう
と、資源継承関係にある一連の割付対象y、割付対象y
1、割付対象y2にレジスタr2、レジスタr1という二種類
の資源要素を割り付けることになり、レジスタr2−レジ
スタr1間で保持値の転送を行う転送命令を生成せざるを
得なくなる。このような転送命令の生成を避けるには、
割付対象xに資源要素を割り付ける際に、割付対象xにレ
ジスタr2を割り付けることによる損失を見積もらなけれ
ばならない。そこで割付対象xに資源要素を割り付ける
にあたって、資源排他関係にある割付対象yについて、
上述の得失値を算出し、割付対象xに割り付けるべき資
源要素を判定する利得値の計算に使用する。
【００３３】割付対象y2の右方向に「-Py/(L6+L7)」とい
う数式が示されているが、これは資源排他関係にある割
付対象yの得失値から求めた、割付対象xにレジスタr2を
割り付けたときの利得値である。この利得値の「1/(L6+
L7)」は、割付対象yにレジスタr2を割り付けたときの得
失値であり、「Py」は割付対象yの割付優先度であり、
割付対象yがレジスタに割り付けられる可能性の度合と
して使用しており、「-」は割付対象xにとっては損失の
利得値となるので-1を乗じている。 ・資源独立関係 資源独立関係とは、互いに独立な中間命令にて定義され
ていて、これらの割付対象にお互いに異なる資源要素を
割り付ければ、コンパイル後に得られるオブジェクトコ
ードにおいても命令間の独立性を維持することができる
という割付対象同士の関係をいう。 例えば、図２２に
示すように、中間命令a,bが互いに独立関係にあり且
つ、 中間命令a,bでそれぞれ割付対象x,zが定義されて
おり（つまり、割付対象x,zはお互いに資源独立関係に
ある）、 その一方の割付対象zが他の割付対象z1,z2と
資源継承関係にある場合を想定する。この場合、割付対
象xと割付対象zは資源独立関係にあるので、可能なかぎ
り別々の資源要素（レジスタ）を割り付ける方が、コン
パイル後に得られるオブジェクトコードにおいても命令
間の独立性を維持することができる。しかし、割付対象
zは未割付であり、尚且つこの割付対象zと資源継承関係
にある割付対象z2にはレジスタr0が割り付けられてお
り、この場合、割付対象xにどのレジスタを割り付ける
べきかが問題となる。
う数式が示されているが、これは資源排他関係にある割
付対象yの得失値から求めた、割付対象xにレジスタr2を
割り付けたときの利得値である。この利得値の「1/(L6+
L7)」は、割付対象yにレジスタr2を割り付けたときの得
失値であり、「Py」は割付対象yの割付優先度であり、
割付対象yがレジスタに割り付けられる可能性の度合と
して使用しており、「-」は割付対象xにとっては損失の
利得値となるので-1を乗じている。 ・資源独立関係 資源独立関係とは、互いに独立な中間命令にて定義され
ていて、これらの割付対象にお互いに異なる資源要素を
割り付ければ、コンパイル後に得られるオブジェクトコ
ードにおいても命令間の独立性を維持することができる
という割付対象同士の関係をいう。 例えば、図２２に
示すように、中間命令a,bが互いに独立関係にあり且
つ、 中間命令a,bでそれぞれ割付対象x,zが定義されて
おり（つまり、割付対象x,zはお互いに資源独立関係に
ある）、 その一方の割付対象zが他の割付対象z1,z2と
資源継承関係にある場合を想定する。この場合、割付対
象xと割付対象zは資源独立関係にあるので、可能なかぎ
り別々の資源要素（レジスタ）を割り付ける方が、コン
パイル後に得られるオブジェクトコードにおいても命令
間の独立性を維持することができる。しかし、割付対象
zは未割付であり、尚且つこの割付対象zと資源継承関係
にある割付対象z2にはレジスタr0が割り付けられてお
り、この場合、割付対象xにどのレジスタを割り付ける
べきかが問題となる。
【００３４】ここで割付対象zが未割付であるからとい
って、割付対象xにレジスタr0を割り付けて、且つ、中
間命令a,bの独立性を維持しようとすると、割付対象zに
はレジスタr0以外のレジスタ（このレジスタをレジスタ
r1とする）を割り付ける必要がある。 このように割付
対象zにレジスタr1を割り付けてしまうと、 資源継承関
係にある一連の割付対象z、割付対象z1、割付対象z2に
レジスタr1、レジスタr0という二種類の資源要素を割り
付けることになり、レジスタr1−レジスタr0間で保持値
の転送を行なう転送命令を発生せざるを得なくなる。こ
のような転送命令の生成を避けるためには、割付対象x
に資源要素を割り付ける際に、割付対象xにレジスタr0
を割り付けることによる損失を見積もらなければならな
い。 そこで、割付対象xに資源要素を割り付けるにあた
って、資源独立関係にある割付対象zについて上述の得
失値を算出し、割付対象xに割り付けるべき資源要素を
判定する利得値の計算に使用する。
って、割付対象xにレジスタr0を割り付けて、且つ、中
間命令a,bの独立性を維持しようとすると、割付対象zに
はレジスタr0以外のレジスタ（このレジスタをレジスタ
r1とする）を割り付ける必要がある。 このように割付
対象zにレジスタr1を割り付けてしまうと、 資源継承関
係にある一連の割付対象z、割付対象z1、割付対象z2に
レジスタr1、レジスタr0という二種類の資源要素を割り
付けることになり、レジスタr1−レジスタr0間で保持値
の転送を行なう転送命令を発生せざるを得なくなる。こ
のような転送命令の生成を避けるためには、割付対象x
に資源要素を割り付ける際に、割付対象xにレジスタr0
を割り付けることによる損失を見積もらなければならな
い。 そこで、割付対象xに資源要素を割り付けるにあた
って、資源独立関係にある割付対象zについて上述の得
失値を算出し、割付対象xに割り付けるべき資源要素を
判定する利得値の計算に使用する。
【００３５】割付対象z2の右方向に「-Pz/(L11+L12)」
という数式が示されているが、これは資源独立関係にあ
る割付対象zの得失値から求めた、割付対象xにレジスタ
r0を割り付けたときの利得値である。 この利得値の「1
/(L11+L12)」は割付対象zにレジスタr0を割り付けたと
きの得失値であり、 「Pz」は割付対象zの割付優先度で
あり、割付対象zがレジスタに割り付けられる可能性の
度合として使用しており、「-」は割付対象xにとっては
損失の利得値となるので-1を乗じている。
という数式が示されているが、これは資源独立関係にあ
る割付対象zの得失値から求めた、割付対象xにレジスタ
r0を割り付けたときの利得値である。 この利得値の「1
/(L11+L12)」は割付対象zにレジスタr0を割り付けたと
きの得失値であり、 「Pz」は割付対象zの割付優先度で
あり、割付対象zがレジスタに割り付けられる可能性の
度合として使用しており、「-」は割付対象xにとっては
損失の利得値となるので-1を乗じている。
【００３６】図２１に基本ブロック内の資源独立関係を
求めるアルゴリズムをを示す。図中「for」や 「if」
の意味はプログラミング言語Ｃに準拠する。 ＜資源割付装置の実施形態＞以下、本明細書に添付した
図面を参照しながら、資源割付装置の実施形態を説明す
る。現状において当業者で慣用されている資源割付装置
の流通・売買の形態は、資源割付装置を含んだコンパイ
ラの機能を実現する実行形式のソフトウェアを記録媒体
に記録して、パッケージソフトとして流通・売買する形
態である。このようなパッケージソフトはこれを購買し
た顧客により汎用コンピュ−タにインストールされ、イ
ンストールされた汎用コンピュ−タがこのソフトウェア
通りの処理を行うことにより汎用コンピュ−タは資源割
付装置としての機能を果たす。
求めるアルゴリズムをを示す。図中「for」や 「if」
の意味はプログラミング言語Ｃに準拠する。 ＜資源割付装置の実施形態＞以下、本明細書に添付した
図面を参照しながら、資源割付装置の実施形態を説明す
る。現状において当業者で慣用されている資源割付装置
の流通・売買の形態は、資源割付装置を含んだコンパイ
ラの機能を実現する実行形式のソフトウェアを記録媒体
に記録して、パッケージソフトとして流通・売買する形
態である。このようなパッケージソフトはこれを購買し
た顧客により汎用コンピュ−タにインストールされ、イ
ンストールされた汎用コンピュ−タがこのソフトウェア
通りの処理を行うことにより汎用コンピュ−タは資源割
付装置としての機能を果たす。
【００３７】上記のような形態が慣用されることを考え
ると、資源割付装置としての機能主体は、汎用コンピュ
−タが具備しているプロセッサ、メモリ等のハードウェ
ア資源というよりは、それらハードウェア資源を用いて
資源割付装置としての処理内容を行うソフトウェアと考
える方が妥当である。また複雑な処理内容を有するソフ
トウェアは、複数のサブルーチンやワークエリアにて構
成されることが一般的であるので、個々のサブルーチン
やワークエリアが独立した構成要素と考えるべきであ
る。しかしこれらのサブルーチンやワークエリアには、
既存のオペレーティングシステムやコンパイラ、資源割
付装置等がライブラリ化しているものも多くあり、それ
らは説明に値しないものが殆どであるから、その説明を
避けるものとし、資源割付装置の機能を果たすためにど
のような機能を果たすサブルーチン、ワークエリアを構
成要素として開発すべきかを論点とした説明を行う。
ると、資源割付装置としての機能主体は、汎用コンピュ
−タが具備しているプロセッサ、メモリ等のハードウェ
ア資源というよりは、それらハードウェア資源を用いて
資源割付装置としての処理内容を行うソフトウェアと考
える方が妥当である。また複雑な処理内容を有するソフ
トウェアは、複数のサブルーチンやワークエリアにて構
成されることが一般的であるので、個々のサブルーチン
やワークエリアが独立した構成要素と考えるべきであ
る。しかしこれらのサブルーチンやワークエリアには、
既存のオペレーティングシステムやコンパイラ、資源割
付装置等がライブラリ化しているものも多くあり、それ
らは説明に値しないものが殆どであるから、その説明を
避けるものとし、資源割付装置の機能を果たすためにど
のような機能を果たすサブルーチン、ワークエリアを構
成要素として開発すべきかを論点とした説明を行う。
【００３８】図２は、コンパイラ１の構成図を示す。本
図に示すようにコンパイラ１は、構文解析装置１１と、
最適化装置１２と、資源割付装置１３と、コード生成装
置１４とで構成される。構文解析装置１１は、記憶装置
にファイルとして記憶されているソースプログラムの字
句解析、構文解析および意味解析を行い、ソースプログ
ラムを中間プログラムに変換する。例えば、図１０のソ
ースプログラムは、図１１(a)の中間プログラムに変換
される。
図に示すようにコンパイラ１は、構文解析装置１１と、
最適化装置１２と、資源割付装置１３と、コード生成装
置１４とで構成される。構文解析装置１１は、記憶装置
にファイルとして記憶されているソースプログラムの字
句解析、構文解析および意味解析を行い、ソースプログ
ラムを中間プログラムに変換する。例えば、図１０のソ
ースプログラムは、図１１(a)の中間プログラムに変換
される。
【００３９】最適化装置１２は、最終的に生成される目
的プログラムのプログラムサイズ及び処理実行時間を向
上させる目的で中間プログラムの最適化を行う。この最
適化の詳細については、本発明の主眼ではないため説明
を省略し、資源割付処理と特に関連がある点のみ説明す
る。最適化作業には、基本ブロック化、制御フロー解
析、データフロー解析、命令依存解析という作業が含ま
れている。
的プログラムのプログラムサイズ及び処理実行時間を向
上させる目的で中間プログラムの最適化を行う。この最
適化の詳細については、本発明の主眼ではないため説明
を省略し、資源割付処理と特に関連がある点のみ説明す
る。最適化作業には、基本ブロック化、制御フロー解
析、データフロー解析、命令依存解析という作業が含ま
れている。
【００４０】基本ブロック化とは、処理対象のプログラ
ムを基本ブロックに分割する処理をいい、制御フロー解
析とは、各基本ブロック間の制御の流れを解析する処理
をいう。データフロー解析とは、各基本ブロック中、そ
れぞれの変数がどこで定義され、どこで参照されている
かについて解析する処理をいう。これらの解析結果を参
照して変数の生存区間の情報が得られる。
ムを基本ブロックに分割する処理をいい、制御フロー解
析とは、各基本ブロック間の制御の流れを解析する処理
をいう。データフロー解析とは、各基本ブロック中、そ
れぞれの変数がどこで定義され、どこで参照されている
かについて解析する処理をいう。これらの解析結果を参
照して変数の生存区間の情報が得られる。
【００４１】命令依存解析とは、中間命令間の命令依存
関係を解析する処理をいう。図１３は、図１１の基本ブ
ロックＢ１に関する依存解析の結果を表す命令依存表で
ある。命令依存表は、中間命令ｎ３０と、当該中間命令
が直接依存する中間命令を示す依存命令ｎ３１と、当該
中間命令が直接制約する中間命令を示す制約命令ｎ３２
と、当該命令に依存しない命令を示す独立命令ｎ３３と
からなる。図１２(a)は、図１３の依存命令ｎ３１を依
存グラフで表現したものである。
関係を解析する処理をいう。図１３は、図１１の基本ブ
ロックＢ１に関する依存解析の結果を表す命令依存表で
ある。命令依存表は、中間命令ｎ３０と、当該中間命令
が直接依存する中間命令を示す依存命令ｎ３１と、当該
中間命令が直接制約する中間命令を示す制約命令ｎ３２
と、当該命令に依存しない命令を示す独立命令ｎ３３と
からなる。図１２(a)は、図１３の依存命令ｎ３１を依
存グラフで表現したものである。
【００４２】中間命令ｉと独立な中間命令を見つけるに
は、次の両条件を満たさない中間命令ｊを見つけること
である。 （条件１）中間命令ｉが依存する中間命令である。 （条件２）中間命令ｉが制約する中間命令である。 条件１を満たす中間命令を検出するには、図１３の依存
命令ｎ３１をたどることによって中間命令ｉが依存する
中間命令を検出することが可能であり、条件２を満たす
中間命令を検出するには、図１３の制約命令ｎ３２をた
どることによって中間命令ｉが制約する中間命令を検出
することが可能である。よって最終的に条件１でも条件
２でも検出されなかった中間命令を中間命令ｉの独立命
令とすることで中間命令ｊは検出される。
は、次の両条件を満たさない中間命令ｊを見つけること
である。 （条件１）中間命令ｉが依存する中間命令である。 （条件２）中間命令ｉが制約する中間命令である。 条件１を満たす中間命令を検出するには、図１３の依存
命令ｎ３１をたどることによって中間命令ｉが依存する
中間命令を検出することが可能であり、条件２を満たす
中間命令を検出するには、図１３の制約命令ｎ３２をた
どることによって中間命令ｉが制約する中間命令を検出
することが可能である。よって最終的に条件１でも条件
２でも検出されなかった中間命令を中間命令ｉの独立命
令とすることで中間命令ｊは検出される。
【００４３】これを図１２(a)依存グラフの中間命令i4
で説明すると、 中間命令i4に入り込む有効辺を逆に辿
って次々に中間命令i3,i2,i1を検出することが、条件１
を満たす中間命令を検出することに相当し、中間命令i4
から出る有効辺を順に辿って次々に中間命令i9,i10,i1
1,i12を検出することが、 条件２を満す中間命令を検出
することに相当する。そして検出されなかった残りの中
間命令i5,i6,i7,i8が中間命令i4の独立命令となる。
で説明すると、 中間命令i4に入り込む有効辺を逆に辿
って次々に中間命令i3,i2,i1を検出することが、条件１
を満たす中間命令を検出することに相当し、中間命令i4
から出る有効辺を順に辿って次々に中間命令i9,i10,i1
1,i12を検出することが、 条件２を満す中間命令を検出
することに相当する。そして検出されなかった残りの中
間命令i5,i6,i7,i8が中間命令i4の独立命令となる。
【００４４】資源割付装置１３は、最適化装置により得
られた各種の情報を利用して割付対象にレジスタやメモ
リを割り付ける。その詳細については以降で説明する。
コード生成装置１４は、 図１１(b)に示すように中間プ
ログラム内の各中間命令を機械語命令等の目的プログラ
ムの命令に変換する。このコード生成は、従来と同様で
あり、本発明の主眼ではないので説明を省略する。
られた各種の情報を利用して割付対象にレジスタやメモ
リを割り付ける。その詳細については以降で説明する。
コード生成装置１４は、 図１１(b)に示すように中間プ
ログラム内の各中間命令を機械語命令等の目的プログラ
ムの命令に変換する。このコード生成は、従来と同様で
あり、本発明の主眼ではないので説明を省略する。
【００４５】＜図１に示した資源割付装置１３の構成＞
次に資源割付装置１３について説明する。図１に資源割
付装置１３の構成を示す。資源割付装置１３は、図１に
示すように割付対象保持部２１と、割付対象生成部２２
と、資源排他割付対象検出部２３と、資源継承割付対象
検出部２４と、資源独立割付対象検出部２５、割付優先
度計算部２６と、割付資源要素決定部２７と、資源割付
制御部２８とで構成される。
次に資源割付装置１３について説明する。図１に資源割
付装置１３の構成を示す。資源割付装置１３は、図１に
示すように割付対象保持部２１と、割付対象生成部２２
と、資源排他割付対象検出部２３と、資源継承割付対象
検出部２４と、資源独立割付対象検出部２５、割付優先
度計算部２６と、割付資源要素決定部２７と、資源割付
制御部２８とで構成される。
【００４６】割付対象保持部２１は、割付対象生成部２
２で生成された割付対象と、割付情報テーブルとを保持
する。割付情報テーブルの一例を図１４及び図１５に示
す。図１４は、以下で行う割り付け処理の対象となる割
付対象についての割付情報を表している。尚これらの図
の内容は、図１１に示す中間プログラム例内に存在する
割付対象及び生存区間と対応している。
２で生成された割付対象と、割付情報テーブルとを保持
する。割付情報テーブルの一例を図１４及び図１５に示
す。図１４は、以下で行う割り付け処理の対象となる割
付対象についての割付情報を表している。尚これらの図
の内容は、図１１に示す中間プログラム例内に存在する
割付対象及び生存区間と対応している。
【００４７】図１４に示すように割付情報テーブルは、
割付対象ｎ１０と当該割付対象の生存区間がプログラム
内のどれだけの範囲を占めているかを中間命令の集合で
表した割付対象の生存区間ｎ１１と、当該集合の要素数
で表された当該割付対象の生存区間長ｎ１２と、当該割
付対象が使用される中間命令を示す使用中間命令集合ｎ
１３と、当該生存区間の開始点となる中間命令の集合で
ある開始点集合ｎ１４と、当該生存区間の終了点となる
中間命令の集合である終了点集合ｎ１５と、当該割付対
象と資源排他関係にある割付対象の集合を表した資源排
他割付対象集合ｎ１６と、当該割付対象と直接的な資源
継承関係にある割付対象の集合を表した資源継承割付対
象集合ｎ１７と、資源独立関係にある割付対象の集合を
表した資源独立割付対象集合ｎ１８と、当該割付対象の
割付優先度ｎ１９とからなる。本図において割付対象
「t1」の右隣の「i2〜i8」は、割付対象t1の生存区間
が、
割付対象ｎ１０と当該割付対象の生存区間がプログラム
内のどれだけの範囲を占めているかを中間命令の集合で
表した割付対象の生存区間ｎ１１と、当該集合の要素数
で表された当該割付対象の生存区間長ｎ１２と、当該割
付対象が使用される中間命令を示す使用中間命令集合ｎ
１３と、当該生存区間の開始点となる中間命令の集合で
ある開始点集合ｎ１４と、当該生存区間の終了点となる
中間命令の集合である終了点集合ｎ１５と、当該割付対
象と資源排他関係にある割付対象の集合を表した資源排
他割付対象集合ｎ１６と、当該割付対象と直接的な資源
継承関係にある割付対象の集合を表した資源継承割付対
象集合ｎ１７と、資源独立関係にある割付対象の集合を
表した資源独立割付対象集合ｎ１８と、当該割付対象の
割付優先度ｎ１９とからなる。本図において割付対象
「t1」の右隣の「i2〜i8」は、割付対象t1の生存区間
が、
【００４８】図１１におけるi2からi8までの中間命令に
よって表されることを示す。またその右隣の「７」は、
割付対象「t1」の生存区間長を示す。その右隣の「i1,i
2,i5,i8」は、割付対象「t1」を使用している中間命令
を示す。その右隣の「i1」は、割付対象「t1」の開始点
集合が「i1」であることを示す。その右隣の「i8」は、
割付対象「t1」の終了点集合が「i8」であることを示
す。その右隣の「t2,t3,t4,t5」は、割付対象「t1」の
資源排他割付対象集合が「t2,t3,t4,t5」であることを
示す。その右隣の「Pr1,t10」は、割付対象「t1」と直
接的な資源継承関係にある割付対象が「Pr1,t10」であ
ることを示す。更に２つ右隣の「0.57」は、割付対象
「t1」の優先度を示す。尚、開始点である「i1」が生存
区間ｎ１１に含まれていないのは、生存区間の終始が一
致する割付対象間の生存区間が重ならないということ
を、生存区間の集合積が空集合か否かにより単純に判定
可能とするためである。よって全ての割付対象の生存区
間には、開始点の中間命令が含まれていない。また、割
付対象「t2」も割付対象「t1」と同様であるが、資源独
立割付対象集合ｎ１８が「t4,t5,t10」と設定されてお
り、 これは、割付対象「t2」と資源独立関係にある割
付対象が「t4,t5,t10」 であることを示している。
よって表されることを示す。またその右隣の「７」は、
割付対象「t1」の生存区間長を示す。その右隣の「i1,i
2,i5,i8」は、割付対象「t1」を使用している中間命令
を示す。その右隣の「i1」は、割付対象「t1」の開始点
集合が「i1」であることを示す。その右隣の「i8」は、
割付対象「t1」の終了点集合が「i8」であることを示
す。その右隣の「t2,t3,t4,t5」は、割付対象「t1」の
資源排他割付対象集合が「t2,t3,t4,t5」であることを
示す。その右隣の「Pr1,t10」は、割付対象「t1」と直
接的な資源継承関係にある割付対象が「Pr1,t10」であ
ることを示す。更に２つ右隣の「0.57」は、割付対象
「t1」の優先度を示す。尚、開始点である「i1」が生存
区間ｎ１１に含まれていないのは、生存区間の終始が一
致する割付対象間の生存区間が重ならないということ
を、生存区間の集合積が空集合か否かにより単純に判定
可能とするためである。よって全ての割付対象の生存区
間には、開始点の中間命令が含まれていない。また、割
付対象「t2」も割付対象「t1」と同様であるが、資源独
立割付対象集合ｎ１８が「t4,t5,t10」と設定されてお
り、 これは、割付対象「t2」と資源独立関係にある割
付対象が「t4,t5,t10」 であることを示している。
【００４９】図１５は、実引数(Ar)、関数の戻り値(F
r)、破壊レジスタ(Br)等、既に資源要素が割付けられて
いる割付対象の割付情報の一例を示す図である。図１５
に示す割付情報テーブルは、割付対象ｎ２０と、当該割
付対象の生存区間が中間プログラム内のどれだけの範囲
を占めているかを中間命令の集合で表した割付対象の生
存区間ｎ２１と、当該集合の要素数で表された当該割付
対象の生存区間長ｎ２２と、当該割付対象が使用される
中間命令を示す使用中間命令集合ｎ２３と、当該生存区
間の開始点となる中間命令の集合である開始点集合ｎ２
４と、当該生存区間の終了点となる中間命令の集合であ
る終了点集合ｎ２５と、当該割付対象に割り付けられて
いる割付資源要素ｎ２６とからなる。
r)、破壊レジスタ(Br)等、既に資源要素が割付けられて
いる割付対象の割付情報の一例を示す図である。図１５
に示す割付情報テーブルは、割付対象ｎ２０と、当該割
付対象の生存区間が中間プログラム内のどれだけの範囲
を占めているかを中間命令の集合で表した割付対象の生
存区間ｎ２１と、当該集合の要素数で表された当該割付
対象の生存区間長ｎ２２と、当該割付対象が使用される
中間命令を示す使用中間命令集合ｎ２３と、当該生存区
間の開始点となる中間命令の集合である開始点集合ｎ２
４と、当該生存区間の終了点となる中間命令の集合であ
る終了点集合ｎ２５と、当該割付対象に割り付けられて
いる割付資源要素ｎ２６とからなる。
【００５０】更に割付け状況テーブルの一例を図１６
(b)に示す。割付け状況テーブルは、割付対象の一覧
と、各割付対象に割り付けられた資源要素を記入する記
入欄とからなり割り付けがどのように進行しているかが
反映されている。尚本図の内容は、図１１に示す中間プ
ログラム例内に存在する割付対象と対応している。本図
の記入欄のうち、右端に「(p0)」と付されたものは、優
先度が最大の割付対象である「t2」が割り付けられた時
点での割り付け状況を示している。また右端に「(p6)」
と付されたものは、優先度が次に大きい割付対象である
「t3」が割り付けられた時点での割り付け状況を示して
いる。更に右端に「(p7)」と付されたものは、優先度が
次に大きい割付対象である「t4」が割り付けられた時点
での割り付け状況を示している。更に右端に「(p9)」と
付されたものは、優先度が次に大きい割付対象である
「t5」が割り付けられた時点での割り付け状況を示して
いる。更に右端に「(p10)」と付されたものは、全ての
割付対象が割り付けられた後での割り付け状況を示して
いる。
(b)に示す。割付け状況テーブルは、割付対象の一覧
と、各割付対象に割り付けられた資源要素を記入する記
入欄とからなり割り付けがどのように進行しているかが
反映されている。尚本図の内容は、図１１に示す中間プ
ログラム例内に存在する割付対象と対応している。本図
の記入欄のうち、右端に「(p0)」と付されたものは、優
先度が最大の割付対象である「t2」が割り付けられた時
点での割り付け状況を示している。また右端に「(p6)」
と付されたものは、優先度が次に大きい割付対象である
「t3」が割り付けられた時点での割り付け状況を示して
いる。更に右端に「(p7)」と付されたものは、優先度が
次に大きい割付対象である「t4」が割り付けられた時点
での割り付け状況を示している。更に右端に「(p9)」と
付されたものは、優先度が次に大きい割付対象である
「t5」が割り付けられた時点での割り付け状況を示して
いる。更に右端に「(p10)」と付されたものは、全ての
割付対象が割り付けられた後での割り付け状況を示して
いる。
【００５１】割付対象生成部２２は、データフロー解析
の結果（以下データフロー情報と呼ぶ）や制御フロー解
析の結果（以下制御フロー情報と呼ぶ）をもとに割付対
象を生成する。またこのとき生存区間や使用中間命令、
生存区間の開始点、終了点も検出される。更に図１５の
ように割付処理の前に割り付けることが必要な割付対象
は、ここで資源要素を割り付ける。生成された割付対象
は、割付対象保持部２１に格納される。
の結果（以下データフロー情報と呼ぶ）や制御フロー解
析の結果（以下制御フロー情報と呼ぶ）をもとに割付対
象を生成する。またこのとき生存区間や使用中間命令、
生存区間の開始点、終了点も検出される。更に図１５の
ように割付処理の前に割り付けることが必要な割付対象
は、ここで資源要素を割り付ける。生成された割付対象
は、割付対象保持部２１に格納される。
【００５２】資源排他割付対象検出部２３は、割付対象
保持部２１に保持されている割付対象に関して資源排他
関係にある全ての割付対象を検出する。即ち、任意の割
付対象ｘと資源排他関係にある割付対象の集合である割
付対象集合Ro(x)を求める。Ro(x)の内容は、割付対象保
持部２１に保持される。Ro（ｘ）を得るための集合化は
以下のようにして行われる。割付対象保持部２１は各割
付対象の生存区間の情報を保持しており、割付対象ｘの
生存区間とｘを除く全ての割付対象ｙの生存区間との集
合積を計算し、集合積の結果が空でないとき割付対象ｙ
を割付対象ｘの資源排他割付対象集合に格納する。
保持部２１に保持されている割付対象に関して資源排他
関係にある全ての割付対象を検出する。即ち、任意の割
付対象ｘと資源排他関係にある割付対象の集合である割
付対象集合Ro(x)を求める。Ro(x)の内容は、割付対象保
持部２１に保持される。Ro（ｘ）を得るための集合化は
以下のようにして行われる。割付対象保持部２１は各割
付対象の生存区間の情報を保持しており、割付対象ｘの
生存区間とｘを除く全ての割付対象ｙの生存区間との集
合積を計算し、集合積の結果が空でないとき割付対象ｙ
を割付対象ｘの資源排他割付対象集合に格納する。
【００５３】資源継承割付対象検出部２４は、割付対象
保持部２１に保持されている割付対象に関して直接的な
資源継承関係にある全ての割付対象を検出する。即ち任
意の割付対象ｘと直接的な資源継承関係にある割付対象
の集合である割付対象集合Rs(x)を求める。Rs(x)の内容
は、割付対象保持部２１に保持される。Rs(x)を得るた
めの集合化は、以下のようにして行われる。割付対象保
持部２１は、各割付対象と、各割付対象の生存区間の開
始点に相当する中間命令と、各割付対象の生存区間の終
了点に相当する中間命令とを対応づけて保持しているの
で、資源継承割付対象検出部２４は、保持している割付
対象のうち、割付対象ｘの生存区間の開始点に相当する
中間命令が、終了点に相当するものを全て探し出す。そ
して探し出した割付対象を割付対象ｘの資源継承割付対
象集合に格納する。また、割付対象ｘの生存区間の終了
点に相当する中間命令が、開始点に相当する割付対象を
全て探し出す。そして探し出した割付対象と、割付対象
ｘとを同一の集合にする。以上の処理を繰り返し、各割
付対象についてのRs(x)を生成する。但し明らかに探し
出した割付対象と割付対象ｘとに同じ資源要素を割り付
けても、転送命令を省けないときは、割付対象ｘの資源
継承割付対象集合に格納しない。
保持部２１に保持されている割付対象に関して直接的な
資源継承関係にある全ての割付対象を検出する。即ち任
意の割付対象ｘと直接的な資源継承関係にある割付対象
の集合である割付対象集合Rs(x)を求める。Rs(x)の内容
は、割付対象保持部２１に保持される。Rs(x)を得るた
めの集合化は、以下のようにして行われる。割付対象保
持部２１は、各割付対象と、各割付対象の生存区間の開
始点に相当する中間命令と、各割付対象の生存区間の終
了点に相当する中間命令とを対応づけて保持しているの
で、資源継承割付対象検出部２４は、保持している割付
対象のうち、割付対象ｘの生存区間の開始点に相当する
中間命令が、終了点に相当するものを全て探し出す。そ
して探し出した割付対象を割付対象ｘの資源継承割付対
象集合に格納する。また、割付対象ｘの生存区間の終了
点に相当する中間命令が、開始点に相当する割付対象を
全て探し出す。そして探し出した割付対象と、割付対象
ｘとを同一の集合にする。以上の処理を繰り返し、各割
付対象についてのRs(x)を生成する。但し明らかに探し
出した割付対象と割付対象ｘとに同じ資源要素を割り付
けても、転送命令を省けないときは、割付対象ｘの資源
継承割付対象集合に格納しない。
【００５４】資源独立割付対象検出部２５は、割付対象
保持部２１に保持されている割付対象に関して資源独立
関係にある全ての割付対象を検出する。即ち任意の割付
対象ｘと資源独立関係にある割付対象の集合である割付
対象集合Ri(x)を求める。Ri(x)の内容は、割付対象保持
部２１に保持される。Ri(x)を得るための集合化は、以
下のようにして行われる。資源独立割付対象検出部２５
は、保持している割付対象のうち、割付対象ｘの定義中
間命令ｉ１から、最適化情報保持部１５に格納されてい
る命令依存表（例えば図１３）の中間命令ｉ１の行を参
照して、その独立命令ｉ２で定義される割付対象を割付
対象保持部２１から探し出す。そして探し出した割付対
象を割付対象ｘの資源独立割付対象集合に格納する。
保持部２１に保持されている割付対象に関して資源独立
関係にある全ての割付対象を検出する。即ち任意の割付
対象ｘと資源独立関係にある割付対象の集合である割付
対象集合Ri(x)を求める。Ri(x)の内容は、割付対象保持
部２１に保持される。Ri(x)を得るための集合化は、以
下のようにして行われる。資源独立割付対象検出部２５
は、保持している割付対象のうち、割付対象ｘの定義中
間命令ｉ１から、最適化情報保持部１５に格納されてい
る命令依存表（例えば図１３）の中間命令ｉ１の行を参
照して、その独立命令ｉ２で定義される割付対象を割付
対象保持部２１から探し出す。そして探し出した割付対
象を割付対象ｘの資源独立割付対象集合に格納する。
【００５５】割付優先度計算部２６は、割付対象保持部
２１に保持されている割付対象についての割付優先度を
計算する。割付資源要素決定部２７は、割付情報テーブ
ルの記述内容に基づいて割付対象に資源要素を割付け
る。資源割付制御部２８は、割付け処理全体を制御す
る。図５は、資源割付制御部２８のフローチャートであ
る。
２１に保持されている割付対象についての割付優先度を
計算する。割付資源要素決定部２７は、割付情報テーブ
ルの記述内容に基づいて割付対象に資源要素を割付け
る。資源割付制御部２８は、割付け処理全体を制御す
る。図５は、資源割付制御部２８のフローチャートであ
る。
【００５６】・ステップａ１では、資源割付制御部２８
は、割付対象生成部２２を起動する。 ・ステップａ２では、資源割付制御部２８は、資源排他
割付対象検出部２３を起動する。 ・ステップａ３では、資源割付制御部２８は、資源継承
割付対象検出部２４を起動する。
は、割付対象生成部２２を起動する。 ・ステップａ２では、資源割付制御部２８は、資源排他
割付対象検出部２３を起動する。 ・ステップａ３では、資源割付制御部２８は、資源継承
割付対象検出部２４を起動する。
【００５７】・ステップａ４では、資源割付制御部２８
は、資源独立割付対象検出部２５を起動する。 ・ステップａ５では、資源割付制御部２８は、割付優先
度計算部２６を起動する。 ・ステップａ６では、資源割付制御部２８は、割付資源
要素決定部２７を起動する。
は、資源独立割付対象検出部２５を起動する。 ・ステップａ５では、資源割付制御部２８は、割付優先
度計算部２６を起動する。 ・ステップａ６では、資源割付制御部２８は、割付資源
要素決定部２７を起動する。
【００５８】＜図３に示した割付資源要素決定部２７の
構成＞割付資源要素決定部２７は、割付情報テーブルの
保持内容に基づいて各割付対象に割り付ける資源要素を
決定するように構成されている。図３は、図１における
割付資源要素決定部２７の構成図である。割付資源要素
決定部２７は、割付候補資源要素保持部３１と、割付可
能資源要素検出部３２と、利得計算部３３と、利得保持
部３４と、資源要素決定制御部３５とから構成される。
図６は、資源要素決定制御部３５の処理内容を示すフロ
ーチャートである。
構成＞割付資源要素決定部２７は、割付情報テーブルの
保持内容に基づいて各割付対象に割り付ける資源要素を
決定するように構成されている。図３は、図１における
割付資源要素決定部２７の構成図である。割付資源要素
決定部２７は、割付候補資源要素保持部３１と、割付可
能資源要素検出部３２と、利得計算部３３と、利得保持
部３４と、資源要素決定制御部３５とから構成される。
図６は、資源要素決定制御部３５の処理内容を示すフロ
ーチャートである。
【００５９】本フロ−チャ−トは、図６に示すように割
付対象ｘに割り付け可能な少資源要素を求めるステップ
ｂ３と、割り付け可能な少資源要素がないとき割付対象
ｘに多資源要素を割り付けるステップｂ５と、割り付け
可能な少資源要素が一つであるか複数であるかを判定す
るステップｂ６と、割り付け可能な少資源要素が一つで
あるとき当該少資源要素を割付対象ｘに割り付けるステ
ップｂ７と、割り付け可能な少資源要素が複数個存在す
るとき、割付対象xと資源継承関係、資源排他関係、及
び資源独立関係にある割付対象から得失値を計算し、各
少資源要素を割り付けたときどれだけ最終的な目的プロ
グラムのコードサイズ及び依存関係の縮減に貢献するか
を示す利得値を、求めた得失値から算出するステップｂ
８と、割付対象ｘに求めた利得値が最大の少資源要素を
割り付けるステップｂ９とを有し、以上の処理を未割り
付けの割付対象について割付優先度順に行うループ構造
（ステップｂ１〜ｂ９）になっている。
付対象ｘに割り付け可能な少資源要素を求めるステップ
ｂ３と、割り付け可能な少資源要素がないとき割付対象
ｘに多資源要素を割り付けるステップｂ５と、割り付け
可能な少資源要素が一つであるか複数であるかを判定す
るステップｂ６と、割り付け可能な少資源要素が一つで
あるとき当該少資源要素を割付対象ｘに割り付けるステ
ップｂ７と、割り付け可能な少資源要素が複数個存在す
るとき、割付対象xと資源継承関係、資源排他関係、及
び資源独立関係にある割付対象から得失値を計算し、各
少資源要素を割り付けたときどれだけ最終的な目的プロ
グラムのコードサイズ及び依存関係の縮減に貢献するか
を示す利得値を、求めた得失値から算出するステップｂ
８と、割付対象ｘに求めた利得値が最大の少資源要素を
割り付けるステップｂ９とを有し、以上の処理を未割り
付けの割付対象について割付優先度順に行うループ構造
（ステップｂ１〜ｂ９）になっている。
【００６０】以降、本フロ−チャ−トが有する各ステッ
プを順を追って更に詳しく説明してゆく。 ・ステップｂ１では、資源要素決定制御部３５は、割付
対象保持部２１に保持されていて資源要素が未だ割付ら
れていない割付対象が存在するときステップｂ２を行な
い、割付対象保持部２１に資源要素が未だ割付られてい
ない割付対象が存在しないときは、割付資源要素決定部
２７の処理を終了する。
プを順を追って更に詳しく説明してゆく。 ・ステップｂ１では、資源要素決定制御部３５は、割付
対象保持部２１に保持されていて資源要素が未だ割付ら
れていない割付対象が存在するときステップｂ２を行な
い、割付対象保持部２１に資源要素が未だ割付られてい
ない割付対象が存在しないときは、割付資源要素決定部
２７の処理を終了する。
【００６１】・ステップｂ２では、資源要素決定制御部
３５は、割付対象保持部２１に保持されている未割付け
の割付対象のうち、割付優先度計算部２６で求めた割付
優先度が最大の割付対象ｘを取り出す。 ・ステップｂ３では、割付可能資源要素検出部３２を起
動して割付対象ｘに割付け可能な少資源要素の集合を求
める。即ち、割付対象ｘと資源排他関係にある割付対象
に割付けられていない少資源要素（割付可能少資源要素
という）を求め、割付候補資源要素保持部３１に保持さ
せる。
３５は、割付対象保持部２１に保持されている未割付け
の割付対象のうち、割付優先度計算部２６で求めた割付
優先度が最大の割付対象ｘを取り出す。 ・ステップｂ３では、割付可能資源要素検出部３２を起
動して割付対象ｘに割付け可能な少資源要素の集合を求
める。即ち、割付対象ｘと資源排他関係にある割付対象
に割付けられていない少資源要素（割付可能少資源要素
という）を求め、割付候補資源要素保持部３１に保持さ
せる。
【００６２】・ステップｂ４では、割付候補資源要素保
持部３１が空であるときは、ステップｂ５を行ない、そ
うでないときは、ステップｂ６に進む。 ・ステップｂ５では、割付対象ｘに多資源要素を割り付
けステップｂ１に戻る。 ・ステップｂ６では、割付候補資源要素保持部３１に保
持されている少資源要素ｒが１個であるときは、ステッ
プｂ７を行ない、そうでないときは、ステップｂ８に進
む。
持部３１が空であるときは、ステップｂ５を行ない、そ
うでないときは、ステップｂ６に進む。 ・ステップｂ５では、割付対象ｘに多資源要素を割り付
けステップｂ１に戻る。 ・ステップｂ６では、割付候補資源要素保持部３１に保
持されている少資源要素ｒが１個であるときは、ステッ
プｂ７を行ない、そうでないときは、ステップｂ８に進
む。
【００６３】・ステップｂ７では、割付候補資源要素保
持部３１に保持されている少資源要素ｒを割付対象ｘに
割り付けてステップｂ１に進む。 ・ステップｂ８では、利得計算部３６を起動し、割付対
象ｘと資源継承関係にある割付対象や、資源独立関係に
ある割付対象から少資源要素毎の得失値を求め、求めた
得失値から利得値を算出し、利得保持部３４に保持させ
る。
持部３１に保持されている少資源要素ｒを割付対象ｘに
割り付けてステップｂ１に進む。 ・ステップｂ８では、利得計算部３６を起動し、割付対
象ｘと資源継承関係にある割付対象や、資源独立関係に
ある割付対象から少資源要素毎の得失値を求め、求めた
得失値から利得値を算出し、利得保持部３４に保持させ
る。
【００６４】・ステップｂ９では、割付候補資源要素保
持部３１に保持されている少資源要素のうち、ステップ
ｂ６で求められた利得保持部３４に保持されている利得
値が最大の少資源要素を割付対象ｘに割り付けてステッ
プｂ１に進む。割付候補資源要素保持部３１は、割付対
象ｘについての割付可能な少資源要素を保持する。ここ
で割付可能な少資源要素とは、割付対象ｘと資源排他関
係にある割付対象に割り付けられていない少資源要素で
ある。割付候補資源要素保持部３１の保持内容及び当該
保持内容の推移を図１６(a)に示す。本図は、上から順
に割付候補資源要素保持部３１の内容が、資源割り付け
処理の推移とともに更新されていく様子を示している。
持部３１に保持されている少資源要素のうち、ステップ
ｂ６で求められた利得保持部３４に保持されている利得
値が最大の少資源要素を割付対象ｘに割り付けてステッ
プｂ１に進む。割付候補資源要素保持部３１は、割付対
象ｘについての割付可能な少資源要素を保持する。ここ
で割付可能な少資源要素とは、割付対象ｘと資源排他関
係にある割付対象に割り付けられていない少資源要素で
ある。割付候補資源要素保持部３１の保持内容及び当該
保持内容の推移を図１６(a)に示す。本図は、上から順
に割付候補資源要素保持部３１の内容が、資源割り付け
処理の推移とともに更新されていく様子を示している。
【００６５】割付可能資源要素検出部３２は、ステップ
ｂ３で起動され、割付可能資源要素を検出する。割付可
能資源要素検出部３２によって求められた割付可能資源
要素は、割付候補資源要素保持部３１に格納される。利
得保持部３４は、ステップｂ８において利得計算部３３
によって算出された利得値を保持する。利得保持部３４
の保持内容の一例を図１７(a)に示す。本図は、上から
順に各少資源要素の利得値が処理とともに更新されてい
く様子を示している。
ｂ３で起動され、割付可能資源要素を検出する。割付可
能資源要素検出部３２によって求められた割付可能資源
要素は、割付候補資源要素保持部３１に格納される。利
得保持部３４は、ステップｂ８において利得計算部３３
によって算出された利得値を保持する。利得保持部３４
の保持内容の一例を図１７(a)に示す。本図は、上から
順に各少資源要素の利得値が処理とともに更新されてい
く様子を示している。
【００６６】資源要素決定制御部３５は、割付資源決定
の処理全体を制御する。 ＜図４における利得計算部３３の構成＞利得計算部３３
は、転送命令数の削減と命令依存性の削減を考慮した利
得値を算出するよう構成されている。図４は、利得計算
部３３の構成図である。利得計算部３３は、利得計算制
御部４１と、追跡対象保持部４２と、処理済割付対象保
持部４３と、資源排他割付対象保持部４４と、資源独立
割付対象保持部４５と、得失保持部４６と、翻訳制御情
報記憶部４７と、起動順序制御部４８と、利得値重付部
４９と、得失計算部５０から構成される。
の処理全体を制御する。 ＜図４における利得計算部３３の構成＞利得計算部３３
は、転送命令数の削減と命令依存性の削減を考慮した利
得値を算出するよう構成されている。図４は、利得計算
部３３の構成図である。利得計算部３３は、利得計算制
御部４１と、追跡対象保持部４２と、処理済割付対象保
持部４３と、資源排他割付対象保持部４４と、資源独立
割付対象保持部４５と、得失保持部４６と、翻訳制御情
報記憶部４７と、起動順序制御部４８と、利得値重付部
４９と、得失計算部５０から構成される。
【００６７】利得計算制御部４１は、割付対象ｘについ
ての利得値を計算するよう、処理制御を行う。利得計算
制御部４１の処理内容を図７、図８のフローチャートに
示す。図７、図８は、利得計算制御部４１の処理制御を
示すメインフローであり、図９は、得失値を計算する得
失計算部５０のフローチャートである。図７、図８のフ
ローチャートは、割付対象ｘから資源継承関係を辿って
ゆくための追跡対象を生成するステップｃ３と、追跡対
象によって順々に資源継承関係を辿って行き、各少資源
要素の得失値を算出して少資源要素の第１段階の選考を
行うステップｃ４と、第１段階の再選考の結果利得値が
最大の少資源要素が複数個である場合、割付対象ｘと資
源排他関係にある未割付割付対象の資源継承関係を辿っ
て行き、各少資源要素の得失値を算出して少資源要素の
第２段階の選考を行うステップｃ１０〜ｃ１６と、さら
に第２段階の再選考の結果利得値が最大の少資源要素が
複数個である場合、割付対象ｘと資源独立関係にある割
付対象の資源継承関係を辿って行き、各少資源要素の得
失値を算出して少資源要素の第３段階の選考を行う図８
のステップｃ２１〜ｃ２７とを有している。
ての利得値を計算するよう、処理制御を行う。利得計算
制御部４１の処理内容を図７、図８のフローチャートに
示す。図７、図８は、利得計算制御部４１の処理制御を
示すメインフローであり、図９は、得失値を計算する得
失計算部５０のフローチャートである。図７、図８のフ
ローチャートは、割付対象ｘから資源継承関係を辿って
ゆくための追跡対象を生成するステップｃ３と、追跡対
象によって順々に資源継承関係を辿って行き、各少資源
要素の得失値を算出して少資源要素の第１段階の選考を
行うステップｃ４と、第１段階の再選考の結果利得値が
最大の少資源要素が複数個である場合、割付対象ｘと資
源排他関係にある未割付割付対象の資源継承関係を辿っ
て行き、各少資源要素の得失値を算出して少資源要素の
第２段階の選考を行うステップｃ１０〜ｃ１６と、さら
に第２段階の再選考の結果利得値が最大の少資源要素が
複数個である場合、割付対象ｘと資源独立関係にある割
付対象の資源継承関係を辿って行き、各少資源要素の得
失値を算出して少資源要素の第３段階の選考を行う図８
のステップｃ２１〜ｃ２７とを有している。
【００６８】本フロ−チャ−トの第２段階の選考の部分
は、割付対象ｙ（割付対象ｘと資源排他関係にあって未
割り付けである割付対象）に対して追跡対象を生成する
ステップｃ１４と、その追跡対象を用いて割付対象yと
資源継承関係にある割付対象を探索してゆくことにより
得失値を算出するステップｃ１５と、算出された得失値
に割付対象ｙの優先度を乗じた値を少資源要素の利得値
から減じるステップｃ１６とが全ての割付対象ｙについ
て繰り返されるループ構造（ステップｃ１１〜ｃ１６）
になっている。
は、割付対象ｙ（割付対象ｘと資源排他関係にあって未
割り付けである割付対象）に対して追跡対象を生成する
ステップｃ１４と、その追跡対象を用いて割付対象yと
資源継承関係にある割付対象を探索してゆくことにより
得失値を算出するステップｃ１５と、算出された得失値
に割付対象ｙの優先度を乗じた値を少資源要素の利得値
から減じるステップｃ１６とが全ての割付対象ｙについ
て繰り返されるループ構造（ステップｃ１１〜ｃ１６）
になっている。
【００６９】同様に本フロ−チャ−トの第３段階の選考
の部分は、割付対象ｚ（割付対象ｘと資源独立関係にあ
る割付対象）に対して追跡対象を生成するステップｃ２
５と、その追跡対象を用いて割付対象zと資源継承関係
にある割付対象を辿ってゆくことにより得失値を算出す
るステップｃ２６と、算出された得失値に割付対象ｚの
優先度を乗じた値を少資源要素の利得値から減じるステ
ップｃ２７とが全ての割付対象ｚについて繰り返される
ループ構造（ステップｃ２２〜ｃ２７）になっている。
の部分は、割付対象ｚ（割付対象ｘと資源独立関係にあ
る割付対象）に対して追跡対象を生成するステップｃ２
５と、その追跡対象を用いて割付対象zと資源継承関係
にある割付対象を辿ってゆくことにより得失値を算出す
るステップｃ２６と、算出された得失値に割付対象ｚの
優先度を乗じた値を少資源要素の利得値から減じるステ
ップｃ２７とが全ての割付対象ｚについて繰り返される
ループ構造（ステップｃ２２〜ｃ２７）になっている。
【００７０】以降、本フロ−チャ−トが有する各ステッ
プを順を追って更に詳しく説明してゆく。 ・ステップｃ１では、利得計算制御部４１は、利得保持
部３４及び得失保持部４６の各少資源要素に対応する内
容をゼロにする。 ・ステップｃ２では、追跡対象保持部４２、処理済割付
対象保持部４３を空にする。
プを順を追って更に詳しく説明してゆく。 ・ステップｃ１では、利得計算制御部４１は、利得保持
部３４及び得失保持部４６の各少資源要素に対応する内
容をゼロにする。 ・ステップｃ２では、追跡対象保持部４２、処理済割付
対象保持部４３を空にする。
【００７１】・ステップｃ３では、割付対象ｘに対して
追跡対象A(x)を生成し、A(x)の各項目を 追跡対象A(x)の割付対象＝A(x).ASO＝ｘ、 追跡対象A(x)の生存区間長の和＝A(x).LNS＝１、 追跡対象A(x)の少資源要素集合＝A(x).RES＝割付候補資
源要素保持部３１に保持されている少資源要素の集合 に設定し生成した追跡対象A(x)を追跡対象保持部４２に
格納する。
追跡対象A(x)を生成し、A(x)の各項目を 追跡対象A(x)の割付対象＝A(x).ASO＝ｘ、 追跡対象A(x)の生存区間長の和＝A(x).LNS＝１、 追跡対象A(x)の少資源要素集合＝A(x).RES＝割付候補資
源要素保持部３１に保持されている少資源要素の集合 に設定し生成した追跡対象A(x)を追跡対象保持部４２に
格納する。
【００７２】・ステップｃ４では、得失計算部５０を起
動し、得失計算を行ない、各少資源要素毎の計算結果を
得失保持部４６に保持させる。 ・ステップｃ５では、各少資源要素毎に得失保持部４６
に格納されている値を利得保持部３４に格納する。 ・ステップｃ６では、割付候補資源要素保持部３１に格
納されている少資源要素であり且つ利得保持部３４に格
納されている値が最大の少資源要素の集合RS1を求め
る。
動し、得失計算を行ない、各少資源要素毎の計算結果を
得失保持部４６に保持させる。 ・ステップｃ５では、各少資源要素毎に得失保持部４６
に格納されている値を利得保持部３４に格納する。 ・ステップｃ６では、割付候補資源要素保持部３１に格
納されている少資源要素であり且つ利得保持部３４に格
納されている値が最大の少資源要素の集合RS1を求め
る。
【００７３】・ステップｃ７では、集合RS1の要素数が
複数個であるときステップｃ８を行なう。そうでないと
きは、利得計算部３３の処理を終了する。 ・ステップｃ８では、割付候補資源要素保持部３１を一
旦空にし、新たに集合RS1の少資源要素を全て格納す
る。 ・ステップｃ９では、利得保持部３４の各少資源要素に
対応する内容をゼロにし、追跡対象保持部４２を空にす
る。
複数個であるときステップｃ８を行なう。そうでないと
きは、利得計算部３３の処理を終了する。 ・ステップｃ８では、割付候補資源要素保持部３１を一
旦空にし、新たに集合RS1の少資源要素を全て格納す
る。 ・ステップｃ９では、利得保持部３４の各少資源要素に
対応する内容をゼロにし、追跡対象保持部４２を空にす
る。
【００７４】・ステップｃ１０では、割付対象ｘと資源
継承関係にあり且つ未割付けの割付対象のみを資源排他
割付対象保持部４４に格納する。 ・ステップｃ１１では、資源排他割付対象保持部４４が
空になるまでステップｃ１２〜ステップｃ１６を繰り返
す。 ・ステップｃ１２では、資源排他割付対象保持部４４か
ら割付対象ｙを一つ取り出し、資源排他割付対象保持部
４４から削除する。
継承関係にあり且つ未割付けの割付対象のみを資源排他
割付対象保持部４４に格納する。 ・ステップｃ１１では、資源排他割付対象保持部４４が
空になるまでステップｃ１２〜ステップｃ１６を繰り返
す。 ・ステップｃ１２では、資源排他割付対象保持部４４か
ら割付対象ｙを一つ取り出し、資源排他割付対象保持部
４４から削除する。
【００７５】・ステップｃ１３では、得失保持部４６の
各少資源要素に対応する内容をゼロにし、処理済割付対
象保持部４３を空にする。 ・ステップｃ１４では、割付対象ｙに対して追跡対象B
(y)を生成し、B(y)の各項目を 追跡対象B(y)の割付対象＝B(y).ASO＝ｙ 追跡対象B(y)の生存区間長の和＝B(y).LNS＝１ 追跡対象B(y)の少資源要素集合＝B(y).RES＝割付候補資
源要素保持部３１に保持されている少資源要素の集合 に設定し、生成した追跡対象B(y)を追跡対象保持部４２
に格納する。
各少資源要素に対応する内容をゼロにし、処理済割付対
象保持部４３を空にする。 ・ステップｃ１４では、割付対象ｙに対して追跡対象B
(y)を生成し、B(y)の各項目を 追跡対象B(y)の割付対象＝B(y).ASO＝ｙ 追跡対象B(y)の生存区間長の和＝B(y).LNS＝１ 追跡対象B(y)の少資源要素集合＝B(y).RES＝割付候補資
源要素保持部３１に保持されている少資源要素の集合 に設定し、生成した追跡対象B(y)を追跡対象保持部４２
に格納する。
【００７６】・ステップｃ１５では、得失計算部５０を
起動し、得失計算を行ない、各少資源要素毎の計算結果
を得失保持部４６に算出する。 ・ステップｃ１６では、各少資源要素毎に得失保持部４
６に格納されている値に割付対象ｙの割付優先度を乗じ
た値を利得保持部３４から減じてステップｃ１１へ戻
る。
起動し、得失計算を行ない、各少資源要素毎の計算結果
を得失保持部４６に算出する。 ・ステップｃ１６では、各少資源要素毎に得失保持部４
６に格納されている値に割付対象ｙの割付優先度を乗じ
た値を利得保持部３４から減じてステップｃ１１へ戻
る。
【００７７】・ステップｃ１７では、割付候補資源要素
保持部３１に格納されている少資源要素であり且つ利得
保持部３４に格納されている値が最大の少資源要素の集
合RS2を求める。 ・ステップｃ１８では、集合RS2の要素数が複数個であ
るときステップｃ１９を行なう。そうでないときは、利
得計算部３３の処理を終了する。
保持部３１に格納されている少資源要素であり且つ利得
保持部３４に格納されている値が最大の少資源要素の集
合RS2を求める。 ・ステップｃ１８では、集合RS2の要素数が複数個であ
るときステップｃ１９を行なう。そうでないときは、利
得計算部３３の処理を終了する。
【００７８】・ステップｃ１９では、割付候補資源要素
保持部３１を一旦空にし、新たに集合RS2の少資源要素
を全て格納する。 ・ステップｃ２０では、利得保持部３４の各少資源要素
に対応する内容をゼロにし、追跡対象保持部４２を空に
する。 ・ステップｃ２１では、割付対象ｘと資源独立関係にあ
る割付対象を資源独立割付対象保持部４５に格納する。
保持部３１を一旦空にし、新たに集合RS2の少資源要素
を全て格納する。 ・ステップｃ２０では、利得保持部３４の各少資源要素
に対応する内容をゼロにし、追跡対象保持部４２を空に
する。 ・ステップｃ２１では、割付対象ｘと資源独立関係にあ
る割付対象を資源独立割付対象保持部４５に格納する。
【００７９】・ステップｃ２２では、資源独立割付対象
保持部４５が空になるまでステップｃ２３〜ステップｃ
２７までを繰り返す。空になったら利得計算部３３の処
理を終了する。 ・ステップｃ２３では、資源独立割付対象保持部４５か
ら割付対象ｚを一つ取り出し、資源独立割付対象保持部
４５から削除する。
保持部４５が空になるまでステップｃ２３〜ステップｃ
２７までを繰り返す。空になったら利得計算部３３の処
理を終了する。 ・ステップｃ２３では、資源独立割付対象保持部４５か
ら割付対象ｚを一つ取り出し、資源独立割付対象保持部
４５から削除する。
【００８０】・ステップｃ２４では、得失保持部４６の
各少資源要素に対応する内容をゼロにし、処理済割付対
象保持部４３を空にする。 ・ステップｃ２５では、割付対象ｚに対して追跡対象C
(z)を生成し、C(z)の各項目を 追跡対象C(z)の割付対象＝C(z).ASO＝ｚ 追跡対象C(z)の生存区間長の和＝C(z).LNS＝１ 追跡対象C(z)の少資源要素集合＝C(z).RES＝割付候補資
源要素保持部３１に保持されている資源要素の集合 に設定し、生成した追跡対象C(z)を追跡対象保持部４２
に格納する。
各少資源要素に対応する内容をゼロにし、処理済割付対
象保持部４３を空にする。 ・ステップｃ２５では、割付対象ｚに対して追跡対象C
(z)を生成し、C(z)の各項目を 追跡対象C(z)の割付対象＝C(z).ASO＝ｚ 追跡対象C(z)の生存区間長の和＝C(z).LNS＝１ 追跡対象C(z)の少資源要素集合＝C(z).RES＝割付候補資
源要素保持部３１に保持されている資源要素の集合 に設定し、生成した追跡対象C(z)を追跡対象保持部４２
に格納する。
【００８１】・ステップｃ２６では、得失計算部５０を
起動し、得失計算を行ない、各少資源要素毎の計算結果
を得失保持部４６に算出する。 ・ステップｃ２７では、各少資源要素毎に得失保持部４
６に格納されている値に割付対象ｚの割付優先度を乗じ
た値を利得保持部３４から減じてステップｃ２２へ戻
る。
起動し、得失計算を行ない、各少資源要素毎の計算結果
を得失保持部４６に算出する。 ・ステップｃ２７では、各少資源要素毎に得失保持部４
６に格納されている値に割付対象ｚの割付優先度を乗じ
た値を利得保持部３４から減じてステップｃ２２へ戻
る。
【００８２】以上のように利得計算制御部４１は、割付
対象ｘと資源継承関係にある割付対象から利得値を算出
し（ステップｃ１〜ステップｃ５）、さらに算出した利
得値が最大の少資源要素が複数個あった場合、このう
ち、資源排他関係にある他の割付対象ｙに割り付けた方
が転送命令が削減される可能性のある場合も考慮して利
得値を算出している（ステップｃ１０〜ステップｃ１
６）。さらに算出した利得値が最大の少資源要素が複数
個あった場合、このうち、資源独立関係にある割付対象
ｚに割り付けた方が、少資源要素の割り付けによる命令
間の依存発生を減少させる場合も考慮して最終的な利得
値を算している（ステップｃ２１〜ステップｃ２７）。
特に割付対象ｘと資源独立関係にある割付対象ｚに関し
て算出された得失値は、割付対象ｚに割り付けるとどれ
だけ有利な少資源要素であるかを示している。この度合
が大きい少資源要素ほど、割付対象ｘに割り付けると命
令間の依存発生が増加する事を示す。さらに割付対象ｚ
の中でも、割付優先度が小さいものは、個数が限られて
いる少資源要素に割り付けられる可能性も低いのでその
効果を小さく見積もる必要がある。よってステップｃ２
７において割付対象ｚに関して算出された得失値に割付
対象ｚの割付優先度を乗じた値を利得保持部３４から減
じている。
対象ｘと資源継承関係にある割付対象から利得値を算出
し（ステップｃ１〜ステップｃ５）、さらに算出した利
得値が最大の少資源要素が複数個あった場合、このう
ち、資源排他関係にある他の割付対象ｙに割り付けた方
が転送命令が削減される可能性のある場合も考慮して利
得値を算出している（ステップｃ１０〜ステップｃ１
６）。さらに算出した利得値が最大の少資源要素が複数
個あった場合、このうち、資源独立関係にある割付対象
ｚに割り付けた方が、少資源要素の割り付けによる命令
間の依存発生を減少させる場合も考慮して最終的な利得
値を算している（ステップｃ２１〜ステップｃ２７）。
特に割付対象ｘと資源独立関係にある割付対象ｚに関し
て算出された得失値は、割付対象ｚに割り付けるとどれ
だけ有利な少資源要素であるかを示している。この度合
が大きい少資源要素ほど、割付対象ｘに割り付けると命
令間の依存発生が増加する事を示す。さらに割付対象ｚ
の中でも、割付優先度が小さいものは、個数が限られて
いる少資源要素に割り付けられる可能性も低いのでその
効果を小さく見積もる必要がある。よってステップｃ２
７において割付対象ｚに関して算出された得失値に割付
対象ｚの割付優先度を乗じた値を利得保持部３４から減
じている。
【００８３】得失計算部５０の処理内容を図９のフロ−
チャ−トに示す。得失計算部５０は、図７のステップｃ
４、ステップｃ１５及び図８のステップｃ２６から起動
され、図７のフロ−チャ−トのステップｃ３、ステップ
ｃ１４及び図８のステップｃ２５で追跡対象保持部４２
に格納された全ての追跡対象に対しての処理を繰り返
す。
チャ−トに示す。得失計算部５０は、図７のステップｃ
４、ステップｃ１５及び図８のステップｃ２６から起動
され、図７のフロ−チャ−トのステップｃ３、ステップ
ｃ１４及び図８のステップｃ２５で追跡対象保持部４２
に格納された全ての追跡対象に対しての処理を繰り返
す。
【００８４】得失計算部５０には、資源継承関係にある
一連の割付対象において現在資源継承関係を辿っている
箇所の割付対象A.ASOに少資源要素が割付けられている
かを判定するステップｄ３があり、このステップｄ３の
判定結果に応じてステップｄ４が実行されるかステップ
ｄ５〜ステップｄ７が実行されるかが切り換る。ステッ
プｄ４では、ステップｄ３において割り付けられている
と判定された場合は、割付済みの割付対象まで辿り着い
たことになるので、その少資源要素の得失値を算出し、
その得失値分だけ少資源要素の得失値を増加する。これ
に対しステップｄ３において割り付けられてない場合、
ステップｄ５〜ステップｄ７においてさらに資源継承関
係にある割付対象から得失値を算出するために新たに追
跡対象を生成し、追跡対象を保持する追跡対象保持部４
２内から追跡対象が無くなるまでステップｄ２〜ステッ
プｄ７を繰り返すことによって、資源継承関係にある割
付対象を順に辿ってゆくループ構造になっている。以降
本フロ−チャ−トが有する各ステップを順を追って更に
詳しく説明してゆく。
一連の割付対象において現在資源継承関係を辿っている
箇所の割付対象A.ASOに少資源要素が割付けられている
かを判定するステップｄ３があり、このステップｄ３の
判定結果に応じてステップｄ４が実行されるかステップ
ｄ５〜ステップｄ７が実行されるかが切り換る。ステッ
プｄ４では、ステップｄ３において割り付けられている
と判定された場合は、割付済みの割付対象まで辿り着い
たことになるので、その少資源要素の得失値を算出し、
その得失値分だけ少資源要素の得失値を増加する。これ
に対しステップｄ３において割り付けられてない場合、
ステップｄ５〜ステップｄ７においてさらに資源継承関
係にある割付対象から得失値を算出するために新たに追
跡対象を生成し、追跡対象を保持する追跡対象保持部４
２内から追跡対象が無くなるまでステップｄ２〜ステッ
プｄ７を繰り返すことによって、資源継承関係にある割
付対象を順に辿ってゆくループ構造になっている。以降
本フロ−チャ−トが有する各ステップを順を追って更に
詳しく説明してゆく。
【００８５】・ステップｄ１では、追跡対象保持部４２
が空になるまでステップｄ２〜ステップｄ７まで繰り返
す。空になったら得失計算部５０の処理を終了する。 ・ステップｄ２では、追跡対象保持部４２から追跡対象
Aを一つ取り出し、追跡対象保持部５２から削除し、さ
らに追跡対象Aの割付対象項目である割付対象A.ASOを処
理済割付対象保持部４３に格納する。
が空になるまでステップｄ２〜ステップｄ７まで繰り返
す。空になったら得失計算部５０の処理を終了する。 ・ステップｄ２では、追跡対象保持部４２から追跡対象
Aを一つ取り出し、追跡対象保持部５２から削除し、さ
らに追跡対象Aの割付対象項目である割付対象A.ASOを処
理済割付対象保持部４３に格納する。
【００８６】・ステップｄ３では、割付対象A.ASOに少
資源要素ｒが割付けられているか判定し、割付けられて
いるときは、ステップｄ４を行ない、そうでないとき
は、ステップｄ５を行なう。 ・ステップｄ４では、資源要素ｒが追跡対象Aの少資源
要素集合の項目であるA.RESに属しているとき、 得失値
＝(１／追跡対象Aの生存区間長の和A.LNS)を求め、この
値を得失保持部４６の少資源要素ｒの内容に加える。次
にステップｄ１に戻る。
資源要素ｒが割付けられているか判定し、割付けられて
いるときは、ステップｄ４を行ない、そうでないとき
は、ステップｄ５を行なう。 ・ステップｄ４では、資源要素ｒが追跡対象Aの少資源
要素集合の項目であるA.RESに属しているとき、 得失値
＝(１／追跡対象Aの生存区間長の和A.LNS)を求め、この
値を得失保持部４６の少資源要素ｒの内容に加える。次
にステップｄ１に戻る。
【００８７】・ステップｄ５では、割付対象A.ASOと資
源排他関係にあり、且つ少資源要素に割り付けられてい
る割付対象の集合OSを求める。 ・ステップｄ６では、集合OSに属している割付対象に割
付けられている少資源要素の集合RSを求める。 ステップｄ５、ステップｄ６において、割付対象A.ASO
と資源排他関係にある割付対象に割り付けられている少
資源要素集合RSを求めているのは、割付対象A.ASOと資
源継承関係にあり、且つ、割付対象A.ASOの後で辿られ
るべき割付対象にステップｄ５、ステップｄ６で求めら
れた資源要素集合RSのうち何れかの少資源要素が割り付
けられている場合、割付対象A.ASOに資源要素集合RSに
属する少資源要素を割り付けることは不可能なので、こ
のような集合RSに属する資源要素を少資源要素集合 A.R
ESから除外するためである。
源排他関係にあり、且つ少資源要素に割り付けられてい
る割付対象の集合OSを求める。 ・ステップｄ６では、集合OSに属している割付対象に割
付けられている少資源要素の集合RSを求める。 ステップｄ５、ステップｄ６において、割付対象A.ASO
と資源排他関係にある割付対象に割り付けられている少
資源要素集合RSを求めているのは、割付対象A.ASOと資
源継承関係にあり、且つ、割付対象A.ASOの後で辿られ
るべき割付対象にステップｄ５、ステップｄ６で求めら
れた資源要素集合RSのうち何れかの少資源要素が割り付
けられている場合、割付対象A.ASOに資源要素集合RSに
属する少資源要素を割り付けることは不可能なので、こ
のような集合RSに属する資源要素を少資源要素集合 A.R
ESから除外するためである。
【００８８】・ステップｄ７では、割付対象A.ASOと直
接的な資源継承関係にある割付対象であり、且つ処理済
割付対象保持部４３に格納されていない割付対象ｙの全
てに関して各々の割付対象ｙ毎に追跡対象B(y)を生成
し、B(y)の各項目を 追跡対象B(y)の割付対象＝B(y).ASO＝ｙ、 追跡対象B(y)の生存区間長の和＝B(y).LNS＝生存区間長
の和 A.LNS＋割付対象A.ASOの生存区間長、 追跡対象B(y)の少資源要素集合＝B(y).RES＝少資源要素
集合 A.RES−集合RS に設定し、生成した追跡対象B(y)を追跡対象保持部４２
に格納し、ステップｄ７の実行後、ステップｄ１に戻
る。
接的な資源継承関係にある割付対象であり、且つ処理済
割付対象保持部４３に格納されていない割付対象ｙの全
てに関して各々の割付対象ｙ毎に追跡対象B(y)を生成
し、B(y)の各項目を 追跡対象B(y)の割付対象＝B(y).ASO＝ｙ、 追跡対象B(y)の生存区間長の和＝B(y).LNS＝生存区間長
の和 A.LNS＋割付対象A.ASOの生存区間長、 追跡対象B(y)の少資源要素集合＝B(y).RES＝少資源要素
集合 A.RES−集合RS に設定し、生成した追跡対象B(y)を追跡対象保持部４２
に格納し、ステップｄ７の実行後、ステップｄ１に戻
る。
【００８９】以上のように得失計算部５０は、ステップ
ｄ７により資源継承関係にあるものを新たに追跡対象保
持部４２に追加することによって資源継承関係を辿るこ
とを可能としている。この設定によって追跡対象が増え
るので得失値算出のための探索の範囲が広がることにな
る。追跡対象保持部４２は、図７のステップｃ３、ｃ１
４及び図８のステップｃ２５、及び図９のステップｄ７
において得失計算部５０の処理対象として生成された複
数個の追跡対象を保持する。追跡対象保持部４２の保持
内容の一例を図１８(a)に示す。本図は、上から順に追
跡対象保持部４２の内容が処理とともに更新されていく
様子を示している。
ｄ７により資源継承関係にあるものを新たに追跡対象保
持部４２に追加することによって資源継承関係を辿るこ
とを可能としている。この設定によって追跡対象が増え
るので得失値算出のための探索の範囲が広がることにな
る。追跡対象保持部４２は、図７のステップｃ３、ｃ１
４及び図８のステップｃ２５、及び図９のステップｄ７
において得失計算部５０の処理対象として生成された複
数個の追跡対象を保持する。追跡対象保持部４２の保持
内容の一例を図１８(a)に示す。本図は、上から順に追
跡対象保持部４２の内容が処理とともに更新されていく
様子を示している。
【００９０】処理済割付対象保持部４３は、追跡対象と
して選択された割付対象を処理済み割付対象として保持
する。処理済割付対象保持部４３は特に、資源継承関係
が循環している場合、資源継承関係を辿ってゆくために
得失計算部５０の処理が無限に繰り返すことを防ぐとい
う役割を担っている。処理済割付対象保持部４３の保持
内容の一例を図１８(b)に示す。本図は、上から順に追
跡対象保持部４２の内容が処理とともに更新されていく
様子を示している。
して選択された割付対象を処理済み割付対象として保持
する。処理済割付対象保持部４３は特に、資源継承関係
が循環している場合、資源継承関係を辿ってゆくために
得失計算部５０の処理が無限に繰り返すことを防ぐとい
う役割を担っている。処理済割付対象保持部４３の保持
内容の一例を図１８(b)に示す。本図は、上から順に追
跡対象保持部４２の内容が処理とともに更新されていく
様子を示している。
【００９１】資源排他割付対象保持部４４は、割付対象
ｘと資源排他関係にあり且つ、未だ資源要素を割付けて
いない割付対象を保持する。資源排他割付対象保持部４
４の保持内容の一例を図１９(a)に示す。本図は、上か
ら順に資源排他割付対象保持部４４の内容が処理ととも
に更新されていく様子を示している。資源独立割付対象
保持部４５は、割付対象ｘと資源独立関係にある割付対
象を保持する。資源独立割付対象保持部４５の保持内容
の一例を図１９(b)に示す。本図は、上から順に資源独
立割付対象保持部４５の内容が処理とともに更新されて
いく様子を示している。
ｘと資源排他関係にあり且つ、未だ資源要素を割付けて
いない割付対象を保持する。資源排他割付対象保持部４
４の保持内容の一例を図１９(a)に示す。本図は、上か
ら順に資源排他割付対象保持部４４の内容が処理ととも
に更新されていく様子を示している。資源独立割付対象
保持部４５は、割付対象ｘと資源独立関係にある割付対
象を保持する。資源独立割付対象保持部４５の保持内容
の一例を図１９(b)に示す。本図は、上から順に資源独
立割付対象保持部４５の内容が処理とともに更新されて
いく様子を示している。
【００９２】得失保持部４６は、図７のステップｃ４、
ｃ１５及び図８のステップｃ２６の得失計算部５０の実
行によって算出された得失値を各資源要素毎に保持す
る。得失保持部４６の保持内容の一例を図１７(b)に示
す。本図は、上から順に得失保持部４６の内容が処理と
ともに更新されていく様子を示している。翻訳制御情報
記憶部４７は、コンパイラが生成する目的プログラムの
コードサイズの縮小を優先するか又は依存関係の縮減を
優先するかを記憶する翻訳制御情報を記憶する。
ｃ１５及び図８のステップｃ２６の得失計算部５０の実
行によって算出された得失値を各資源要素毎に保持す
る。得失保持部４６の保持内容の一例を図１７(b)に示
す。本図は、上から順に得失保持部４６の内容が処理と
ともに更新されていく様子を示している。翻訳制御情報
記憶部４７は、コンパイラが生成する目的プログラムの
コードサイズの縮小を優先するか又は依存関係の縮減を
優先するかを記憶する翻訳制御情報を記憶する。
【００９３】起動順序制御部４８は、翻訳制御情報がコ
ードサイズ縮小優先を示している場合、依存関係の縮減
優先を示している場合のそれぞれにおいて、図７のステ
ップｃ１〜ｃ５、ステップｃ１０〜ｃ１６、ステップｃ
２１〜ｃ２７をそれぞれ相異なる順序で起動するよう利
得計算制御部４１を制御する。図７のステップｃ１〜ｃ
５は、割付対象の資源継承関係にある割付済み割付対象
から少資源要素を判定するので継承性資源要素選択部と
呼ばれ、ステップｃ１０〜ｃ１６は、割付対象と資源排
他関係にある割付済み割付対象から少資源要素を判定す
る排他性資源要素選択部と呼ばれる。ステップｃ２１〜
ｃ２７は、割付対象の資源独立関係にある割付済み割付
対象から少資源要素を判定するので独立性資源要素選択
部と呼ばれる。図７において利得計算制御部４１は、こ
れらは継承性−排他性−独立性の順序で起動していた
が、これは特にコンパイラが生成する目的プログラムの
コードサイズの縮小を優先することを示す翻訳制御情報
が翻訳制御情報記憶部４７に記憶されているためであ
り、資源割り付けによる命令間の依存発生を削減する場
合、起動順序制御部４８は独立性資源要素選択部を優先
的に起動するよう利得計算制御部４１を制御する。具体
的にいうと、図７に示す３つの資源要素選択部を独立性
−継承性−排他性の順序、又は継承性−独立性−排他性
の順序で起動するよう利得計算制御部４１を制御する。
ードサイズ縮小優先を示している場合、依存関係の縮減
優先を示している場合のそれぞれにおいて、図７のステ
ップｃ１〜ｃ５、ステップｃ１０〜ｃ１６、ステップｃ
２１〜ｃ２７をそれぞれ相異なる順序で起動するよう利
得計算制御部４１を制御する。図７のステップｃ１〜ｃ
５は、割付対象の資源継承関係にある割付済み割付対象
から少資源要素を判定するので継承性資源要素選択部と
呼ばれ、ステップｃ１０〜ｃ１６は、割付対象と資源排
他関係にある割付済み割付対象から少資源要素を判定す
る排他性資源要素選択部と呼ばれる。ステップｃ２１〜
ｃ２７は、割付対象の資源独立関係にある割付済み割付
対象から少資源要素を判定するので独立性資源要素選択
部と呼ばれる。図７において利得計算制御部４１は、こ
れらは継承性−排他性−独立性の順序で起動していた
が、これは特にコンパイラが生成する目的プログラムの
コードサイズの縮小を優先することを示す翻訳制御情報
が翻訳制御情報記憶部４７に記憶されているためであ
り、資源割り付けによる命令間の依存発生を削減する場
合、起動順序制御部４８は独立性資源要素選択部を優先
的に起動するよう利得計算制御部４１を制御する。具体
的にいうと、図７に示す３つの資源要素選択部を独立性
−継承性−排他性の順序、又は継承性−独立性−排他性
の順序で起動するよう利得計算制御部４１を制御する。
【００９４】利得値重付部４９は、プログラムのコード
サイズ縮小を重視する旨を示す翻訳制御情報が翻訳制御
情報記憶部４７に記憶されている場合、継承性資源要素
選択部、排他性資源要素選択部が算出した利得値に重み
付けるべき重要度を引き上げ、依存関係の縮減を重視す
る旨を示す翻訳制御情報が翻訳制御情報記憶部４７に記
憶されている場合、独立性資源要素選択部が算出した利
得値に重み付けるべき重要度を引き上げた後、利得値重
付部４９は、継承性資源要素選択部、排他性資源要素選
択部、独立性資源要素選択部が算出した利得値に、それ
らの重要度を重み付けるよう利得計算制御部４１を制御
する。
サイズ縮小を重視する旨を示す翻訳制御情報が翻訳制御
情報記憶部４７に記憶されている場合、継承性資源要素
選択部、排他性資源要素選択部が算出した利得値に重み
付けるべき重要度を引き上げ、依存関係の縮減を重視す
る旨を示す翻訳制御情報が翻訳制御情報記憶部４７に記
憶されている場合、独立性資源要素選択部が算出した利
得値に重み付けるべき重要度を引き上げた後、利得値重
付部４９は、継承性資源要素選択部、排他性資源要素選
択部、独立性資源要素選択部が算出した利得値に、それ
らの重要度を重み付けるよう利得計算制御部４１を制御
する。
【００９５】＜具体的な実施形態の動作説明＞以上のよ
うに構成される本実施形態の資源割付装置における具体
的な処理内容をこれまでに示したフローチャートを再度
参照しながら説明する。まず前提としてここで扱う少資
源をレジスタとし多資源をメモリとする。また説明の簡
便化のためにレジスタは、４本(R0〜R3)とする。よって
以降では、少資源要素とは、レジスタR0,R1,R2,R3のそ
れぞれを指示するものとする。また、多資源要素とは、
メモリの割り付け単位を指示するものとする。
うに構成される本実施形態の資源割付装置における具体
的な処理内容をこれまでに示したフローチャートを再度
参照しながら説明する。まず前提としてここで扱う少資
源をレジスタとし多資源をメモリとする。また説明の簡
便化のためにレジスタは、４本(R0〜R3)とする。よって
以降では、少資源要素とは、レジスタR0,R1,R2,R3のそ
れぞれを指示するものとする。また、多資源要素とは、
メモリの割り付け単位を指示するものとする。
【００９６】勿論、特定領域のメモリを少資源要素とみ
なすことにより、本実施形態における資源割り付け処理
をメモリに対して適用することも可能であるが、このよ
うな割り付け処理は、本実施形態において特に顕著な効
果を奏するものではないので、メモリに関しては、従来
技術における資源割り付け処理を適用するものとする。
なすことにより、本実施形態における資源割り付け処理
をメモリに対して適用することも可能であるが、このよ
うな割り付け処理は、本実施形態において特に顕著な効
果を奏するものではないので、メモリに関しては、従来
技術における資源割り付け処理を適用するものとする。
【００９７】予め割り付け先が決められている割付対象
には、関数呼び出しにおいて破壊されるレジスタR0,R
1、引数の格納のため使用されるレジスタをR0,R1、関数
の戻り値の格納に使用される戻り値レジスタR0がある。
図１０のＣ言語記述のプログラムに対して既に構文解析
装置１１及び最適化装置１２によって図１１(b) のよう
な３番地形式の中間プログラムが出力されている。さら
に最適化装置１２によって中間プログラムから基本ブロ
ックが抽出され制御フロー情報およびデータフロー情報
が求められる。図１１(b)の中間プログラムから図１１
(d)のように基本ブロックが抽出される。また図１１で
は、陽に示していないが、各変数がどこで定義され参照
されるかの情報も解析される。例えば図１１(b)の変数t
1は、中間命令i1で定義され、中間命令i2で参照されて
いることが解析されている。さらに最適化装置１２によ
って図１２(a)〜(d)のように各基本ブロックの中間命令
間の依存グラフが求められる。なお、図１１(b)では、
特に図中の変数Pr1は、仮引数、変数Ar1,Ar2は、関数の
実引数、変数Fr1, Fr2, Fr3,は、それぞれおよび関数の
戻り値を保持する変数である。また、同図中の変数Br1,
Br2,Br3は、それぞれの関数呼び出しにおいて、破壊さ
れる可能性のあるレジスタを示すために便宜的に採り入
れられた変数である。
には、関数呼び出しにおいて破壊されるレジスタR0,R
1、引数の格納のため使用されるレジスタをR0,R1、関数
の戻り値の格納に使用される戻り値レジスタR0がある。
図１０のＣ言語記述のプログラムに対して既に構文解析
装置１１及び最適化装置１２によって図１１(b) のよう
な３番地形式の中間プログラムが出力されている。さら
に最適化装置１２によって中間プログラムから基本ブロ
ックが抽出され制御フロー情報およびデータフロー情報
が求められる。図１１(b)の中間プログラムから図１１
(d)のように基本ブロックが抽出される。また図１１で
は、陽に示していないが、各変数がどこで定義され参照
されるかの情報も解析される。例えば図１１(b)の変数t
1は、中間命令i1で定義され、中間命令i2で参照されて
いることが解析されている。さらに最適化装置１２によ
って図１２(a)〜(d)のように各基本ブロックの中間命令
間の依存グラフが求められる。なお、図１１(b)では、
特に図中の変数Pr1は、仮引数、変数Ar1,Ar2は、関数の
実引数、変数Fr1, Fr2, Fr3,は、それぞれおよび関数の
戻り値を保持する変数である。また、同図中の変数Br1,
Br2,Br3は、それぞれの関数呼び出しにおいて、破壊さ
れる可能性のあるレジスタを示すために便宜的に採り入
れられた変数である。
【００９８】この状態で資源割付装置１３に処理が移
る。資源割付制御部２８は、割付対象生成部２２を起動
する。割付対象生成部２２は、制御フロー情報、および
データフロー情報から変数に対する割付対象を生成する
（ステップａ１）。その結果図１４のｎ１０からｎ１５
までの情報と、図１５のｎ２０からｎ２６までの情報が
得られる。図１４は、以下で行う割り付け処理によりレ
ジスタが割付けられるものを表し、図１５は、実引数(A
r)、関数の戻り値(Fr)、破壊レジスタ(Br)を表す割付対
象を示しており、ｎ２６に示す通り既にレジスタに割り
付けられている。図１４及び図１５に示された割付対象
の情報は、図１中の割付対象保持部２１に保持される。
次に資源割付制御部２８は、資源排他割付対象検出部２
３を起動する。資源排他割付対象検出部２３は、割付対
象保持部２１に保持されている各々の割付対象に関して
資源排他関係にある割付け対象を求める（ステップａ
２）。その結果図１４のｎ１６の情報が得られる。
る。資源割付制御部２８は、割付対象生成部２２を起動
する。割付対象生成部２２は、制御フロー情報、および
データフロー情報から変数に対する割付対象を生成する
（ステップａ１）。その結果図１４のｎ１０からｎ１５
までの情報と、図１５のｎ２０からｎ２６までの情報が
得られる。図１４は、以下で行う割り付け処理によりレ
ジスタが割付けられるものを表し、図１５は、実引数(A
r)、関数の戻り値(Fr)、破壊レジスタ(Br)を表す割付対
象を示しており、ｎ２６に示す通り既にレジスタに割り
付けられている。図１４及び図１５に示された割付対象
の情報は、図１中の割付対象保持部２１に保持される。
次に資源割付制御部２８は、資源排他割付対象検出部２
３を起動する。資源排他割付対象検出部２３は、割付対
象保持部２１に保持されている各々の割付対象に関して
資源排他関係にある割付け対象を求める（ステップａ
２）。その結果図１４のｎ１６の情報が得られる。
【００９９】次に資源割付制御部２８は、資源継承割付
対象検出部２４を起動する。資源継承割付対象検出部２
４は、割付対象保持部２１に保持されている各々の割付
対象に関して直接的な資源継承関係にある割付対象を求
める（ステップａ３）。その結果図１４のｎ１７の情報
が得られる。資源割付制御部２８は、資源独立割付対象
検出部２５を起動する。資源独立割付対象検出部２５
は、割付対象保持部２１に保持されている各々の割付対
象に関して資源独立関係にある割付対象を求める（ステ
ップａ４）。その結果図１４のｎ１８の情報が得られ
る。次に資源割付制御部２８は、割付優先度計算部２６
を起動する。割付優先度計算部２６は、各割付対象に関
して割付優先度を計算する（ステップａ５）。その結果
図１４のｎ１９の情報が得られる。
対象検出部２４を起動する。資源継承割付対象検出部２
４は、割付対象保持部２１に保持されている各々の割付
対象に関して直接的な資源継承関係にある割付対象を求
める（ステップａ３）。その結果図１４のｎ１７の情報
が得られる。資源割付制御部２８は、資源独立割付対象
検出部２５を起動する。資源独立割付対象検出部２５
は、割付対象保持部２１に保持されている各々の割付対
象に関して資源独立関係にある割付対象を求める（ステ
ップａ４）。その結果図１４のｎ１８の情報が得られ
る。次に資源割付制御部２８は、割付優先度計算部２６
を起動する。割付優先度計算部２６は、各割付対象に関
して割付優先度を計算する（ステップａ５）。その結果
図１４のｎ１９の情報が得られる。
【０１００】次に資源割付制御部２８は、割付資源要素
決定部２７を起動する。割付資源要素決定部２７は、割
付優先度の高い割付対象から順にレジスタを割付対象に
割付ける（ステップａ６）。ここで割付資源要素決定部
２７の処理を図６に示す資源要素決定制御部３５のフロ
ーチャートを参照しながら説明する。
決定部２７を起動する。割付資源要素決定部２７は、割
付優先度の高い割付対象から順にレジスタを割付対象に
割付ける（ステップａ６）。ここで割付資源要素決定部
２７の処理を図６に示す資源要素決定制御部３５のフロ
ーチャートを参照しながら説明する。
【０１０１】先ず、資源要素決定制御部３５は、未割付
けの割付対象が存在するか否か判定し、未割付けの割付
対象のうち、割付優先度が最大の割付対象t2を取り出す
（ステップｂ１、ｂ２）。 ＜割付対象t2を対象とした処理内容(p0)＞次に資源要素
決定制御部３５は、割付可能資源要素検出部３２を起動
する（ステップｂ３）。割付可能資源要素検出部３２
は、資源排他関係にある割付対象に割付けられていない
レジスタR0〜R3を割付候補資源要素保持部３１に保持さ
せる（図１６(P0-1)）。次に資源要素決定制御部３５
は、割付候補資源要素保持部３１に格納されているレジ
スタが複数個存在すると判定し、利得計算部３３を起動
する（ステップｂ４、ｂ６、ｂ８）。その結果、図４に
示される利得計算部３３の利得計算制御部４１が起動さ
れる。
けの割付対象が存在するか否か判定し、未割付けの割付
対象のうち、割付優先度が最大の割付対象t2を取り出す
（ステップｂ１、ｂ２）。 ＜割付対象t2を対象とした処理内容(p0)＞次に資源要素
決定制御部３５は、割付可能資源要素検出部３２を起動
する（ステップｂ３）。割付可能資源要素検出部３２
は、資源排他関係にある割付対象に割付けられていない
レジスタR0〜R3を割付候補資源要素保持部３１に保持さ
せる（図１６(P0-1)）。次に資源要素決定制御部３５
は、割付候補資源要素保持部３１に格納されているレジ
スタが複数個存在すると判定し、利得計算部３３を起動
する（ステップｂ４、ｂ６、ｂ８）。その結果、図４に
示される利得計算部３３の利得計算制御部４１が起動さ
れる。
【０１０２】＜割付対象t2に対する利得計算部３３の処
理内容(p1)＞利得計算制御部４１は、図１７(a)(b)の(p
1-1)のように利得保持部３４及び得失保持部４６の各資
源要素の欄をゼロに設定する（ステップｃ１）。次に利
得計算制御部４１は、図１８(a)(b)の(p1-1)のように追
跡対象保持部４２、処理済割付対象保持部４３を空に設
定する（ステップｃ２）。次に利得計算制御部４１は、
割付対象t2に対して追跡対象A1を生成し、A1の各項目を
図１４からA1.ASO = t2, A1.LNS = 1, A1.RES = R0〜R3
に設定する。次に図１８(a)の(p1-2) のようにA1を追跡
対象保持部４２に格納する（ステップｃ３）。図１８
(a)の(p1-2)では、追跡対象を(A1, t2, 1, (R0,R1,R2,R
3))で表現し、各項目は、(追跡対象名、割付対象、生存
区間長の和、得失値を求めるべき資源要素の集合)を示
す。次に利得計算制御部４１は、得失計算部５０を起動
する。
理内容(p1)＞利得計算制御部４１は、図１７(a)(b)の(p
1-1)のように利得保持部３４及び得失保持部４６の各資
源要素の欄をゼロに設定する（ステップｃ１）。次に利
得計算制御部４１は、図１８(a)(b)の(p1-1)のように追
跡対象保持部４２、処理済割付対象保持部４３を空に設
定する（ステップｃ２）。次に利得計算制御部４１は、
割付対象t2に対して追跡対象A1を生成し、A1の各項目を
図１４からA1.ASO = t2, A1.LNS = 1, A1.RES = R0〜R3
に設定する。次に図１８(a)の(p1-2) のようにA1を追跡
対象保持部４２に格納する（ステップｃ３）。図１８
(a)の(p1-2)では、追跡対象を(A1, t2, 1, (R0,R1,R2,R
3))で表現し、各項目は、(追跡対象名、割付対象、生存
区間長の和、得失値を求めるべき資源要素の集合)を示
す。次に利得計算制御部４１は、得失計算部５０を起動
する。
【０１０３】＜追跡対象A1に対する得失計算部５０の処
理内容(p2)＞ここでさらに割付対象t2に関する利得計算
制御部４１の処理内容を図９に示すフローチャートを参
照しながら説明する。まず、ステップｄ１、ステップｄ
２では、追跡対象A1を追跡対象保持部４２から取り出
し、追跡対象保持部４２から削除する。さらに追跡対象
A1の割付対象項目である割付対象t2を処理済割付対象保
持部４３に格納する（図１８(a)(p2-1)、図１８(b)(p2-
1)）。
理内容(p2)＞ここでさらに割付対象t2に関する利得計算
制御部４１の処理内容を図９に示すフローチャートを参
照しながら説明する。まず、ステップｄ１、ステップｄ
２では、追跡対象A1を追跡対象保持部４２から取り出
し、追跡対象保持部４２から削除する。さらに追跡対象
A1の割付対象項目である割付対象t2を処理済割付対象保
持部４３に格納する（図１８(a)(p2-1)、図１８(b)(p2-
1)）。
【０１０４】次にステップｄ３において追跡対象A1の割
付対象項目である割付対象t2はレジスタに割り付けられ
ているかが判定されるが、割り付けられていないのでス
テップｄ５に進む。次にステップｄ５〜ステップｄ６で
は、集合OSおよび集合RSともに空となる。次にステップ
ｄ７では、追跡対象A1の割付対象項目である割付対象t2
と直接的な資源継承関係にある割付対象t3に対して図１
８(a)(p2-2)にように追跡対象A2を生成する。ここで追
跡対象A2の生存区間長の和は、A2.LNSの1と、割付対象t
2の生存区間長 1 の和 2 となる。次にステップｄ１へ
戻る。
付対象項目である割付対象t2はレジスタに割り付けられ
ているかが判定されるが、割り付けられていないのでス
テップｄ５に進む。次にステップｄ５〜ステップｄ６で
は、集合OSおよび集合RSともに空となる。次にステップ
ｄ７では、追跡対象A1の割付対象項目である割付対象t2
と直接的な資源継承関係にある割付対象t3に対して図１
８(a)(p2-2)にように追跡対象A2を生成する。ここで追
跡対象A2の生存区間長の和は、A2.LNSの1と、割付対象t
2の生存区間長 1 の和 2 となる。次にステップｄ１へ
戻る。
【０１０５】＜追跡対象A2の処理(p3)＞次にステップｄ
１、ステップｄ２では、追跡対象A2を追跡対象保持部４
２から取り出し、追跡対象保持部４２から削除する。さ
らに追跡対象A2の割付対象項目である割付対象t3を処理
済割付対象保持部４３に格納する（図１８(a)(p3-1)、
図１８(b)(p3-1)）。
１、ステップｄ２では、追跡対象A2を追跡対象保持部４
２から取り出し、追跡対象保持部４２から削除する。さ
らに追跡対象A2の割付対象項目である割付対象t3を処理
済割付対象保持部４３に格納する（図１８(a)(p3-1)、
図１８(b)(p3-1)）。
【０１０６】次にステップｄ３では、追跡対象A2の割付
対象項目である割付対象t3は、レジスタに割り付けられ
ていないのでステップｄ５に進む。次にステップｄ５〜
ステップｄ６では、集合OSおよび集合RSともに空とな
る。次にステップｄ７では、追跡対象A2の割付対象項目
である割付対象t3と直接的な資源継承関係にあり、かつ
処理済割付対象保持部４３に格納されていない割付対象
は、存在しないので、追跡対象を生成せずステップｄ１
へ戻る。ステップｄ１では、追跡対象保持部４２が空な
ので得失計算部５０を終了しステップｃ４へ戻り、ステ
ップｃ５へ進む。
対象項目である割付対象t3は、レジスタに割り付けられ
ていないのでステップｄ５に進む。次にステップｄ５〜
ステップｄ６では、集合OSおよび集合RSともに空とな
る。次にステップｄ７では、追跡対象A2の割付対象項目
である割付対象t3と直接的な資源継承関係にあり、かつ
処理済割付対象保持部４３に格納されていない割付対象
は、存在しないので、追跡対象を生成せずステップｄ１
へ戻る。ステップｄ１では、追跡対象保持部４２が空な
ので得失計算部５０を終了しステップｃ４へ戻り、ステ
ップｃ５へ進む。
【０１０７】＜割付対象t2に対する利得計算部３３のス
テップｃ５からの処理内容(p1)＞次に利得計算制御部４
１は、図１７(a)(p1-2)のように 得失保持部４６(p1-1)
に保持されている値を利得保持部３４に設定する（ステ
ップｃ５）。次に利得計算制御部４１は、利得保持部３
４に格納されている値が最大のレジスタを求める。この
場合、R0〜R3を集合要素として集合RS1が求められる
（ステップｃ６）。次に利得計算制御部４１は、集合RS
1の要素は、複数個であるので、図１６(p1-1)のように
割付候補資源要素保持部３１に集合RS1を設定し、さら
に利得保持部３４の内容をゼロにし、追跡対象保持部４
２の内容を空に設定する（ステップｃ８、ｃ９、図１７
(a)(p1-3)、図１８(a)(p1-3)）。
テップｃ５からの処理内容(p1)＞次に利得計算制御部４
１は、図１７(a)(p1-2)のように 得失保持部４６(p1-1)
に保持されている値を利得保持部３４に設定する（ステ
ップｃ５）。次に利得計算制御部４１は、利得保持部３
４に格納されている値が最大のレジスタを求める。この
場合、R0〜R3を集合要素として集合RS1が求められる
（ステップｃ６）。次に利得計算制御部４１は、集合RS
1の要素は、複数個であるので、図１６(p1-1)のように
割付候補資源要素保持部３１に集合RS1を設定し、さら
に利得保持部３４の内容をゼロにし、追跡対象保持部４
２の内容を空に設定する（ステップｃ８、ｃ９、図１７
(a)(p1-3)、図１８(a)(p1-3)）。
【０１０８】次に利得計算制御部４１は、割付対象t2と
資源排他関係にあり且つ未割り付けの割付対象t1を資源
排他割付対象保持部４４に格納する（図１９(p1-1)）。
次に利得計算制御部４１は、資源排他割付対象保持部４
４から割付対象t1を取り出し、得失保持部４６の内容を
ゼロにし、処理済割付対象保持部４３を空に設定する
（図１９(a)(p1-2)、図１７(b)(p1-2)、図１８(b)(p1-
2)）。次に利得計算制御部４１は、割付対象t1に対して
追跡対象B1を生成し、B1の各項目を図１４からB1.ASO =
t1, B1.LNS = 1, B1.RES = R0〜R3 に設定する。次に
図１８(a)(p1-4)のようにB1を追跡対象保持部４２に格
納する （ステップｃ１４）。次に利得計算制御部４１
は、得失計算部５０を起動する。
資源排他関係にあり且つ未割り付けの割付対象t1を資源
排他割付対象保持部４４に格納する（図１９(p1-1)）。
次に利得計算制御部４１は、資源排他割付対象保持部４
４から割付対象t1を取り出し、得失保持部４６の内容を
ゼロにし、処理済割付対象保持部４３を空に設定する
（図１９(a)(p1-2)、図１７(b)(p1-2)、図１８(b)(p1-
2)）。次に利得計算制御部４１は、割付対象t1に対して
追跡対象B1を生成し、B1の各項目を図１４からB1.ASO =
t1, B1.LNS = 1, B1.RES = R0〜R3 に設定する。次に
図１８(a)(p1-4)のようにB1を追跡対象保持部４２に格
納する （ステップｃ１４）。次に利得計算制御部４１
は、得失計算部５０を起動する。
【０１０９】＜追跡対象B1に対する得失計算部５０の処
理内容(p4)＞ここでさらに割付対象t1に関する利得計算
制御部４１の処理内容を図９に示すフローチャートを参
照しながら説明する。まず、ステップｄ１、ステップｄ
２では、追跡対象B1を追跡対象保持部４２から取り出
し、追跡対象保持部４２から削除する。さらに追跡対象
B1の割付対象項目である割付対象t1を処理済割付対象保
持部４３に格納する（図１８(a)(p4-1)、図１８(b)(p4-
1)。） 次にステップｄ３では、追跡対象B1の割付対象．項目に
て指定された割付対象t1は、レジスタに割り付けられて
いないのでステップｄ５に進む。次にステップｄ５〜ス
テップｄ６では、集合OSおよび集合RSともに空となる。
次にステップｄ７では、追跡対象B1の割付対象項目であ
る割付対象t1と直接的な資源継承関係にある割付対象Pr
1,t10 に対して図１８(a)(p4-2)のように 追跡対象B2,B
3を生成する。ここで追跡対象B2,B3の生存区間長の和
は、B1.LNSの1と、割付対象t1の生存区間長7 の和8とな
る。次にステップｄ１へ戻る。
理内容(p4)＞ここでさらに割付対象t1に関する利得計算
制御部４１の処理内容を図９に示すフローチャートを参
照しながら説明する。まず、ステップｄ１、ステップｄ
２では、追跡対象B1を追跡対象保持部４２から取り出
し、追跡対象保持部４２から削除する。さらに追跡対象
B1の割付対象項目である割付対象t1を処理済割付対象保
持部４３に格納する（図１８(a)(p4-1)、図１８(b)(p4-
1)。） 次にステップｄ３では、追跡対象B1の割付対象．項目に
て指定された割付対象t1は、レジスタに割り付けられて
いないのでステップｄ５に進む。次にステップｄ５〜ス
テップｄ６では、集合OSおよび集合RSともに空となる。
次にステップｄ７では、追跡対象B1の割付対象項目であ
る割付対象t1と直接的な資源継承関係にある割付対象Pr
1,t10 に対して図１８(a)(p4-2)のように 追跡対象B2,B
3を生成する。ここで追跡対象B2,B3の生存区間長の和
は、B1.LNSの1と、割付対象t1の生存区間長7 の和8とな
る。次にステップｄ１へ戻る。
【０１１０】＜追跡対象B2,B3の処理(p5)＞次にステッ
プｄ１、ステップｄ２では、追跡対象B2を追跡対象保持
部４２から取り出し、追跡対象保持部４２から削除す
る。さらに追跡対象B2の割付対象項目である割付対象Pr
1を処理済割付対象保持部４３に格納する（図１８(a)(p
5-1)、図１８(b)(p5-1)）。
プｄ１、ステップｄ２では、追跡対象B2を追跡対象保持
部４２から取り出し、追跡対象保持部４２から削除す
る。さらに追跡対象B2の割付対象項目である割付対象Pr
1を処理済割付対象保持部４３に格納する（図１８(a)(p
5-1)、図１８(b)(p5-1)）。
【０１１１】次にステップｄ３では、追跡対象B1の割付
対象項目である割付対象Pr1 は、レジスタに割り付けら
れているのでステップｄ４に進む。次にステップｄ４で
は、図１５の割付対象Pr1 に割り付けられている割付資
源要素がR0であり、追跡対象B2の少資源要素集合の項目
であるB2.RESに属しているので、得失値= 1 / B1.LNS =
1/8 = 0.13 を求め、 図１７（ｂ）(p5-1)のように得
失保持部４６のレジスタR0の内容に0.13を加える。次に
ステップｄ１に戻る。
対象項目である割付対象Pr1 は、レジスタに割り付けら
れているのでステップｄ４に進む。次にステップｄ４で
は、図１５の割付対象Pr1 に割り付けられている割付資
源要素がR0であり、追跡対象B2の少資源要素集合の項目
であるB2.RESに属しているので、得失値= 1 / B1.LNS =
1/8 = 0.13 を求め、 図１７（ｂ）(p5-1)のように得
失保持部４６のレジスタR0の内容に0.13を加える。次に
ステップｄ１に戻る。
【０１１２】次にステップｄ１、ステップｄ２では、追
跡対象B3を追跡対象保持部４２から取り出し、追跡対象
保持部４２から削除する。さらに追跡対象B3の割付対象
項目である割付対象t10を処理済割付対象保持部４３に
格納する（図１８(a)(p5-2)、図１８(b)(p5-2)）。次に
ステップｄ３では、 追跡対象B3の割付対象項目である
割付対象t10は、レジスタに割り付けられていないので
ステップｄ５に進む。次にステップｄ５〜ステップｄ６
では、集合OSの要素が割付対象Br1となり、集合RSは、
(R0,R1)となる。次にステップｄ７では、追跡対象B3の
割付対象項目である割付対象t10と直接的な資源継承関
係にあり、かつ処理済割付対象保持部４３に格納されて
いない割付対象は、存在しないので、追跡対象を生成せ
ずステップｄ１へ戻る。ステップｄ１では、追跡対象保
持部４２が図１８(p5-2)のように追跡対象保持部４２が
空なので得失計算部５０を終了しステップｃ１５へ戻
り、ステップｃ１６へ進む。
跡対象B3を追跡対象保持部４２から取り出し、追跡対象
保持部４２から削除する。さらに追跡対象B3の割付対象
項目である割付対象t10を処理済割付対象保持部４３に
格納する（図１８(a)(p5-2)、図１８(b)(p5-2)）。次に
ステップｄ３では、 追跡対象B3の割付対象項目である
割付対象t10は、レジスタに割り付けられていないので
ステップｄ５に進む。次にステップｄ５〜ステップｄ６
では、集合OSの要素が割付対象Br1となり、集合RSは、
(R0,R1)となる。次にステップｄ７では、追跡対象B3の
割付対象項目である割付対象t10と直接的な資源継承関
係にあり、かつ処理済割付対象保持部４３に格納されて
いない割付対象は、存在しないので、追跡対象を生成せ
ずステップｄ１へ戻る。ステップｄ１では、追跡対象保
持部４２が図１８(p5-2)のように追跡対象保持部４２が
空なので得失計算部５０を終了しステップｃ１５へ戻
り、ステップｃ１６へ進む。
【０１１３】＜割付対象t2に対する利得計算部３３のス
テップｃ１６からの処理内容(p1)＞次に利得計算制御部
４１は、図１７(b)(p5-1)に示す得失値に、図１４に示
す割付対象t1の割付優先度0.57を乗じた値を、 図１７
(a)(p1-3)から減じる（図１７(a)(p1-4)）。特にここで
図１７(a)(p1-4)のR0の利得値が、-0.07であるのは、図
１７(b)(p5-1)のR0の得失値0.13であり、0.13× 0.57
≒ 0.07を 0 から減じたことによる。次に利得計算制御
部４１は、ステップｃ１１に戻るが図１９(a)(p1-2) の
ように資源排他割付対象保持部４４が空であるのでルー
プ１(ステップｃ１１)の処理を終えステップｃ１７へ進
む。次に利得計算制御部４１は、図１７(a)(p1-4)のう
ち利得値が最大のR1, R2, R3 を集合要素とする集合RS2
に求め、当該集合の要素数が２個以上なのでステップｃ
１９に進む（ステップｃ１７、ｃ１８）。
テップｃ１６からの処理内容(p1)＞次に利得計算制御部
４１は、図１７(b)(p5-1)に示す得失値に、図１４に示
す割付対象t1の割付優先度0.57を乗じた値を、 図１７
(a)(p1-3)から減じる（図１７(a)(p1-4)）。特にここで
図１７(a)(p1-4)のR0の利得値が、-0.07であるのは、図
１７(b)(p5-1)のR0の得失値0.13であり、0.13× 0.57
≒ 0.07を 0 から減じたことによる。次に利得計算制御
部４１は、ステップｃ１１に戻るが図１９(a)(p1-2) の
ように資源排他割付対象保持部４４が空であるのでルー
プ１(ステップｃ１１)の処理を終えステップｃ１７へ進
む。次に利得計算制御部４１は、図１７(a)(p1-4)のう
ち利得値が最大のR1, R2, R3 を集合要素とする集合RS2
に求め、当該集合の要素数が２個以上なのでステップｃ
１９に進む（ステップｃ１７、ｃ１８）。
【０１１４】次に利得計算制御部４１は、図１６(p1-2)
のように割付候補資源要素保持部３１に集合RS2を設定
し、さらに利得保持部３４の内容をゼロにし、追跡対象
保持部４２の内容を空に設定する（ステップｃ１９、ｃ
２０、図１７(a)(p1-5)、図１８(a)(p1-5)）。利得計算
制御部４１は、割付対象t2と資源独立関係にある割付対
象t4,t5 について追跡対象を生成し、得失値ルーチンを
起動して得失値を求めるが、割付対象t4,t5 ともに資源
継承関係にある割付対象にレジスタが割り付けられてい
ない。よって、図９のステップｄ４を実行することがな
いので各レジスタの得失値は、常にゼロとなり利得保持
部３４の内容は、図１７(a)(p1-5) のまま変化せずにル
ープ２（ステップｃ２２）の処理を終了する（ステップ
ｃ２２〜ｃ２７）。次に利得計算制御部４１は、利得計
算部３３の処理を終了し、図６のステップｂ８に戻る。
のように割付候補資源要素保持部３１に集合RS2を設定
し、さらに利得保持部３４の内容をゼロにし、追跡対象
保持部４２の内容を空に設定する（ステップｃ１９、ｃ
２０、図１７(a)(p1-5)、図１８(a)(p1-5)）。利得計算
制御部４１は、割付対象t2と資源独立関係にある割付対
象t4,t5 について追跡対象を生成し、得失値ルーチンを
起動して得失値を求めるが、割付対象t4,t5 ともに資源
継承関係にある割付対象にレジスタが割り付けられてい
ない。よって、図９のステップｄ４を実行することがな
いので各レジスタの得失値は、常にゼロとなり利得保持
部３４の内容は、図１７(a)(p1-5) のまま変化せずにル
ープ２（ステップｃ２２）の処理を終了する（ステップ
ｃ２２〜ｃ２７）。次に利得計算制御部４１は、利得計
算部３３の処理を終了し、図６のステップｂ８に戻る。
【０１１５】＜割付対象t2を対象としたステップｂ９か
らの処理内容(p0)＞次に資源要素決定制御部３５は、図
１６(a)(p1-2) に示す割付候補資源要素保持部３１に格
納されているレジスタと、 図１７(a)(p1-5)に示す利得
保持部３４の値のうち利得値が最大であるレジスタR1を
割付対象t2に割り付ける（図１６（ｂ）(p0)）。次に資
源要素決定制御部３５は、未割付けの割付対象が存在す
るか否か判定し、未割付けの割付対象のうち、割付優先
度が最大の割付対象t3を取り出す（ステップｂ１、ｂ
２）。
らの処理内容(p0)＞次に資源要素決定制御部３５は、図
１６(a)(p1-2) に示す割付候補資源要素保持部３１に格
納されているレジスタと、 図１７(a)(p1-5)に示す利得
保持部３４の値のうち利得値が最大であるレジスタR1を
割付対象t2に割り付ける（図１６（ｂ）(p0)）。次に資
源要素決定制御部３５は、未割付けの割付対象が存在す
るか否か判定し、未割付けの割付対象のうち、割付優先
度が最大の割付対象t3を取り出す（ステップｂ１、ｂ
２）。
【０１１６】＜割付対象t3を対象とした処理内容(p6)＞
次に資源要素決定制御部３５は、割付対象t3に対しても
割付対象t2と同様の処理を行なう。よってその詳細な処
理説明は、省略するが、特に第１のレジスタ選択の処理
であるステップｃ１〜ｃ６において、割付対象t3と資源
継承関係にある割付対象t2がレジスタR1に割り付けられ
ているので、ステップｄ４でレジスタR1の得失値が増加
し、結果的にR1の利得値が最大となり、割付対象t3に
は、レジスタR1が割り付けられる（図１６(b)(p6) ）。
次に資源要素決定制御部３５は、未割付けの割付対象が
存在するか否か判定し、未割付けの割付対象のうち、割
付優先度が最大の割付対象t4を取り出す（ステップｂ
１、ｂ２）。
次に資源要素決定制御部３５は、割付対象t3に対しても
割付対象t2と同様の処理を行なう。よってその詳細な処
理説明は、省略するが、特に第１のレジスタ選択の処理
であるステップｃ１〜ｃ６において、割付対象t3と資源
継承関係にある割付対象t2がレジスタR1に割り付けられ
ているので、ステップｄ４でレジスタR1の得失値が増加
し、結果的にR1の利得値が最大となり、割付対象t3に
は、レジスタR1が割り付けられる（図１６(b)(p6) ）。
次に資源要素決定制御部３５は、未割付けの割付対象が
存在するか否か判定し、未割付けの割付対象のうち、割
付優先度が最大の割付対象t4を取り出す（ステップｂ
１、ｂ２）。
【０１１７】＜割付対象t4を対象とした処理内容(P7)＞
次に資源要素決定制御部３５は、割付対象t4に対しても
割付対象t2と同様に、ステップｂ３〜ｂ６を行ない、ス
テップｂ８に進んで利得計算部３３を起動し、利得計算
制御部４１が起動される。次に利得計算制御部４１は、
割付対象t2と同様に、第１のレジスタ選択の処理と第２
のレジスタ選択の処理（ステップｃ１〜ｃ１８）までと
ステップｃ１９、ｃ２０を行うので、ステップｃ１〜ｃ
２０までの詳細な説明は、省略する。その処理の結果、
割付候補資源要素保持部３１、利得保持部３４、追跡対
象保持部４２の内容は、 図１６(a)(p7-1)、図１７(a)
(p7-1)、図１８(a)(p7-1)のようになる。
次に資源要素決定制御部３５は、割付対象t4に対しても
割付対象t2と同様に、ステップｂ３〜ｂ６を行ない、ス
テップｂ８に進んで利得計算部３３を起動し、利得計算
制御部４１が起動される。次に利得計算制御部４１は、
割付対象t2と同様に、第１のレジスタ選択の処理と第２
のレジスタ選択の処理（ステップｃ１〜ｃ１８）までと
ステップｃ１９、ｃ２０を行うので、ステップｃ１〜ｃ
２０までの詳細な説明は、省略する。その処理の結果、
割付候補資源要素保持部３１、利得保持部３４、追跡対
象保持部４２の内容は、 図１６(a)(p7-1)、図１７(a)
(p7-1)、図１８(a)(p7-1)のようになる。
【０１１８】次に利得計算制御部４１は、割付対象t4と
資源独立関係にある割付対象t2,t3を資源独立割付対象
保持部４５に格納する（ステップｃ２１、図１９(b)(p7
-1)）。次に利得計算制御部４１は、資源独立割付対象
保持部４５から割付対象t2を取り出し、得失保持部４６
の内容をゼロにし、処理済割付対象保持部４３を空に設
定する（図１９(b)(p7-2)、図１７(b)(p7-1)、図１８
(b)(p7-1)）。次に利得計算制御部４１は、割付対象t2
に対して追跡対象C1を生成し、C1の各項目を図１４から
C1.ASO = t2, C1.LNS = 1,C1.RES = R1〜R3に設定す
る。次に図１８(a)(p7-2)のようにC1を追跡対象保持部
４２に格納する（ステップｃ２５）。次に利得計算制御
部４１は、得失計算部５０を起動する。
資源独立関係にある割付対象t2,t3を資源独立割付対象
保持部４５に格納する（ステップｃ２１、図１９(b)(p7
-1)）。次に利得計算制御部４１は、資源独立割付対象
保持部４５から割付対象t2を取り出し、得失保持部４６
の内容をゼロにし、処理済割付対象保持部４３を空に設
定する（図１９(b)(p7-2)、図１７(b)(p7-1)、図１８
(b)(p7-1)）。次に利得計算制御部４１は、割付対象t2
に対して追跡対象C1を生成し、C1の各項目を図１４から
C1.ASO = t2, C1.LNS = 1,C1.RES = R1〜R3に設定す
る。次に図１８(a)(p7-2)のようにC1を追跡対象保持部
４２に格納する（ステップｃ２５）。次に利得計算制御
部４１は、得失計算部５０を起動する。
【０１１９】＜追跡対象C1に対する得失計算部５０の処
理内容(p8)＞ここでさらに割付対象t4に関する利得計算
制御部４１の処理内容を図９に示すフローチャートを参
照しながら説明する。まず、ステップｄ１、ステップｄ
２では、追跡対象C1を追跡対象保持部４２から取り出
し、追跡対象保持部４２から削除する。さらに追跡対象
C1の割付対象項目である割付対象t2を処理済割付対象保
持部４３に格納する（図１８(a)(p8-1)、図１８(b)(p8-
1)。） 次にステップｄ３では、追跡対象C1の割付対象項目であ
る割付対象t2は、レジスタに割り付けられているのでス
テップｄ４に進む。次にステップｄ４では、図１６(b)
(p0) のように割付対象t2に割り付けられている割付資
源要素がR1であり、追跡対象C1の少資源要素集合の項目
であるC1.RESに属しているので、得失値 =1 / C1.LNS =
1/1 = 1 を求め、 図１７(b)(p8-1)のように得失保持
部４６のレジスタR1の内容に 1 を加える。次にステッ
プｄ１に戻るが図１８(a)(p8-1)のように追跡対象保持
部４２が空なので得失計算部５０を終了しステップｃ２
６へ戻り、ステップｃ２７へ進む。
理内容(p8)＞ここでさらに割付対象t4に関する利得計算
制御部４１の処理内容を図９に示すフローチャートを参
照しながら説明する。まず、ステップｄ１、ステップｄ
２では、追跡対象C1を追跡対象保持部４２から取り出
し、追跡対象保持部４２から削除する。さらに追跡対象
C1の割付対象項目である割付対象t2を処理済割付対象保
持部４３に格納する（図１８(a)(p8-1)、図１８(b)(p8-
1)。） 次にステップｄ３では、追跡対象C1の割付対象項目であ
る割付対象t2は、レジスタに割り付けられているのでス
テップｄ４に進む。次にステップｄ４では、図１６(b)
(p0) のように割付対象t2に割り付けられている割付資
源要素がR1であり、追跡対象C1の少資源要素集合の項目
であるC1.RESに属しているので、得失値 =1 / C1.LNS =
1/1 = 1 を求め、 図１７(b)(p8-1)のように得失保持
部４６のレジスタR1の内容に 1 を加える。次にステッ
プｄ１に戻るが図１８(a)(p8-1)のように追跡対象保持
部４２が空なので得失計算部５０を終了しステップｃ２
６へ戻り、ステップｃ２７へ進む。
【０１２０】＜割付対象t4に対する利得計算部３３のス
テップｃ２７からの処理内容(p7)＞次に利得計算制御部
４１は、図１７(b)(p8-1)に示す得失値に、 図１４に示
す割付対象t2の割付優先度2 を乗じた値を、 図１７(a)
(p7-1)から減じる（図１７(a)(p7-2)）。次に利得計算
制御部４１は、ステップｃ２２に戻る。次に利得計算制
御部４１は、割付対象t4と資源独立関係にある割付対象
t3を取り出し（図１９(b)(p7-3)）、 割付対象t2と同様
にステップｃ２４〜ｃ２７を行ない、結果、利得保持部
３４の内容は、図１７(a)(p7-3)となる。次に利得計算
制御部４１は、図１９(b)(p7-3)に示すように資源独立
割付対象保持部４５が空であるのでループ２（ステップ
ｃ２２）の処理を終了し、利得計算部３３の処理を終了
し、図６のステップｂ８に戻る。
テップｃ２７からの処理内容(p7)＞次に利得計算制御部
４１は、図１７(b)(p8-1)に示す得失値に、 図１４に示
す割付対象t2の割付優先度2 を乗じた値を、 図１７(a)
(p7-1)から減じる（図１７(a)(p7-2)）。次に利得計算
制御部４１は、ステップｃ２２に戻る。次に利得計算制
御部４１は、割付対象t4と資源独立関係にある割付対象
t3を取り出し（図１９(b)(p7-3)）、 割付対象t2と同様
にステップｃ２４〜ｃ２７を行ない、結果、利得保持部
３４の内容は、図１７(a)(p7-3)となる。次に利得計算
制御部４１は、図１９(b)(p7-3)に示すように資源独立
割付対象保持部４５が空であるのでループ２（ステップ
ｃ２２）の処理を終了し、利得計算部３３の処理を終了
し、図６のステップｂ８に戻る。
【０１２１】＜割付対象t4を対象としたステップｂ９か
らの処理内容(p7)＞次に資源要素決定制御部３５は、図
１６(a)(p7-1) に示す割付候補資源要素保持部３１に格
納されているレジスタと、 図１７(a)(p7-3)に示す利得
保持部３４の値のうち利得値が最大であるレジスタR2を
割付対象t4に割り付ける（図１６(b)(p7)）。次に資源
要素決定制御部３５は、未割付けの割付対象が存在する
か否か判定し、未割付けの割付対象のうち、割付優先度
が最大の割付対象t5を取り出す（ステップｂ１、ｂ
２）。
らの処理内容(p7)＞次に資源要素決定制御部３５は、図
１６(a)(p7-1) に示す割付候補資源要素保持部３１に格
納されているレジスタと、 図１７(a)(p7-3)に示す利得
保持部３４の値のうち利得値が最大であるレジスタR2を
割付対象t4に割り付ける（図１６(b)(p7)）。次に資源
要素決定制御部３５は、未割付けの割付対象が存在する
か否か判定し、未割付けの割付対象のうち、割付優先度
が最大の割付対象t5を取り出す（ステップｂ１、ｂ
２）。
【０１２２】＜割付対象t5を対象とした処理内容(p9)＞
次に資源要素決定制御部３５は、割付対象t5に対しても
割付対象t4と同様の処理を行なう。よってその詳細な処
理説明は、省略するが、特に第１のレジスタ選択の処理
であるステップｃ１〜ｃ６において、割付対象t5と資源
継承関係にある割付対象t4がレジスタR2に割り付けられ
ているので、ステップｄ４でレジスタR2の得失値が増加
し、結果的にR2の利得値が最大となり、割付対象t5に
は、レジスタR2が割り付けられる（図１６(b)(p9) ）。
この結果、割付対象t2,t3と割付対象t4,t5は、異なるレ
ジスタに割り付けられているので図１１(a)の中間命令i
2,i3,i4 と中間命令i5,i6,i7 においては、レジスタ割
り付けによる命令間の新たな依存の発生は起きない。ま
た割付対象t2とt3及び割付対象t4とt5は、ともに同じレ
ジスタに割り付けられているので、図１１(a)の中間命
令i3,i6 においてレジスタ割り付けによる新たな転送命
令の発生も起きない。
次に資源要素決定制御部３５は、割付対象t5に対しても
割付対象t4と同様の処理を行なう。よってその詳細な処
理説明は、省略するが、特に第１のレジスタ選択の処理
であるステップｃ１〜ｃ６において、割付対象t5と資源
継承関係にある割付対象t4がレジスタR2に割り付けられ
ているので、ステップｄ４でレジスタR2の得失値が増加
し、結果的にR2の利得値が最大となり、割付対象t5に
は、レジスタR2が割り付けられる（図１６(b)(p9) ）。
この結果、割付対象t2,t3と割付対象t4,t5は、異なるレ
ジスタに割り付けられているので図１１(a)の中間命令i
2,i3,i4 と中間命令i5,i6,i7 においては、レジスタ割
り付けによる命令間の新たな依存の発生は起きない。ま
た割付対象t2とt3及び割付対象t4とt5は、ともに同じレ
ジスタに割り付けられているので、図１１(a)の中間命
令i3,i6 においてレジスタ割り付けによる新たな転送命
令の発生も起きない。
【０１２３】＜その他の割付対象に対する処理結果(p1
0)＞次に資源要素決定制御部３５は、図１４の割付対象
t6〜t10および b に対して同様の処理を行ない、結果図
１６(b)(p10)のように割り付けられる。次に資源要素決
定制御部３５は、未割り付けの割付対象が無くなったの
で割付資源要素決定部２７の処理を終える。
0)＞次に資源要素決定制御部３５は、図１４の割付対象
t6〜t10および b に対して同様の処理を行ない、結果図
１６(b)(p10)のように割り付けられる。次に資源要素決
定制御部３５は、未割り付けの割付対象が無くなったの
で割付資源要素決定部２７の処理を終える。
【０１２４】以上のように本実施形態によれば、プログ
ラム中の各割付対象の資源継承関係が広域的にどうなっ
ているかを参照するため、より理想的な資源割付が行わ
れる。ネストレベルが深い箇所に優先してレジスタを割
り付け、その割り付け済みのレジスタをネストレベルが
浅くなる箇所に拡散してゆくような、又は使用頻度が高
い箇所に優先してレジスタを割り付け、その割り付け済
みのレジスタをネストレベルが低い箇所に拡散してゆく
ような、又は引数レジスタ、戻り値レジスタ、破壊レジ
スタ等予め割り付ける相手が決められた割付対象がその
資源を周りに拡げてゆくようなスマートな資源割り付け
を実現できるとともに、割り付けレジスタの選択時に命
令間の依存発生を抑えるレジスタ選択が実現できる。よ
って、割付結果が非常に洗練されたものになるため最終
的に生成する目的プログラムのプログラムサイズおよび
実行速度は、一層向上する。
ラム中の各割付対象の資源継承関係が広域的にどうなっ
ているかを参照するため、より理想的な資源割付が行わ
れる。ネストレベルが深い箇所に優先してレジスタを割
り付け、その割り付け済みのレジスタをネストレベルが
浅くなる箇所に拡散してゆくような、又は使用頻度が高
い箇所に優先してレジスタを割り付け、その割り付け済
みのレジスタをネストレベルが低い箇所に拡散してゆく
ような、又は引数レジスタ、戻り値レジスタ、破壊レジ
スタ等予め割り付ける相手が決められた割付対象がその
資源を周りに拡げてゆくようなスマートな資源割り付け
を実現できるとともに、割り付けレジスタの選択時に命
令間の依存発生を抑えるレジスタ選択が実現できる。よ
って、割付結果が非常に洗練されたものになるため最終
的に生成する目的プログラムのプログラムサイズおよび
実行速度は、一層向上する。
【０１２５】
【発明の効果】以上説明したように本発明に係る資源割
付装置によれば、次に資源要素を割り付けるべき割付対
象が定義されている命令と同一の基本ブロックに位置す
る命令であって、当該定義命令と直接的な依存関係を有
さず、尚且つ間接的な依存関係を有さない独立命令にて
定義されている割付対象を検出する資源独立関係割付対
象検出手段と、前記複数の資源要素のうち、何れかの資
源要素が何れかの割付対象に既に割り付けられている場
合、前記資源独立関係割付対象検出手段により検出され
た割付対象が、それら割付済み割付対象と直接的な生存
区間の連続性及び／又は間接的な生存区間の連続性を有
しているかを判定する第１の生存区間連続性判定手段
と、次に資源要素を割り付けるべき割付対象と、既に資
源要素が割り付けられた割付対象とが直接的な生存区間
の連続性及び／又は間接的な生存区間の連続性を有して
いるかを判定する第２の生存区間連続性判定手段と、前
記第１及び第２の生存区間連続性判定手段により生存区
間の連続性が判定されると、判定された割付対象に割付
け済みのそれぞれの資源要素を、次に資源要素を割り付
けるべき割付対象に割り付けた場合に目的プログラムに
与え得る利害得失を各資源要素について定量化する定量
化手段と、定量化手段により定量化された利害得失を示
す利得値を資源要素同士で比較して、その利得が最も大
きい資源要素を、次に資源要素を割り付けるべき割付対
象に順次割り付ける割付手段とを備えている。ここで定
量化手段は、独立性が成立している割付対象、資源継承
関係が成立している割付対象と直接的又は間接的な生存
区間の連続性を有した割付対象に割付済みの資源要素に
ついて利害得失を定量化するので、得失値と並列実行性
とを総合的に評価することができる。このような総合評
価により転送命令の低減と、並列実行性の低減とを両立
させることができ、転送の発生と命令依存性の発生とを
抑えることができる。従って、目的プログラムのコード
サイズ縮小、実行時間短縮を両立することができる。
付装置によれば、次に資源要素を割り付けるべき割付対
象が定義されている命令と同一の基本ブロックに位置す
る命令であって、当該定義命令と直接的な依存関係を有
さず、尚且つ間接的な依存関係を有さない独立命令にて
定義されている割付対象を検出する資源独立関係割付対
象検出手段と、前記複数の資源要素のうち、何れかの資
源要素が何れかの割付対象に既に割り付けられている場
合、前記資源独立関係割付対象検出手段により検出され
た割付対象が、それら割付済み割付対象と直接的な生存
区間の連続性及び／又は間接的な生存区間の連続性を有
しているかを判定する第１の生存区間連続性判定手段
と、次に資源要素を割り付けるべき割付対象と、既に資
源要素が割り付けられた割付対象とが直接的な生存区間
の連続性及び／又は間接的な生存区間の連続性を有して
いるかを判定する第２の生存区間連続性判定手段と、前
記第１及び第２の生存区間連続性判定手段により生存区
間の連続性が判定されると、判定された割付対象に割付
け済みのそれぞれの資源要素を、次に資源要素を割り付
けるべき割付対象に割り付けた場合に目的プログラムに
与え得る利害得失を各資源要素について定量化する定量
化手段と、定量化手段により定量化された利害得失を示
す利得値を資源要素同士で比較して、その利得が最も大
きい資源要素を、次に資源要素を割り付けるべき割付対
象に順次割り付ける割付手段とを備えている。ここで定
量化手段は、独立性が成立している割付対象、資源継承
関係が成立している割付対象と直接的又は間接的な生存
区間の連続性を有した割付対象に割付済みの資源要素に
ついて利害得失を定量化するので、得失値と並列実行性
とを総合的に評価することができる。このような総合評
価により転送命令の低減と、並列実行性の低減とを両立
させることができ、転送の発生と命令依存性の発生とを
抑えることができる。従って、目的プログラムのコード
サイズ縮小、実行時間短縮を両立することができる。
【０１２６】ここで各資源要素に対応づけて、利得値の
初期値を記憶する利得値記憶手段を新たに設け、前記定
量化手段は、前記第１の生存区間連続性判定手段によっ
て生存区間の連続性が判定された場合、前記資源独立関
係割付対象検出手段により検出された割付対象から既に
資源要素が割り付けられた割付対象までの生存区間長の
短さに応じて、既に割付対象に割り付けられている資源
要素についての利得値を減少する第１減少部を備えるよ
うにしてもよい。
初期値を記憶する利得値記憶手段を新たに設け、前記定
量化手段は、前記第１の生存区間連続性判定手段によっ
て生存区間の連続性が判定された場合、前記資源独立関
係割付対象検出手段により検出された割付対象から既に
資源要素が割り付けられた割付対象までの生存区間長の
短さに応じて、既に割付対象に割り付けられている資源
要素についての利得値を減少する第１減少部を備えるよ
うにしてもよい。
【０１２７】本装置によれば、利得値記憶部に記憶され
ている各資源要素の利得値が、第１の減少部によって減
少させられる。そのため次に資源要素を割り付けるべき
割付対象と、独立性が成立する割付対象であって、他の
基本ブロックに存在するものに資源要素が割り付けられ
ている場合、当該次に資源要素を割り付けるべき割付対
象に割り付けることが機械語プログラムの並列実行にど
れだけの損失をもたらすかを客観的に評価でき、より綿
密に資源割付を行える。また利得値記憶部は、全ての資
源要素と、各々の資源要素の利得値の初期値とを対応づ
けて記憶しているので、第１減少部により独立性が成立
する割付対象に割り付けられている資源要素の利得値が
低く見積もられた場合、全く未割付けの資源要素の利得
値が大きく見積もられるようになる。そのため未割付け
次に資源要素を割り付けるべき割付対象に割り付けるこ
とができる。
ている各資源要素の利得値が、第１の減少部によって減
少させられる。そのため次に資源要素を割り付けるべき
割付対象と、独立性が成立する割付対象であって、他の
基本ブロックに存在するものに資源要素が割り付けられ
ている場合、当該次に資源要素を割り付けるべき割付対
象に割り付けることが機械語プログラムの並列実行にど
れだけの損失をもたらすかを客観的に評価でき、より綿
密に資源割付を行える。また利得値記憶部は、全ての資
源要素と、各々の資源要素の利得値の初期値とを対応づ
けて記憶しているので、第１減少部により独立性が成立
する割付対象に割り付けられている資源要素の利得値が
低く見積もられた場合、全く未割付けの資源要素の利得
値が大きく見積もられるようになる。そのため未割付け
次に資源要素を割り付けるべき割付対象に割り付けるこ
とができる。
【０１２８】ここで前記定量化手段は、次に資源要素を
割り付けるべき割付対象から、既に資源要素が割り付け
られた割付対象までの生存区間長の短さに応じて、当該
既に資源要素が割り付けられた割付対象に割り付けられ
ている資源要素の利得値を増加させる増加部を備えるよ
うに構成しても良い。本装置によれば、次に資源要素を
割り付けるべき割付対象の生存区間と連続性を有する割
付対象に資源要素が割り付けられている場合、割付済み
割付対象までの生存区間長の短さに応じて利得値記憶部
に記憶されている利得値が増加されるので、また生存区
間の遠近が影響するように資源割付が行われる。当該次
に資源要素を割り付けるべき割付対象に割り付ければ、
どれだけの利得をもたらすかを客観的に評価でき、より
綿密に資源割付を行える。
割り付けるべき割付対象から、既に資源要素が割り付け
られた割付対象までの生存区間長の短さに応じて、当該
既に資源要素が割り付けられた割付対象に割り付けられ
ている資源要素の利得値を増加させる増加部を備えるよ
うに構成しても良い。本装置によれば、次に資源要素を
割り付けるべき割付対象の生存区間と連続性を有する割
付対象に資源要素が割り付けられている場合、割付済み
割付対象までの生存区間長の短さに応じて利得値記憶部
に記憶されている利得値が増加されるので、また生存区
間の遠近が影響するように資源割付が行われる。当該次
に資源要素を割り付けるべき割付対象に割り付ければ、
どれだけの利得をもたらすかを客観的に評価でき、より
綿密に資源割付を行える。
【０１２９】ここで次に資源要素を割り付けるべき割付
対象と生存区間が重複する割付対象であって、資源要素
が割り付けられていない割付対象を検出する資源排他未
割付割付対象判定手段と、既に資源要素が割り付けられ
た割付対象の生存区間と、前記資源排他未割付割付対象
判定手段により判定された割付対象の生存区間とが直接
的な生存区間の連続性及び／又は間接的な生存区間の連
続性を有しているかを判定する第３の生存区間連続性判
定手段とを備え、前記定量化手段は、前記資源排他未割
付割付対象判定手段により判定された割付対象から、既
に資源要素が割り付けられた割付対象までの生存区間長
の短さに応じて、当該既に資源要素が割り付けられた割
付対象に割り付けられている資源要素の利得値を減少さ
せる第２減少部とを備えていてもよい。
対象と生存区間が重複する割付対象であって、資源要素
が割り付けられていない割付対象を検出する資源排他未
割付割付対象判定手段と、既に資源要素が割り付けられ
た割付対象の生存区間と、前記資源排他未割付割付対象
判定手段により判定された割付対象の生存区間とが直接
的な生存区間の連続性及び／又は間接的な生存区間の連
続性を有しているかを判定する第３の生存区間連続性判
定手段とを備え、前記定量化手段は、前記資源排他未割
付割付対象判定手段により判定された割付対象から、既
に資源要素が割り付けられた割付対象までの生存区間長
の短さに応じて、当該既に資源要素が割り付けられた割
付対象に割り付けられている資源要素の利得値を減少さ
せる第２減少部とを備えていてもよい。
【０１３０】本装置によれば、次に資源要素を割り付け
るべき割付対象と生存区間が重なる未割付け割付対象と
連続性を有する割付対象に資源要素が割り付けられてい
る場合、割付済み割付対象から未割付割付対象までの生
存区間長の短さに応じて利得値記憶部に記憶されている
利得値が減少されるので、また生存区間の遠近が影響す
るように資源割付が行われる。当該次に資源要素を割り
付けるべき割付対象に割り付ければ、どれだけの損失を
もたらすかを客観的に評価でき、より綿密に資源割付を
行える。
るべき割付対象と生存区間が重なる未割付け割付対象と
連続性を有する割付対象に資源要素が割り付けられてい
る場合、割付済み割付対象から未割付割付対象までの生
存区間長の短さに応じて利得値記憶部に記憶されている
利得値が減少されるので、また生存区間の遠近が影響す
るように資源割付が行われる。当該次に資源要素を割り
付けるべき割付対象に割り付ければ、どれだけの損失を
もたらすかを客観的に評価でき、より綿密に資源割付を
行える。
【０１３１】また上記構成において、前記資源割付装置
は、プログラムにおける割付対象の使用頻度及び／又は
生存区間のネストレベルが反映された割付対象の優先度
を各割付対象に対応づけて記憶する優先度記憶手段と、
次に資源要素を割り付けるべき割付対象を優先度順に指
定する指定手段とを備えていてもよい。本装置によれ
ば、使用頻度又はネストレベルが高い順に資源要素が割
り付けられてゆくため、生存区間の位置関係と、使用頻
度及びネストレベルとを考慮した資源割付を実現でき、
目的プログラムの品質を向上させることができる。
は、プログラムにおける割付対象の使用頻度及び／又は
生存区間のネストレベルが反映された割付対象の優先度
を各割付対象に対応づけて記憶する優先度記憶手段と、
次に資源要素を割り付けるべき割付対象を優先度順に指
定する指定手段とを備えていてもよい。本装置によれ
ば、使用頻度又はネストレベルが高い順に資源要素が割
り付けられてゆくため、生存区間の位置関係と、使用頻
度及びネストレベルとを考慮した資源割付を実現でき、
目的プログラムの品質を向上させることができる。
【図１】実施形態に係る資源割付装置１３の構成図であ
る。
る。
【図２】コンパイラ１の構成図である。
【図３】割付資源要素決定部２７の構成図である。
【図４】利得計算部３３の構成図である。
【図５】資源割付制御部２８の構成図である。
【図６】資源要素決定制御部３５の処理手順を示すフロ
ーチャートである。
ーチャートである。
【図７】利得計算制御部４１の処理手順を示すフローチ
ャートである。
ャートである。
【図８】利得計算制御部４１の処理手順を示すフローチ
ャートである。
ャートである。
【図９】得失計算部５０の処理手順を示すフローチャー
トである。
トである。
【図１０】高級言語で書かれたプログラムの一例を示す
図である。
図である。
【図１１】プログラム例に対する中間コードと割付対象
の生存区間を示す図である。
の生存区間を示す図である。
【図１２】プログラム例に対する中間命令の依存グラフ
である。
である。
【図１３】プログラム例に対する中間命令の命令依存表
である。
である。
【図１４】割付対象保持部２１の保持内容の一例を示す
図である。
図である。
【図１５】割付対象保持部２１の保持内容の一例を示す
図である。
図である。
【図１６】（ａ）割付候補資源要素保持部３１の保持内
容の一例を示す図である。 （ｂ）割付状況テーブルの保持内容の推移の一例を示す
図である。
容の一例を示す図である。 （ｂ）割付状況テーブルの保持内容の推移の一例を示す
図である。
【図１７】（ａ）利得保持部３４の推移の一例を示す図
である。 （ｂ）得失保持部４６の推移の一例を示す図である。
である。 （ｂ）得失保持部４６の推移の一例を示す図である。
【図１８】（ａ）追跡対象保持部４２の推移の一例を示
す図である。 （ｂ）処理済割付対象保持部４３の推移の一例を示す図
である。
す図である。 （ｂ）処理済割付対象保持部４３の推移の一例を示す図
である。
【図１９】（ａ）資源排他割付対象保持部４４の推移の
一例を示す図である。 （ｂ）資源独立割付対象保持部４５の推移の一例を示す
図である。
一例を示す図である。 （ｂ）資源独立割付対象保持部４５の推移の一例を示す
図である。
【図２０】割付対象xと資源継承関係、資源排他関係が
成立する割付対象に割り付けられた資源要素のそれぞれ
についての利害得失がどのように定量化されるかを示す
図である。
成立する割付対象に割り付けられた資源要素のそれぞれ
についての利害得失がどのように定量化されるかを示す
図である。
【図２１】基本ブロック内の資源独立関係を算出するア
ルゴリズムである。
ルゴリズムである。
【図２２】直接的な独立命令にある割付対象と、間接的
な独立命令にある割付対象とを示す図である。
な独立命令にある割付対象とを示す図である。
１１ 構文解析装置 １２ 最適化装置 １３ 資源割付装置 １４ コード生成装置 １５ 最適化情報保持部 ２１ 割付対象保持部 ２２ 割付対象生成部 ２３ 資源排他割付対象検出部 ２４ 資源継承割付対象検出部 ２５ 資源独立割付対象検出部 ２６ 割付優先度計算部 ２７ 割付資源要素決定部 ２８ 資源割付制御部 ３１ 割付候補資源要素保持部 ３２ 割付可能資源要素検出部 ３３ 利得計算部 ３４ 利得保持部 ３５ 資源要素決定制御部 ４１ 利得計算制御部 ４２ 追跡対象保持部 ４３ 処理済割付対象保持部 ４４ 資源排他割付対象保持部 ４５ 資源独立割付対象保持部 ４６ 得失保持部 ４７ 翻訳制御情報記憶部 ４８ 起動順序制御部 ４９ 利得値重付部 ５０ 得失計算部
Claims (22)
- 【請求項１】 高級言語で書かれたプログラムを目的プ
ログラムに翻訳するコンパイラに用いられ、プログラム
の中の変数と、その生存区間との組である複数の割付対
象のそれぞれにハードウェア資源が有する複数の資源要
素を割り付ける資源割付装置であって、 前記プログラムは、複数の基本ブロックからなり、各基
本ブロックは、その途中からの飛び越しが存在せず、そ
の途中への飛び越し先もない命令列であり、 次に資源要素を割り付けるべき割付対象が定義されてい
る命令と同一の基本ブロックに位置する命令であって、
当該定義命令と直接的な依存関係を有さず、尚且つ間接
的な依存関係を有さない独立命令にて定義されている割
付対象を検出する資源独立関係割付対象検出手段と、 前記複数の資源要素のうち、何れかの資源要素が何れか
の割付対象に既に割り付けられている場合、前記資源独
立関係割付対象検出手段により検出された割付対象が、
それら割付済み割付対象と直接的な生存区間の連続性及
び／又は間接的な生存区間の連続性を有しているかを判
定する第１の生存区間連続性判定手段と、 次に資源要素を割り付けるべき割付対象と、既に資源要
素が割り付けられた割付対象とが直接的な生存区間の連
続性及び／又は間接的な生存区間の連続性を有している
かを判定する第２の生存区間連続性判定手段と、 前記第１及び第２の生存区間連続性判定手段により生存
区間の連続性が判定されると、判定された割付対象に割
付け済みのそれぞれの資源要素を、次に資源要素を割り
付けるべき割付対象に割り付けた場合に、目的プログラ
ムに与え得る利害得失を各資源要素について定量化する
定量化手段と、 前記定量化手段により定量化された利害得失を示す利得
値を資源要素同士で比較して、その利得が最も大きい資
源要素を、次に資源要素を割り付けるべき割付対象に順
次割り付ける割付手段とを備えることを特徴とする資源
割付装置。 - 【請求項２】 前記資源割付装置は、 各資源要素に対応づけて、利得値の初期値を記憶する利
得値記憶手段を備え、前記定量化手段は、 前記第１の生存区間連続性判定手段によって生存区間の
連続性が判定された場合、前記資源独立関係割付対象検
出手段により検出された割付対象から既に資源要素が割
り付けられた割付対象までの生存区間長の短さに応じ
て、既に割付対象に割り付けられている資源要素につい
ての利得値を減少する第１減少部を備えることを特徴と
する請求項１記載の資源割付装置 - 【請求項３】 前記定量化手段は、前記第２の生存区間
連続性判定手段によって生存区間の連続性が判定された
場合、次に資源要素を割り付けるべき割付対象から、既
に資源要素が割り付けられた割付対象までの生存区間長
の短さに応じて、当該既に資源要素が割り付けられた割
付対象に割り付けられている資源要素の利得値を増加さ
せる増加部を備えることを特徴とする請求項２記載の資
源割付装置。 - 【請求項４】 前記資源割付装置は、 次に資源要素を割り付けるべき割付対象と生存区間が重
複する割付対象であって、資源要素が割り付けられてい
ない割付対象を検出する資源排他未割付割付対象判定手
段と、 既に資源要素が割り付けられた割付対象の生存区間と、
前記資源排他未割付割付対象判定手段により判定された
割付対象の生存区間とが直接的な生存区間の連続性及び
／又は間接的な生存区間の連続性を有しているかを判定
する第３の生存区間連続性判定手段とを備え、 前記定量化手段は、 前記資源排他未割付割付対象判定手段により判定された
割付対象から、既に資源要素が割り付けられた割付対象
までの生存区間長の短さに応じて、当該既に資源要素が
割り付けられた割付対象に割り付けられている資源要素
の利得値を減少させる第２減少部とを備えることを特徴
とする請求項３記載の資源割付装置 - 【請求項５】 前記資源割付装置は、 プログラムにおける割付対象の使用頻度及び／又は生存
区間のネストレベルが反映された割付対象の優先度を各
割付対象に対応づけて記憶する優先度記憶手段と、 次に資源要素を割り付けるべき割付対象を優先度順に指
定する指定手段とを備えることを特徴とする請求項４に
記載の資源割付装置。 - 【請求項６】 前記定量化手段は、前記資源独立関係割
付対象検出手段により判定された割付対象から、前記第
１の生存区間連続性判定手段によって連続性が判定され
た既に資源要素が割り付けられた割付対象までの生存区
間長の短さを算出する第１の短さ算出部と、 前記資源独立関係割付対象検出手段により判定された割
付対象の優先度を検出する第１の優先度検出部とを備
え、 前記第１減少部は、 前記第１の短さ算出部で算出された短さに前記第１の優
先度検出部で検出された優先度を乗じ、その乗算結果に
応じて、前記第１の生存区間連続性判定手段によって生
存区間の連続性が判定された割付対象に割り付けられて
いる資源要素の利得値を減少させ、 前記定量化手段は、 前記資源排他未割付割付対象判定手段により判定された
割付対象から、前記第３の生存区間連続性判定手段によ
って連続性が判定された既に資源要素が割り付けられた
割付対象までの生存区間長の短さを算出する第２の短さ
算出部と、 前記資源排他未割付割付対象判定手段により判定された
割付対象の優先度を検出する第２の優先度検出部とを備
え、 前記第２減少部は、 前記第２の短さ算出部で算出された短さに前記第２の優
先度検出部で検出された優先度を乗じ、その乗算結果に
応じて、前記第３の生存区間連続性判定手段によって生
存区間の連続性が判定された割付対象に割り付けられて
いる資源要素の利得値を減少させることを特徴とする請
求項５記載の資源割付装置。 - 【請求項７】 前記資源割付装置は、前記独立性割付対
象検出手段と、第１の生存区間連続性判定手段と、前記
第１減少部とを順次実行させる資源独立性利得値算出手
段と、 第２の生存区間連続性判定手段と、前記増加部とを順次
実行する資源継承性利得値算出手段と、 資源排他未割付割付対象検出手段と、前記第３の生存区
間連続性判定手段と、第２減少部とを順次実行する資源
排他性利得値算出手段と、 コンパイラが生成する目的プログラムのコードサイズの
縮小を優先するか又は依存関係の縮減を優先するかを示
す翻訳制御情報を記憶する翻訳制御記憶手段と、 指定手段により次に資源要素を割り付けるべき割付対象
が指定されると、前記翻訳制御記憶手段の記憶内容に従
って、資源独立性利得値算出手段、資源継承性利得値算
出手段、資源排他性利得値算出手段を異なる順序で起動
する起動制御手段とを備えることを特徴とする請求項６
記載の資源割付装置。 - 【請求項８】 前記資源割付装置は、 次に資源要素を割り付けるべき割付対象と生存区間が重
複している割付対象に割り付けられていない資源要素を
検出する割付可能資源要素検出手段を備え、 前記起動制御手段は、 前記翻訳制御記憶手段にコードサイズ縮小優先を示す翻
訳制御情報が記憶されている状態で指定手段により次に
資源要素を割り付けるべき割付対象が指定されると、前
記資源継承性利得値算出手段を起動することにより各資
源要素の利得値を算出させ、前記割付可能資源要素検出
手段が検出した資源要素のうち、算出された利得値が最
大の資源要素を選出する第１の資源要素選出手段と、 前記第１の資源要素選出手段において複数の資源要素が
選出された場合、前記資源排他性利得値算出手段を起動
することにより各資源要素の利得値を算出させ、前記第
１の資源要素選出手段において選出された資源要素のう
ち、算出された利得値が最大の資源要素を選出する第２
の資源要素選出手段と、 前記第２の資源要素選出手段において複数の資源要素が
選出された場合、前記資源独立性利得値算出手段を起動
することにより各資源要素の利得値を算出させ、前記第
２の資源要素選出手段において選出された資源要素のう
ち、算出された利得値が最大の資源要素を選出する第３
の資源要素選出手段と、 第１の資源要素選出手段において唯一の資源要素が選出
された場合、当該資源要素を次に資源要素を割り付ける
べき割付対象に割り付け、当該第２の資源要素選出手段
において唯一の資源要素が選出された場合、当該資源要
素を次に資源要素を割り付けるべき割付対象に割り付
け、複数の資源要素が選出された場合、当該第３の資源
要素選出手段において選出された資源要素を、次に資源
要素を割り付けるべき割付対象に割り付ける第１の資源
要素決定手段とを備えることを特徴とする請求項６記載
の資源割付装置。 - 【請求項９】 前記起動制御手段は、前記翻訳制御記憶
手段に依存関係縮減優先を示す翻訳制御情報が記憶され
ている状態で指定手段により次に資源要素を割り付ける
べき割付対象が指定されると、前記資源継承性利得値算
出手段を起動することにより各資源要素の利得値を算出
させ、前記割付可能資源要素検出手段が検出した資源要
素のうち、算出された利得値が最大の資源要素を選出す
る第４の資源要素選出手段と、 前記第４の資源要素選出手段において複数の資源要素が
選出された場合、前記資源独立性利得値算出手段を起動
することにより各資源要素の利得値を算出させ、算出さ
れた利得値が最大の資源要素を選出する第５の資源要素
選出手段と、 前記第５の資源要素選出手段において複数の資源要素が
選出された場合、前記資源排他性利得値算出手段を起動
することにより各資源要素の利得値を算出させ、算出さ
れた利得値が最大の資源要素を選出する第６の資源要素
選出手段と、 当該第４の資源要素選出手段において唯一の資源要素が
選出された場合、当該資源要素を次に資源要素を割り付
けるべき割付対象に割り付け、当該第５の資源要素選出
手段において唯一の資源要素が選出された場合、当該資
源要素を次に資源要素を割り付けるべき割付対象に割り
付け、当該第５の資源要素選出手段において複数の資源
要素が選出された場合、当該第６の資源要素選出手段に
おいて選出された資源要素を、次に資源要素を割り付け
るべき割付対象に割り付ける第２の資源要素決定手段と
を備えることを特徴とする請求項６記載の資源割付装
置。 - 【請求項１０】 前記起動制御手段は、 前記翻訳制御記憶手段に依存関係縮減優先を示す翻訳制
御情報が記憶されている状態で指定手段により次に資源
要素を割り付けるべき割付対象が指定されると、前記資
源独立性利得値算出手段を起動することにより各資源要
素の利得値を算出させ、算出された利得値が最大の資源
要素を選出する第７の資源要素選出手段と、 前記第７の資源要素選出手段において複数の資源要素が
選出された場合、前記資源継承性利得値算出手段を起動
することにより各資源要素の利得値を算出させ、前記第
７の資源要素選出手段において選出された資源要素のう
ち、算出された利得値が最大の資源要素を選出する第８
の資源要素選出手段と、 前記第８の資源要素選出手段において複数の資源要素が
選出された場合、前記資源排他性利得値算出手段を起動
することにより各資源要素の利得値を算出させ、前記第
８の資源要素選出手段において選出された資源要素のう
ち、算出された利得値が最大の資源要素を選出する第９
の資源要素選出手段と、 当該第７の資源要素選出手段において唯一の資源要素が
選出された場合、当該資源要素を、次に資源要素を割り
付けるべき割付対象に割り付け、当該第８の資源要素選
出手段において唯一の資源要素が選出された場合、当該
資源要素を、次に資源要素を割り付けるべき割付対象に
割り付け、当該第９の資源要素選出手段において複数の
資源要素が選出された場合、当該第９の資源要素選出手
段において選出された資源要素を、次に資源要素を割り
付けるべき割付対象に割り付ける第３の資源要素決定手
段とを備えることを特徴とする請求項６記載の資源割付
装置。 - 【請求項１１】 前記資源割付装置は、 前記独立性割付対象検出手段と、第１の生存区間連続性
判定手段と、前記第１減少部とを順次実行させる資源独
立性利得値算出手段と、 第２の生存区間連続性判定手段と、前記増加部とを順次
実行する資源継承性利得値算出手段と、 資源排他未割付割付対象検出手段と、前記第３の生存区
間連続性判定手段と、 第２減少部とを順次実行する資源排他性利得値算出手段
と、 コンパイラが生成する目的プログラムのコードサイズの
縮小を優先するか又は依存関係の縮減を優先するかを示
す翻訳制御情報を記憶する翻訳制御記憶手段と、 プログラムのコードサイズ縮小を優先する旨の翻訳制御
情報が翻訳制御記憶手段に記憶されている場合、資源継
承性利得値算出手段及び資源排他性利得値算出手段が算
出した利得値に重み付けるべき重要度を引き上げ、依存
関係の縮減優先する旨の翻訳制御情報が翻訳制御記憶手
段に記憶されている場合、資源独立性利得値算出手段が
算出した利得値に重み付けるべき重要度を引き上げる重
要度調整手段と、 資源継承性利得値算出手段、資源排他性利得値算出手
段、及び資源独立性利得値算出手段が算出した利得値
に、調整された重要度を重み付ける重付手段とを備える
ことを特徴とする請求項６記載の資源割付装置。 - 【請求項１２】 高級言語で書かれたプログラムを目的
プログラムに翻訳するコンパイラに用いられ、プログラ
ムの中の変数と、その生存区間との組である複数の割付
対象のそれぞれにハードウェア資源が有する複数の資源
要素を割り付ける資源割付プログラムを記録したコンピ
ュータ読取可能な記録媒体であって、 前記プログラムは、複数の基本ブロックからなり、各基
本ブロックは、その途中からの飛び越しが存在せず、そ
の途中への飛び越し先もない命令列であり、 前記資源割付プログラムは次に資源要素を割り付けるべ
き割付対象が定義されている命令と同一の基本ブロック
に位置する命令であって、当該定義命令と直接的な依存
関係を有さず、尚且つ間接的な依存関係を有さない独立
命令にて定義されている割付対象を検出する資源独立関
係割付対象検出ステップと、 前記複数の資源要素のうち、何れかの資源要素が何れか
の割付対象に既に割り付けられている場合、前記資源独
立関係割付対象検出ステップにより検出された割付対象
が、それら割付済み割付対象と直接的な生存区間の連続
性及び／又は間接的な生存区間の連続性を有しているか
を判定する第１の生存区間連続性判定ステップと、 次に資源要素を割り付けるべき割付対象と、既に資源要
素が割り付けられた割付対象とが直接的な生存区間の連
続性及び／又は間接的な生存区間の連続性を有している
かを判定する第２の生存区間連続性判定ステップと、 前記第１及び第２の生存区間連続性判定手段により生存
区間の連続性が判定されると、判定された割付対象に割
付け済みのそれぞれの資源要素を、次に資源要素を割り
付けるべき割付対象に割り付けた場合に、目的プログラ
ムに与え得る利害得失を各資源要素について定量化する
定量化ステップと、 定量化ステップにより定量化された利害得失を示す利得
値を資源要素同士で比較して、その利得が最も大きい資
源要素を、次に資源要素を割り付けるべき割付対象に順
次割り付ける割付ステップとからなることを特徴とする
記録媒体。 - 【請求項１３】 前記資源割付プログラムを読み取るコ
ンピュータは、 各資源要素に対応づけて、利得値の初期値を記憶する利
得値記憶手段を有し、 前記定量化ステップは、 前記第１の生存区間連続性判定ステップによって生存区
間の連続性が判定された場合、前記資源独立関係割付対
象検出ステップにより検出された割付対象から既に資源
要素が割り付けられた割付対象までの生存区間長の短さ
に応じて、既に割付対象に割り付けられている資源要素
についての利得値を減少する第１減少サブステップを有
することを特徴とする請求項１２記載の記録媒体 - 【請求項１４】 前記定量化ステップは、 前記第２の生存区間連続性判定ステップにより生存区間
の連続性が判定された場合、次に資源要素を割り付ける
べき割付対象から、既に資源要素が割り付けられた割付
対象までの生存区間長の短さに応じて、当該既に資源要
素が割り付けられた割付対象に割り付けられている資源
要素の利得値を増加させる増加サブステップを有するこ
とを特徴とする請求項１３記載の記録媒体。 - 【請求項１５】 前記資源割付プログラムは、 次に資源要素を割り付けるべき割付対象と生存区間が重
複する割付対象であって、資源要素が割り付けられてい
ない割付対象を検出する資源排他未割付割付対象判定ス
テップと、 既に資源要素が割り付けられた割付対象の生存区間と、
前記資源排他未割付割付対象判定ステップにより判定さ
れた割付対象の生存区間とが直接的な生存区間の連続性
及び／又は間接的な生存区間の連続性を有しているかを
判定する第３の生存区間連続性判定ステップとを有し、 前記定量化ステップは、 前記資源排他未割付割付対象判定ステップにより判定さ
れた割付対象から、既に資源要素が割り付けられた割付
対象までの生存区間長の短さに応じて、当該既に資源要
素が割り付けられた割付対象に割り付けられている資源
要素の利得値を減少させる第２減少サブステップからな
ることを特徴とする請求項１４記載の記録媒体。 - 【請求項１６】 前記資源割付プログラムを読み取るコ
ンピュータは、 プログラムにおける割付対象の使用頻度及び／又は生存
区間のネストレベルが反映された割付対象の優先度を各
割付対象に対応づけて記憶する優先度記憶手段を有し、 前記資源割付プログラムは、 次に資源要素を割り付けるべき割付対象を優先度順に指
定する指定ステップを有することを特徴とする請求項１
５記載の記録媒体。 - 【請求項１７】 前記定量化ステップは、 前記資源独立関係割付対象検出ステップにより判定され
た割付対象から、前記第１の生存区間連続性判定ステッ
プによって連続性が判定された既に資源要素が割り付け
られた割付対象までの生存区間長の短さを算出する第１
の短さ算出サブステップと、 前記資源独立関係割付対象検出ステップにより判定され
た割付対象の優先度を検出する第１の優先度検出サブス
テップとを有し、 前記第１減少サブステップは、 前記第１の短さ算出サブステップで算出された短さに前
記第１の優先度検出サブステップで検出された優先度を
乗じ、その乗算結果に応じて、前記第１の生存区間連続
性判定ステップによって生存区間の連続性が判定された
割付対象に割り付けられている資源要素の利得値を減少
させ、 前記定量化ステップは、 前記資源排他未割付割付対象判定ステップにより判定さ
れた割付対象から、前記第３の生存区間連続性判定ステ
ップによって連続性が判定された既に資源要素が割り付
けられた割付対象までの生存区間長の短さを算出する第
２の短さ算出サブステップと、 前記資源排他未割付割付対象判定ステップにより判定さ
れた割付対象の優先度を検出する第２の優先度検出サブ
ステップとを有し、 前記第２減少サブステップは、 前記第２の短さ算出サブステップで算出された短さに前
記第２の優先度検出サブステップで検出された優先度を
乗じ、その乗算結果に応じて、前記第３の生存区間連続
性判定ステップによって生存区間の連続性が判定された
割付対象に割り付けられている資源要素の利得値を減少
させることを特徴とする請求項１６記載の記録媒体。 - 【請求項１８】 前記資源割付プログラムを読み取るコ
ンピュータは、 コンパイラが生成する目的プログラムのコードサイズの
縮小を優先するか又は依存関係の縮減を優先するかを示
す翻訳制御情報を記憶する翻訳制御記憶手段を備え、 前記資源割付プログラムは、 前記独立性割付対象検出ステップと、第１の生存区間連
続性判定ステップと、 前記第１減少サブステップとを順次実行させる資源独立
性利得値算出ステップと、 第２の生存区間連続性判定ステップと、前記増加サブス
テップとを順次実行する資源継承性利得値算出ステップ
と、 資源排他未割付割付対象検出ステップと、前記第３の生
存区間連続性判定ステップと、第２減少サブステップと
を順次実行する資源排他性利得値算出ステップと、 指定ステップにより次に資源要素を割り付けるべき割付
対象が指定されると、 前記翻訳制御記憶手段の記憶内容に従って、資源独立性
利得値算出ステップ、資源継承性利得値算出ステップ、
資源排他性利得値算出ステップを異なる順序で起動する
起動制御ステップとからなることを特徴とする請求項１
７記載の記録媒体。 - 【請求項１９】 前記資源割付プログラムは、 次に資源要素を割り付けるべき割付対象と生存区間が重
複している割付対象に割り付けられていない資源要素を
検出する割付可能資源要素検出ステップを有し、 前記起動制御ステップは、 前記翻訳制御記憶手段にコードサイズ縮小優先を示す翻
訳制御情報が記憶されている状態で指定ステップにより
次に資源要素を割り付けるべき割付対象が指定される
と、前記資源継承性利得値算出ステップを起動すること
により各資源要素の利得値を算出させ、前記割付可能資
源要素検出ステップが検出した資源要素のうち、算出さ
れた利得値が最大の資源要素を選出する第１の資源要素
選出ステップと、 前記第１の資源要素選出ステップにおいて複数の資源要
素が選出された場合、前記資源排他性利得値算出ステッ
プを起動することにより各資源要素の利得値を算出さ
せ、前記第１の資源要素選出ステップにおいて選出され
た資源要素のうち、算出された利得値が最大の資源要素
を選出する第２の資源要素選出ステップと、 前記第２の資源要素選出ステップにおいて複数の資源要
素が選出された場合、前記資源独立性利得値算出ステッ
プを起動することにより各資源要素の利得値を算出さ
せ、前記第２の資源要素選出ステップにおいて選出され
た資源要素のうち、算出された利得値が最大の資源要素
を選出する第３の資源要素選出ステップと、 第１の資源要素選出ステップにおいて唯一の資源要素が
選出された場合、当該資源要素を次に資源要素を割り付
けるべき割付対象に割り付け、当該第２の資源要素選出
ステップにおいて唯一の資源要素が選出された場合、当
該資源要素を次に資源要素を割り付けるべき割付対象に
割り付け、複数の資源要素が選出された場合、当該第３
の資源要素選出ステップにおいて選出された資源要素
を、次に資源要素を割り付けるべき割付対象に割り付け
る第１の資源要素決定ステップとからなることを特徴と
する請求項１８記載の記録媒体。 - 【請求項２０】 前記起動制御ステップは、 前記翻訳制御記憶手段に依存関係縮減優先を示す翻訳制
御情報が記憶されている状態で指定ステップにより次に
資源要素を割り付けるべき割付対象が指定されると、前
記資源継承性利得値算出ステップを起動することにより
各資源要素の利得値を算出させ、前記割付可能資源要素
検出ステップが検出した資源要素のうち、算出された利
得値が最大の資源要素を選出する第４の資源要素選出ス
テップと、 前記第４の資源要素選出ステップにおいて複数の資源要
素が選出された場合、前記資源独立性利得値算出ステッ
プを起動することにより各資源要素の利得値を算出さ
せ、算出された利得値が最大の資源要素を選出する第５
の資源要素選出ステップと、 前記第５の資源要素選出ステップにおいて複数の資源要
素が選出された場合、前記資源排他性利得値算出ステッ
プを起動することにより各資源要素の利得値を算出さ
せ、算出された利得値が最大の資源要素を選出する第６
の資源要素選出ステップと、 当該第４の資源要素選出ステップにおいて唯一の資源要
素が選出された場合、当該資源要素を、次に資源要素を
割り付けるべき割付対象に割り付け、当該第５の資源要
素選出ステップにおいて唯一の資源要素が選出された場
合、当該資源要素を、次に資源要素を割り付けるべき割
付対象に割り付け、当該第５の資源要素選出ステップに
おいて複数の資源要素が選出された場合、当該第６の資
源要素選出ステップにおいて選出された資源要素を、次
に資源要素を割り付けるべき割付対象に割り付ける第２
の資源要素決定ステップとからなることを特徴とする請
求項１８記載の記録媒体。 - 【請求項２１】前記起動制御ステップは、前記翻訳制御
記憶手段に依存関係縮減優先を示す翻訳制御情報が記憶
されている状態で指定ステップにより次に資源要素を割
り付けるべき割付対象が指定されると、前記資源独立性
利得値算出ステップを起動することにより各資源要素の
利得値を算出させ、算出された利得値が最大の資源要素
を選出する第７の資源要素選出ステップと、 前記第７の資源要素選出ステップにおいて複数の資源要
素が選出された場合、前記資源継承性利得値算出ステッ
プを起動することにより各資源要素の利得値を算出さ
せ、前記第７の資源要素選出ステップにおいて選出され
た資源要素のうち、算出された利得値が最大の資源要素
を選出する第８の資源要素選出ステップと、 前記第８の資源要素選出ステップにおいて複数の資源要
素が選出された場合、前記資源排他性利得値算出ステッ
プを起動することにより各資源要素の利得値を算出さ
せ、前記第８の資源要素選出ステップにおいて選出され
た資源要素のうち、算出された利得値が最大の資源要素
を選出する第９の資源要素選出ステップと、 当該第７の資源要素選出ステップにおいて唯一の資源要
素が選出された場合、当該資源要素を、次に資源要素を
割り付けるべき割付対象に割り付け、当該第８の資源要
素選出ステップにおいて唯一の資源要素が選出された場
合、当該資源要素を、次に資源要素を割り付けるべき割
付対象に割り付け、当該第９の資源要素選出ステップに
おいて複数の資源要素が選出された場合、当該第９の資
源要素選出ステップにおいて選出された資源要素を、次
に資源要素を割り付けるべき割付対象に割り付ける第３
の資源要素決定ステップとからなることを特徴とする請
求項１８記載の記録媒体。 - 【請求項２２】 前記資源割付プログラムを読み取るコ
ンピュータは、 コンパイラが生成する目的プログラムのコードサイズの
縮小を優先するか又は依存関係の縮減を優先するかを示
す翻訳制御情報を記憶する翻訳制御記憶手段を備え、 前記資源割付プログラムは、 前記独立性割付対象検出ステップと、第１の生存区間連
続性判定ステップと、前記第１減少サブステップとを順
次実行させる資源独立性利得値算出ステップと、 第２の生存区間連続性判定ステップと、前記増加サブス
テップとを順次実行する資源継承性利得値算出ステップ
と、 資源排他未割付け割付対象検出ステップと、前記第３の
生存区間連続性判定ステップと、第２減少サブステップ
とを順次実行する資源排他性利得値算出ステップと、 プログラムのコードサイズ縮小を優先する旨の翻訳制御
情報が翻訳制御記憶手段に記憶されている場合、資源継
承性利得値算出ステップ及び資源排他性利得値算出ステ
ップが算出した利得値に重み付けるべき重要度を引き上
げ、依存関係の縮減優先する旨の翻訳制御情報が翻訳制
御記憶手段に記憶されている場合、資源独立性利得値算
出ステップが算出した利得値に重み付けるべき重要度を
引き上げる重要度調整ステップと、 資源継承性利得値算出ステップ、資源排他性利得値算出
ステップ、及び資源独立性利得値算出ステップが算出し
た利得値に、調整された重要度を重み付ける重付ステッ
プとからなることを特徴とする請求項１８記載の記録媒
体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP34452498A JP2000172510A (ja) | 1998-12-03 | 1998-12-03 | 資源割付装置及び資源割付プログラムが記録されたコンピュータ読み取り可能な記録媒体 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP34452498A JP2000172510A (ja) | 1998-12-03 | 1998-12-03 | 資源割付装置及び資源割付プログラムが記録されたコンピュータ読み取り可能な記録媒体 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2000172510A true JP2000172510A (ja) | 2000-06-23 |
Family
ID=18369950
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP34452498A Pending JP2000172510A (ja) | 1998-12-03 | 1998-12-03 | 資源割付装置及び資源割付プログラムが記録されたコンピュータ読み取り可能な記録媒体 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2000172510A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2000284968A (ja) * | 1999-03-31 | 2000-10-13 | Toshiba Corp | コンパイル方法及びコンパイラ装置 |
-
1998
- 1998-12-03 JP JP34452498A patent/JP2000172510A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2000284968A (ja) * | 1999-03-31 | 2000-10-13 | Toshiba Corp | コンパイル方法及びコンパイラ装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5790862A (en) | Resource assigning apparatus which assigns the variable in a program to resources | |
| JP3311462B2 (ja) | コンパイル処理装置 | |
| JP3299611B2 (ja) | 資源割付装置 | |
| US8612948B2 (en) | Dynamic compiler program, dynamic compiling method and dynamic compiling device | |
| US20130283250A1 (en) | Thread Specific Compiler Generated Customization of Runtime Support for Application Programming Interfaces | |
| US8387026B1 (en) | Compile-time feedback-directed optimizations using estimated edge profiles from hardware-event sampling | |
| JP5583514B2 (ja) | バイナリコードを最適化するコンパイル方法、及びそのコンパイラシステム、並びにコンピュータ・プログラム | |
| JPH0695311B2 (ja) | コード最適化方法 | |
| US7418699B2 (en) | Method and system for performing link-time code optimization without additional code analysis | |
| US7174546B2 (en) | Compiler and register allocation method | |
| US8458679B2 (en) | May-constant propagation | |
| CN105849698B (zh) | 动态编程中的执行防护 | |
| US8423980B1 (en) | Methods for handling inlined functions using sample profiles | |
| Novillo | Samplepgo-the power of profile guided optimizations without the usability burden | |
| JPH04213118A (ja) | プログラム翻訳装置およびプログラム翻訳方法 | |
| CN111061485A (zh) | 任务处理方法、编译器、调度服务器和介质 | |
| JP2002366366A (ja) | コンパイル方法、コード生成方法、スタックレジスタ使用方法、コンパイラ、これらを実現するプログラム及び記憶媒体 | |
| US8938728B2 (en) | Dynamic compiler program, dynamic compiling method and dynamic compiling device | |
| US6625806B1 (en) | Language processing method and language processing system improving use efficiency of cache memory | |
| US7770152B1 (en) | Method and apparatus for coordinating state and execution context of interpreted languages | |
| US20120017070A1 (en) | Compile system, compile method, and storage medium storing compile program | |
| US11321236B2 (en) | Reduced instructions to generate global variable addresses | |
| JP2000353097A (ja) | 低密回の干渉グラフを生成する方法および装置 | |
| US20220291908A1 (en) | Information processing apparatus, computer-readable recording medium storing compiling program, and compiling method | |
| JP2000172510A (ja) | 資源割付装置及び資源割付プログラムが記録されたコンピュータ読み取り可能な記録媒体 |