Debugging and optimization of HPC programs in mixed precision with the Verrou tool - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2019

Debugging and optimization of HPC programs in mixed precision with the Verrou tool

François Févotte
Bruno Lathuilìère
  • Function : Author
  • PersonId : 868410

Abstract

The analysis of Floating-Point-related issues in HPC codes is becoming a topic of major interest. First, parallel computing and code optimization often break the reproducibility of numerical results across machines, compilers and even executions of the same program. Second, mixed precision is more and more used to reduce memory footprint and bandwidth wherever possible, thereby benefiting more from SIMD units. This paper presents how the Verrou tool can help during all stages of the Floating-Point analysis of HPC codes: diagnostic, debugging and optimization. Recent developments of Verrou are presented, along with examples illustrating the interest of these new features for industrial codes. As an example, Verrou allows debugging code aster, an industrial, parallel, mixed-precision code for the simulation of structural mechanics. Re-using existing infrastructure from the non-regression testing process, setting up Verrou requires limited effort. The first useful debugging information can be obtained after only 25 minutes, while the full automated debugging process takes 10 hours to complete.
Fichier principal
Vignette du fichier
main.pdf (359.51 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02044101 , version 1 (21-02-2019)

Identifiers

  • HAL Id : hal-02044101 , version 1

Cite

François Févotte, Bruno Lathuilìère. Debugging and optimization of HPC programs in mixed precision with the Verrou tool. 2019. ⟨hal-02044101⟩

Collections

EDF
176 View
460 Download

Share

Gmail Mastodon Facebook X LinkedIn More