Floating-point profiling of ACTS using Verrou

Hadrien Grasland (1) , François Févotte (2) , Bruno Lathuilière (2) , David Chamont (3)

1 LAL - Laboratoire de l'Accélérateur Linéaire
2 EDF - EDF
3 LLR - Laboratoire Leprince-Ringuet

Floating-point computations play a central role in scientific computing. Achieving high numerical stability in these computations affects not just correctness, but also computing efficiency, by accelerating the convergence of iterative methods and expanding the available choices of precision. The ACTS project aims at establishing an experiment-agnostic track reconstruction toolkit. It originates from the ATLAS Run2 tracking software and has already received strong adoption by FCC-hh. It is also being evaluated for possible use by the CLICdp and Belle 2 experiments. In this study, Verrou, a Valgrind-based tool for dynamic instrumentation of floating-point computations, was applied to the ACTS codebase for the dual purpose of evaluating its numerical stability and investigating possible avenues for use of reduced-precision arithmetic.

Domaines: Analyse numérique [cs.NA]; Physique Numérique [physics.comp-ph]; Physique des Hautes Energies - Expérience [hep-ex]

Hadrien Grasland, François Févotte, Bruno Lathuilière, David Chamont. Floating-point profiling of ACTS using Verrou. CHEP 2018, Jul 2018, Sofia, Bulgaria. ⟨hal-02116915⟩