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.
What I didn’t say about Kilim<br />
UNIVERSITYOF<br />
CAMBRIDGE<br />
• There are also classical Java objects (no restrictions on aliasing)<br />
but these cannot be passed between threads – except via an<br />
(unsafe) loophole.<br />
• Implementation embedding in Java via bytecode re-writer.<br />
• Ultra-fast task switching (one million threads) implemented by<br />
stack reflect/reify using @pausable attribute.<br />
• Thread creation and messaging compares favourably with Erlang.<br />
<strong>Using</strong> Kilim’s <strong>isolation</strong> <strong>types</strong> <strong>for</strong> <strong>multicore</strong> <strong>efficiency</strong> 43 FoVeOOS’2011