A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
Compiling the π-calculus into a Multithreaded Typed Assembly Language
2009
Electronical Notes in Theoretical Computer Science
We extend a previous work on a multithreaded typed assembly language (MIL) targeted at shared memory multiprocessors, and describe the design of a type-preserving compiler from the π-calculus into MIL. The language enforces a policy on lock usage through a typing system that also ensures race-freedom for typable programs, while allowing for typing various important concurrency patterns. Our translation to MIL generates code that is then linked to a library supporting a generic unbounded buffer
doi:10.1016/j.entcs.2009.06.004
fatcat:4epbszgohneqtbwmszx3wjjere