| 作成者 |
|
|
|
|
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 号 |
|
| 開始ページ |
|
| 終了ページ |
|
| 出版タイプ |
|
| アクセス権 |
|
| JaLC DOI |
|
| 関連DOI |
|
|
|
|
|
|
|
| 関連URI |
|
|
|
|
|
|
|
| 関連情報 |
|
|
|
|
|
|
|
| 概要 |
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.続きを見る
|
Mendeley出力
