Paul at 19:56, 29 October 2015

2015-10-29T19:56:18Z

← Older revision		Revision as of 21:56, 29 October 2015
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/ \| Nicholas Ng] and [http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/ \| Nobuko Yoshida]		[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.

Paul: 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..."

2015-10-29T19:55:32Z

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..."

New page

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/ | 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.

WG211/M15YoshidaNg - Revision history

Paul at 19:56, 29 October 2015

Paul: 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..."