Session-Based Compilation Framework for Multicore Programming

Authors:
Nobuko Yoshida;Vasco Vasconcelos;Hervé Paulino;Kohei Honda
Affiliations:
Department of Computing, Imperial College London,;Lasige, Department of Computer Science, University of Lisbon,;CITI, Departamento de Informática, Universidade Nova de Lisboa,;Department of Computer Science, Queen Mary, University of London,
Venue:
Formal Methods for Components and Objects
Year:
2009

Citing 0
Cited 3

Dynamic multirole session types

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Scribbling interactions with a formal foundation

ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Automatic analysis of DMA races using model checking and k-induction

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. Our focus is to harness the power of concurrency and asynchrony in one of the major forms of multicore CPUs based on distributed, non-coherent memory, through the use of type-directed compilation. The key idea is to regard explicit asynchronous data transfer among local caches as typed communication among processes. By typing imperative processes with a variant of session types, we obtain both type-safe and efficient compilation into processes distributed over multiple cores with local memories.