CONSISTENT STATE SOFTWARE TRANSACTIONAL MEMORY

Abstract: Software transactional memory (STM) is a promising programming model that adapts many concepts bor-rowed from the databases world to control concurrent accesses to memory (RAM) locations. In this paper we propose a new classification for the active states of a transaction; a new memory quiescing algorithm, to allow the safe transition of a memory block form transactional to non-transactional space; we compare word and object transactional grain units; and evaluate the cost of consistent state validation, arguing that this cost can be minimized by performing partial validation on problematic code regions.