データのキャッシュ

プログラム実行上、アクセス頻度の高い大域変数は、 できるだけローカル変数にキャッシュしてからアクセスし、大域変数への アクセスはできるだけ少なくなるようにしている。 アクセス頻度の高いローカル変数は 最近のプロセッサ、コンパイラではレジスタに置かれる可能性が高く、 その結果、出力されるnativeな命令が単純になり、アクセスも高速化する。

特に、allocp(ヒープ割付点)、qp (ゴールスタック先頭)については留意されており、 通常にモジュール関数を実行している間には 殆んど大域変数への書き戻しなく実行される。

また、コンパイルドコードより、実行時ライブラリを呼び出す場合があり、 その実行時ライブラリ内でヒープ割付を行ったり、ゴールをエンキューしたり する時がある。 そのような実行時ライブラリについては、 naiveには上記のキャッシュされている値を大域変数に書きもどすか、 引数により値を渡し、戻り値、または大域変数経由で戻すようにする必要がある。 KLICでは、qp, allocp各々について以下のように対処している。

• qpに対しては、 例えば、単一化を実行時ライブラリで行った結果中断中のゴールが 実行可能になった際にエンキューされるなどによりアクセスされる可能性があるが、 基本的には実行時ライブラリでアクセスされる可能性は低い。そのため、 qpは実行時ライブラリには渡さないこととした。 その代りに、「例外的なエンキュー用のゴールスタック」を設け、 実行時ライブラリ内で、エンキュー、デキューされたゴールを保持するようにした。 この例外的なゴールスタックは リダクションの切れ目で検査され、空でない場合にはその保持している ゴール群を通常のゴールスタックに再度エンキューする こととした(ページ、第1章参照)。 

• allocpに対しては、 比較的アクセス頻度が高いと思われる実行時ライブラリには引数で渡し、 戻り値、または大域変数heapp(glbl->heapp0)を経由して戻すこととした。

  また、アクセス頻度が低いと思われる実行時ライブラリでは、allocpを 渡さずに、システムヒープ(ページ、第2.4.2章参照)に割り付けを行うこととした。