Correctness of concurrent executions of closed nested transactions in transactional memory systems

Conference/Journal
Springer, Berlin, Heidelberg
Authors
Sathya Peri Krishnamurthy Vidyasankar
BibTex
Abstract
Abstract A generally agreed upon requirement for correctness of concurrent executions in Transactional Memory systems is that all transactions including the aborted ones read consistent values. Opacity is a recently proposed correctness criterion that satisfies the above requirement. Our first contribution in this paper is extending the opacity definition for closed nested transactions. Secondly, we define conflicts appropriate for optimistic executions which are commonly used in Software Transactional Memory systems. Using ...