COREUNITY IMPLEMENTATION ON HYPERCUBE MULTICOMPUTERS

Abstract

A parallel programming language, CoreUNITY, is designed and its translator, which converts a CoreUNITY program to a C language program executable on a hypercube multicomputer, is implemented. The language CoreUNITY is based on the theory of Chandy and Misra's UNITY. UNITY proposes a non-deterministic state transition system to specify parallel programs. Our translator extracts parallelism from a CoreUNITY program and creates parallel tasks. Then it generates a code runnable on a hypercube multicomputer, using techniques such as atomic operation, mapping and distributed termination. The entire translation process is demonstrated in a simple example.