WG211/M15YoshidaNg: Difference between revisions
Created page with "Protocols by Default: Safe MPI Code Generation based on Session Types [https://www.doc.ic.ac.uk/~cn06/ | Nicholas Ng] and [http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/ | Nobuk..." |
No edit summary |
||
| Line 1: | Line 1: | ||
Protocols by Default: Safe MPI Code Generation based on Session Types | Protocols by Default: Safe MPI Code Generation based on Session Types | ||
[https://www.doc.ic.ac.uk/~cn06/ | [https://www.doc.ic.ac.uk/~cn06/ Nicholas Ng] and [http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/ Nobuko Yoshida] | ||
Abstract: | Abstract: | ||
In this talk I will present a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of a global topology using Pabble, 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. | In this talk I will present a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of a global topology using Pabble, 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. | ||
Latest revision as of 21:56, 29 October 2015
Protocols by Default: Safe MPI Code Generation based on Session Types
Nicholas Ng and Nobuko Yoshida
Abstract: In this talk I will present a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of a global topology using Pabble, 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.
