Contents of Report

[Data of Report]

Report Number:: TR0497
Date of Registration:: 1989.08
English Title:: ***
Japanese Title:: 並列論理型言語ＫＬ１のクローズインデキシング方式
English Author:: Y.Kimura,T.Chikayama
Japanese:: 木村　康則,近山　隆
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0497.pdf

[Contents]

	梗概	.... 3
1	はじめに	.... 4
2	KL1のクローズインデキシング	.... 5
2.1	並列論理型言語KL1	.... 5
2.2	従来のコンパイル方式	.... 5
2.3	クローズインデキシングの方針	.... 6
3	KL1のコンパイラ処理	.... 8
3.1	ヘッド引数の条件の抽出	.... 9
3.2	インデキシングツリーの作成	.... 9
3.3	オブジェクトコードの生成	.... 11
4	クローズインデキシング用のKL1-B命令	.... 11
4.1	インデキシング命令の種類	.... 11
4.2	命令の統合	.... 13
4.3	コンパイル時間	.... 14
4.4	コンパイル例	.... 14
5	実験	.... 16
5.1	実験処理系	.... 16
5.2	ベンチマークプログラム	.... 16
5.3	静的コードサイズ	.... 16
5.4	実行命令数と実行時間	.... 18
6	考察	.... 18
6.1	クローズのヘッドパターンによる性能比較	.... 18
6.2	サスペンション回数と性能向上率	.... 22
6.3	平均クローズ数と性能向上率	.... 23
6.4	ガード部での分岐回数	.... 24
6.5	クローズ並べ替えとインデキシングの回数	.... 25
7	おわりに	.... 26
	謝辞	.... 28
	参考文献	.... 28
	End	.... 29

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports