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

通过检测单参考进程来提高功能程序的并行执行性能

• 批准号: 09780240
• 负责人: 金子 敬一
• 金额: $ 1.47万
• 依托单位: Chiba University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780240/
• 关键词: 単一参照解析; 関数プログラム; 抽象解釈; 並列実行; 計算経路解析; 単一参照プロセス; 必須性解析; 共有解析; 経路選択

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

在功能性编程语言中，该程序是决定性的，并且除了系统方面，还可以指定系统侧的控件。 （仅一次引用一次的过程）重点是不需要广泛的计算结果，因此，如果您预先检测到它，则可以改善该功能程序的并行执行性能，并且它是一个单一的通过解释，我们提出了一种用于检测该过程的计算方法，这是一种分析技术，可用于使用现有的计算器和存储设备使用功能程序。 。进程。此外，我们选择了高级绑定的网络，并试图改善沟通性能。宣布，使用基准程序来评估已实现的处理系统的性能。

项目成果

金子敬一: "全到達可能性によるハイパキューブの経路選択算法" 電子情報通信学会技術研究報告. FIIS-97-34. (1997)

Keiichi Kaneko：“基于总可达性的超立方体路由选择算法”IEICE 技术研究报告（1997）。

Keiichi Kaneko: "A Fault-Tolerant Routing Algorithm based on Full Reachability for Hypercube Systems" Proc.CNDS'99. 99-103 (1999)

Keiichi Kaneko：“基于超立方体系统完全可达性的容错路由算法”Proc.CNDS99。

金子敬一: "ハイパキューブ結合網の耐故障経路選択算法" 電子情報通信学会技術研究報告. FTS-98-57. 53-60 (1998)

Keiichi Kaneko：“超立方体连接网络的容错路由选择算法”IEICE 技术研究报告 FTS-98-57 (1998)。

金子敬一: "ハイパキューブの耐故障経路選択算法の耐リンク故障への拡張" 電子情報通信学会論文誌(掲載予定). J82-D-I・3. (1999)

Keiichi Kaneko：“超立方体容错路由选择算法的扩展”IEICE Transactions（待出版）（1999 年）。

金子敬一: "全到達可能性によるハイパキューブの耐故障経路選択算法" 電子情報通信学会論文誌. J81-D-I・8. 1024-1030 (1998)

Keiichi Kaneko：“基于总可达性的超立方体容错路由选择算法”，电子、信息和通信工程师学会汇刊 J81-D-I・8（1998 年）。