| 研究概要 |
本研究の目的は,分散コンピューティング環境に適した新しいProlog処理系を開発し,その有用性を実証することである.本年度は以下の2点を目標として開発を行った.
1.Prolog Cafeのマルチスレッド実行
2.Prolog Cafeの分散実行
その結果,1.の実装は完了し,Prolog Cafeでの並行計算が可能となった.またマルチCPU大型計算機(SUN ENTERPRISE 5000)を用いた実行実験も行った.1.の機能の他に,数値計算ルーチンをBigInteger対応に改良,例外処理をJavaのtry&catchブロックを用いた実装に改良,さらにモジュール・システムの設計・実装も行った.これらの機能をすべて含んだProlog Cafeの最新版(バージョン0.9)を以下のURLに公開中である.
http://kaminari.istc.kobe-u.ac.jp/PrologCafe/
Prolog Cafeの応用例としては,Javaによる異種協調制約解消システムHECS(平成14年度IPA未踏ソフトウェア創造事業採択テーマ)を拡張したシステムを開発中である.このソフトウェアは,Prolog Cafeの並行計算機能を使って,複数の制約ソルバを競争的,協調的に並行動作させ,単一ソルバをチューニングする以上の効果を得ることを目的として開発を進めている.現在プロトタイプ・システムが稼働中である.
2.については,今年度は実装方針を検討するにとどまった.来年度は,Prolog CafeからGlobus Toolkit又はSUN Grid Engineを利用可能にすることにより,グリッド・コンピューティング環境での分散実行を実現したいと考えている.
|
