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.
Multi-core-chip memory models<br />
Today’s model (cache simplified to one level):<br />
✛<br />
other CPU<br />
or GPU etc ✲<br />
✚<br />
✛<br />
CPU 2–15<br />
✚<br />
✛<br />
CPU 1<br />
✚<br />
✘✛<br />
✙2<br />
✚<br />
✻<br />
✘✛<br />
❄<br />
✲2<br />
✙✚<br />
✲✻<br />
✘✛<br />
❄<br />
✲<br />
coherency<br />
2<br />
FAST<br />
MEMORY<br />
incoherency<br />
CACHES 2-15<br />
CACHE 1<br />
✙✚<br />
✘<br />
✙<br />
✘<br />
✙❄<br />
✘<br />
✒<br />
❅<br />
❅❘<br />
✚<br />
200<br />
✙<br />
✛ DMA<br />
200 ✛<br />
MEMORY<br />
✘<br />
✙<br />
UNIVERSITYOF<br />
CAMBRIDGE<br />
<strong>Using</strong> Kilim’s <strong>isolation</strong> <strong>types</strong> <strong>for</strong> <strong>multicore</strong> <strong>efficiency</strong> 15 FoVeOOS’2011