Contents of Report

[Data of Report]

Report Number:: TR0498
Date of Registration:: 1989.08
English Title:: ***
Japanese Title:: 並列論理型言語KL1の多重参照管理によるガーベージコレクション
English Author:: Y.Kimura,T.Chikayama
Japanese:: 木村　康則,近山　隆
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0498.pdf

[Contents]

	梗概	.... 3
1	はじめに	.... 4
2	並列論理型言語ＫＬ１	.... 5
2.1	シンタックス	.... 5
2.2	実行方式	.... 5
2.3	ガーベージコレクション方式	.... 6
3	MRB方式	.... 7
3.1	MRB方式の考え方	.... 7
3.2	MRBほの定義	.... 8
3.3	MRBの更新操作	.... 9
4	MRBによるガーベージコレクション	.... 13
4.1	変数のデリファレンス	.... 13
4.2	構造体とのユニフィケーション	.... 13
4.3	ガード部のみに現れる変数とのユニフィケーション	.... 14
4.4	ボディ部での構造体要素の更新	.... 14
4.5	回収の方法とタイミング	.... 14
5	実験処理系と命令セット	.... 15
5.1	実験処理系	.... 15
5.2	構造体中の未定義変数の扱い	.... 15
5.3	命令セット	.... 16
5.4	一括型GC	.... 18
6	実験と評価	.... 18
6.1	命令コードの特性	.... 20
6.2	使用ヒープ量	.... 21
6.3	回収されるデータの生存期間	.... 23
6.4	命令別の回収効率	.... 23
6.5	Reuse命令の効果	.... 25
6.6	一括型GCの回数	.... 25
6.7	アクティブセルと実行時間の関係	.... 26
7	おわりに	.... 29
	謝辞	.... 29
	参考文献	.... 30
	End	.... 31

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

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