TY - GEN
T1 - Multi-valued Expression Analysis for Collective Checking
AU - Huchant, Pierre
AU - Saillard, Emmanuelle
AU - Barthou, Denis
AU - Carribault, Patrick
N1 - Publisher Copyright:
© 2019, Springer Nature Switzerland AG.
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 -