Multi-Valued Expression Analysis for Collective Checking

Pierre Huchant (1, 2, 3) , Emmanuelle Saillard (3) , Denis Barthou (1, 4, 2, 3) , Patrick Carribault (5)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 UB - Université de Bordeaux
3 STORM - STatic Optimizations, Runtime Methods
4 Bordeaux INP - Institut Polytechnique de Bordeaux
5 DAM/DIF - DAM Île-de-France

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.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault. Multi-Valued Expression Analysis for Collective Checking. EuroPar, Aug 2019, Göttingen, Germany. ⟨hal-02390025⟩