Interval computation is widely used to certify computations that use floating point operations to avoid pitfalls related to rounding error introduced by inaccurate operations. Despite its popularity and practical benefits, support for interval arithmetic is not standardized nor available in mainstream programming languages. We propose the first benchmark for interval computations, coupled with reference solutions computed with exact arithmetic, and compare popular C and C++ libraries over different architectures, operating systems, and compilers. The benchmark allows identifying limitations in existing implementations, and provides a reliable guide on which library to use on each system. We believe that our benchmark will be useful for developers of future interval libraries, as a way to test the correctness and performance of their algorithms.
翻译:使用浮动点操作来证明计算方法,以避免与不准确操作造成的四舍五入错误有关的陷阱。尽管其普及性和实用性有好处,但是对间隔算术的支持并不标准化,主流编程语言中也没有这种支持。我们提出了间隔计算的第一个基准,加上精确算术的参考解决方案,并将流行的C和C++图书馆与不同的结构、操作系统和编译者进行比较。该基准可以确定现有实施中的局限性,并提供可靠的指南,供图书馆对每个系统使用。我们认为,我们的基准对于未来间隔图书馆的开发者是有用的,可以用来测试其算法的正确性和性能。