Parallelising Compiler for a Declarative Language

点击翻译按钮获取中文摘要

We have implemented a dataflow declarative language on stock (non-dataflow) machines.・Practical CompilerThe compiler has two phases : machine-independent phase and machine independent phase. The former generates a fine-grain virtual machine code, called DVMC (Datarol Virtual Machine Code). The latter optimizes the DVMC and translates it to the suitable code for a particular target machine. Since our source language supports non-strictness, frequent dynamic scheduling, which may incur heavy overhead on stock machines, will occur during the program execution. However, our compiler can find an appropriate execution order of a program, so that the frequency of useless dynamic scheduling may be reduced. In addition, our runtime system provides an efficient execution environment even if a program has potential points of dynamic scheduling.・Experiment Environment for Fine-grain parallelismIn our implementation, we have built a virtual machine which supports fine-grain parallel execution. We have also developed an interpreter of this fine-grain virtual machine. The interpreter provides an interactive execution environment of fine-grain multithread programs. Since the interpreter is augmented with GUI,we can visually check the fine-grain execution.