Sciweavers

Share
FMCO
2008
Springer

Session-Based Compilation Framework for Multicore Programming

11 years 9 months ago
Session-Based Compilation Framework for Multicore Programming
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.
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMCO
Authors Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
Comments (0)
books