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.
Introduction to multi-core hardware semantics<br />
Two ‘obvious’ but incorrect statements:<br />
1. If a program with two threads runs on a single-core processor<br />
then it will run unchanged on a two-core processor.<br />
UNIVERSITYOF<br />
CAMBRIDGE<br />
2. (After correcting problems in 1.) a two-thread program will run<br />
faster on a two-core processor than it runs on a single-core<br />
processor.<br />
Brief answer: need to think of multi-core processors as distibuted<br />
systems not merely as concurrent systems.<br />
<strong>Using</strong> Kilim’s <strong>isolation</strong> <strong>types</strong> <strong>for</strong> <strong>multicore</strong> <strong>efficiency</strong> 10 FoVeOOS’2011