当前位置:
X-MOL 学术
›
arXiv.cs.MS
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Issues with rounding in the GCC implementation of the ISO 18037:2008 standard fixed-point arithmetic
arXiv - CS - Mathematical Software Pub Date : 2020-01-06 , DOI: arxiv-2001.01496 Mantas Mikaitis
arXiv - CS - Mathematical Software Pub Date : 2020-01-06 , DOI: arxiv-2001.01496 Mantas Mikaitis
We describe various issues caused by the lack of round-to-nearest mode in the
\textit{gcc} compiler implementation of the fixed-point arithmetic data types
and operations. We demonstrate that round-to-nearest is not performed in the
conversion of constants, conversion from one numerical type to a less precise
type and results of multiplications. Furthermore, we show that mixed-precision
operations in fixed-point arithmetic lose precision on arguments, even before
carrying out arithmetic operations. The ISO 18037:2008 standard was created to
standardize C language extensions, including fixed-point arithmetic, for
embedded systems. Embedded systems are usually based on ARM processors, of
which approximately 100 billion have been manufactured by now. Therefore, the
observations about numerical issues that we discuss in this paper can be rather
dangerous and are important to address, given the wide ranging type of
applications that these embedded systems are running.
中文翻译:
ISO 18037:2008 标准定点算法的 GCC 实现中的舍入问题
我们描述了在定点算术数据类型和运算的 \textit{gcc} 编译器实现中缺乏舍入到最近模式导致的各种问题。我们证明了舍入到最近的转换不是在常量的转换、从一种数值类型到不太精确的类型的转换以及乘法结果中执行的。此外,我们表明,即使在执行算术运算之前,定点算术中的混合精度运算也会失去参数的精度。ISO 18037:2008 标准旨在标准化嵌入式系统的 C 语言扩展,包括定点算法。嵌入式系统通常基于 ARM 处理器,目前已经制造了大约 1000 亿个。所以,
更新日期:2020-08-11
中文翻译:
ISO 18037:2008 标准定点算法的 GCC 实现中的舍入问题
我们描述了在定点算术数据类型和运算的 \textit{gcc} 编译器实现中缺乏舍入到最近模式导致的各种问题。我们证明了舍入到最近的转换不是在常量的转换、从一种数值类型到不太精确的类型的转换以及乘法结果中执行的。此外,我们表明,即使在执行算术运算之前,定点算术中的混合精度运算也会失去参数的精度。ISO 18037:2008 标准旨在标准化嵌入式系统的 C 语言扩展,包括定点算法。嵌入式系统通常基于 ARM 处理器,目前已经制造了大约 1000 亿个。所以,