BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:System Seminars - Title : AC: Composable Asynchronous IO for Nativ
 e Languages
DTSTART:20120504T140000
DTEND:20120504T153000
DTSTAMP:20260407T105504Z
UID:7980a91cd70ccd887a5ef2bf8c4d16017e3f3ef0060575c3e54293b2
CATEGORIES:Conferences - Seminars
DESCRIPTION:Tim Harris\, Microsoft Research\nAbstract:\nThis talk introduc
 es AC\, a set of language constructs for composable asynchronous IO in nat
 ive languages such as C/C++. Unlike traditional synchronous IO interfaces\
 , AC lets a thread issue multiple IO requests so that they can be serviced
  concurrently\, and so that long-latency operations can be overlapped with
  computation. Unlike traditional asynchronous IO interfaces\, AC retains a
  sequential style of programming without requiring code to use multiple th
 reads\, and without requiring code to be “stack-ripped” into chains of
  callbacks. AC provides an async statement to identify opportunities for I
 O operations to be issued concurrently\, a do..finish block that waits unt
 il any enclosed async work is complete\, and a cancel statement that reque
 sts cancellation of unfinished IO within an enclosing do..finish. We give 
 an operational semantics for a core language. We describe and evaluate imp
 lementations that are integrated with message passing on the Barrelfish re
 search OS\, and integrated with asynchronous file and network IO on Micros
 oft Windows. We show that AC offers comparable performance to existing C/C
 ++ interfaces for asynchronous IO\, while providing a simpler programming 
 model.\n\nBiography:\nTim Harris is a researcher at MSR Cambridge where he
  works on abstractions for using multi-core computers. He is currently wor
 king on the Barrelfish operating system\, and on architecture support for 
 programming language runtime systems. His other recent work has focused on
  the implementation of software transactional memory for multi-core comput
 ers\, and the design of programming language features based on it. He is a
  co-author of the Morgan Claypool book "Transactional Memory".\n\nTim has 
 a BA and PhD in computer science from Cambridge University Computer Labora
 tory. He was on the faculty at the Computer Laboratory from 2000-2004 wher
 e he led the department's research on concurrent data structures and contr
 ibuted to the Xen virtual machine monitor project. He joined Microsoft Res
 earch in 2004.
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR