IDEAS home Printed from https://ideas.repec.org/h/spr/sprchp/978-3-319-39589-0_7.html
   My bibliography  Save this book chapter

Extending MUST to Check Hybrid-Parallel Programs for Correctness Using the OpenMP Tools Interface

In: Tools for High Performance Computing 2015

Author

Listed:
  • Tim Cramer

    (RWTH Aachen University, IT Center
    RWTH Aachen University, Chair for High Performance Computing
    JARA - High-Performance Computing)

  • Felix Münchhalfen

    (RWTH Aachen University, IT Center
    RWTH Aachen University, Chair for High Performance Computing
    JARA - High-Performance Computing)

  • Christian Terboven

    (RWTH Aachen University, IT Center
    RWTH Aachen University, Chair for High Performance Computing
    JARA - High-Performance Computing)

  • Tobias Hilbrich

    (Technische Universität Dresden)

  • Matthias S. Müller

    (RWTH Aachen University, IT Center
    RWTH Aachen University, Chair for High Performance Computing
    JARA - High-Performance Computing)

Abstract

Current High Performance Computing (HPC) systems consist of compute nodes that can communicate via an interconnect. Each compute node features multiple compute cores that can access shared-memory. The Message Passing Interface (MPI) is the de-facto standard for the programming of distributed memory applications. At the same time, OpenMP is a well-suited parallel programming paradigm to utilize the parallel cores within a compute node. Thus, current HPC systems encourage a hybrid programming approach that combines MPI with OpenMP. However, using both programming paradigms at the same time can lead to more error-prone applications. The runtime correctness checking tool MUST supports programmers in the detection and removal of MPI-specific programming defects. We present an extension of MUST towards the analysis of OpenMP-MPI parallel applications in order to support programmers that combine both paradigms. This includes thread-safety concerns in MUST itself, an extended event model based on the upcoming OpenMP Tools Interface (OMPT), as well as a prototypical error analysis with a synthetic example. We further discuss classes of defects that are specific to OpenMP applications and highlight techniques for their detection.

Suggested Citation

  • Tim Cramer & Felix Münchhalfen & Christian Terboven & Tobias Hilbrich & Matthias S. Müller, 2016. "Extending MUST to Check Hybrid-Parallel Programs for Correctness Using the OpenMP Tools Interface," Springer Books, in: Andreas Knüpfer & Tobias Hilbrich & Christoph Niethammer & José Gracia & Wolfgang E. Nagel & Michael (ed.), Tools for High Performance Computing 2015, chapter 0, pages 85-101, Springer.
    • Handle: RePEc:spr:sprchp:978-3-319-39589-0_7
    DOI: 10.1007/978-3-319-39589-0_7
    as

    Download full text from publisher

    To our knowledge, this item is not available for download. To find whether it is available, there are three options:
    1. Check below whether another version of this item is available online.
    2. Check on the provider's web page whether it is in fact available.
    3. Perform a
    for a similarly titled item that would be available.

    More about this item

    Keywords

    ;
    ;
    ;
    ;
    ;

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:sprchp:978-3-319-39589-0_7. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.