Using Kilim's isolation types for multicore efficiency
Using Kilim's isolation types for multicore efficiency
Using Kilim's isolation types for multicore efficiency
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Type Systems – weakness (2)<br />
• We want each variable to be free’d exactly (∗) once.<br />
• ‘Once’ means ‘once on each possible control path’.<br />
UNIVERSITYOF<br />
CAMBRIDGE<br />
• Let’s develop a type system in which each variable can only be<br />
used once – and then refine it to “at most one free-like<br />
operation”<br />
(∗) at most once if we don’t care about space leaks!<br />
<strong>Using</strong> Kilim’s <strong>isolation</strong> <strong>types</strong> <strong>for</strong> <strong>multicore</strong> <strong>efficiency</strong> 24 FoVeOOS’2011