Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Qualitative Survey of Modern Software Transactional Memory Systems

Summary: A Qualitative Survey of Modern Software
Transactional Memory Systems
Virendra J. Marathe and Michael L. Scott
TR 839
Department of Computer Science
University of Rochester
Rochester, NY 14627-0226
{vmarathe, scott}@cs.rochester.edu
June 2004
Software Transactional Memory (STM) can be defined as a generic nonblocking synchroniza-
tion construct that allows correct sequential objects to be converted automatically into correct
concurrent objects. In STM, a transaction is defined as a sequence of instructions that atomi-
cally modifies a set of concurrent objects. The original STM proposed by Shavit and Touitou
worked on static transactions (wherein the concurrent objects being accessed by a transaction
were pre-determined). Recent STM research has focused on support for more realistic dynamic
In this paper we present a qualitative survey of modern STM systems that support dynamic
transactions. More concretely, we describe the designs of three STM systems--a hash table
based STM system (Hash table STM) for shared memory words due to Harris and Fraser, and


Source: Agrawal, Gagan - Department of Computer Science and Engineering, Ohio State University
Scott, Michael L. - Department of Computer Science, University of Rochester


Collections: Computer Technologies and Information Sciences