FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
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 syst...
Gespeichert in:
Hauptverfasser: | , , , , |
---|---|
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 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. |
---|---|
DOI: | 10.48550/arxiv.2403.15632 |