Cited By
View all- Jammer TBischof C(2021)Automatic Partitioning of MPI Operations in MPI+OpenMP ApplicationsHigh Performance Computing10.1007/978-3-030-90539-2_12(191-198)Online publication date: 24-Jun-2021
Automatic Detection of MPI Assertions
Pages 34 - 42
Abstract
The 2019 MPI standard draft specification includes the addition of defined communicator info hints. These hints are assertions that an application makes to an MPI implementation, so that a more optimized implementation is possible. The 2019 draft specifications defines four assertions: mpi_assert_no_any_tag, mpi_assert_no_any_source, mpi_assert_exact_length and mpi_assert_allow_overtaking. In this paper we will explore the capability of a Clang/LLVM based static analysis to check whether these assertions hold for a given program. With this tool, existing codebases can benefit from this new addition to the MPI standard without the need for costly human intervention.
References
[1]
Danalis, A., Pollock, L., Swany, M., Cavazos, J.: MPI-aware compiler optimizations for improving communication-computation overlap. In: Proceedings of the 23rd International Conference on Supercomputing, pp. 316–325 (2009)
[2]
Dang, H.V., Snir, M., Gropp, W.: Towards millions of communicating threads. In: Proceedings of the 23rd European MPI Users’ Group Meeting, pp. 1–14 (2016)
[3]
Dowd, K., Severance, C.: High performance computing (2010). http://cnx.org/content/col11136/1.5
[4]
Droste, A., Kuhn, M., Ludwig, T.: MPI-checker: static analysis for MPI. In: Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, pp. 1–10 (2015)
[5]
Hilbrich T, Schulz M, de Supinski BR, and Müller MS Müller M, Resch M, Schulz A, and Nagel W MUST: a scalable approach to runtime error detection in MPI programs Tools for High Performance Computing 2009 2010 Heidelberg Springer 53-66
[6]
Hück, A., et al.: Compiler-aided type tracking for correctness checking of MPI applications. In: 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), pp. 51–58. IEEE (2018)
[7]
Jaeger, J., Saillard, E., Carribault, P., Barthou, D.: Correctness analysis of MPI-3 Non-blocking communications in PARCOACH. In: Proceedings of the 22nd European MPI Users’ Group Meeting, pp. 1–2 (2015)
[8]
Luecke G, Chen H, Coyle J, Hoekstra J, Kraeva M, and Zou Y MPI-CHECK: a tool for checking Fortran 90 MPI programs Concurr. Comput. Pract. Exp. 2003 15 2 93-100
[9]
Message Passing Interface Forum: MPI: A Message-Passing Interface Standard Version 3.1 (2015). https://www.mpi-forum.org/docs/mpi-3.1/mpi31-report.pdf
[10]
Message Passing Interface Forum: MPI: A Message-Passing Interface Standard 2019 Draft Specification (2019). https://www.mpi-forum.org/docs/drafts/mpi-2019-draft-report.pdf
[11]
Saillard E, Carribault P, and Barthou D PARCOACH: combining static and dynamic validation of MPI collective communications Int. J. High Perform. Comput. Appl. 2014 28 4 425-434
[12]
Schonbein W, Dosanjh MGF, Grant RE, and Bridges PG Aldinucci M, Padovani L, and Torquati M Measuring multithreaded message matching misery Euro-Par 2018: Parallel Processing 2018 Cham Springer 480-491
Index Terms
- Automatic Detection of MPI Assertions
Index terms have been assigned to the content through auto-classification.
Recommendations
MPI-checker: static analysis for MPI
LLVM '15: Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPCThis paper presents MPI-Checker, a static analysis checker to verify the correct usage of the MPI API in C and C++ code, based on Clang's Static Analyzer. The checker works with path-sensitive as well as with non-path-sensitive analysis which is purely ...
Automatic Partitioning of MPI Operations in MPI+OpenMP Applications
High Performance ComputingAbstractThe new MPI 4.0 standard includes a new chapter about partitioned point-to-point communication operations. These partitioned operations allow multiple actors of one MPI process (e.g. multiple threads) to contribute data to one communication ...
MPI + MPI: a new hybrid approach to parallel programming with MPI plus shared memory
Hybrid parallel programming with the message passing interface (MPI) for internode communication in conjunction with a shared-memory programming model to manage intranode parallelism has become a dominant approach to scalable parallel programming. While ...
Comments
Information & Contributors
Information
Published In
Jun 2020
387 pages
ISBN:978-3-030-59850-1
DOI:10.1007/978-3-030-59851-8
© Springer Nature Switzerland AG 2020.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 22 June 2020
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 17 Oct 2024
Other Metrics
Citations
Cited By
View all- Jammer TBischof C(2021)Automatic Partitioning of MPI Operations in MPI+OpenMP ApplicationsHigh Performance Computing10.1007/978-3-030-90539-2_12(191-198)Online publication date: 24-Jun-2021
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in