(85)並列論理型言語 KL1 の汎用機上の処理系 : KLIC 第2版
マ シ ン：UNIXマシンなど
環 境：UNIX
言 語：C
ソース量：3.5 MB
文 書：マニュアル, チュートリアル (英語)
概要
KLIC 第2版は並列論理型言語 KL1 の並列処理系であり，KL1言語をC 言語に翻訳する方式によって高い移植性と高性能を同時に実現している。
特徴
KL1 は第五世代コンピュータプロジェクトの核言語として開発された並列論理
型言語である. 本 KLIC 第2版システムは, UNIX オペレーティング・システムの
基本部分が動作する計算機システム上のポータブルで高性能な KL1 の並列処理系
である。
- KL1言語プログラムを最終的には機械語プログラムに翻訳してから実行する方式をとることによって, インタプリタ方式などよりもはるかに高い性能を実現している。
- 機械語への翻訳にはC言語を経由する方式をとり, 低レベルの機械依存の最適化を機種ごとのCコンパイラに任せることによって, 移植性を損なわずに高性能を実現している。
- 他言語プログラムとのリンクも容易である。
KLIC 第1版と比べての主な改良・拡張点は以下の通りである。
- ユーザインタフェースの改良。
- 移植性の高い並列実装 ( 並列 UNIX 機や、ネットワーク結合した計算機群が対象 )。
機能
- KL1 から C へのコンパイラと、実行時システムを提供する。
- 並列論理型 KL1 の主要機能を実現している。
- 同じハードウェア上なら従来の Prolog システムの 2 倍以上の速度を、同程度以下のコードサイズで実現する高性能システムである。
- ステップ実行、スパイ機能、デッドロック検出機能などを備えたトレーサを持っている。
- C 言語、UNIX システムの標準的な機能のみを用いているので、多様な UNIX システムにほとんど変更なく移植できる。
- 共有メモリ並列機や、PVM を備えたシステムで並列実行が可能である。
ＦＴＰ
www-admin@icot.or.jp
