skip to main content
abstract

Section based program analysis to reduce overhead of detecting unsynchronized thread communication

Published:24 January 2015Publication History
Skip Abstract Section

Abstract

We propose Section Based Program Analysis (SBPA), a novel way to decompose programs into disjoint sections to identify non-communicating loads and stores during program compilation. We implemented SBPA for a deterministic execution runtime environment and reduced 63% of dynamic memory access instrumentations. We also integrated SBPA with ThreadSanitizer, and achieved a speed-up of 2.74 on a geometric mean basis.

References

  1. Cormac Flanagan and Stephen N. Freund, “Fasttrack: Efficient and precise dynamic race detection,” in Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009, PLDI ’09. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Chris Lattner and Vikram Adve, “Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap,” in Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’05), Chigago, Illinois, June 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, and Dan Grossman, “Coredet: a compiler and runtime system for deterministic multithreaded execution,” in Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems, 2010, ASPLOS ’10. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, and Dmitriy Vyukov, “Dynamic race detection with llvm compiler,” in Runtime Verification. Springer, 2012, pp. 110–114. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Section based program analysis to reduce overhead of detecting unsynchronized thread communication

      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 50, Issue 8
        PPoPP '15
        August 2015
        290 pages
        ISSN:0362-1340
        EISSN:1558-1160
        DOI:10.1145/2858788
        • Editor:
        • Andy Gill
        Issue’s Table of Contents
        • cover image ACM Conferences
          PPoPP 2015: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
          January 2015
          290 pages
          ISBN:9781450332057
          DOI:10.1145/2688500

        Copyright © 2015 Owner/Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 24 January 2015

        Check for updates

        Qualifiers

        • abstract

      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!