JPH03212738A - 関数呼び出し方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は関数呼び出し方式に関し、特にインタプリタを
基本とするシステムにおけるコンパイルされた関数の呼
び出し方式に関する。

［従来の技術〕 ソースプログラムを解釈、実行しながら動作することを
基本とする言語処理システムに対し、ソースプログラム
をコンパイルするコンパイラを設け、ソースプログラム
以外にコンパイルされて得られたオブジェクトをも実行
可能とすることにより実行速度の向上を図った言語処理
システムがある。このような言語処理システムでは、プ
ログラミング上意味的な−かたまりを形成している単位
（これを関数という）を定義したり、既に定義されてい
る関数を再定義したりすることも、インクブリタ上で動
的に行えるようになっており、このとき、成る関数から
他の関数を実際に呼び出す前であれば、呼び出そうとし
ている関数の定義が変更されても正しく最新の関数定義
が呼び出せるようにすることが重要である。これは従来
、第５図に示すような構成で実現している。

第５図に示すように、各関数Ａ、Ｂには、関数名エント
リ１０１．３０１や関数定義エントリ１０２．３０２な
どのエントリを持つ関数識別セル１００．３００が割り
当てられ、その関数定義エントリ１０２．３０２から、
コンパイルされた関数定義コンパイルドコード（ソース
プログラム形式の関数定義をコンパイルしたもの）２０
０．４ＯＯをポイントしている。関数定義コンパイルド
コード２００，４００は、機械語命令列２０１゜４０１
を有すると共に、その関数定義から参照している文字列
、リスト、他の関数定義など他のオブジェクトのアドレ
スを解決するためのリテラルテーブル２０２，４０２を
備えている。一般に文字列やリストまた関数定義などの
オブジェクトは、関数のコンパイル時にはその記憶域上
のアドレスを決定することができないため、コンパイル
時にはリテラルテーブル２０２，４０２中の該当エント
リを参照して目的のオブジェクトをアクセスするような
命令を機械語命令列２０１．４０１中に生成し、関数定
義コンパイルドコード２００，４００の記憶域へのロー
ド時に、それらオブジェクトのアドレスをリテラルテー
ブル２０２，４０２中の該当エントリに書き込むように
している。即ち、たとえば関数Ａから関数Ｂを呼び出す
関数Ｂ呼び出し命令２０１０は、それ用のエントリ２０
２０を参照して関数Ｂをアクセスするような命令とされ
、関数Ａの関数定義コンパイルドコード２００の記憶域
へのロード時に、呼び出し先の関数Ｂの関数定義コンパ
イルドコード４００にかかる関数Ｂ用の関数識別セル３
００のアドレスを該当するエントリ２０２０に書き込む
ものである。

以上のように構成することにより、例えば関数Ｂの関数
定義コンパイルドコード４００を記憶域上にロードした
後に関数Ｂの定義を変更し、それ用の新たな関数定義コ
ンパイルドコードを記憶域にロードした場合、それに合
わせて関数Ｂ用の関数識別セル３００の関数定義エント
リ３０２の内容を変更すれば、関数Ａから常に最新の関
数定義を呼び出すことができる。

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

上述した従来の関数呼び出し方式によっても常に最新の
関数定義を呼び出すことは可能であるが、必ず関数識別
セルの関数定義エントリを参照して関数を呼び出すため
、関数識別セルをアクセスするための処理が必要となり
、他のコンパイラ型言語に比べると関数呼び出しにかか
る時間が遅くなるという問題点があった。

本発明はこのような従来の問題点を解決したもので、そ
の目的は、関数識別セルを経由することなく成る関数か
ら別の関数の最新定義を呼び出すことができる関数呼び
出し方式を提供することにある。

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

