Title: Software Lock Elision
Prof. Steven Hand, University of Cambridge
Date: Monday, August 17, 3pm
Location: BA5180 (Bahen Center)
Multi-core processors are here, and more are coming. This has led to
much research on new programming languages, concurrency paradigms, and
even new operating systems. In this talk, I'll look at what we can do
for existing programs written in unmanaged languages like C and C++, and
using existing concurrency primitives like locks. I'll consider how
much benefit we might be able to extract by exploiting disjoint access
parallelism, describe a system which allows (sufficiently clever!)
programmers to convert their lock-based programs to use opportunistic
concurrency control, and briefly sketch our ongoing efforts to make this
a completely automatic process which works on existing binaries.
Steven Hand is a Senior Lecturer at the University of Cambridge Computer
Laboratory, a Fellow of Wolfson College. He received his BSc and MSc
from University College Dublin, and his PhD from Cambridge. His main
research focus is operating systems, but he has also worked on security,
networking, and distributed storage, amongst other things. He is
probably best known as one of the originators of the Xen virtual machine
monitor, and was a co-founder of XenSource (acquired by Citrix in 2007).
Outside of work, his likes include fine dining, crossword puzzles,
skiing and cats, although seldom all at the same time.