MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Session-Based Compilation Framework for Multicore Programming
Nobuko YOSHIDA , Vasco THUDICHUMVASCONCELOS , Hervé PAULINO , Kohei HONDA
7th International Symposium Formal Methods for Components and Objects (FMCO 2008) p. 226 - 246

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.

@inproceedings{YVPH2008,
  author = {Nobuko Yoshida and Vasco Thudichum Vasconcelos and Hervé Paulino and Kohei Honda},
  title = {{Session-Based Compilation Framework for Multicore Programming}},
  booktitle = {7th International Symposium Formal Methods for Components and Objects},
  series = {LNCS},
  volume = {5751},
  pages = {226--246},
  publisher = {Springer},
  year = 2008
}
@inproceedings{YVPH2008,
  author = {Nobuko Yoshida and Vasco Thudichum Vasconcelos and Hervé Paulino and Kohei Honda},
  title = {{Session-Based Compilation Framework for Multicore Programming}},
  booktitle = {7th International Symposium Formal Methods for Components and Objects},
  series = {LNCS},
  volume = {5751},
  pages = {226--246},
  publisher = {Springer},
  doi = "10.1007/978-3-642-04167-9_12",
  year = 2008
}