Fast and Correct SIMD Algorithms for Interval Arithmetic

SIMD instructions on floating-point numbers have been readily available on ix86 computers for the past ten years or so. Almost from the start, they have been considered to compute the two bounds of intervals in parallel. Some authors reported marginal improvements over pure sequential computation, and those who reported otherwise had made choices that relinquished reliability. We discuss these works, pointing out their achievements and shortcomings, and then present data storage and SIMD algorithms that are both correct and much faster than the fastest routines in standard interval libraries.

[1]  H. Hagen,et al.  Interactive Ray Tracing of Arbitrary Implicits with SIMD Interval Arithmetic , 2007, 2007 IEEE Symposium on Interactive Ray Tracing.

[2]  M. Szularz,et al.  Vectorised/Semi-Parallel Interval Multiplication , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[3]  Walter Krämer,et al.  FILIB++, a fast interval library supporting containment computations , 2006, TOMS.

[4]  Jens H. Krüger,et al.  A Survey of General‐Purpose Computation on Graphics Hardware , 2007, Eurographics.

[5]  M. H. van Emden,et al.  Interval arithmetic: From principles to implementation , 2001, JACM.

[6]  Naga K. Govindaraju,et al.  A Survey of General‐Purpose Computation on Graphics Hardware , 2007 .

[7]  O. Knüppel,et al.  PROFIL/BIAS—A fast interval library , 1994, Computing.

[8]  Nilo Stolte.  Arbitrary 3D Resolution Discrete Ray Tracing of Implicit Surfaces , 2005, DGCI.

[9]  Branimir Lambov,et al.  Interval Arithmetic Using SSE-2 , 2008, Reliable Implementation of Real Number Algorithms.

[10]  Brian A. Wichmann,et al.  A Synthetic Benchmark , 1976, Comput. J..

[11]  Guillaume Melquiond,et al.  The design of the Boost interval arithmetic library , 2006, Theor. Comput. Sci..

[12]  Jürgen Wolff von Gudenberg.  Interval Arithmetic on Multimedia Architectures , 2002, Reliab. Comput..

[13]  F. Goualard.  TOWARDS GOOD C++ INTERVAL LIBRARIES: TRICKS AND TRAITS , 2000 .

[14]  Frédéric Goualard,et al.  A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations , 2008, 2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies.

[15]  Ansi Ieee,et al.  IEEE Standard for Binary Floating Point Arithmetic , 1985 .

[16]  Guido D. Salvucci,et al.  Ieee standard for binary floating-point arithmetic , 1985 .