単一参照プロセスの検出による関数プログラムの並列実行性能の改善

1998 Fiscal Year Annual Research Report

• Project/Area Number: 09780240
• Research Institution: Chiba University
• Principal Investigator: 金子 敬一 千葉大学, 工学部, 講師 (20194904)
• Keywords: 単一参照解析 / 関数プログラム / 抽象解釈 / 並列実行 / 計算経路解析

Research Abstract

関数プログラミング言語では,プログラムは決定的であり,制御を陽に指定する必要がない.また割り付けや割り当てはシステム側が指定でき,プログラムの可搬性が保たれる.申請者は,単一参照プロセス(一度しか参照されないプロセス)は,実際には,計算結果をブロードキャストする必要がないため,これを予め検出しておけば,関数プログラムの並列実行性能を改善できることに着目し,抽象解釈によって単一参照プロセスを検出するための算法を提案している.本研究では,まず,既存の計算機や記憶装置を使用して,関数プログラムの分散並列実行に利用できる解析技法である,単一参照プロセス検出のための算法を実現した.さらに,新たに調達したワークステーション上に,広く使用されている関数プログラミング言語 Haskellの処理系を実現し,これに従来からある必須性解析や共有解析といった手法に,単一参照プロセスの情報を組合わせて利用できるシステムを開発した.また,並列実行を実現するための相互結合網としてハイパキューブを選び,その通信性能の改善を試みた.以上の内容を各種学会の全国大会,研究会および国際会議で発表した.現在は,今後も引続き発表するべく準備を行っている.また,ベンチマーク用のプログラムを利用して,実現した処理系の性能を評価し,各パラメータを調整中である.

Research Products

• [Publications] 金子敬一: "全到達可能性によるハイパキューブの耐故障経路選択算法" 電子情報通信学会論文誌. J81-D-I・8. 1024-1030 (1998)
• [Publications] 金子敬一: "ハイパキューブの耐故障経路選択算法の耐リンク故障への拡張" 電子情報通信学会論文誌(掲載予定). J82-D-I・3. (1999)
• [Publications] 金子敬一: "ハイパキューブ結合網の耐故障経路選択算法" 電子情報通信学会技術研究報告. FTS-98-57. 53-60 (1998)
• [Publications] Keiichi Kaneko: "A Fault-Tolerant Routing Algorithm based on Full Reachability for Hypercube Systems" Proc.CNDS'99. 99-103 (1999)
• [Publications] Keiichi Kaneko: "Fault-Tolerant Routing Algorithms for Hypercube Networks" to appear in Proc.2nd Merged Symp.IPPS/SPDP1999. (1999)
• [Publications] "Generalized Hierarchical Completely-Connected Network" to appear in Proc.I-SPAN'99. (1999)