並列論理型言語処理系 KLIC のページ

[KLICのドキュメント]

[問い合わせ]

バグ報告やコメントは下記のアドレスにお送り下さい。

[通知と情報交換]

バグ、バグ修正、新版の提供などの通知は下記のメイリングリストを通じて行 ないます。

このメイリングリストはユーザ間の情報交換にも使えます。ただし、このメー リングリストの公用語は英語ですので、日本語によるご利用はご遠慮ください。

[過去の版との違い]

3.002版と3.003版の違いを以下に書きます。

• Fortran サポートが追加された。Configureでfortran コンパイラを 指定しておくと、拡張子.f を持つファイルがklicコマンドに指定された時に コンパイラ、リンカをfortran コンパイラを用いるようになる。
• 各種のOS附属ライブラリで、.a ファイルしか見ないバグを修正し、.soも 参照するようにした。
• コンパイラのマクロ展開のバグを修正した。
• その他バグフィックス

なお、以下が3.002版と3.001版との違いです。

• pvm-tcp版のconfigureの修正(一度リンクがはられているとln -s がこける)。
• 長いホスト名でもpvm-tcp版が動作するようになった。
• libc.a がなく、libc.soしかなくてもConfigureが動作できるよ うにした。
• 分散メモリのshm版がSunOS 4.xでもinstallできるようにした。
• Configureで試験で用いるプロセッサ数が指定できるようになった。
• 外部モジュール述語を@node() 付きで呼びだすとコンパイルできなくなる バグが修正された。
• pvm-tcp版が高速化された。
• 分散版でのトレーサのバグがなおった。
• expectを使ったtracerのテストプログラムを追加した。disttest ディレクトリでmake trace_test でテストされる。
• その他バグフィックス。

ちなみに、2.002版と3.001版の差分は以下の通りです。 ただし追加された機能についてはドキュメントがまだ不十分な部分はあります。

分散メモリ実装版のバリエーション

分散メモリ実装版で、用いる通信路にバリエーションが増え、以下の3つより 選択可能となりました。

• PVM (これまでと同じ)。
• TCP/IP socket (ただし、PVMは必要)。
• 共有メモリ(共有メモリ版とは異なり、プロセッサ間通信にのみ共有メモリを 用いる。PVMは不要)。

通信の効率はここで挙げた順で良くなります。一方、 PVMを使うものはかなり汎用性があると考えられますが、 「共有メモリ」を用いたものはSUN SPARC SOLARIS 2.x, DEC Alpha、 PC-AT(Intel x86)の並列機の上でしか基本的に動作しません。

並列版での浮動小数点数の利用

浮動小数点数はこれまでプロセッサ間でやりとり することはできませんでしたが、可能になりました。

Linux, FreeBSDのサポートの追加

最近メジャーであるFree UNIXのうち、Linux, FreeBSDでも 動作できるようになりました(但し、PC-AT上でしか確認されていません)。

ゴールオブジェクト

ユーザがデバガを記述することができるような枠組として ゴールオブジェクトが追加されました(東大近山研の研究成果を 導入させていただきました)。

マクロプリプロセッサ

コンパイラから独立して、単体で動作するマクロプリプロセッサが用意 されました(KL1PP.jを参照のこと)。

ドキュメント

ドキュメントがプログラムに合わせ改訂されました。

バグフィックス

様々なバグフィックスがなされました。したがって、 共有メモリ版を利用している場合を除きバージョンアップをしていただくのが 適切でしょう。