本発明の関数呼び出し方式は上記の目的を達成するため
に、 関数にかかる関数定義コンパイルドコード中の関数呼び
出し命令をリテラルテーブル中の該当エントリに格納さ
れたアドレス先へ関数識別セルを経由せずに制御を移行
せしめる命令にすると共に、その関数から呼び出される
呼び出し元関数の関数名および該呼び出し元関数に割り
当てたリテラルテーブル中の前記エントリの位置情報と
を保持する［参照している関数テーブル」と、その関数
を呼び出す呼び出し元関数の関数名を保持する「参照さ
れている関数テーブル」とを設け、関数にかかる関数定
義コンパイルドコードを記憶域ヘロードした際に、 該ロートした関数にかかる「参照している関数テーブル
」に設定された各関数名の呼び出し元関数にかかる［参
照されている関数テーブルＪに前記ロードした関数の関
数名を格納すると共にその呼び出し元関数にかかる関数
定義コンパイルドコードの記憶域上のアドレスが確定し
ているときはそのアドレスをリテラルテーブル中のその
呼び出し元関数に対応するエントリに格納し、且つ、前
記ロードした関数にかかる「参照されている関数テーブ
ル」に設定された各関数名の呼び出し元関数にかかる関
数定義コンパイルドコードのリテラルテーブル中の該当
エントリに前記ロードした関数にかかる関数定義コンパ
イルトコートの記憶域上のアドレスを格納するようにし
ている。

〔作用〕

本発明の関数呼び出し方式の作用を、理解を容易にする
為に関数Ａから関数Ｂを呼び出す場合を例にして説明す
ると、先ず、関数への関数定義コンパイルドコード中の
関数Ｂを呼び出す命令はリテラルテーブル中の該当エン
トリに格納されたアドレス先へ関数Ｂ用の関数識別セル
を経由せずに制御を移行せしめる命令にされる。そして
、関数Ａの関数定義コンパイルトコートを記憶域へロー
ドした際に、関数Ａ用の「参照している関数テブル」に
設定された関数Ｂの関数名を転りに関数Ｂ用の「参照さ
れている関数テーブル」が特定され、そこに前記ロード
した関数Ａの関数名が格納される。また、このとき呼び
出し元関数Ｂにかかる関数定義コンパイルドコードの記
憶域上のアドレスが確定している場合には、そのアドレ
スが関数Ａの関数定義コンパイルトコートにおけるリテ
ラルテーブル中の関数Ｂに対応するエントリに格納され
る。これにより、関数Ａの関数定義コンパイルドコード
における関数Ｂを呼び出す命令が実行されると、リテラ
ルテーブル中の該当エントリに格納されたアドレス先、
つまり関数Ｂの関数定義コンパイルドコードへ関数Ｂ用
の関数識別セルを経由することなく速やかに制御が移行
せしめられる。

他方、関数Ａの関数定義コンパイルドコードの記憶域上
へのロード時に、関数Ｂの関数定義コンパイルドコード
のアドレスが確定していないときは、その時点では関数
Ｂ用のエントリにはアドレスは格納されない。このアド
レスの格納は関数Ｂの関数定義コンパイルドコードが記
憶域上へロードされた時点で格納される。即ち、関数Ｂ
の関数定義コンパイルドコードを記憶域ヘロードした際
には、関数Ｂ用の「参照されている関数テーブル」の情
報によって関数Ｂが関数Ａから呼ばれていることが判明
し、関数Ａにかかる関数定義コンパイルドコードのリテ
ラルテーブルが検索され、関数Ｂ用のエントリに関数Ｂ
の関数定義コンパイルドコードの記憶域上のアドレスが
格納される。これによって、関数Ａの関数定義コンパイ
ルドコードにおける関数Ｂを呼び出す命令の実行が可能
となる。

このように本発明では呼び出し先の関数Ｂの関数定義コ
ンパイルドコードが記憶域ヘロートされる時点でそのア
ドレスが呼び出し元の関数Ａの関数定義コンパイルドコ
ードに設定されるので、関数Ｂの定義が変更され、関数
Ｂ用の新たな関数定義コンパイルドコードがロートされ
たときには、呼び出し元の関数Ａの関数定義コンパイル
トコートにおける関数Ｂ対応のエントリのアドレスに関
数Ｂの最新の関数定義コンパイルドコードのアドレスが
保持されることになり、関数Ａから常に最新の関数Ｂの
関数定義を呼び出すことができる。

（実施例］ 次に、本発明の実施例について図面を参照して詳細に説
明する。

