JPH02230333A - 変数領域割当て方式 - Google Patents
変数領域割当て方式Info
- Publication number
- JPH02230333A JPH02230333A JP5112189A JP5112189A JPH02230333A JP H02230333 A JPH02230333 A JP H02230333A JP 5112189 A JP5112189 A JP 5112189A JP 5112189 A JP5112189 A JP 5112189A JP H02230333 A JPH02230333 A JP H02230333A
- Authority
- JP
- Japan
- Prior art keywords
- temporary
- variable
- frame
- instruction
- variables
- 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
- 238000000034 method Methods 0.000 claims description 28
- 238000010586 diagram Methods 0.000 description 12
- 101100369153 Saccharolobus solfataricus (strain ATCC 35092 / DSM 1617 / JCM 11322 / P2) tfbA gene Proteins 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は変数領域割当て方式に関し、特に論理型言語を
翻訳するプログラムの変数領域割当て方式に関する． 〔従来の技術〕 論理型言語であるプロログを翻訳して実行するためには
、ワレン氏の考案によるプロログ抽象マシンを用いるこ
とが一般的になりつつある．なお、ワレン氏の考案によ
るプロログ抽象マシンの参考文献としては、「アン・ア
ブストラクト・プロログ・インストラクション・セット
（Ａｎ Ａｂｓｔｒａｃｔ Ｐｒｏｌｏｇ Ｉｎｓｔｒ
ｕｃｔｉｏｎ Ｓｅｔ） Ｊディー・エイチ・ワレン（
Ｄ．ｌ，Ｉｌａｒｒｅｎ）著、エス・アール・アイ・
インタナショナル（ＳＲＩＩｎｔｅｒｎａｔｉｏｎａｌ
） ． １ ９ ８ ３年がある．従来の変数領域割
当て方式であるワレン氏のプロログ抽象マシンは、述語
を構成する節を翻訳する場合に、述語の呼出しにまたが
って出現する変数である永久変数とそうでない変数であ
る一時変数とを区別し、前者に対しては、メモリ上のス
タックに永久変数の領域を割当てるとともに、後者に対
しては、一時変数レジスタを割当ててメモリアクセスを
減少させることにより高速化を計っている． 〔発明が解決しようとする課題〕 ところが、上述した従来の変数領域割当て方式は、一時
変数レジスタが固定個数の有限資源であり、複雑な手続
を有する節の翻訳をした場合に、一時変数を割当てるた
めの一時変数レジスタが不足する場合があるという欠点
を有している．このような問題を解決する最も簡単な方
法は、一時変数レジスタの固定個数を越えた一時変数を
必要とする節を禁止することであるが、禁止すればプロ
グラマに余分な負担を強いることになるという問題があ
る． また、処理系によって、一時変数の個数の制限が異なっ
た場合に、ある処理系で動いていたプログラムが、別の
処理系では効かない場合が生ずることとなるという欠点
もある． 一方、固定サイズのメモリ領域を拡張した一時変数レジ
スタの領域として使用する手段も考えられるが、この方
式でも、基本的に一時変数レジスタの数に制限が加わる
ことには変りがない．なお、十分な大きさの拡張した一
時変数レジスタの領域を確保することも考えられるが、
この方式では、例えば、何らかの理由によりプログラム
の実行途中で、現在の状態を保存した上で、別のルーチ
ンを起動する場合に、現在の一時変数レジスタの値を退
避する必要があり、拡張した一時変数レジスタの領域を
大きく取ると、それだけ退避する情報が増えて、システ
ムのパフォーマンスを低下させるという問題点を有して
いる．本発明の目的は、固定個数の一時変数レジスタを
有する論理型言語の実行装置に対して、論理型言語を翻
訳する場合に、翻訳する節に必要な一時変数の個数が一
時変数レジスタの個数を越えても、越えた個数の一時変
数をスタックの領域に割当てた適切な命令列に翻訳して
能率良く実行することができる変数領域割当て方式を提
供することにある． 〔課題を解決するための手段〕 本発明の変数領域割当て方式は、Ｎ個の一時変数レジス
タを持ち、前記一時変数レジスタおよびスタック上の領
域の二つに保持する情報のユニフィケーションを行う命
令を備えた論理型言語の実行装置に対して、論理型言語
を翻訳するプログラムの変数領域割当て方式において、 論理型言語の節を翻訳してＮ個の前記一時変数レジスタ
に割付ける一時変数の最大番号であるＭがＮより大きい
場合に、前記一時変数レジスタの数Ｎによる一時変数の
数の制限を回避するために、 （Ａ）翻訳している節が、Ｅ個の永久変数を含む環境フ
レームの領域を前記スタックに割当てることを必要とす
る場合には、まず前記環境フレームを割当てる命令で指
定する変数の個数をＥ＋Ｍ−Ｎに変更し、次に、一時変
数の最大番号が、前記一時変数レジスタの数Ｎを越えな
いときに前記環境フレームが永久変数のために必要とな
るか、有効な一時変数の最大の番号がＮより大きくなる
か、どちらか一方の条件が成立する前に、前記環境フレ
ームを前記スタックに割当てる命令を生成し、さらに、
Ｎ個の前記一時変数レジスタの割当てを受けることがで
きない一時変数に対して、前記環境フレームのＥ＋１番
目からＥ＋Ｍ−Ｎ番目までの領域を使用する命令を生成
する、 （Ｂ）翻訳している節が、前記環境フレームを必要とし
ない場合には、まず、有効な一時変数の最大の番号がＮ
より大きくなる前に、Ｍ−Ｎ個の一時変数の領域を持つ
一時変数フレームを前記スタックに割当てる命令を生成
するとともに、翻訳している節の命令列の最後の命令の
直前に、前記一時変数フレームを廃棄する命令を生成し
、次に、Ｎ個の前記一時変数レジスタの割当てを受ける
ことができない一時変数に対して、前記一時変数フレー
ムの領域を使用する命令を生成する、 ことにより構成されている． 〔作用〕 以下に、説明を簡単にするために、二つだけの一時変数
レジスタを有する論理型言語実行装置の例について、本
発明の変数領域割当て方式の作用を説明する。
翻訳するプログラムの変数領域割当て方式に関する． 〔従来の技術〕 論理型言語であるプロログを翻訳して実行するためには
、ワレン氏の考案によるプロログ抽象マシンを用いるこ
とが一般的になりつつある．なお、ワレン氏の考案によ
るプロログ抽象マシンの参考文献としては、「アン・ア
ブストラクト・プロログ・インストラクション・セット
（Ａｎ Ａｂｓｔｒａｃｔ Ｐｒｏｌｏｇ Ｉｎｓｔｒ
ｕｃｔｉｏｎ Ｓｅｔ） Ｊディー・エイチ・ワレン（
Ｄ．ｌ，Ｉｌａｒｒｅｎ）著、エス・アール・アイ・
インタナショナル（ＳＲＩＩｎｔｅｒｎａｔｉｏｎａｌ
） ． １ ９ ８ ３年がある．従来の変数領域割
当て方式であるワレン氏のプロログ抽象マシンは、述語
を構成する節を翻訳する場合に、述語の呼出しにまたが
って出現する変数である永久変数とそうでない変数であ
る一時変数とを区別し、前者に対しては、メモリ上のス
タックに永久変数の領域を割当てるとともに、後者に対
しては、一時変数レジスタを割当ててメモリアクセスを
減少させることにより高速化を計っている． 〔発明が解決しようとする課題〕 ところが、上述した従来の変数領域割当て方式は、一時
変数レジスタが固定個数の有限資源であり、複雑な手続
を有する節の翻訳をした場合に、一時変数を割当てるた
めの一時変数レジスタが不足する場合があるという欠点
を有している．このような問題を解決する最も簡単な方
法は、一時変数レジスタの固定個数を越えた一時変数を
必要とする節を禁止することであるが、禁止すればプロ
グラマに余分な負担を強いることになるという問題があ
る． また、処理系によって、一時変数の個数の制限が異なっ
た場合に、ある処理系で動いていたプログラムが、別の
処理系では効かない場合が生ずることとなるという欠点
もある． 一方、固定サイズのメモリ領域を拡張した一時変数レジ
スタの領域として使用する手段も考えられるが、この方
式でも、基本的に一時変数レジスタの数に制限が加わる
ことには変りがない．なお、十分な大きさの拡張した一
時変数レジスタの領域を確保することも考えられるが、
この方式では、例えば、何らかの理由によりプログラム
の実行途中で、現在の状態を保存した上で、別のルーチ
ンを起動する場合に、現在の一時変数レジスタの値を退
避する必要があり、拡張した一時変数レジスタの領域を
大きく取ると、それだけ退避する情報が増えて、システ
ムのパフォーマンスを低下させるという問題点を有して
いる．本発明の目的は、固定個数の一時変数レジスタを
有する論理型言語の実行装置に対して、論理型言語を翻
訳する場合に、翻訳する節に必要な一時変数の個数が一
時変数レジスタの個数を越えても、越えた個数の一時変
数をスタックの領域に割当てた適切な命令列に翻訳して
能率良く実行することができる変数領域割当て方式を提
供することにある． 〔課題を解決するための手段〕 本発明の変数領域割当て方式は、Ｎ個の一時変数レジス
タを持ち、前記一時変数レジスタおよびスタック上の領
域の二つに保持する情報のユニフィケーションを行う命
令を備えた論理型言語の実行装置に対して、論理型言語
を翻訳するプログラムの変数領域割当て方式において、 論理型言語の節を翻訳してＮ個の前記一時変数レジスタ
に割付ける一時変数の最大番号であるＭがＮより大きい
場合に、前記一時変数レジスタの数Ｎによる一時変数の
数の制限を回避するために、 （Ａ）翻訳している節が、Ｅ個の永久変数を含む環境フ
レームの領域を前記スタックに割当てることを必要とす
る場合には、まず前記環境フレームを割当てる命令で指
定する変数の個数をＥ＋Ｍ−Ｎに変更し、次に、一時変
数の最大番号が、前記一時変数レジスタの数Ｎを越えな
いときに前記環境フレームが永久変数のために必要とな
るか、有効な一時変数の最大の番号がＮより大きくなる
か、どちらか一方の条件が成立する前に、前記環境フレ
ームを前記スタックに割当てる命令を生成し、さらに、
Ｎ個の前記一時変数レジスタの割当てを受けることがで
きない一時変数に対して、前記環境フレームのＥ＋１番
目からＥ＋Ｍ−Ｎ番目までの領域を使用する命令を生成
する、 （Ｂ）翻訳している節が、前記環境フレームを必要とし
ない場合には、まず、有効な一時変数の最大の番号がＮ
より大きくなる前に、Ｍ−Ｎ個の一時変数の領域を持つ
一時変数フレームを前記スタックに割当てる命令を生成
するとともに、翻訳している節の命令列の最後の命令の
直前に、前記一時変数フレームを廃棄する命令を生成し
、次に、Ｎ個の前記一時変数レジスタの割当てを受ける
ことができない一時変数に対して、前記一時変数フレー
ムの領域を使用する命令を生成する、 ことにより構成されている． 〔作用〕 以下に、説明を簡単にするために、二つだけの一時変数
レジスタを有する論理型言語実行装置の例について、本
発明の変数領域割当て方式の作用を説明する。
最初に、ｆ（ｓ（Ｘ））：−ｇ（ （］ ．ｓ（Ｘ））
，ｈ−という節を翻訳する場合について述べる。
，ｈ−という節を翻訳する場合について述べる。
まず、翻訳プログラムは、変数Ｘを一時変数に分類し、
一時変数レジスタの個数に制限がないものとして、仮に
第１表の命名列を生成する。
一時変数レジスタの個数に制限がないものとして、仮に
第１表の命名列を生成する。
なお、このときには、環境フレームを生成したり廃棄し
たりする命令は生成していない．そして、翻訳プログラ
ムは、生成した命令列を辿り、使用される一時変数レジ
スタの最大の番号Ｍ（−３）を求め、これが一時変数レ
ジスタの個数Ｎ（＝２）を越えているので、生成した命
令列を次の手順で修正する． 第１表 Ｎ（−２）を越えないけれども、この節の永久変数Ｅ（
一〇）個の何れかのために環境フレームが必要となるか
、何れかの条件が満たされる直前（この例では前者の場
合で、ｕｎｉｆｙ シｅｍｐｏｒａｒｙｖａｒｉａｂｂ
ｌｅ命令の前）に、環境フレームを生成するａｌｌｏｃ
ａｔｅ命令を生成するとともに、最後の命令の直前に、
環境フレームを廃棄するｄｅａｌｌｏｃａｔｅ命令を生
成する。
たりする命令は生成していない．そして、翻訳プログラ
ムは、生成した命令列を辿り、使用される一時変数レジ
スタの最大の番号Ｍ（−３）を求め、これが一時変数レ
ジスタの個数Ｎ（＝２）を越えているので、生成した命
令列を次の手順で修正する． 第１表 Ｎ（−２）を越えないけれども、この節の永久変数Ｅ（
一〇）個の何れかのために環境フレームが必要となるか
、何れかの条件が満たされる直前（この例では前者の場
合で、ｕｎｉｆｙ シｅｍｐｏｒａｒｙｖａｒｉａｂｂ
ｌｅ命令の前）に、環境フレームを生成するａｌｌｏｃ
ａｔｅ命令を生成するとともに、最後の命令の直前に、
環境フレームを廃棄するｄｅａｌｌｏｃａｔｅ命令を生
成する。
第２表
すなわち、この節の永久変数Ｅ（＝Ｏ）個に、一時変数
レジスタの個数Ｎ（＝２）を越えた個数Ｍ−Ｎ（＝１）
を加えて、この節に割当てる環境フレームの大きさＥ＋
Ｍ−Ｎ（＝１）を計算する． そして、一時変数の最大の番号が一時変数レジスタの個
数Ｎ（−２）を越えるか、あるいは一時変数の最大の番
号が一時変数レジスタの個数そして、生成した命令列を
辿り、存在しない一時変゛数レジスタＩ（Ｉ＞Ｎとする
）を使用する命令を、Ｅ＋ Ｉ −Ｎ番目の変数を使用
する命令に置き変えて、第２表の命名列を生成すること
となる． 次に、ｆ（ｓ（Ｘ）） ： −ｇ（ ０ ．ｓ（Ｘ））
．という節を翻訳する場合について述べる． まず、同様に、翻訳プログラムは、一時変数レジスタの
個数に制限がないものとして、仮に第３表の命名列を生
成する． 第３表 すなわち、この節に割当てる一時変数フレームの大きさ
Ｍ−Ｎ（＝１）を計算する． 第４表 そして、翻訳プログラムは、生成した命令列を辿り、命
令実行直後に有効となる一時変数レジスタの最大の個数
Ｍ（＝３）を求め、これが一時変数レジスタの個数Ｎ（
＝２）を越えているので、生成した命令列を次の手順で
修正する．そして、生成した命令列を辿り、存在しない
一時変数レジスタＩ（Ｉ＞Ｎとする）を使用する命令を
、一時変数フレームの変数領域のＩ−Ｎ番目の要素を使
用する命令に置き変えて、先に計算した変数領域に対し
て、大きさＭ−Ｎ（＝１）を持つ一時変数フレームを、
有効な一時変数の最大番号がＮを越える直前に生成し、
最後の命令の直前に、この一時変数フレームを廃棄する
命令を生成する． この結果、第４表の命令列を生成することとなる． 〔実施例〕 次に本発明の実施例について図面を参照して説明する。
レジスタの個数Ｎ（＝２）を越えた個数Ｍ−Ｎ（＝１）
を加えて、この節に割当てる環境フレームの大きさＥ＋
Ｍ−Ｎ（＝１）を計算する． そして、一時変数の最大の番号が一時変数レジスタの個
数Ｎ（−２）を越えるか、あるいは一時変数の最大の番
号が一時変数レジスタの個数そして、生成した命令列を
辿り、存在しない一時変゛数レジスタＩ（Ｉ＞Ｎとする
）を使用する命令を、Ｅ＋ Ｉ −Ｎ番目の変数を使用
する命令に置き変えて、第２表の命名列を生成すること
となる． 次に、ｆ（ｓ（Ｘ）） ： −ｇ（ ０ ．ｓ（Ｘ））
．という節を翻訳する場合について述べる． まず、同様に、翻訳プログラムは、一時変数レジスタの
個数に制限がないものとして、仮に第３表の命名列を生
成する． 第３表 すなわち、この節に割当てる一時変数フレームの大きさ
Ｍ−Ｎ（＝１）を計算する． 第４表 そして、翻訳プログラムは、生成した命令列を辿り、命
令実行直後に有効となる一時変数レジスタの最大の個数
Ｍ（＝３）を求め、これが一時変数レジスタの個数Ｎ（
＝２）を越えているので、生成した命令列を次の手順で
修正する．そして、生成した命令列を辿り、存在しない
一時変数レジスタＩ（Ｉ＞Ｎとする）を使用する命令を
、一時変数フレームの変数領域のＩ−Ｎ番目の要素を使
用する命令に置き変えて、先に計算した変数領域に対し
て、大きさＭ−Ｎ（＝１）を持つ一時変数フレームを、
有効な一時変数の最大番号がＮを越える直前に生成し、
最後の命令の直前に、この一時変数フレームを廃棄する
命令を生成する． この結果、第４表の命令列を生成することとなる． 〔実施例〕 次に本発明の実施例について図面を参照して説明する。
第１図は本発明の変数領域割当て方式の一実施例を示す
流れ図である． 第２図は本実施例の変数領域割当て方式を適用した論理
型言語の実行装置の一例を示すブロック図である。
流れ図である． 第２図は本実施例の変数領域割当て方式を適用した論理
型言語の実行装置の一例を示すブロック図である。
第２図に示す論理型言語の実行装置は、プロセッサ２１
とメモリ２２とを有しており、メモリ２２は、環境フレ
ームや一時変数フレームを格納するスタックＳを持ち、
プロセッサ２１は、Ｎ個の一時変数レジスタＴＲ−１，
・・・・・・・・・ＴＲ−Ｎと、メモリ２２の中に生成
されるスタックＳの利用可能な先頭番地を指すポインタ
レジスタＰＲ−１，最新の環境フレームや一時変数フレ
ームを指すポインタレジスタＰＲ−２などを持つている
． そして、第２図の論理型言語の実行装置は、時変数レジ
スタＴＲ−１，・・・・・・・・・ＴＲ−Ｎおよびスタ
ックＳ上の任意の領域の二つに保持する情報に対するユ
ニフィケーションを行う命令を備えている． そこで、本実施例の変数領域割当て方式は、第２図の論
理型言語の実行装置に対して、論理型言語を翻訳するプ
ログラムで、節毎に第１図に示す変数領域の割当て動作
を行っている． まず、第１図のステップ１で、翻訳する節を仮に翻訳し
、その節について、一時変数の個数Ｍ，永久変数の個数
Ｅ．仮に翻訳した命令列の命令数Ｌを設定するとともに
、一時変数レジスタの個数をＮに、動作フラグの値Ａを
“０″に、動作カウンタの値■を“１゜′に設定してい
る．次に、ステップ２で、動作カウンタの値Ｉが仮に翻
訳した命令列の命令数Ｌを越えたかどうがのＩ＞Ｌを調
べて、終了を検出している。
とメモリ２２とを有しており、メモリ２２は、環境フレ
ームや一時変数フレームを格納するスタックＳを持ち、
プロセッサ２１は、Ｎ個の一時変数レジスタＴＲ−１，
・・・・・・・・・ＴＲ−Ｎと、メモリ２２の中に生成
されるスタックＳの利用可能な先頭番地を指すポインタ
レジスタＰＲ−１，最新の環境フレームや一時変数フレ
ームを指すポインタレジスタＰＲ−２などを持つている
． そして、第２図の論理型言語の実行装置は、時変数レジ
スタＴＲ−１，・・・・・・・・・ＴＲ−Ｎおよびスタ
ックＳ上の任意の領域の二つに保持する情報に対するユ
ニフィケーションを行う命令を備えている． そこで、本実施例の変数領域割当て方式は、第２図の論
理型言語の実行装置に対して、論理型言語を翻訳するプ
ログラムで、節毎に第１図に示す変数領域の割当て動作
を行っている． まず、第１図のステップ１で、翻訳する節を仮に翻訳し
、その節について、一時変数の個数Ｍ，永久変数の個数
Ｅ．仮に翻訳した命令列の命令数Ｌを設定するとともに
、一時変数レジスタの個数をＮに、動作フラグの値Ａを
“０″に、動作カウンタの値■を“１゜′に設定してい
る．次に、ステップ２で、動作カウンタの値Ｉが仮に翻
訳した命令列の命令数Ｌを越えたかどうがのＩ＞Ｌを調
べて、終了を検出している。
Ｉ＞Ｌではない（ＮＯ》ときには、次のステップ３で、
翻訳している節は、永久変数の有無など種々の条件で環
境フレームの領域を必要とするかどうかを判断している
． 翻訳している節が、Ｅ個の永久変数を含む環境フレーム
の領域をスタックＳに必要とする（ＹＥＳ）ときには、
次のステップ４へ移行している。
翻訳している節は、永久変数の有無など種々の条件で環
境フレームの領域を必要とするかどうかを判断している
． 翻訳している節が、Ｅ個の永久変数を含む環境フレーム
の領域をスタックＳに必要とする（ＹＥＳ）ときには、
次のステップ４へ移行している。
ステップ４で、動作フラグの値Ａが１でない（ＮＯ》と
きにだけ、次のステップ５で、仮に翻訳した命令列の■
番目の命令を調べて、その命令は永久変数などを使用す
るため、環境フレームを必要とするかどうかを判断して
いる． ■番目の命令が環境フレームを必要とする（ＹＥＳ）と
きにだけ、次のステップ６で、命令列の■番目の命令の
直前に、Ｅ＋Ｍ−Ｎ個の変数の環境フレームを割当てる
ためのａｌ ｌｏｃａｔｅ命令を挿入して、動作フラグ
の値Ａを“１″にして、ステップ８へ移行している。
きにだけ、次のステップ５で、仮に翻訳した命令列の■
番目の命令を調べて、その命令は永久変数などを使用す
るため、環境フレームを必要とするかどうかを判断して
いる． ■番目の命令が環境フレームを必要とする（ＹＥＳ）と
きにだけ、次のステップ６で、命令列の■番目の命令の
直前に、Ｅ＋Ｍ−Ｎ個の変数の環境フレームを割当てる
ためのａｌ ｌｏｃａｔｅ命令を挿入して、動作フラグ
の値Ａを“１″にして、ステップ８へ移行している。
第３図は本実施例で翻訳する節によりスタック中に生成
される環境フレームの一例を示す領域構成図である． ステップ６にて挿入されたａｌｌｏｃａｔｅ命令を実行
することにより、メモリ２２のスタックＳ中に、第３図
に示すように、一つ前の環境フレームまたは一時変数フ
レームである前フレームへのポインタＫＦ−１，翻訳実
行中の節からの戻り番地を示すポインタＫＦ−２，Ｅ＋
Ｍ−Ｎ個の永久変数および一時変数を割当てる領域ＫＦ
−３を有する環境フレームＫＦを割当てている．そして
、プロセッサ２１の最新の環境フレームや一時変数フレ
ームを指すポインタＰＲ−２が、永久変数および一時変
数を割当てる領域ＫＦ−３の最初の番地を示している．
（なお、処理系によっては、ＰＲ−２が、ＫＦ−１など
別の基準番地を指すようにすることもできる．） また、ステップ５で、■番目の命令は、環境フレームを
必要としない（ＮＯ》ときには、次のステップ７で、■
番目の命令は、Ｘ＞Ｎである番号Ｘの一時変数を使用す
るかどうかを判断し、使用する（ＹＥＳ）ときには、次
のステップ８へ移行し、使用しない（Ｎｏ）ときには、
ステップ１１へ移行している。
される環境フレームの一例を示す領域構成図である． ステップ６にて挿入されたａｌｌｏｃａｔｅ命令を実行
することにより、メモリ２２のスタックＳ中に、第３図
に示すように、一つ前の環境フレームまたは一時変数フ
レームである前フレームへのポインタＫＦ−１，翻訳実
行中の節からの戻り番地を示すポインタＫＦ−２，Ｅ＋
Ｍ−Ｎ個の永久変数および一時変数を割当てる領域ＫＦ
−３を有する環境フレームＫＦを割当てている．そして
、プロセッサ２１の最新の環境フレームや一時変数フレ
ームを指すポインタＰＲ−２が、永久変数および一時変
数を割当てる領域ＫＦ−３の最初の番地を示している．
（なお、処理系によっては、ＰＲ−２が、ＫＦ−１など
別の基準番地を指すようにすることもできる．） また、ステップ５で、■番目の命令は、環境フレームを
必要としない（ＮＯ》ときには、次のステップ７で、■
番目の命令は、Ｘ＞Ｎである番号Ｘの一時変数を使用す
るかどうかを判断し、使用する（ＹＥＳ）ときには、次
のステップ８へ移行し、使用しない（Ｎｏ）ときには、
ステップ１１へ移行している。
ステップ８で、動作フラグの値Ａが１でない（Ｎｏ）と
きにだけ、次のステップ９で、命令列の１番目の命令の
直前に、Ｅ−１−Ｍ−Ｎ個の変数の環境フレームを割当
てるためのａｌｌｏｃａｔｅ命令を挿入して、動作フラ
グの値Ａを“１”にして、次のステップ１０へ移行して
いる。
きにだけ、次のステップ９で、命令列の１番目の命令の
直前に、Ｅ−１−Ｍ−Ｎ個の変数の環境フレームを割当
てるためのａｌｌｏｃａｔｅ命令を挿入して、動作フラ
グの値Ａを“１”にして、次のステップ１０へ移行して
いる。
ステップ１０で、番号Ｘの一時変数を使用している命令
列の１番目の命令を環境フレームのＥ＋Ｘ−Ｎ番目の領
域を使用する命令に変更している。
列の１番目の命令を環境フレームのＥ＋Ｘ−Ｎ番目の領
域を使用する命令に変更している。
また、ステップ１１で、動作カウンタの値■に“１”を
加えている． そして、次のステップ１２で、動作カウンタの値■が仮
に翻訳した命令列の命令数Ｌになったかどうかを調べて
、■がＬてある（ＹＥＳ）ときにだけ、次のステップ１
３で、環境フレームのＥ＋１からＥ＋Ｍ−Ｎの領域を廃
棄するｄｅａｌ ｌｏｃａｔｅ命令を挿入して、ステッ
プ２に戻っている。
加えている． そして、次のステップ１２で、動作カウンタの値■が仮
に翻訳した命令列の命令数Ｌになったかどうかを調べて
、■がＬてある（ＹＥＳ）ときにだけ、次のステップ１
３で、環境フレームのＥ＋１からＥ＋Ｍ−Ｎの領域を廃
棄するｄｅａｌ ｌｏｃａｔｅ命令を挿入して、ステッ
プ２に戻っている。
一方、ステップ３で、翻訳している節が、環境フレーム
を必要としない（Ｎｏ）ときには、ステップ１４へ移行
している． ステップ１４で、１番目の命令は、Ｘ＞Ｎである番号Ｘ
の一時変数を使用するかどうかを判断し、使用する（Ｙ
ＥＳ）ときには、次のステップ１５へ移行し、使用しな
い（Ｎｏ）ときには、ステップ１８へ移行している． ステップ１５で、動作フラグの値Ａが１でない（Ｎｏ）
ときにだけ、次のステップ１６で、命令列の１番目の命
令の直前に、Ｍ−Ｎ個の変数の一時変数フレームを割当
てるためのａｌｌｏｃａｔｅ命令を挿入して、動作フラ
グの値Ａを“１”にして、次のステップ１７へ移行して
いる． 第４図は本実施例で翻訳する節によりスタック中に生成
される一時変数フレームの第１の例を示す領域構成図で
ある． ステップ１６にて挿入されたａｌ ｌｏｃａｔｅ命令を
実行することにより、メモリ２２のスタックＳ中に、第
４図に示すように、一つ前の環境フレームまたは一時変
数フレームである前フレームへのポインタＴＦａ−１，
翻訳実行中の節からの戻り番地を示すポインタＴＦａ−
２，Ｍ−Ｎ個の一時変数を割当てる領域ＴＦａ−３を有
する一時変数フレームＴ Ｆ ａを割当てている．そし
て、プロセッサ２１の最新の環境フレームや一時変数フ
レームを指すポインタＰＲ−２が、一時変数を割当てる
領域ＴＦａ−３の最初の番地を示している． また、第５図は本実施例で翻訳する節によりスタック中
に生成される一時変数フレームの第２の例を示す領域構
成図である． ステップ１６にて挿入されたａｌｌｏｃａｔｅ命令を実
行することにより、メモリ２２のスタックＳ中に、第５
図に示すように、一つ前の環境フレームまたは一時変数
フレームである前フレームへのポインタＴＦｂ−１，Ｍ
−Ｎ個の一時・変数を割当てる領域ＴＦｂ−３を有する
一時変数フレームＴＦｂを割当てている。
を必要としない（Ｎｏ）ときには、ステップ１４へ移行
している． ステップ１４で、１番目の命令は、Ｘ＞Ｎである番号Ｘ
の一時変数を使用するかどうかを判断し、使用する（Ｙ
ＥＳ）ときには、次のステップ１５へ移行し、使用しな
い（Ｎｏ）ときには、ステップ１８へ移行している． ステップ１５で、動作フラグの値Ａが１でない（Ｎｏ）
ときにだけ、次のステップ１６で、命令列の１番目の命
令の直前に、Ｍ−Ｎ個の変数の一時変数フレームを割当
てるためのａｌｌｏｃａｔｅ命令を挿入して、動作フラ
グの値Ａを“１”にして、次のステップ１７へ移行して
いる． 第４図は本実施例で翻訳する節によりスタック中に生成
される一時変数フレームの第１の例を示す領域構成図で
ある． ステップ１６にて挿入されたａｌ ｌｏｃａｔｅ命令を
実行することにより、メモリ２２のスタックＳ中に、第
４図に示すように、一つ前の環境フレームまたは一時変
数フレームである前フレームへのポインタＴＦａ−１，
翻訳実行中の節からの戻り番地を示すポインタＴＦａ−
２，Ｍ−Ｎ個の一時変数を割当てる領域ＴＦａ−３を有
する一時変数フレームＴ Ｆ ａを割当てている．そし
て、プロセッサ２１の最新の環境フレームや一時変数フ
レームを指すポインタＰＲ−２が、一時変数を割当てる
領域ＴＦａ−３の最初の番地を示している． また、第５図は本実施例で翻訳する節によりスタック中
に生成される一時変数フレームの第２の例を示す領域構
成図である． ステップ１６にて挿入されたａｌｌｏｃａｔｅ命令を実
行することにより、メモリ２２のスタックＳ中に、第５
図に示すように、一つ前の環境フレームまたは一時変数
フレームである前フレームへのポインタＴＦｂ−１，Ｍ
−Ｎ個の一時・変数を割当てる領域ＴＦｂ−３を有する
一時変数フレームＴＦｂを割当てている。
そして、プロセッサ２１の最新の環境フレームや一時変
数フレームを指すポインタＰＲ．−２が、一時変数を割
当てる領域ＴＦｂ−３の最初の番地を示している。
数フレームを指すポインタＰＲ．−２が、一時変数を割
当てる領域ＴＦｂ−３の最初の番地を示している。
なお、この場合には、翻訳実行中の節からの戻り番地を
示すポインタを省略しているので、プロセッサ２１に、
一時変数フレームを割当てる命令および一時変数フレー
ムを廃棄する命令を、環境フレームに対する命令とは別
に加える必要がある。
示すポインタを省略しているので、プロセッサ２１に、
一時変数フレームを割当てる命令および一時変数フレー
ムを廃棄する命令を、環境フレームに対する命令とは別
に加える必要がある。
さらに、第６図は本実施例で翻訳する節によりスタック
中に生成される一時変数フレームの第３の例を示す領域
構成図である。
中に生成される一時変数フレームの第３の例を示す領域
構成図である。
ステップ１６にて挿入されたａｌ ｌｏｃａｔｅ命令を
実行することにより、メモリ２２のスタックＳ中に、第
６図に示すように、Ｍ−Ｎ個の一時変数を割当てる領域
ＴＦｃ−３を有する一時変数フレームＴＦｃを割当てて
いる。
実行することにより、メモリ２２のスタックＳ中に、第
６図に示すように、Ｍ−Ｎ個の一時変数を割当てる領域
ＴＦｃ−３を有する一時変数フレームＴＦｃを割当てて
いる。
そして、プロセッサ２１の一時変数フレームを指すポイ
ンタＰＲ−３が、一時変数を割当てる領域ＴＦｃ−３の
最初の番地を示している。
ンタＰＲ−３が、一時変数を割当てる領域ＴＦｃ−３の
最初の番地を示している。
なお、この場合には、翻訳実行中の節からの戻り番地を
示すポインタおよび一つ前の環境フレームまたは一時変
数フレームである前フレームへのポインタを省略してい
るので、プロセッサ２１に、一時変数フレームを割当て
る命令および一時変数フレームを廃棄する命令並びに一
時変数フレーム内の変数要素のアクセスを行う命令を、
環境フレームに対する命令とは別に加える必要がある。
示すポインタおよび一つ前の環境フレームまたは一時変
数フレームである前フレームへのポインタを省略してい
るので、プロセッサ２１に、一時変数フレームを割当て
る命令および一時変数フレームを廃棄する命令並びに一
時変数フレーム内の変数要素のアクセスを行う命令を、
環境フレームに対する命令とは別に加える必要がある。
次のステップ１７で、番号Ｘの一時変数を使用している
命令列の１番目の命令を一時変数フレームのＸ−Ｎ番目
の領域を使用する命令に変更している。
命令列の１番目の命令を一時変数フレームのＸ−Ｎ番目
の領域を使用する命令に変更している。
また、ステップ１８で、動作カウンタの値Ｉに゛１”を
加えている。
加えている。
そして、次のステップ１９で、動作カウンタの値Ｉが仮
に翻訳した命令列の命令数Ｌになったかどうかを調べて
、ＩがＬである（ＹＥＳ）ときにだけ、次のステップ２
０で、一時変数フレームの領域を廃棄するｄｅａｌ ｌ
ｏｃａｔｅ命令を挿入して、ステップ２に戻っている。
に翻訳した命令列の命令数Ｌになったかどうかを調べて
、ＩがＬである（ＹＥＳ）ときにだけ、次のステップ２
０で、一時変数フレームの領域を廃棄するｄｅａｌ ｌ
ｏｃａｔｅ命令を挿入して、ステップ２に戻っている。
以上述べたように、本実施例の変数領域割当て方式は、
固定個数の一時変数レジスタを有する論理型言語の実行
装置に対して、論理型言語を翻訳する場合に、翻訳する
節に必要な一時変数の個数が一時変数レジスタの個数を
越えても、越えた個数の一時変数をスタックの領域に割
当てた適切な命令列に翻訳して能率良く実行することが
できる。
固定個数の一時変数レジスタを有する論理型言語の実行
装置に対して、論理型言語を翻訳する場合に、翻訳する
節に必要な一時変数の個数が一時変数レジスタの個数を
越えても、越えた個数の一時変数をスタックの領域に割
当てた適切な命令列に翻訳して能率良く実行することが
できる。
以上説明したように、本発明の変数領域割当て方式は、
固定個数の一時変数レジスタを有する論理型言語の実行
装置に対して、論理型言語を翻訳する場合に、翻訳する
節に必要な一時変数の個数が一時変数レジスタの個数を
越えても、越えた個数の一時変数をスタックの領域に割
当てた適切な命令列に翻訳して能率良く実行することが
できるという効果を有している．
固定個数の一時変数レジスタを有する論理型言語の実行
装置に対して、論理型言語を翻訳する場合に、翻訳する
節に必要な一時変数の個数が一時変数レジスタの個数を
越えても、越えた個数の一時変数をスタックの領域に割
当てた適切な命令列に翻訳して能率良く実行することが
できるという効果を有している．
第１図は本発明の変数領域割当て方式の一実施例を示す
流れ図、第２図は本実施例の変数領域割当て方式を適用
した論理型言語の実行装置の一例を示すブロック図、第
３図は本実施例で翻訳する節によりスタック中に生成さ
れる環境フレームの一例を示す領域構成図、第４図は本
実施例で翻訳する節によりスタック中に生成される一時
変数フレームの第１の例を示す領域構成図、第５図は本
実施例で翻訳する節によりスタック中に生成される一時
変数フレームの第２の例を示す領域構成図、第６図は本
実施例で翻訳する節によりスタック中に生成される一時
変数フレームの第３の例を示す領域構成図である．
流れ図、第２図は本実施例の変数領域割当て方式を適用
した論理型言語の実行装置の一例を示すブロック図、第
３図は本実施例で翻訳する節によりスタック中に生成さ
れる環境フレームの一例を示す領域構成図、第４図は本
実施例で翻訳する節によりスタック中に生成される一時
変数フレームの第１の例を示す領域構成図、第５図は本
実施例で翻訳する節によりスタック中に生成される一時
変数フレームの第２の例を示す領域構成図、第６図は本
実施例で翻訳する節によりスタック中に生成される一時
変数フレームの第３の例を示す領域構成図である．
Claims (1)
- 【特許請求の範囲】 Ｎ個の一時変数レジスタを持ち、前記一時変数レジスタ
およびスタック上の領域の二つに保持する情報のユニフ
ィケーションを行う命令を備えた論理型言語の実行装置
に対して、論理型言語を翻訳するプログラムの変数領域
割当て方式において、 論理型言語の節を翻訳してＮ個の前記一時変数レジスタ
に割付ける一時変数の最大番号であるＭがＮより大きい
場合に、前記一時変数レジスタの個数Ｎによる一時変数
の個数の制限を回避するために、 （Ａ）翻訳している節が、Ｅ個の永久変数を含む環境フ
レームの領域を前記スタックに割当てることを必要とす
る場合には、まず前記環境フレームを割当てる命令で指
定する変数の個数をＥ＋Ｍ−Ｎに変更し、次に、一時変
数の最大番号が、前記一時変数レジスタの個数Ｎを越え
ないときに前記環境フレームが永久 変数のために必要となるか、有効な一時変数の最大の番
号がＮより大きくなるか、どち らか一方の条件が成立する前に、前記環境 フレームを前記スタックに割当てる命令を生成し、さら
に、Ｎ個の前記一時変数レジスタの割当てを受けること
ができない一時変数に対して、前記環境フレームのＥ＋
１番目からＥ＋Ｍ−Ｎ番目までの領域を使用する命令を
生成する、 （Ｂ）翻訳している節が、前記環境フレームを必要とし
ない場合には、まず、有効な一時 変数の最大の番号がＮより大きくなる前に、Ｍ−Ｎ個の
一時変数の領域を持つ一時変数フレームを前記スタック
に割当てる命令を生成するとともに、翻訳している節の
命令列の最後の命令の直前に、前記一時変数フレームを
廃棄する命令を生成し、次に、Ｎ個の前記一時変数レジ
スタの割当てを受けることができない一時変数に対して
、前記一時変数フレームの領域を使用する命令を生成す
る、 ことを特徴とする変数領域割当て方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5112189A JPH02230333A (ja) | 1989-03-02 | 1989-03-02 | 変数領域割当て方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5112189A JPH02230333A (ja) | 1989-03-02 | 1989-03-02 | 変数領域割当て方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH02230333A true JPH02230333A (ja) | 1990-09-12 |
Family
ID=12877972
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5112189A Pending JPH02230333A (ja) | 1989-03-02 | 1989-03-02 | 変数領域割当て方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH02230333A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2014121378A (ja) * | 2012-12-20 | 2014-07-03 | Sophia Co Ltd | 遊技機 |
-
1989
- 1989-03-02 JP JP5112189A patent/JPH02230333A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2014121378A (ja) * | 2012-12-20 | 2014-07-03 | Sophia Co Ltd | 遊技機 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4833594A (en) | Method of tailoring an operating system | |
| EP0777177B1 (en) | A method for object-oriented programming using dynamic interfaces | |
| US5790979A (en) | Translation method in which page-table progression is dynamically determined by guard-bit sequences | |
| US8635627B2 (en) | Method, medium and apparatus storing and restoring register context for fast context switching between tasks | |
| JPH09237202A (ja) | デバッグ処理実行方法 | |
| US7849470B2 (en) | System and method for extending a programming language to include multiple dissimilar object systems | |
| JP2752094B2 (ja) | 論理型言語におけるバックトラック処理方式 | |
| JPH02230333A (ja) | 変数領域割当て方式 | |
| JP5822848B2 (ja) | 例外の制御方法、システムおよびプログラム | |
| KR20230086248A (ko) | Plc를 위한 사용자 지정 어드레스 변수의 처리 방법 | |
| Hutchison et al. | Program execution in the SYMBOL 2R computer | |
| JPH05297911A (ja) | シーケンスコントローラ用シーケンス制御回路 | |
| JPH03164835A (ja) | インタプリタ型言語処理系における大域変数処理のコンパイル方法 | |
| KR0170706B1 (ko) | 마이크로프로세서의 외부 메모리 사용 방법 | |
| JPH01131937A (ja) | アドレス変換方式 | |
| JP2591818B2 (ja) | 補助機能の選択制御方法 | |
| JPS6362053A (ja) | ガ−ベジコレクシヨン処理方式 | |
| JPS5918787B2 (ja) | Ｔｌｂパ−テイシヨン方式 | |
| JPH0283623A (ja) | マイクロプロセッサ | |
| JPH05204636A (ja) | ロードアドレス設定方法 | |
| JPH0553827A (ja) | ダイナミツクリンク最適化方式 | |
| JPH07175656A (ja) | 代入用アドレス保持装置 | |
| JPS61100836A (ja) | 移動命令論理比較命令処理方式 | |
| JPH02130637A (ja) | ソースコード翻訳方式 | |
| JPH04170643A (ja) | 最適セグメンテーション決定システム |