Towards the post-ultimate libm

This article presents advances on the subject of correctly rounded elementary functions since the publication of the libultim mathematical library developed by Ziv at IBM. This library showed that the average performance and memory overhead of correct rounding could be made negligible. However, the...

Full description

Saved in:
Bibliographic Details
Published in17th IEEE Symposium on Computer Arithmetic (ARITH'05) pp. 288 - 295
Main Authors de Dinechin, F., Ershov, A.V., Cast, N.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2005
Subjects
Code standards
Digital arithmetic
Error correction
Floating-point arithmetic
Libraries
Operating systems
Portable computers
Online AccessGet full text
ISBN9780769523668
0769523668
ISSN1063-6889
DOI10.1109/ARITH.2005.46

Cover

More Information
Summary:This article presents advances on the subject of correctly rounded elementary functions since the publication of the libultim mathematical library developed by Ziv at IBM. This library showed that the average performance and memory overhead of correct rounding could be made negligible. However, the worst-case overhead was still a factor 1000 or more. It is shown that, with current processor technology, this worst-case overhead can be kept within a factor of 2 to 10 of current best libms. This low overhead has very positive consequences on the techniques for implementing and proving correctly rounded functions, which are also studied. These results lift the last technical obstacles to a generalisation of (at least some) correctly rounded double precision elementary functions.
ISBN:9780769523668
0769523668
ISSN:1063-6889
DOI:10.1109/ARITH.2005.46