第１図は本発明の一実施例の構成図であり、関数Ａから
関数Ｂ、関数Ｃを本発明の方式で呼び出す場合にコンパ
イラによって記憶域上にロード作成された内容例を示し
ている。同図に示すように記憶域上には、関数Ａにかか
るものとして、関数識別セル１．関数定義コンパイルド
コード２および「参照されている関数テーブル」１４が
作成され、関数Ｂにかかるものとして、関数識別セル３
、関数定義コンパイルドコード４および「参照されてい
る関数テーブルＪ３４が作成され、関数Ｃにかかるもの
として、関数識別セル５．関数定義コンパイルトコ−ド
ロおよび「参照されている関数テーブル」５４が作成さ
れている。

関数への関数定義コンパイルドコード２は、機械語命令
列２１とリテラルテーブル２２と「参照している関数テ
ーブル」２３とを含み、機械語命令列２１中に関数Ｂ呼
び出し命令２１１と関数Ｃ呼び出し命令２１２とが存在
する。また、リテラルテーブル２２には関数Ｂ用エント
リ２２１と関数Ｃ用エントリ２２２とがあり、関数Ｂ用
エンドＩＪ　２２１には関数Ｂの関数定義コンパイルド
コード４のアドレスが格納され、関数Ｃ用エントリ２２
２には間数Ｃの関数定義コンパイルトコ−ドロのアドレ
スが格納されている。「参照している関数テーブル」２
３には図示は省略しているが、関数名Ｂとそれ用のエン
トリ２２１の位置情報とを格納するエントリと、関数名
Ｃとそれ用のエントリ２２２の位置情報とを格納するエ
ントリとが設けられている。関数Ｂ呼び出し命令２１１
は、関数Ｂ用エントリ２２１に格納されたアドレスヘジ
ヤンプするようなコードであり、関数Ｃ呼び出し命令２
１２は、関数Ｃ用エントリ２２２に格納されたアドレス
ヘジャンプするようなコードである。

関数Ａ用の識別セルｌは、関数名エントリ１１゜関数定
義エントリ１２．「参照されている関数テーブルエント
リ」１３等で構成され、関数定義エントリ１２に関数へ
の関数定義コンパイルドコード２のアドレスが格納され
ている。また「参照されている関数テーブルエントリＪ
１３には、「参照されている関数テーブル」１４のアド
レスが格納されている。この［参照されている関数テー
ブル」１４には関数Ａを呼び出している関数が存在する
場合には、その関数名が格納される。

関数Ｂ用の識別セル３．関数Ｃ用の識別セル５も、関数
Ａ用の識別セル１と同様に、関数名エントリ３１，５１
．関数定義エントリ３２，５２゜参照されている関数テ
ーブルエントリ３３．５３等で構成され、関数定義エン
トリ３２．５２に関数Ｂの関数定義コンパイシドコード
４．関数Ｃの関数定義コンパイルトコ−ドロのアドレス
が格納されている。また、参照されている関数テーブル
エントリ３３．５３には関数Ｂ用の「参照されている関
数テーブル」３４．関数Ｃ用の「参照されている関数テ
ーブル」５４のアドレスが格納されている。そして、こ
の場合、［参照されている関数テーブルＪ３４，５４中
には関数Ｂを呼び出している関数Ａの関数名がそれぞれ
格納されている。

関数Ｂ、Ｃの関数定義コンパイルドコード４．６の内部
構造は図示を省略しているが、その構造は関数Ａの関数
定義コンパイルドコード２と同様である。

以上のような構成を有するため、関数Ａの関数定義コン
パイルドコード２における関数Ｂ呼び出し命令２１１が
実行されると、関数Ｂ用エントリ２２１に格納されたア
ドレスに従って、関数Ｂ用の識別セル３を経由すること
なく、関数Ｂの関数定義コンパイルドコード４に直ちに
制御が渡される。同様に、関数Ｃ呼び出し命令２１２が
実行されると、関数Ｃ用エントリ２２２に格納されたア
ドレスに従って関数Ｃの関数定義コンパイルトコ−トロ
に直ちに制御が渡されることになる。そして後述するよ
うに、関数Ｂ、　　Ｃ等の定義が変更され、新たな関数
定義コンパイルドコードが記憶域にロードされた場合に
は、それに応して関数Ａの関数定義コンパイルドコード
２のリテラルテーブル２２における関数Ｂ用エントリ２
２１．関数Ｃ用エントリ２２２の内容が変更せしめられ
ることにより、常に最新の関数定義に制御が渡るように
なっている。

