Using Kilim's isolation types for multicore efficiency
Using Kilim's isolation types for multicore efficiency
Using Kilim's isolation types for multicore efficiency
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Kilim syntax<br />
• Syntax same as Java, with additional type qualifiers: @free,<br />
@cuttable, @safe and we add @readonly.<br />
• These qualify classes marked as Message.<br />
• Fields of Message <strong>types</strong> can only be other Message <strong>types</strong> and<br />
Java primitive <strong>types</strong>.<br />
• Design choice: Message <strong>types</strong> are trees and have no heap<br />
aliasing. Subversive question: what does<br />
class Tree { Int val; Tree left,right; }<br />
define in Java? A tree? A graph?<br />
• Only Message <strong>types</strong> can be transferred between actors [next<br />
slide].<br />
UNIVERSITYOF<br />
CAMBRIDGE<br />
<strong>Using</strong> Kilim’s <strong>isolation</strong> <strong>types</strong> <strong>for</strong> <strong>multicore</strong> <strong>efficiency</strong> 34 FoVeOOS’2011