Session-Based Compilation Framework for Multicore Programming
Sep 2009
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution frame- work 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 ef?cient compilation into processes distributed over multiple cores with local memories.
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures