離散最適化手法を用いた並列処理の高速化に関する研究

2000 年度 実績報告書

• 研究課題/領域番号: 11780211
• 研究機関: 豊橋技術科学大学
• 研究代表者: 市川 周一 豊橋技術科学大学, 工学部, 助教授 (70262855)
• キーワード: 並列処理 / 分散処理 / 静的負荷分散 / データ自動分割 / 通信遅延 / 計算困難問題

研究概要

多くの静的負荷分散問題は組合せ最適化としてモデル化できることが知られている。通信時間を考慮した静的負荷分散問題は計算困難なので実用的には単純化されたモデルや近似アルゴリズムを用いる場合が多いが、並列計算機が大規模化し、または分散処理環境の利用により通信遅延時間が支配的になってくると、このような単純化では誤差が大きくなり実行効率が低下する。より一般的な場合に適用できる手法の研究が必要である。
筆者は偏微分方程式の並列求解システムNSLを例にとって計算時間と通信時間を考慮した静的負荷分散問題をモデル化し、可能な範囲において分枝限定法を用いて最適解を求め、考案した近似解法の誤差を絶対評価した。特に通信時間が支配的な環境化において、複数プロセッサを利用することにより逆に実行時間が増える状況(過剰な負荷分散)を自動的に検出し回避する手法を検討し評価した。本手法では、計算能力や通信遅延が不均一な分散処理環境において、利用可能な複数のプロセッサの中から適切なプロセッサを適切な数だけ選択し、データと計算を自動的に分割して負荷を分散し、実行時間を短縮することが可能になった。
研究の過程で、計算困難問題を実用時間で求解することが必要になったため、計算困難問題の求解を高速化する手法についても検討を進めた。代表的な問題の一つとして部分グラフ同型判定問題(NP完全)を取り上げ、専用計算回路で求解を高速化する研究を行って、現状の計算機に比べ最大20倍程度の高速化が得られることを実証した。専用計算回路を大規模化することにより、更なる高速化も容易であると期待される。

研究成果

• [文献書誌] T.Kawai: "NSL : High-Level Language for Parallel Numerical Simulation"Proc.IASTED Int'l Conf.Modeling and Simulation (MS '99). 208-213 (1999)
• [文献書誌] 藤村佳克: "並列数値シミュレーションの静的負荷分散法の拡張について"並列処理シンポジウムJSPP'99. 203-203 (1999)
• [文献書誌] 山下真史: "分散処理環境における数値シミュレーションの静的負荷分散手法"並列処理シンポジウムJSPP'99. 204-204 (1999)
• [文献書誌] 山下真史: "分散処理環境における数値シミュレーションの静的負荷分散手法"情報処理学会研究会報告. 99-HPC-77. 179-184 (1999)
• [文献書誌] 藤村佳克: "並列数値シミュレーションの静的負荷分散法の拡張について"情報処理学会研究会報告. 99-HPC-77. 185-190 (1999)
• [文献書誌] 市川周一: "部分グラフ同型判定アルゴリズムのFPGAによる実装と評価"情報処理学会研究会報告. 2000-HPC-80. 71-76 (2000)
• [文献書誌] 齋藤秀充: "Ullmannのアルゴリズムのハードウェアによる実装に関する研究"2000年電子情報通信学会総合大会. A-3-19. (2000)
• [文献書誌] S.Ichikawa: "Hardware Accelerator for Subgraph Isomorphism Problems"Proc.Eighth IEEE Symp.Field-Programmable Custom Computing Machines(FCCM'00). 183-184 (2000)
• [文献書誌] 藤村佳克: "反復的データ分割による数値シミュレーションの静的負荷分散"2000年記念並列処理シンポジウムJSPP2000. 171-171 (2000)
• [文献書誌] S.Ichikawa: "Static Load Balancing of Parallel PDE Solver for Distributed Computing Environment"Proceedings ISCA 13th Int'l Conf.Parallel and Distributed Computing Systems (PDCS-2000). 399-405 (2000)
• [文献書誌] S.Ichikawa: "Evaluation of Accelerator Designs for Subgraph Isomorphism Problem"Proceedings of 10th Int'l Conf.on Field Programmable Logic and Applications (FPL 2000). LNCS1896. 729-738 (2000)
• [文献書誌] 市川周一: "部分グラフ同型判定アルゴリズムのFPGAによる実装と評価"情報処理学会論文誌ハイパフォーマンスコンピューティングシステム. 41・SIG5. 39-49 (2000)
• [文献書誌] 市川周一: "分散処理環境における数値シミュレーションの静的負荷分散手法"情報処理学会論文誌. 42・3. (2001)
• [文献書誌] 杉原厚吉(編): "アルゴリズム工学"共立出版. (2001)
• [文献書誌] 稲垣康善(編): "計算機工学"オーム社. (2001)
• [文献書誌] オーム社出版局: "情報技術用語大辞典"オーム社. (2001)