CiteSeerX — Software Transactional Memory

Software Transactional Memory (1995) [240 citations — 6 self]

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@MISC{Shavit95softwaretransactional,
    author = {Nir Shavit and Dan Touitou},
    title = {Software Transactional Memory},
    year = {1995}
}

Bookmarks

OpenURL

Abstract:

As we learn from the literature, flexibility in choosing synchronization operations greatly simplifies the task of designing highly concurrent programs. Unfortunately, existing hardware is inflexible and is at best on the level of a Load Linked/Store Conditional operation on a single word. Building on the hardware based transactional synchronization methodology of Herlihy and Moss, we offer software transactional memory (STM), a novel software method for supporting flexible transactional programming of synchronization operations. STM is non-blocking, and can be implemented on existing machines using only a Load Linked/Store Conditional operation. We use STM to provide a general highly concurrent method for translating sequential object implementations to non-blocking ones based on implementing a k-word compare&swap STM-transaction. Empirical evidence collected on simulated multiprocessor architectures shows that the our method always outperforms all the non-blocking translation methods...

Citations

135	The mit alewife machine: A large-scale distributed-memory multiprocessor – Agarwal, Chaiken, et al. - 1991
77	Counting networks – Aspnes, Herlihy, et al. - 1994
58	A method for implementing lock-free shared data structures – Barnes - 1993
33	Performance issues in non-blocking synchronization on sharedmemory multiprocessors – Alemany, Felten - 1992
27	The performance of spin lock alternatives for shared memory multiprocessors – Anderson - 1990
16	Practical Considerations for Lock-Free Concurrent Objects – Bershad - 1991
5	Primitives for Asynchronous List Compression – Anderson - 1992
1	Proteus: A High-Performance Paralleloperations per 10**6 cycles Processors BUS STM Cooperative method Herlihy's method QUEUE spin lock Processors Alewife STM Cooperative method Herlihy's method QUEUE spin lock – Dellarocas, Colbrook, et al.