GCC对ISO 18037:2008标准定点算术实现的舍入问题
数学软件
2020-08-11 v3
摘要
我们描述了由\textit{gcc}编译器定点算术数据类型与运算实现中缺乏就近舍入模式所引起的各类问题。我们证明，在常量转换、从一种数值类型向精度较低类型的转换以及乘法结果中均未执行就近舍入。此外，我们表明定点算术中的混合精度运算在算术操作执行前就已在操作数上损失精度。ISO 18037:2008标准旨在标准化C语言扩展（包括定点算术）以用于嵌入式系统。嵌入式系统通常基于ARM处理器，迄今已制造约1000亿颗。因此，鉴于这些嵌入式系统所运行的广泛应用类型，我们本文讨论的数值问题观察结果可能相当危险且亟需解决。
引用
@article{arxiv.2001.01496,
title = {Issues with rounding in the GCC implementation of the ISO 18037:2008 standard fixed-point arithmetic},
author = {Mantas Mikaitis},
journal= {arXiv preprint arXiv:2001.01496},
year = {2020}
}
备注
To appear in the proceedings of the 27th IEEE Symposium on Computer Arithmetic