poster

Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH

Authors:

Julien Jaeger,

Emmanuelle Saillard,

Patrick Carribault,

Denis BarthouAuthors Info & Claims

EuroMPI '15: Proceedings of the 22nd European MPI Users' Group Meeting

Article No.: 16, Pages 1 - 2

https://doi.org/10.1145/2802658.2802674

Published: 21 September 2015 Publication History

Get Access

Abstract

MPI-3 provide functions for non-blocking collectives. To help programmers introduce non-blocking collectives to existing MPI programs, we improve the PARCOACH tool for checking correctness of MPI call sequences. These enhancements focus on correct call sequences of all flavor of collective calls, and on the presence of completion calls for all non-blocking communications. The evaluation shows an overhead under 10% of original compilation time.

References

[1]

D. Dureau and G. Poëtte. Hybrid parallel programming models for amr neutron monte-carlo transport. In SNA+ MC 2013-Joint International Conference on Supercomputing in Nuclear Applications+ Monte Carlo, page 04202. EDP Sciences, 2014.

Google Scholar

[2]

T. Hoefler, P. Gottschling, A. Lumsdaine, and W. Rehm. Optimizing a conjugate gradient solver with non-blocking collective operations. Elsevier Journal of Parallel Computing (PARCO), 33(9):624--633, 2007. Selected Papers from EuroPVM/MPI 2006.

Digital Library

Google Scholar

[3]

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), 28(4):425--434, 2014.

Digital Library

Google Scholar

Cited By

View all

Nguyen VSaillard EJaeger JBarthou DCarribault P(2020)PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness51934.2020.00009(31-39)Online publication date: Nov-2020
https://doi.org/10.1109/Correctness51934.2020.00009
Jammer TIwainsky CBischof C(2020)Automatic Detection of MPI AssertionsHigh Performance Computing10.1007/978-3-030-59851-8_3(34-42)Online publication date: 20-Oct-2020
https://doi.org/10.1007/978-3-030-59851-8_3
Huchant PSaillard EBarthou DBrunie HCarribault P(2018)PARCOACH Extension for a Full-Interprocedural Collectives Verification2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness.2018.00013(69-76)Online publication date: Nov-2018
https://doi.org/10.1109/Correctness.2018.00013
Show More Cited By

Recommendations

Combining static and dynamic validation of MPI collective communications
EuroMPI '13: Proceedings of the 20th European MPI Users' Group Meeting

Collective MPI communications have to be executed in the same order by all processes in their communicator and the same number of times, otherwise a deadlock occurs. As soon as the control-flow involving these collective operations becomes more complex, ...
Implementation and performance analysis of non-blocking collective operations for MPI
SC '07: Proceedings of the 2007 ACM/IEEE conference on Supercomputing

Collective operations and non-blocking point-to-point operations have always been part of MPI. Although non-blocking collective operations are an obvious extension to MPI, there have been no comprehensive studies of this functionality. In this paper we ...
On non-blocking collectives in 3D FFTs
ScalA '11: Proceedings of the second workshop on Scalable algorithms for large-scale systems

With the inclusion of non-blocking global collective operations in the MPI 3.0 draft specification many fundamental algorithms such as those for performing 3-dimensional (3D) FFTs will be modified to take advantage of non-blocking collectives. Novel ...

Comments

Information & Contributors

Information

Published In

EuroMPI '15: Proceedings of the 22nd European MPI Users' Group Meeting

September 2015

149 pages

ISBN:9781450337953

DOI:10.1145/2802658

Conference Chair:
Jack Dongarra,
Program Chairs:
Alexandre Denis,
Brice Goglin,
Emmanuel Jeannot,
Guillaume Mercier

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

Conseil Régional d'Aquitaine
Communauté Urbaine de Bordeaux
INRIA: INRIA Rhône-Alpes

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 September 2015

Check for updates

Author Tags

Qualifiers

Poster
Research
Refereed limited

Conference

EuroMPI '15

EuroMPI '15: The 22nd European MPI Users' Group Meeting

September 21 - 23, 2015

Bordeaux, France

Acceptance Rates

EuroMPI '15 Paper Acceptance Rate 14 of 29 submissions, 48%;

Overall Acceptance Rate 66 of 139 submissions, 47%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
85
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)1

Reflects downloads up to 02 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Nguyen VSaillard EJaeger JBarthou DCarribault P(2020)PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness51934.2020.00009(31-39)Online publication date: Nov-2020
https://doi.org/10.1109/Correctness51934.2020.00009
Jammer TIwainsky CBischof C(2020)Automatic Detection of MPI AssertionsHigh Performance Computing10.1007/978-3-030-59851-8_3(34-42)Online publication date: 20-Oct-2020
https://doi.org/10.1007/978-3-030-59851-8_3
Huchant PSaillard EBarthou DBrunie HCarribault P(2018)PARCOACH Extension for a Full-Interprocedural Collectives Verification2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness.2018.00013(69-76)Online publication date: Nov-2018
https://doi.org/10.1109/Correctness.2018.00013
Saillard EBrunie HCarribault PBarthou D(2016)PARCOACH Extension for Hybrid Applications with Interprocedural AnalysisTools for High Performance Computing 201510.1007/978-3-319-39589-0_11(135-146)Online publication date: 28-Jul-2016
https://doi.org/10.1007/978-3-319-39589-0_11

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.

Cited By

Index Terms

Recommendations

Combining static and dynamic validation of MPI collective communications

Implementation and performance analysis of non-blocking collective operations for MPI

On non-blocking collectives in 3D FFTs

Comments

Published In

In-Cooperation

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Combining static and dynamic validation of MPI collective communications

Implementation and performance analysis of non-blocking collective operations for MPI

On non-blocking collectives in 3D FFTs

Comments

Information

Published In

In-Cooperation

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations