<紀要論文>
データフロー解析に基づく関数型言語 Valid の並列化コンパイラ

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
JaLC DOI
関連情報
概要 In this paper, we present a compiling method to translate a functional programming language Valid into an object code executable on a commercially available shared memory multiprocessor (a Sequent Sym...metry S2000). Since the cost of process management is very high in such a machine, we exploit coarse-grain parallelism at function application leve1, and the function application level parallelism is implemented by fork-join mechanism. The compiler translates Valid source programs into controlflow graphs based on dataflow analysis and then serialized instructions within graphs according to flow arcs such that function applications which have no data dependency with each other are executed in parallel. We report results of performance evaluation of the compiled Valid programs on Sequent S2000 and discuss usefulness of our method.続きを見る

本文ファイル

p403 pdf 286 KB 172  

詳細

レコードID
査読有無
主題
ISSN
NCID
登録日 2010.06.12
更新日 2020.11.27

この資料を見た人はこんな資料も見ています