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

大规模并行算法设计的数据结构和计算模型研究

• 批准号: 05219209
• 负责人: 安浦 寛人
• 金额: $ 0.64万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05219209/
• 关键词: 超並列アルゴリズム; データ構造; 多重階層メッシュネットワーク; RDTネットワーク; 局所計算可能性; 二分決定グラフ

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

Step by step, we have to deal with the design of the のアルゴリズムにおいては, the efficiency of the データ structure and the efficiency of the なアルゴリズム design and the influence of the large きくすることが好く知られているが, tens of thousands of から millions of のプロセッサ上でaction するsuper parallel アルゴリズムのdesign においてでは, Super Parallel Processing のアルゴリズム Design に対するcalculationモデルをestablishedし,その上でのデータstructural design principle をclarificationすることをocular designしている.特に,プロッThe limitation of communication volume between the two is taken into account, and the communication volume is limited and handled appropriately. The establishment of the "bureau calculation possible structure" Refers to the current year's research, 1) Research on the multi-layer structure of the multi-layer structure: research in this key areaでProposalされているRDTネットワークのabilitiesとその上でのアルゴリズム开発のBasic TheoryをConstructionするために, R DT ネットワークを contains する concept and として multi-level メッシュネットワークを definition し, ネットワーク structure とデータStructure and communication of the relationship between the relationship between the tune and the result, RDT of the multi-level structure Confirmation of the effectiveness of parallel computers on a scale of tens of thousands of ネットワークのconfirmation. 2) Research on possible symbolization of station calculations : Yesterday's year's calculation, the definition of complex number's single term calculation, the finite set's finite set, the calculation possibility of the single term calculation's bureau, and the calculation possibility The results of the research on the condition of symbolization and the theory of いくつかの are obtained. 3) Binary decision making and parallel processing アルResearch on ゴリズムに対する: The difference between the combination problem and the important part なデータConstruction であるThe two-point decision グラフに対するJuxed アルゴリズムを Research し, 実极 に Parallel computer に実现 し て そ の ability を べ た . 本プログラムは Design 検证 など の実 use the field The above-mentioned のように, this year's research では, multi-layer メッシュネットワークや bureau calculated the probabilityするTheoretical research and parallel processing, binary decision-making, parallel processing, and test cases.

项目成果

木村晋二: "BDDの並列処理技術" 情報処理. 34. 624-630 (1993)

Shinji Kimura：《BDD并行处理技术》信息处理34。624-630（1993）。

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)

Kobayashi Tamaru Yasuura Onodera：“一种位并行块并行功能存储器类型并行处理器架构”IEICE 的交易。

木村晋二 松本高明 羽根田博正: "非共有記憶型並列計算機上での二分決定グラフの並列処理アルゴリズムについて" 情報処理学会DAシンポジウム93. 129-132 (1993)

Shinji Kimura、Takaaki Matsumoto、Hiromasa Haneda：“关于非共享内存并行计算机上的二进制决策图的并行处理算法” 日本信息处理学会 DA 研讨会 93. 129-132 (1993)

大村昌彦,安浦寛人,田丸啓吉: "機能情報抽出を用いたCPUの動作検証" 電子情報通信学会論文誌. J76-A. 1304-1311 (1993)

Masahiko Omura、Hiroto Yasuura、Keikichi Tamaru：“使用功能信息提取进行 CPU 操作验证”IEICE Transactions J76-1311 (1993)。