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

Tim Cramer (), Felix Münchhalfen (), Christian Terboven (), Tobias Hilbrich and Matthias S. Müller ()
Additional contact information
Tim Cramer: RWTH Aachen University, IT Center
Felix Münchhalfen: RWTH Aachen University, IT Center
Christian Terboven: RWTH Aachen University, IT Center
Tobias Hilbrich: Technische Universität Dresden
Matthias S. Müller: RWTH Aachen University, IT Center

Chapter Chapter 7 in Tools for High Performance Computing 2015, 2016, pp 85-101 from Springer

Abstract: 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.

Keywords: Message Passing Interface; Correctness Analysis; Target Device; Application Thread; Message Passing Interface Process (search for similar items in EconPapers)
Date: 2016
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-39589-0_7

Ordering information: This item can be ordered from
http://www.springer.com/9783319395890

DOI: 10.1007/978-3-319-39589-0_7

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().