skip to main content
poster

Concurrency bug localization using shared memory access pairs

Authors Info & Claims
Published:06 February 2014Publication History
Skip Abstract Section

Abstract

Non-determinism in concurrent programs makes their debugging much more challenging than that in sequential programs. To mitigate such difficulties, we propose a new technique to automatically locate buggy shared memory accesses that triggered concurrency bugs. Compared to existing fault localization techniques that are based on empirical statistical approaches, this technique has two advantages. First, as long as enough successful runs of a concurrent program are collected, the proposed technique can locate buggy memory accesses to the shared data even with only one single failed run captured, as opposed to the need of capturing multiple failed runs in other statistical approaches. Second, the proposed technique is more precise because it considers memory accesses in those failed runs that terminate prematurely.

References

  1. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes -- a comprehensive study on real world concurrency bug characteristics. In ASPLOS, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. S. Park, R. W. Vuduc, and M. J. Harrold. Falcon: Fault localization in concurrent programs. In ICSE, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. A. Muzahid, N. Otsuki, and J. Torrellas. AtomTracker: A comprehensive approach to atomic region inference and violation detection. In MICRO, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. J. Yu, S. Narayanasamy, C. Pereira, and G. Pokam. Maple: A converage-driven testing tool for multithreaded programs. In OOPSLA, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Concurrency bug localization using shared memory access pairs

    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

    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!