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.
One neat point<br />
UNIVERSITYOF<br />
CAMBRIDGE<br />
When values are used linearly (no longer referenced (∗) by the caller<br />
after being passed to another method/thread) then:<br />
• call-by-reference (pass-by-identity) = call-by-value (pass-by-copy)<br />
This sidesteps the well-known problem that RMI is a non-trivial<br />
solution to exploiting <strong>multicore</strong>. It’s heavyweight and its marshalling<br />
implies pass-by-copy rather that pass-by-identity.<br />
(*) Of course, the callee can later pass such a value back to the caller.<br />
<strong>Using</strong> Kilim’s <strong>isolation</strong> <strong>types</strong> <strong>for</strong> <strong>multicore</strong> <strong>efficiency</strong> 41 FoVeOOS’2011