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

1997 Fiscal Year Annual Research Report

• Project/Area Number: 09780240
• Research Institution: Chiba University
• Principal Investigator: 金子 敬一 千葉大学, 工学部, 講師 (20194904)
• Keywords: 関数プログラム / 単一参照プロセス / 並列実行 / 必須性解析 / 共有解析 / 経路選択

Research Abstract

関数プログラミング言語では,プログラムは決定的であり,制御を陽に指定する必要がない.また割り付けや割り当てはシステム側が指定でき,プログラムの可搬性が保たれる.研究代表者は,単一参照プロセス(他のプロセスから高々一度しか参照されないプロセス)は,実際には,計算結果をブロードキャストする必要がないため,これを予め検出しておけば,関数プログラムの並列実行性能を改善できることに着目し,抽象解釈によって単一参照プロセスを検出するための算法を提案している.本研究では,まず単純な関数プログラミング言語を定義した.次に,これを処理するシステムをScheme言語を用いて記述し,単一参照プロセスを検出する算法を,逐次型計算モデルによるシミュレータ上に実現した.さらに,これと並行して分散並列計算実験用のシミュレータを構成するため,ハイパキューブ結合網を対象に,経路選択算法と,その耐故障性能の向上をはかった.今後は関数プログラムを分散並列実行する際に,従来からある必須性解析や共有解析といった手法に,単一参照プロセスの情報を組合わせて利用できるシステムを開発し,その性能を評価する予定である.

Research Products

• [Publications] 金子敬一: "ハイパキューブにおける耐故障経路選択算法" 電子情報通信学会情報・システムソサイエティ大会講演論文集. 91 (1997)
• [Publications] 太田敦士: "SIMD型計算機における新しいチェックポイント方式" 電子情報通信学会情報・システムソサイエティ大会講演論文集. 90 (1997)
• [Publications] 金子敬一: "全到達可能性によるハイパキューブの経路選択算法" 電子情報通信学会技術研究報告. FIIS-97-34. (1997)