A method of generating parallel target code with explicit communication for massively parallel distributed-memory machines is presented. The source programs are shared-memory parallel programs with explicit control structures. The method extracts syntactic reference patterns from a program with shared address space, selects appropriate communication routines, places these routines in appropriate locations in the target program text and sets up correct conditions for invoking these routines. An explicit communication metric is used to guide the selection of data layout strategies.>

The authors address the problem of data distribution and communication synthesis in generating parallel programs targeted for massively parallel distributed-memory machines. The source programs can be sequential, functional, or parallel programs based on a shared-memory model. The approach is to analyze source program references and match syntactic reference patterns with appropriate aggregate communication routines which can be implemented efficiently on the target machine. An explicit communication metric is used to guide optimizations to reduce communication overhead. The target code with explicit communication is proven to be free from deadlock introduced by the compilation process. The techniques described are developed within the context of Crystal (functional language) though they can be applied to Fortran. The Crystal compiler generates C-code for an iPSC/2.>