ネットワーク上の計算機群で動作する並列分散TRSに関する研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 07780247
• Research Institution: Nagoya University
• Principal Investigator: 山本 晋一郎 名古屋大学, 工学部, 助手 (40240098)
• Keywords: 項書換え系 / 並列分散処理 / 負化分散 / 共有メモリ型計算機 / 分散メモリ型計算機

Research Abstract

当初の予定を以下に示す.
(1)プロトコルの検討 並列分散処理のボトルネックである,共有メモリ,バス,ネットワーク等を用いたメッセージ転送の実現に関する基礎的な研究を行う.
(2)基本処理系の作成 分散OSに用意されているスレッド機構を用いて,1台の計算機上で並列動作する処理系を作成し,各種処理方式の検討,評価を行う.
(3)並列分散処理系の検討・作成 項目(2)で作成した基本処理系と項目(1)で検討したプロトコルを用いた並列分散TRSの実現方法に関する研究を行う.
項目(1),(2)に関する研究は入念な試作および予備実験が行われていたこともあり,順調に進めることができた.詳細は論文『共有メモリ型並列計算機における項書換え系の実現方式』などに発表した.
項目(3)の詳細は『An Implementation of Term Rewriting System on a Distributed Memory Architecture』に報告した.研究のキ-アイデアは分散メモリ型並列計算機に適した自律的BOBモデルである.このモデルはメッセージ・パッシング機構を利用して,上記の項目(1)で検討したプロトコルを実装している.また,実際にこのモデルに基づく処理系をAP1000上で作成し,64台のCPUで最大30倍程度処理が高速化されることと処理系の並列化に対するオーバヘッドは10%程度であることを確認した.
自律的BOBモデルに基づいた処理系では項書換え系の並列性を十分利用することができ,本来の書き換えの並列度が少ない場合でもマッチングを並列に行うことにより並列効果をあげることができることが判った.

Research Products

• [Publications] 濱口 毅: "エラーつき代数的仕様とエラー記述の自動付加" 電子情報通信学会論文誌. Vol.J78-D-1 No.3. 323-330 (1995)
• [Publications] 川北 誠: "形式的仕様を用いた再利用モデル" 情報処理学会論文誌. Vol.36 No.5. 1050-1058 (1995)
• [Publications] 石川 亮: "共有メモリ型並列計算機における項書換え系の実現方式" 電子情報通信学会論文誌. Vol.J78-D-1 No.6. 559-562 (1995)
• [Publications] Hachisu Yochinari: "An Implementation of Term Rewriting System on a Distributed Memory Architecture" Proceedings of the Fourth International Parallel Computing Workshop. 159-168 (1995)
• [Publications] 蜂巣 吉成: "AP1000における項書換え系の自律分散型実行系" PCW‘95 Japan予稿集The fifth Parallel Computing Workshop. S-A-1-S-A-10 (1995)