(85)並列論理型言語 KL1 の汎用機上の処理系 : KLIC 第2版
KLIC現在、第五世代フリーソフトウェアのひとつとして、「KLIC
協会」の手によって保守・更新が行なわれています。ここで公開されているK
LICは古いバージョンですから、KLICを利用される場合にはこちらからダウ
ンロードするようにしてください。 |
マ シ ン: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 を備えたシステムで並列実行が可能である。
FTP
www-admin@icot.or.jp