Journal
PROCEEDINGS OF 2019 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS 2019)
Volume -, Issue -, Pages 1-10Publisher
IEEE COMPUTER SOC
DOI: 10.1109/Correctness49594.2019.00006
Keywords
Floating-point arithmetic; Verrou; mixed precision; Verification & Validation
Ask authors/readers for more resources
The analysis of Floating-Point-related issues in HPC codes is becoming a topic of major interest: parallel computing and code optimization often break the reproducibility of numerical results across machines, compilers and even executions of the same program. This paper presents how the Verrou tool can help during all stages of the Floating-Point analysis of HPC codes: diagnose, debugging and optimization. Recent developments of Verrou are presented, along with examples illustrating the interest of these new features for industrial codes such as code aster. More specifically, the Verrou arithmetic back-ends now allow analyzing or emulating mixed-precision programs. Interlibm, an interposition layer for the mathematical library, is introduced to mitigate long-standing issues with algorithms from the libm. Finally, debugging algorithms are extended in order to produce useful information as soon as it is available. All these features are available in released version 2.1.0 and upcoming version 2.2.0.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available