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

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

基本信息

批准号：
09780240
负责人：
金子敬一
金额：
$ 1.47万
依托单位：
Chiba University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

项目摘要

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

在功能编程语言中，程序是决定性的，无需明确指定控制。此外，可以由系统指定分配和分配，并维护程序的可移动性。申请人的重点是一个事实，即单个参考过程（仅引用一次的过程）实际上不需要广播计算结果，因此，如果事先检测到这一点，它可以改善函数程序的并行执行性能，并提出一种计算方法，用于通过摘要解释来检测单个参考过程。在这项研究中，首先是一种用于检测单个参考过程的分析技术，该技术可用于使用现有计算机和存储设备分布式函数程序的分布式执行。此外，在新购买的工作站上广泛使用的功能编程语言是一种函数编程语言。实现了Haskell的处理系统，并且可以将单个参考过程中的信息与常规方法（例如Essentiality分析和共享分析）相结合的系统。将高管选为相互耦合网络，以实现并行执行，并试图改善其沟通性能。以上是在各种学术社会的国家会议，研究会议和国际会议上介绍的。目前，正在为未来继续提出准备。此外，使用基准程序，评估已实现的处理系统的性能，并正在调整每个参数。