Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context

Emmanuelle Saillard
Patrick Carribault Cea
  • Function : Author
  • PersonId : 974412

Abstract

Scientific applications mainly rely on the MPI parallel programming model to reach high performance on supercomputers. The advent of manycore architectures (larger number of cores and lower amount of memory per core) leads to mix MPI with a thread-based model like OpenMP. But integrating two different programming models inside the same application can be tricky and generate complex bugs. Thus, the correctness of hybrid programs requires a special care regarding MPI calls location. For example, identical MPI collective operations cannot be performed by multiple non-synchronized threads. To tackle this issue, this paper proposes a static analysis and a reduced dynamic instrumentation to detect bugs related to misuse of MPI collective operations inside or outside threaded regions. This work extends PARCOACH [4] designed for MPI-only applications and keeps the compatibility with these algorithms. We validated our method on multiple hybrid benchmarks and applications with a low overhead.
Fichier principal
Vignette du fichier
parcoach_HAL.pdf (134.55 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01253204 , version 1 (11-01-2016)

Identifiers

Cite

Emmanuelle Saillard, Patrick Carribault Cea, Denis Barthou. Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context. the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2015, San Francisco, United States. pp.279-280, ⟨10.1145/2688500.2688548⟩. ⟨hal-01253204⟩
118 View
257 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More