BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Programming models for the Barrelfish multi-kernel operating syste
 m - Tim Harris (Microsoft Research\, Cambridge)
DTSTART:20100804T130000Z
DTEND:20100804T140000Z
UID:TALK25675@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:Barrelfish is a new research operating system being built from
  scratch \nin a collaboration between ETH Zurich in Switzerland and Micros
 oft \nResearch Cambridge in the UK. We are exploring how to structure an O
 S \nfor future multi-core systems.  We are motivated by two closely \nrela
 ted trends in hardware design: first\, the rapidly growing number \nof cor
 es\, which leads to a scalability challenge\, and\, second\, the \nincreas
 ing diversity in computer hardware\, requiring the OS to manage \nand expl
 oit heterogeneous hardware resources.\n\nAs part of the project we are rev
 isiting the interface between \napplications and the operating system\, in
  terms of how applications \ninvoke system services\, in terms of how appl
 ications express their \nresource requirements to the system\, and in term
 s of how the system \ndecides how to allocate cores and resources to the d
 iverse mix of \nsoftware running on a multi-core desktop system.\n\nIn thi
 s talk I'll introduce the system architecture that we're \nexploring with 
 Barrelfish\, and I'll discuss some of the challenges and \nopportunities i
 t offers in terms of how programmers write efficient\, \ncorrect code.\n\n
 Tim's homepage: http://research.microsoft.com/en-us/um/people/tharris/
LOCATION:FW26\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR