超並列アルゴリズム設計のためのデータ構造と計算モデルに関する研究

1993 Fiscal Year Annual Research Report

• Project/Area Number: 05219209
• Research Institution: Kyushu University
• Principal Investigator: 安浦 寛人 九州大学, 大学院・総合理工学研究科, 教授 (80135540)
• Co-Investigator(Kenkyū-buntansha): 木村 晋二 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (20183303)
• Keywords: 超並列アルゴリズム / データ構造 / 多重階層メッシュネットワーク / RDTネットワーク / 局所計算可能性 / 二分決定グラフ

Research Abstract

逐次処理のアルゴリズム設計においては,データ構造の工夫が効率的なアルゴリズム設計に大きく影響することが良く知られているが,数万から数百万個のプロセッサ上で動作する超並列アルゴリズムの設計においても,データ構造の重要性は当然認識されるべきものである.本研究では,超並列処理のアルゴリズム設計に対する計算モデルを確立し,その上でのデータ構造の設計原理を明確化することを目指している.特に,プロッセサ間の通信量の制約を考慮して,通信量を限定した処理に適した「局所計算可能なデータ構造」の確立を目指す.本年度の研究としては,
1)多重階層メッシュネットワーク上でのデータ構造の研究:本重点領域研究で提案されているRDTネットワークの能力とその上でのアルゴリズム開発の基礎理論を構築するために,RDTネットワークを包含する概念として多重階層メッシュネットワークを定義し,ネットワーク構造とデータ構造や通信によるオーバーヘッドの関係を調べた.この結果,RDTネットワークを含む多重階層メッシュネットワークの数万台規模の並列計算機における有効性を確認した.
2)局所計算可能な符号化に関する研究:昨年度に引き続き,複数の単項演算が定義された有限集合に対し,すべての単項演算を局所計算可能とするための符号化の条件について研究を行い,いくつかの理論的成果を得た.
3)二分決定グラフの並列処理アルゴリズムに関する研究:組み合わせ問題の分野で重要なデータ構造である二分決定グラフに対する並列アルゴリズムを研究し,実際に並列計算機上に実現してその能力を調べた.本プログラムは設計検証などの実用分野にも応用している.
以上のように,本年度の研究では,多重階層メッシュネットワークや局所計算可能性に関する理論的な研究と並行して,二分決定グラフの並列処理アルゴリズムの考案とそのプログラム化を行った.

Research Products

• [Publications] 木村晋二: "BDDの並列処理技術" 情報処理. 34. 624-630 (1993)
• [Publications] Kobayashi Tamaru Yasuura Onodera: "A Bit-Parallel Block-Parallel Functional Memory Type Parallel Processor Architecture" The Transactions of IEICE. E.76-C. 1151-1158 (1993)
• [Publications] 木村晋二 松本高明 羽根田博正: "非共有記憶型並列計算機上での二分決定グラフの並列処理アルゴリズムについて" 情報処理学会DAシンポジウム93. 129-132 (1993)
• [Publications] 大村昌彦,安浦寛人,田丸啓吉: "機能情報抽出を用いたCPUの動作検証" 電子情報通信学会論文誌. J76-A. 1304-1311 (1993)