skip to main content
keynote

Safety-first approach to memory consistency models

Published:20 June 2013Publication History

Abstract

No abstract available.

References

  1. ARMv8 instruction set overview. URL http://infocenter.arm.com/help/topic/com.arm.doc.genc010197a.Google ScholarGoogle Scholar
  2. Annotating locking behavior. URL http://msdn.microsoft.com/en-us/library/hh916381.aspx.Google ScholarGoogle Scholar
  3. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC Benchmark Suite: Characterization and Architectural Implications. In PACT'08, pages 72--81. ACM, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. H. J. Boehm. Simple thread semantics require race detection. In FIT session at PLDI, 2009.Google ScholarGoogle Scholar
  5. H. J. Boehm and S. V. Adve. Foundations of the C++Concurrency Memory Model. In PLDI'08, pages 68--78, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. C. Flanagan and S. N. Freund. Type-Based Race Detection for Java. In PLDI'00, pages 219--232, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. C. S. Gordon, M. J. Parkinson, J. Parsons, A. Bromfield, and J. Duffy. Uniqueness and reference immutability for safe parallelism. In OOPSLA'12, pages 21--40, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. J. L. Henning. SPEC CPU2006 benchmark descriptions. SIGARCH Computer Architecture News, 34: 1--17, September 2006. ISSN 0163--5964. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. L. Lamport. How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Computer, 28 (9): 690--691, Sept. 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO'04, pages 75--88, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. J. Manson, W. Pugh, and S. V. Adve. The Java Memory Model. In POPL'05, pages 378--391, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. D. Marino, A. Singh, T. Millstein, M. Musuvathi, and S. Narayanasamy. A Case for an SC-Preserving Compiler. In PLDI'11, pages 199--210, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. B. C. Pierce. Types and programming languages. MIT press, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 Programs: Characterization and Methodological Considerations. In ISCA'95, pages 24--36. ACM, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Safety-first approach to memory consistency models

    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 48, Issue 11
      ISMM '13
      November 2013
      128 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/2555670
      Issue’s Table of Contents
      • cover image ACM Conferences
        ISMM '13: Proceedings of the 2013 international symposium on memory management
        June 2013
        140 pages
        ISBN:9781450321006
        DOI:10.1145/2491894

      Copyright © 2013 Copyright is held by the owner/author(s)

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 20 June 2013

      Check for updates

      Qualifiers

      • keynote
    • Article Metrics

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

      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!