poster

Weak atomicity under the x86 memory consistency model

Authors:

Amitabha Roy,

Steven Hand,

Tim HarrisAuthors Info & Claims

ACM SIGPLAN Notices, Volume 46, Issue 8

Pages 291 - 292

https://doi.org/10.1145/2038037.1941594

Published: 12 February 2011 Publication History

Get Access

Abstract

We consider the problem of building a weakly atomic Software Transactional Memory (STM), that provides Single (Global) Lock Atomicity (SLA) while adhering to the x86 memory consistency model (x86-MM).

References

[1]

D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In DISC'06: Proc. 20th International Symposium on Distributed Computing, pages 194--208, Sept. 2006.

Digital Library

Google Scholar

[2]

A. Jannesari and W. Tichy. Identifying ad-hoc synchronization for enhanced race detection. In IPDPS'10: Proc. 25th IEEE International Symposium on Parallel Distributed Processing (IPDPS), pages 1--10, April 2010.

Crossref

Google Scholar

[3]

V. Menon, S. Balensiefer, T. Shpeisman, A.-R. Adl-Tabatabai, R. Hudson, B. Saha, and A. Welc. Single global lock semantics in a weakly atomic STM. In TRANSACT'08, 3rd ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, Feb. 2008.

Digital Library

Google Scholar

[4]

M. Olszewski, J. Cutler, and J. G. Steffan. JudoSTM: A dynamic binary-rewriting approach to software transactional memory. In PACT'07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques, pages 365--375, Sept. 2007.

Digital Library

Google Scholar

[5]

S. Owens, S. Sarkar, and P. Sewell. A better x86 memory model: x86-TSO. In TPHOLs: 22nd Annual Conference on Theorem Proving in Higher Order Logics, 2009.

Digital Library

Google Scholar

[6]

C. Wang, W.-Y. Chen, Y. Wu, B. Saha, and A.-R. Adl-Tabatabai. Code generation and optimization for transactional memory constructs in an unmanaged language. In CGO'07: Proc. 2007 International Symposium on Code Generation and Optimization, pages 34--48, Mar. 2007.

Digital Library

Google Scholar

Index Terms

Weak atomicity under the x86 memory consistency model
1. Computing methodologies
  1. Parallel computing methodologies
    1. Parallel programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Parallel programming languages

Recommendations

Weak atomicity for the x86 memory consistency model

We consider the interaction of weakly atomic Software Transactional Memory (STM) providing single global lock atomicity with the x86 memory consistency model. We show that a practical design for such an STM requires that some program behaviour be ...
Weak atomicity under the x86 memory consistency model
PPoPP '11: Proceedings of the 16th ACM symposium on Principles and practice of parallel programming

We consider the problem of building a weakly atomic Software Transactional Memory (STM), that provides Single (Global) Lock Atomicity (SLA) while adhering to the x86 memory consistency model (x86-MM).
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)

The aim of a Software Transactional Memory (STM) is to discharge the programmers from the management of synchronization in multiprocess programs that access concurrent objects. To that end, an STM system provides the programmer with the concept of a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 46, Issue 8

PPoPP '11

August 2011

300 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/2038037

Issue’s Table of Contents

PPoPP '11: Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
February 2011
326 pages
ISBN:9781450301190
DOI:10.1145/1941553
General Chair:
Calin Cascaval
Qualcomm Research, USA
,
Program Chair:
Pen-Chung Yew
Academia Sinica, Taiwan and University of Minnesota at Twin Cities, USA

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 February 2011

Published in SIGPLAN Volume 46, Issue 8

Check for updates

Author Tags

Qualifiers

Poster

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
256
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)1

Reflects downloads up to 22 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Weak atomicity for the x86 memory consistency model

Weak atomicity under the x86 memory consistency model

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