2006 Fiscal Year Annual Research Report
スケーラブル統合プログラミング言語モデルLMNtalの実用化
| Project/Area Number |
16300009
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
上田 和紀 早稲田大学, 理工学術院, 教授 (10257206)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
加藤 紀夫 産業技術総合研究所, システム検証研究センター, 研究員 (40350467)
|
|---|
| Keywords | LMNtal / プログラム言語 / コンパイラ / 並行計算 / 分散計算 / 多重集合書換え / グラフ書換え |
|---|
| Research Abstract |
本年度は、階層構造と接続構造の両方をもつ対象を簡明にモデル化することを目的とした並行言語モデルLMNtalの処理系について、下記の項目の研究開発を行った。
(1)新たなコンパイラ最適化機能を設計・実装した。複数ルールの共通部分の編み上げ、システムルールセットのインライン展開、マッチングコスト見積もりによるグループ単位でのルール左辺の並び替えなどによって、プログラムによっては10倍から15倍程度の高速化を実現した。
(2)統一されたインタフェースでLMNtalからJavaオブジェクトを利用できる仕組みを作り、Java標準のクラスライブラリのほとんどをLMNtalから利用できるようにした。
(3)並列処理ライブラリの拡充・最適化を行った。以前のライブラリは中間コードの解釈実行処理のみの対応であったが、Javaソースコードへの翻訳処理にも対応させるとともに実行オーバーヘッドの削減を行った。
(4)データの流れとプロセスの規模を同時に扱う静的型体系を構築し、これに基づいて型検査・型推論を行うアルゴリズムを設計・実装した。
(5)実行可視化機能を再設計、再実装して、グラフ自動整形機能をはじめとする機能拡充および性能向上を実現した。
(6)宣言的グラフィクス・GUI機能の再実装を行い、例題記述実験を通じて当応用分野への有効性を確認した。
またLMNtalと他の計算モデルとの関連付けを一層進めるべく、新たに同期式π計算、Ambient計算、純粋λ計算のエンコード法を設計して処理系上で稼動させた。
処理系および例題プログラムをwebから公開するとともに、これらの一連の成果を、LMNtalの実用言語機能およびLMNtal処理系に関する2編の総合報告論文にまとめた(うち1編は採録済)。
|
Research Products
(8 results)
