<departmental bulletin paper>
Compiling Technique based on Dataflow Analysis for Functional Programming Language Valid

Creator
Language
Publisher
Date
Source Title
Vol
Issue
First Page
Last Page
Publication Type
Access Rights
JaLC DOI
Related DOI
Related URI
Relation
Abstract 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.show more

Hide fulltext details.

pdf p403 pdf 286 KB 434  

Details

Record ID
Peer-Reviewed
Subject Terms
ISSN
NCID
Created Date 2010.06.12
Modified Date 2020.11.27

People who viewed this item also viewed