skip to main content
poster

Weak atomicity under the x86 memory consistency model

Authors Info & Claims
Published:12 February 2011Publication History
Skip Abstract Section

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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Weak atomicity under the x86 memory consistency model

      Recommendations

      Comments

      Login options

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

      Sign in

      Full Access

      • Published in

        cover image ACM SIGPLAN Notices
        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
        • cover image ACM Conferences
          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,
          • Program Chair:
          • Pen-Chung Yew

        Copyright © 2011 Authors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 12 February 2011

        Check for updates

        Qualifiers

        • poster
      • Article Metrics

        • Downloads (Last 12 months)3
        • Downloads (Last 6 weeks)1

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!