次に、関数定義コンパイルドコード２．４．６を記憶域
ヘロードする際にコンパイラが行う処理について、第１
図中から関数Ｃにかかる部分を省略して簡略化した第２
図およびコンパイラの処理例の流れを示す第３図を参照
して説明する。

コンパイラは、関数Ａの関数定義コンパイルドコード２
を記憶域上ヘロードする際、第３図の処理Ｓｌにおいて
、その間数Ａが呼び出している関数Ｂの関数名２３１と
その関数Ｂに割り当てたリテラルテーブル２２中の関数
Ｂ用エントリ２２１の位置情報（例えば第２図に示す如
きリテラルテ−プル２２の先頭からの相対位置）２３２
との紐２３０を持つ「参照している関数テーブル」２３
を作成する。

次に、処理Ｓ２において、関数Ａ用の関数識別セル１お
よび「参照されている関数テーブル」１４について、既
に作成されていればそれを使い、未作成であれば作成し
た後、関数Ａ用の関数識別セル１中の関数定義エントリ
１２ｔこ関数への関数定義コンパイルドコード２のアド
レスを格納する。

次に、「参照している関数テーブル」２３に格納されて
いる全ての関数名に対し、以下の処理を行う　（５３〜
Ｓ９）。

先ず、「参照している関数テーブル」２３がら関数名を
１つ取り出し、関数名が終わりであれば処理３３〜Ｓ９
の処理を終えて処理ＳＩＯへ進む。

終わりでなシナれば、取り出した関数名の関数が既に存
在するか否かを判定しくＳ５）、存在していれば処理Ｓ
７へ進み、存在しなければその関数名の関数識別セルお
よび「参照されている関数テフルｊを作成して処理ｓ７
へ進む。次に処理ｓ７において、その関数名の「参照さ
れている関数テーブル」に前記ロートした関数Ａの関数
名を格納する。そして、処理Ｓ８でその関数名の関数識
別セル中の関数定義エンド丁Ｊにアドレスが格納されて
いるか否かを判定し、格納されていなければ処理Ｓ３に
戻り、格納されていればそのアドレスを前記ロードした
関数Ａの関数定義コンパイルドコード２のリテラルチー
フル２２１こおけるその関数名に対応するエントリに格
納する（Ｓ９）。そして、処理Ｓ３に戻る。

以上の５３〜Ｓ９の処理が関数Ｂの関数名に対し実行さ
れることにより、関数Ｂ用の関数識別セル３にリンクさ
れた「参照されている関数チーフル」３４に関数Ａの関
数名が登録され、且つ、関数Ｂが既に存在する場合には
即ち関数Ｂの関数定義コンパイルドコード４が記憶域に
ロートされている場合には、関数定義エントリ３２に格
納されているアドレスが関数Ａの関数定義コンパイルト
コ−１２のリテラルテーブル２２における関数Ｂ用エン
トリ２２１に格納されるごとになる。

次に、処理ＳｌＯ〜Ｓ１２においては、「参照されてい
る関数テーブルｊ１４Ｌこ格納された全ての関数名に対
し、次のような処理が行われる。即ち、′参照されてい
る関数テーブル」１４に関数名が登録されている場合、
その関数名の関数定義コンパイルドコードの「参照して
いる関数テーブル」中を呼び出し先の関数名（今回ロー
ドした関数の関数名）でサーチし、見つけた同一関数名
に対応する位置情報の指し示すリテラルテーブル２２中
のエントリに、前記ロートした関数Ａの関数定義コンパ
イルドコード２のアドレスを格納する。

以上のような処理は関数Ｂの関数定義コンパイルトコー
ト４を記憶域ヘロートする際にも行われる。この結果、
関数Ａの関数定義コンパイルドコト２のロート時に関数
Ｂが未だ存在していなかった場合、関数Ｂの関数定義コ
ンパビルドコート４０ロート時に実行される処理５ＩＯ
−３１２の処理において「参照されている関数テーブル
」３４中の関数Ａの関数名が処理され、その関数への関
数定義コンパイルドコード２のリテラルチーフル２２が
関数名Ｂでサーチされ、同一関数名（２３１）に対応す
る位１情９１（２３２）の指し示すリテラルチーフル２
２のエントリ２２１に、［ＩＢの関数定義コンパイルド
コード４のアドレスが格納されることになる。

