Software transactional memories: an approach for multicore programming

Authors:
Damien Imbs;Michel Raynal
Affiliations:
IRISA, Rennes Cedex, France 35042;IRISA, Rennes Cedex, France 35042
Venue:
The Journal of Supercomputing
Year:
2011

Citing 13
Cited 1

Transactional memory: architectural support for lock-free data structures

ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
The serializability of concurrent database updates

Journal of the ACM (JACM)
Versioned boxes as the basis for memory transactions

Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Transactional Memory: An Overview

IEEE Micro
On the correctness of transactional memory

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Transactions are back---but are they the same?

ACM SIGACT News
Distributed computing and the multicore revolution

ACM SIGACT News
Transactional memory

Communications of the ACM - Web science
Synchronization is Coming Back, But is it the Same?

AINA '08 Proceedings of the 22nd International Conference on Advanced Information Networking and Applications
Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort

ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Software Transactional Memories: An Approach for Multicore Programming

PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Transactional locking II

DISC'06 Proceedings of the 20th international conference on Distributed Computing
A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition

SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity

Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

The recent advance of multicore architectures and the deployment of multiprocessors as the mainstream computing platforms have given rise to a new concurrent programming impetus. Software transactional memories (STM) are one of the most promising approaches to take up this challenge. The aim of a STM system is to discharge the application programmer from the management of synchronization when he/she has to write multiprocess programs. His/her task is to decompose his/her program into a set of sequential tasks that access shared objects, and to decompose each task in atomic units of computation. The management of the required synchronization is ensured by the associated STM system. This paper presents two existing STM systems, and a new one based on time-window mechanism. The paper, which focuses mainly on STM principles, has an introductory and survey flavor.