24.10.2013 Views

Using Kilim's isolation types for multicore efficiency

Using Kilim's isolation types for multicore efficiency

Using Kilim's isolation types for multicore efficiency

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!