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.

• Type: Conference
• Year: 2008
• Where: FMCO
• Authors: Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
• Keywords: Explicit Asynchronous Data, FMCO 2008, Formal Methods, Multicore Cpus, Type-based Compilation