Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02390025
Contributor : Emmanuelle Saillard Connect in order to contact the contributor
Submitted on : Monday, December 2, 2019 - 6:07:06 PM
Last modification on : Friday, December 13, 2019 - 4:53:55 PM
Long-term archiving on: : Tuesday, March 3, 2020 - 9:09:21 PM

File

article_EuroPar.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02390025, version 1

Collections

Citation

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

Share

Metrics

Record views

103

Files downloads

218