Session types: towards safe and fast reconfigurable programming

Authors:
Nicholas Ng;Nobuko Yoshida;Xin Yu Niu;Kuen Hung Tsoi
Affiliations:
Imperial College London, UK;Imperial College London, UK;Imperial College London, UK;Imperial College London, UK
Venue:
ACM SIGARCH Computer Architecture News - ACM SIGARCH Computer Architecture News/HEART '12
Year:
2012

Citing 16
Cited 0

Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
MPI-HMMER-Boost: Distributed FPGA Acceleration

Journal of VLSI Signal Processing Systems
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Session-Based Distributed Programming in Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Formal verification of practical MPI programs

Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Global Principal Typing in Partially Commutative Asynchronous Sessions

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Nested parallelism for multi-core HPC systems using Java

Journal of Parallel and Distributed Computing
Axel: a heterogeneous cluster with FPGAs and GPUs

Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays
MPI as a Programming Model for High-Performance Reconfigurable Computers

ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Type-safe eventful sessions in java

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs

Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis
Automatic formal verification of MPI-based parallel programs

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Scribbling interactions with a formal foundation

ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Safe parallel programming with session Java

COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
CusComNet: A customisable network for reconfigurable heterogeneous clusters

ASAP '11 Proceedings of the ASAP 2011 - 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors
Multiparty session c: safe parallel programming with message optimisation

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a new programming framework based on the theory of session types for safe, reconfigurable parallel designs. We apply the session type theory to C and Java programming languages and demonstrate that the sessionbased languages can offer a clear and tractable framework to describe communications between parallel components and guarantee communication-safety and deadlock-freedom by compile-time type checking. Many representative communication topologies such as a ring or scatter-gather can be programmed and verified in session-based programming languages. Case studies involving N-body simulation and Kmeans clustering are used to illustrate the session-based programming style and to demonstrate that the session-based languages perform competitively against MPI counterparts in an FPGA-based heterogeneous cluster, as well as the potential of integrating them with FPGA acceleration.