Multi-Valued Expression Analysis for Collective Checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Multi-Valued Expression Analysis for Collective Checking


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.
Fichier principal
Vignette du fichier
article_EuroPar.pdf (639.36 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02390025 , version 1 (02-12-2019)


  • HAL Id : hal-02390025 , version 1


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


Gmail Mastodon Facebook X LinkedIn More