Sciweavers

Share
CC
2015
Springer

Protocols by Default - Safe MPI Code Generation Based on Session Types

4 years 5 months ago
Protocols by Default - Safe MPI Code Generation Based on Session Types
This paper presents a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of the global topology using a protocol specification language based on parameterised multiparty session types (MPST). An MPI parallel program backbone is automatically generated from the global specification. The backbone code can then be merged with the sequential code describing the application behaviour, resulting in a complete MPI program. This merging process is fully automated through the use of an aspect-oriented compilation approach. In this way, programmers only need to supply the intended communication protocol and provide sequential code to automatically obtain parallelised programs that are guaranteed free from communication mismatch, type errors or deadlocks. The code generation framework also integrates an optimisation method that overlaps communication and computation, and can derive not only ...
Nicholas Ng, José Gabriel de Figueiredo Cou
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CC
Authors Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida
Comments (0)
books