Correctness analysis of MPI-3 non-blocking communications in PARCOACH

Julien Jaeger; Emmanuelle Saillard; Patrick Carribault; Denis Barthou

doi:10.1145/2802658.2802674

Correctness analysis of MPI-3 non-blocking communications in PARCOACH

Julien Jaeger
, Emmanuelle Saillard
, Patrick Carribault
, Denis Barthou

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 avor of collective calls, and on the presence of completion calls for all nonblocking communications. The evaluation shows an overhead under 10% of original compilation time.

Original language	English
Title of host publication	Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015
Publisher	Association for Computing Machinery
ISBN (Electronic)	9781450337953
DOIs	https://doi.org/10.1145/2802658.2802674
Publication status	Published - 21 Sept 2015
Externally published	Yes
Event	22nd European MPI Users' Group Meeting, EuroMPI 2015 - Bordeaux, France Duration: 21 Sept 2015 → 23 Sept 2015

Publication series

Name	ACM International Conference Proceeding Series
Volume	21-23-September-2015

Conference

Conference	22nd European MPI Users' Group Meeting, EuroMPI 2015
Country/Territory	France
City	Bordeaux
Period	21/09/15 → 23/09/15

Keywords

Checker
MPI
Non-blocking collectives
Static analysis

Access to Document

10.1145/2802658.2802674

Cite this

Jaeger, J., Saillard, E., Carribault, P., & Barthou, D. (2015). Correctness analysis of MPI-3 non-blocking communications in PARCOACH. In Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015 Article a16 (ACM International Conference Proceeding Series; Vol. 21-23-September-2015). Association for Computing Machinery. https://doi.org/10.1145/2802658.2802674

@inproceedings{636e3d913f984a03947b33450d3cf42f,

title = "Correctness analysis of MPI-3 non-blocking communications in PARCOACH",

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 avor of collective calls, and on the presence of completion calls for all nonblocking communications. The evaluation shows an overhead under 10\% of original compilation time.",

keywords = "Checker, MPI, Non-blocking collectives, Static analysis",

author = "Julien Jaeger and Emmanuelle Saillard and Patrick Carribault and Denis Barthou",

note = "Publisher Copyright: {\textcopyright} 2015 ACM.; 22nd European MPI Users' Group Meeting, EuroMPI 2015 ; Conference date: 21-09-2015 Through 23-09-2015",

year = "2015",

month = sep,

day = "21",

doi = "10.1145/2802658.2802674",

language = "English",

series = "ACM International Conference Proceeding Series",

publisher = "Association for Computing Machinery",

booktitle = "Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015",

}

Jaeger, J, Saillard, E, Carribault, P & Barthou, D 2015, Correctness analysis of MPI-3 non-blocking communications in PARCOACH. in Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015., a16, ACM International Conference Proceeding Series, vol. 21-23-September-2015, Association for Computing Machinery, 22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France, 21/09/15. https://doi.org/10.1145/2802658.2802674

Correctness analysis of MPI-3 non-blocking communications in PARCOACH. / Jaeger, Julien; Saillard, Emmanuelle; Carribault, Patrick et al.
Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015. Association for Computing Machinery, 2015. a16 (ACM International Conference Proceeding Series; Vol. 21-23-September-2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Correctness analysis of MPI-3 non-blocking communications in PARCOACH

AU - Jaeger, Julien

AU - Saillard, Emmanuelle

AU - Carribault, Patrick

AU - Barthou, Denis

PY - 2015/9/21

Y1 - 2015/9/21

N2 - 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 avor of collective calls, and on the presence of completion calls for all nonblocking communications. The evaluation shows an overhead under 10% of original compilation time.

AB - 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 avor of collective calls, and on the presence of completion calls for all nonblocking communications. The evaluation shows an overhead under 10% of original compilation time.

KW - Checker

KW - MPI

KW - Non-blocking collectives

KW - Static analysis

UR - https://www.scopus.com/pages/publications/84983400065

U2 - 10.1145/2802658.2802674

DO - 10.1145/2802658.2802674

M3 - Conference contribution

AN - SCOPUS:84983400065

T3 - ACM International Conference Proceeding Series

BT - Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015

PB - Association for Computing Machinery

T2 - 22nd European MPI Users' Group Meeting, EuroMPI 2015

Y2 - 21 September 2015 through 23 September 2015

ER -

Correctness analysis of MPI-3 non-blocking communications in PARCOACH

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this