Exceptions and side-effects in atomic blocks

Опубликовано 6 сентября 2016, 4:59

In recent work we've been looking at the design and implementation of a new atomic keyword as an extension to the Java programming language. It allows programmers to perform a series of heap accesses atomically without needing to use mutual exclusion locks. In a paper at OOPSLA 2003 we showed that data structures built using it could perform well and scale to large multi-processor systems. In this talk I'll present some initial thoughts on extending this design in two ways. The first of these is how to provide an explicit abort operation to abandon execution of an atomic block and to automatically undo any updates made within it. The second extension is to enable external I/O to be performed within an atomic block. Both extensions are based on a single external