Multi-valued Expression Analysis for Collective Checking

Pierre Huchant; Emmanuelle Saillard; Denis Barthou; Patrick Carribault

doi:10.1007/978-3-030-29400-7_3

Multi-valued Expression Analysis for Collective Checking

Pierre Huchant
, Emmanuelle Saillard
, Denis Barthou
, Patrick Carribault

Univ. Bordeaux
INRIA Institut National de Recherche en Informatique et en Automatique
CEA/UVSQ/CNRS

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

3 Citations (Scopus)

Résumé

Determining if a parallel program behaves as expected on any execution is challenging due to non-deterministic executions. Static analyses help to detect all execution paths that can be executed concurrently by identifying multi-valued expressions, i.e. expressions evaluated differently among processes. This can be used to find collective errors in parallel programs. In this paper, we propose a new method that combines a control-flow analysis with a multi-valued expressions detection to find such errors. We implemented our method in the PARCOACH framework and successfully analyzed parallel applications using MPI, OpenMP, UPC and CUDA.

langue originale	Anglais
titre	Euro-Par 2019
Sous-titre	Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Proceedings
rédacteurs en chef	Ramin Yahyapour
Editeur	Springer
Pages	29-43
Nombre de pages	15
ISBN (imprimé)	9783030293994
Les DOIs	https://doi.org/10.1007/978-3-030-29400-7_3
état	Publié - 1 janv. 2019
Modification externe	Oui
Evénement	25th International European Conference on Parallel and Distributed Computing, Euro-Par 2019 - Göttingen, Allemagne Durée: 26 août 2019 → 30 août 2019

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11725 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	25th International European Conference on Parallel and Distributed Computing, Euro-Par 2019
Pays/Territoire	Allemagne
La ville	Göttingen
période	26/08/19 → 30/08/19

Accès au document

10.1007/978-3-030-29400-7_3

Contient cette citation

Huchant, P., Saillard, E., Barthou, D., & Carribault, P. (2019). Multi-valued Expression Analysis for Collective Checking. Dans R. Yahyapour (Ed.), Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Proceedings (p. 29-43). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11725 LNCS). Springer. https://doi.org/10.1007/978-3-030-29400-7_3

Huchant, Pierre ; Saillard, Emmanuelle ; Barthou, Denis et al. / Multi-valued Expression Analysis for Collective Checking. Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Proceedings. Editeur / Ramin Yahyapour. Springer, 2019. p. 29-43 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e2e14816578a4af8a725a84bf7f86f5c,

title = "Multi-valued Expression Analysis for Collective Checking",

abstract = "Determining if a parallel program behaves as expected on any execution is challenging due to non-deterministic executions. Static analyses help to detect all execution paths that can be executed concurrently by identifying multi-valued expressions, i.e. expressions evaluated differently among processes. This can be used to find collective errors in parallel programs. In this paper, we propose a new method that combines a control-flow analysis with a multi-valued expressions detection to find such errors. We implemented our method in the PARCOACH framework and successfully analyzed parallel applications using MPI, OpenMP, UPC and CUDA.",

author = "Pierre Huchant and Emmanuelle Saillard and Denis Barthou and Patrick Carribault",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 25th International European Conference on Parallel and Distributed Computing, Euro-Par 2019 ; Conference date: 26-08-2019 Through 30-08-2019",

year = "2019",

month = jan,

day = "1",

doi = "10.1007/978-3-030-29400-7\_3",

language = "English",

isbn = "9783030293994",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "29--43",

editor = "Ramin Yahyapour",

booktitle = "Euro-Par 2019",

}

Huchant, P, Saillard, E, Barthou, D & Carribault, P 2019, Multi-valued Expression Analysis for Collective Checking. Dans R Yahyapour (Ed.), Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 11725 LNCS, Springer, p. 29-43, 25th International European Conference on Parallel and Distributed Computing, Euro-Par 2019, Göttingen, Allemagne, 26/08/19. https://doi.org/10.1007/978-3-030-29400-7_3

Multi-valued Expression Analysis for Collective Checking. / Huchant, Pierre; Saillard, Emmanuelle; Barthou, Denis et al.
Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Proceedings. Ed. / Ramin Yahyapour. Springer, 2019. p. 29-43 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11725 LNCS).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Multi-valued Expression Analysis for Collective Checking

AU - Huchant, Pierre

AU - Saillard, Emmanuelle

AU - Barthou, Denis

AU - Carribault, Patrick

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Determining if a parallel program behaves as expected on any execution is challenging due to non-deterministic executions. Static analyses help to detect all execution paths that can be executed concurrently by identifying multi-valued expressions, i.e. expressions evaluated differently among processes. This can be used to find collective errors in parallel programs. In this paper, we propose a new method that combines a control-flow analysis with a multi-valued expressions detection to find such errors. We implemented our method in the PARCOACH framework and successfully analyzed parallel applications using MPI, OpenMP, UPC and CUDA.

AB - Determining if a parallel program behaves as expected on any execution is challenging due to non-deterministic executions. Static analyses help to detect all execution paths that can be executed concurrently by identifying multi-valued expressions, i.e. expressions evaluated differently among processes. This can be used to find collective errors in parallel programs. In this paper, we propose a new method that combines a control-flow analysis with a multi-valued expressions detection to find such errors. We implemented our method in the PARCOACH framework and successfully analyzed parallel applications using MPI, OpenMP, UPC and CUDA.

U2 - 10.1007/978-3-030-29400-7_3

DO - 10.1007/978-3-030-29400-7_3

M3 - Conference contribution

AN - SCOPUS:85077126232

SN - 9783030293994

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 29

EP - 43

BT - Euro-Par 2019

A2 - Yahyapour, Ramin

PB - Springer

T2 - 25th International European Conference on Parallel and Distributed Computing, Euro-Par 2019

Y2 - 26 August 2019 through 30 August 2019

ER -

Huchant P, Saillard E, Barthou D, Carribault P. Multi-valued Expression Analysis for Collective Checking. Dans Yahyapour R, Editeur, Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Proceedings. Springer. 2019. p. 29-43. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-29400-7_3

Multi-valued Expression Analysis for Collective Checking

Résumé

Série de publications

Une conférence

Accès au document

Empreinte digitale

Contient cette citation