Personal tools
You are here: Home Events ICSA COLLOQUIUM TALK - Title:Types for access capabilities in multi-core systems

ICSA COLLOQUIUM TALK - Title:Types for access capabilities in multi-core systems

— filed under:

Presentation and talk by Alan Mycroft, University of Cambridge. Title: Types for access capabilities in multi-core systems

What
  • Colloquium Series
When Dec 09, 2011
from 02:30 PM to 03:30 PM
Where 4.31/4.33
Add event to calendar vCal
iCal

Abstract:

Private local memory and shared memory in multi-core systems causes headaches:

Programs have concurrency errors (races); cache effects expose the fiction of random access memory; and private local memory requires explicit inter-processor data transfers.

We show how an intuitive type system can enforce {\em data isolation} between tasks. This eliminates data races and also allows a compiler to freely allocate tasks to processors without changing program meaning and with increased performance predictability.

 

Document Actions