Dataflow-Based Lenient Implementation of a Functional Language, Valid, on Conventional Multi-Processors

: In this paper, we present a dataflow-based lenient implementation of a functional language, Valid, on conventional multi-processors. A data-flow execution scheme offers a good basis to execute in a highly concurrent way a large number of fine grain function instances, created during the execution of a functional program. The lenient execution and split-phase operation will overlap the idle time caused by remote memory access and remote calls. However, it is necessary to reduce the overhead to handle finegrain parallelism on conventional multi-processors with no special hardware for fine-grain data/message-flow processing. We discuss compilation issues of dataflow-based implementation and runtime systems to support fine-grain parallel execution on two different types of conventional multi-processor: a shared-memory multi-processor, Sequent Symmetry S2000, and a distributed-memory multi-processor, Fujitsu AP1000. We also show the preliminary evaluation of our implementation. Keyword Co..

Dataflow-Based Lenient Implementation of a Functional Language, Valid, on Conventional Multi-processors

IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT\u2794, Montreal, Canada, 24-26 August, 1994.関数型言語Validの並列化コンパイラの構成法について提案した。本コンパイラ法がデータフロー解析をベースとして並列コードの抽出とスケジュールを行いlenientな（先行して実行できる）実行部分をも含めて最適な実行コードを抽出生成できることを示した。また、既存の商用並列マシンSequent Symmetry 2000およびAP1000の言語処理系構成を実例としてその具体的手法を提案した