Exceptions and side-effects in atomic blocks Export

@article{th:side-effects, abstract = {In recent work we showed how to implement a new atomic keyword as an extension to the Java programming language. It allows a program to perform a series of heap accesses atomically without needing to use mutual exclusion locks. We showed that data structures built using it could perform well and scale to large multi-processor systems. In this paper we extend our system in two ways. Firstly, we show how to provide an explicit 'abort' operation to abandon execution of an atomic block and to automatically undo any updates made within it. Secondly, we show how to perform external I/O within an atomic block. During our work we found that it was surprisingly difficult to support these operations without opening loopholes through which the programmer could subvert language-based security mechanisms. Our final design is based on a 'external action' abstraction, allowing code running within an atomic block to request that a given pre-registered operation be executed outside the block.}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Harris, Tim}, citeulike-article-id = {3273086}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1127037.1127041}, citeulike-linkout-1 = {http://dx.doi.org/10.1016/j.scico.2005.03.005}, doi = {10.1016/j.scico.2005.03.005}, issn = {0167-6423}, journal = {Sci. Comput. Program.}, keywords = {exceptions, io, stm}, number = {3}, pages = {325--343}, posted-at = {2009-08-19 20:37:48}, priority = {2}, publisher = {Elsevier North-Holland, Inc.}, title = {Exceptions and side-effects in atomic blocks}, url = {http://dx.doi.org/10.1016/j.scico.2005.03.005}, volume = {58}, year = {2005} }

TY - JOUR ID - th:side-effects L3 - citeulike-article-id:3273086 N2 - In recent work we showed how to implement a new atomic keyword as an extension to the Java programming language. It allows a program to perform a series of heap accesses atomically without needing to use mutual exclusion locks. We showed that data structures built using it could perform well and scale to large multi-processor systems. In this paper we extend our system in two ways. Firstly, we show how to provide an explicit 'abort' operation to abandon execution of an atomic block and to automatically undo any updates made within it. Secondly, we show how to perform external I/O within an atomic block. During our work we found that it was surprisingly difficult to support these operations without opening loopholes through which the programmer could subvert language-based security mechanisms. Our final design is based on a 'external action' abstraction, allowing code running within an atomic block to request that a given pre-registered operation be executed outside the block. IS - 3 JF - Sci. Comput. Program. SN - 0167-6423 AD - Amsterdam, The Netherlands, The Netherlands EP - 343 TI - Exceptions and side-effects in atomic blocks PB - Elsevier North-Holland, Inc. VL - 58 SP - 325 KW - exceptions KW - io KW - stm AU - Harris, Tim PY - 2005/// UR - http://dx.doi.org/10.1016/j.scico.2005.03.005 ER -