平成８年度　委託研究ソフトウェアの成果ソフトウェア

(4) KL1 のゴール・スケジューリング最適化

研究代表者：中島　浩　助教授
　　　　　　京都大学大学院工学研究科

ゴール・スケジューリング最適化 KLIC


		マシン：UNIXマシン
		環境：UNIX
		言語：C, KL1
		ソース量：10MB
		文書：ユーザーズマニュアル(日本語)

解析情報を利用したスケジューリング最適化による、並列論理型言語KL1処理系KLICの改良版

現在公開されているKLICは、細粒度のゴール・スケジューリングを行うため、プログラムによってはそのオーバヘッドにより速度が大幅に低下する。

本処理系では、KL1プログラムの依存解析を行い、実行順序を静的に決定可能なゴール群をスレッドとしたコードを生成することによって、プログラムのスケジューリング最適化を行う。

ただし、現在のバージョンでは解析系の実装が不完全なため、使用できる組込述語は限られる。また、分割コンパイルには対応していない。

オリジナルに対し、以下のディレクトリ内のファイルに変更を加えた。

また、以下のディレクトリを追加した。