1997 Fiscal Year Annual Research Report
| Project/Area Number |
07458056
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
二木 厚吉 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50251971)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
緒方 和博 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (30272991)
渡部 卓雄 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 (20222408)
|
|---|
| Keywords | 並行(並列)書換え / 抽象機械 / (並列)E戦略 / 超並列計算機 / MPI |
|---|
| Research Abstract |
本年度は,前年度までに設計および試作した並列項書換え抽象機械Parallel TRAMを拡張し,本学の現有設備であるクレイ・リサーチ社製の超並列計算機T3E(PE数:128)上にメッセージパッシングライブラリMPIを用いて試作し,その評価を行なった.この拡張したParallel TRAMをPTRAM/MPIと呼ぶ.並列性を有するベンチマークを用いて評価した結果,TRAMに比べ,50倍程度の速度向上を確認でき,本研究のアプローチの有効性を示すことができた.
詳細は以下のとおりである.TRAMは高速な逐次書換えの実現を目的に設計した抽象機械である.書換え戦略に,演算子ごとに戦略を指定でき,遅延評価ならびに評価順序を白由に制御できる,代数仕様言語OBJ(OBJ3やCafeOBJ等)が用いている評価戦略(E戦略)を採用した.また,項の書換え順序を制御するためのデータ構造「戦略リスト」を用いてE戦略を効率よく実現できた.Parallel TRAMは,共有メモリ型マルチプロセッサ上で効率よく書換えできることを目的にTRAMを改良した抽象機械である.そのため,並列計算モデルとしては共有メモリモデルを用いた.また,並列書換えを捌御できるようにE戦略を拡張した並列E戦略を導入した.条件付書換え規則とともに用いることで,並列性を適切に制御できる.Parallel TRAMを基に,超並列計算機あるいはワークステーションクラスタ上で高速に書換えできることを目的に設計したのがPTRAM/MPIである.並列計算モデルとしては,メッセージパッシングモデルを用い,並列計算の分野で広く利用されているメッセージパッシングライブラリMPIを用いて実装することを仮定している.MPIを用いて実装することで,ソースコードをほとんど変更することなく,MPIが利用できれば各種の超並列計算機あるいはワークステーションクラスタ上に容易に移植することが可能である.
|
Research Products
(6 results)
-
[Publications] 緒方,大原,二木: "TRAM:analotract unachine for order-sorted conditional temon leaneting systems" Lecture Notes in Computer Science(RTA-97). 1232. 335-338 (1997)
-
[Publications] 緒方,二木: "Implewenatation of tem rewitings with the evaluation strategy" Lecture Notes in Computer Science(PLILP'97). 1292. 225-239 (1997)
-
[Publications] 緒方,近藤,五百蔵,二木: "Design and implemen tation of Patallol TRAM" Lecture Notes in Computer Science(Euro-Per'97). 1300. 1209-1216 (1997)
-
[Publications] 五百蔵,緒方,二木: "Some consideration on assoocater-commutative cnatching" Proc of ISFST-97. 109-114 (1997)
-
[Publications] 石川,渡部,二木,Meseguer,中島: "On the sewantics of GAEA" Droc of the Thied Fuji International Symposium on Functional and Logic Plogramming. (to appear). (1998)
-
[Publications] 平田,五百蔵,緒方,二木: "超並列項書換えシステムの実装と評価" 電子情報通信学会技術研究報告 信学技報. (予定). (1998)
