作者在缺乏硬件FMA支持的设备上，依据2008年Coq形式化验证论文实现了基于SIMD的软件FMA算法。测试过程中发现Rust标准库和musl libc均存在微妙的FMA计算错误。Firefox硬件调查显示约15%的机器缺乏带硬件FMA的AVX2，因此精确模拟至关重要。
背景
FMA（融合乘法加法）是一种基础浮点运算，以单次舍入计算a*b+c，对sin/cos等数学函数的高精度实现至关重要。许多系统缺乏硬件FMA支持，需要通过SIMD指令进行软件模拟。
- 来源
- Lobsters
- 发布时间
- 2026年9月3日 00:19
- 评分
- 7.0 / 10