BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Keep Off The Grass: Locking the Right Path for Atomicity - David C
 unningham  (Imperial College)
DTSTART:20080307T140000Z
DTEND:20080307T150000Z
UID:TALK10843@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:Atomicity provides strong guarantees against errors caused by\
 nunanticipated thread interactions\, but is difficult for programmers to\n
 implement with low-level concurrency primitives. With the introduction\nof
  multicore processors\, the problems are compounded. Atomic sections\nare 
 a high level language feature that programmers can use to designate\nthe b
 locks of code that need to be free from unanticipated thread\ninteractions
 \, letting the language implementation handle the low-level\ndetails such 
 as deadlock. From a language designer's point of view\, the\nchallenge is 
 to implement atomic sections without compromising\nperformance.\n\nWe prop
 ose an implementation of atomic sections that transparently\ninserts locki
 ng into object-oriented programs. The main advantages of\nour approach are
 : (1) We infer path expressions (that at run-time\nresolve to actual objec
 ts) for many more accesses in the atomic section\nthan previous work could
  infer. (2) We use multi-granularity locking for\nguarding iterative trave
 rsals. (3) We ensure freedom from deadlock by\nrolling back the lock acqui
 sition phase. (4) We release locks as early\nas possible. In summary\, our
  approach uses a finer-grained locking\ndiscipline than previous lock infe
 rence techniques. 
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR