skip to main content
abstract

Static/Dynamic validation of MPI collective communications in multi-threaded context

Published:24 January 2015Publication History
Skip Abstract Section

Abstract

Scientific applications mainly rely on the MPI parallel programming model to reach high performance on supercomputers. The advent of manycore architectures (larger number of cores and lower amount of memory per core) leads to mix MPI with a thread-based model like OpenMP. But integrating two different programming models inside the same application can be tricky and generate complex bugs. Thus, the correctness of hybrid programs requires a special care regarding MPI calls location. For example, identical MPI collective operations cannot be performed by multiple non-synchronized threads. To tackle this issue, this paper proposes a static analysis and a reduced dynamic instrumentation to detect bugs related to misuse of MPI collective operations inside or outside threaded regions. This work extends PARCOACH designed for MPI-only applications and keeps the compatibility with these algorithms. We validated our method on multiple hybrid benchmarks and applications with a low overhead.

References

  1. T. Hilbrich, M. S. Müller, and B. Krammer. Detection of violations to the MPI standard in hybrid OpenMP/MPI applications. In Intl. Conf. on OpenMP in a New Era of Parallelism, pages 26–35, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. T. Hilbrich, B. R. de Supinski, F. Hänsel, M. S. Müller, M. Schulz, and W. E. Nagel. Runtime MPI collective checking with tree-based overlay networks. In European MPI Users’ Group Meeting, pages 129–134, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. H. Jourden. HERA: A hydrodynamic AMR Platform for Multi-Physics Simulations. In T. Plewa, T. Linde, and V. G. Weirs, editors, Adaptive Mesh Refinement - Theory and Applications, pages 283–294, 2003.Google ScholarGoogle Scholar
  4. E. Saillard, P. Carribault, and D. Barthou. PARCOACH:combining static and dynamic validation of mpi collective communications. Intl. Journal on High Performance Computing Applications (IJHPCA), 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Static/Dynamic validation of MPI collective communications in multi-threaded context

    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!