また、関ｉＢの定義が変更された場合、その変更後の関
数Ｂの関数定義コンパイルトコ−＋”４が記憶域ヘロー
トされる場合にも第３図の処理が実行される。よって、
呼び出し元の関数への関数定義コンパイルトコート２に
おける関数Ｂ用エンドＩＪ　２２１の内容を関数Ｂの最
新の関数定義コンパイルドコード４のアドレスに一致さ
せることができる。

なお、関数定義がコンパイルされておらずＬ　ＩＳＰ言
語などのようなソースプログラムのままのリスト形式の
ときは、その定義のリスト形式を解釈部のエハリュエー
タに渡して実行させなければなろない。よって、この場
合はコンパイラは、従来と同様に関数識別セルを経由し
た呼び出し方式が行われるように制御する。即ち、第４
図に示すように、間数Ａがソースプログラム形式の関数
りを呼び出す場合、関数りにかかるソースプログラム形
式の関数定義８のアドレスを関数定義エントリ７２に保
持する関数り用の関数識別セルフを、関数り用エントリ
２２３が保持するようにし、関数り呼び出し命令２１３
はシステムのエハリュエータ９に制御を移すコードとす
るものである。

〔発明の効果〕

以上説明したように、本発明の関数呼び出し方式によれ
ば、関数識別セルを経由することなく成るコンパイルさ
れた関数から別のコンパイルサした関数の最新定義を呼
び出すことが可能となり、関数呼び出しの高速化が実現
できる。

【図面の簡単な説明】

第１図は本発明の一実施例の構成図、 第２図は第１図を簡略化した図、 第３図はコンパイラの処理例の流れ図、第４図はソース
プログラム形式の関数定義を呼び出す場合の構成例を示
す図および、 第５図は従来方式の説明図である。 図において、 １．３，５．７・・・関数識別セル ２．４．６・・・関数定義コンパイルドコード８・・・
ソースプログラム形式の関数定義９・・・システムのエ
バリュエータ １１．３１．５１・・・関数名エントリ１２．３２，５
２．７２・・・関数定義エントリ１３．３３．５３・・
・参照されている関数テーブルエントリ １４．３４．５４・・・参照されている関数テーブル２
１・・・機械語命令列 ２２・・・リテラルテーブル ２３・・・参照している関数テーブル ２１１・・・関数Ｂ呼び出し命令 ２１２・・・関数Ｃ呼び出し命令 ２２１・・・関数Ｂ用エントリ ２２２・・・関数Ｃ用エントリ

Claims (1)

1. 【特許請求の範囲】 関数にかかる関数定義コンパイルドコード中の関数呼び
   出し命令をリテラルテーブル中の該当エントリに格納さ
   れたアドレス先へ関数識別セルを経由せずに制御を移行
   せしめる命令にすると共に、その関数から呼び出される
   呼び出し先関数の関数名および該呼び出し先関数に割り
   当てたリテラルテーブル中の前記エントリの位置情報と
   を保持する「参照している関数テーブル」と、その関数
   を呼び出す呼び出し元関数の関数名を保持する「参照さ
   れている関数テーブル」とを設け、 関数にかかる関数定義コンパイルドコードを記憶域へロ
   ードした際に、 該ロードした関数にかかる「参照している関数テーブル
   」に設定された各関数名の呼び出し先関数にかかる「参
   照されている関数テーブル」に前記ロードした関数の関
   数名を格納すると共にその呼び出し先関数にかかる関数
   定義コンパイルドコードの記憶域上のアドレスが確定し
   ているときはそのアドレスをリテラルテーブル中のその
   呼び出し先関数に対応するエントリに格納し、且つ、前
   記ロードした関数にかかる「参照されている関数テーブ
   ル」に設定された各関数名の呼び出し元関数にかかる関
   数定義コンパイルドコードのリテラルテーブル中の該当
   エントリに前記ロードした関数にかかる関数定義コンパ
   イルドコードの記憶域上のアドレスを格納するようにし
   たことを特徴とする関数呼び出し方式。