Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic

被引:13
|
作者
Fasi, Massimiliano [1 ]
Mikaitis, Mantas [2 ]
机构
[1] Orebro Univ, Sch Sci & Technol, S-70182 Orebro, Sweden
[2] Univ Manchester, Dept Math, Manchester M13 9PL, Lancs, England
基金
英国工程与自然科学研究理事会;
关键词
Stochastic processes; Hardware; Standards; Tools; Software; Libraries; Monte Carlo methods; Floating-point arithmetic; error-free transformation; stochastic rounding; numerical analysis; numerical algorithm; IEEE; 754;
D O I
10.1109/TETC.2021.3069165
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We present algorithms for performing the five elementary arithmetic operations (+, -, x, divided by, and root) in floating point arithmetic with stochastic rounding, and demonstrate the value of these algorithms by discussing various applications where stochastic rounding is beneficial. The algorithms require that the hardware be compliant with the IEEE 754 floating-point standard and that a floating-point pseudorandom number generator be available. The goal of these techniques is to emulate stochastic rounding when the underlying hardware does not support this rounding mode, as is the case for most existing CPUs and GPUs. By simulating stochastic rounding in software, one has the possibility to explore the behavior of this rounding mode and develop new algorithms even without having access to hardware implementing stochastic rounding- once such hardware becomes available, it suffices to replace the proposed algorithms by calls to the corresponding hardware routines. When stochastically rounding double precision operations, the algorithms we propose are between 7.3 and 19 times faster than the implementations that use the GNU MPFR library to simulate extended precision. We test our algorithms on various tasks, including summation algorithms and solvers for ordinary differential equations, where stochastic rounding is expected to bring advantages.
引用
收藏
页码:1451 / 1466
页数:16
相关论文
共 50 条
  • [1] Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
    Fasi, Massimiliano
    Mikaitis, Mantas
    2021 IEEE 28TH SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH 2021), 2021, : 69 - 69
  • [2] Revisions to the IEEE 754 standard for floating-point arithmetic
    Schwarz, E
    16TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2003, : 112 - 112
  • [3] An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
    Brain, Martin
    Tinelli, Cesare
    Rummer, Philipp
    Wahl, Thomas
    IEEE 22ND SYMPOSIUM ON COMPUTER ARITHMETIC ARITH 22, 2015, : 160 - 167
  • [4] Correct approximation of IEEE 754 floating-point arithmetic for program verification
    Bagnara, Roberto
    Bagnara, Abramo
    Biselli, Fabio
    Chiari, Michele
    Gori, Roberta
    CONSTRAINTS, 2022, 27 (1-2) : 29 - 69
  • [5] APPLICATIONS OF THE PROPOSED IEEE-754 STANDARD FOR FLOATING-POINT ARITHMETIC
    HOUGH, D
    COMPUTER, 1981, 14 (03) : 70 - 74
  • [6] Correct approximation of IEEE 754 floating-point arithmetic for program verification
    Roberto Bagnara
    Abramo Bagnara
    Fabio Biselli
    Michele Chiari
    Roberta Gori
    Constraints, 2022, 27 : 29 - 69
  • [7] Software implementation of the IEEE 754R decimal floating-point arithmetic
    Cornea, Marius
    Anderson, Cristina
    Tsen, Charles
    SOFTWARE AND DATA TECHNOLOGIES, 2008, 10 : 97 - 109
  • [8] Software implementation of the IEEE 754R decimal floating-point arithmetic
    Cornea, Marius
    Anderson, Cristina
    Tsen, Charles
    ICSOFT 2006: Proceedings of the First International Conference on Software and Data Technologies, Vol 1, 2006, : 13 - 20
  • [9] RADIX CONVERSION FOR IEEE754-2008 MIXED RADIX FLOATING-POINT ARITHMETIC
    Kupriianova, Olga
    Lauter, Christoph
    Muller, Jean-Michel
    2013 ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS, 2013, : 1134 - 1138
  • [10] A floating-point unit using stochastic arithmetic compliant with the IEEE-754 standard
    Chotin, R
    Mehrez, H
    ICES 2002: 9TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS I-111, CONFERENCE PROCEEDINGS, 2002, : 603 - 606