FlowFPX.
Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan

Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a common occurrence and can propagate through code, leading to flawed results. This paper presents FlowFPX, a toolkit for systematically debugging floating-point exceptions by recording their flow, coalescing exception contexts, and fuzzing in select locations. These tools help scientists discover when exceptions happen and track down their origin, smoothing the way to a reliable codebase.

Components:

• TrackedFloats.jl for logging and fuzzing exceptional values in Julia code:
  https://github.com/utahplt/TrackedFloats.jl
  • Examples: https://github.com/utahplt/FloatTrackerExamples
• Coalesced Stack-Trace Graphs (CSTGs) for summarizing logs:
  https://github.com/utahplt/CSTG
• GPU-FPX for logging exceptions in NVIDIA GPU kernels:
  https://github.com/LLNL/GPU-FPX

Resources:

• JuliaCon 2023:
  • talk recording: https://www.youtube.com/live/rMrHCM1Etng?feature=share&t=10146
  • slides: https://lambdaland.org/files/JuliaCon%202023%20FlowFPX.pdf
  • paper: https://github.com/utahplt/juliacon2023-paper
• Poster: https://lambdaland.org/files/flowfpx_poster.pdf

CSTG

Combine stack frames into a tree highlighting common paths:

Fuzzing

Configure an injector, set up a recording file: