Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit

ACM Transactions on Mathematical Software

Volumn 29, Issue 1, 2003, Pages 47-48

  Nievergelt, Yves ^a  

^a EASTERN WASHINGTON UNIVERSITY   (United States)

Author keywords

Doubly compensated summation; Floating point arithmetic; Fused multiply add instruction; Matrix arithmetic; Provable accuracy; Rounding error

Indexed keywords

ALGORITHMS; COMPUTER GRAPHICS; ERROR ANALYSIS; HIGH LEVEL LANGUAGES; LINEAR SYSTEMS; MATRIX ALGEBRA; POLYNOMIALS; STANDARDIZATION;

DOUBLY COMPENSATED SUMMATION; FUSED MULTIPLY-ADD INSTRUCTION; MATRIX ARITHMETIC; PROVABLE ACCURACY; ROUNDING ERRORS;

DIGITAL ARITHMETIC;

EID: 10844263523     PISSN: 00983500     EISSN: None     Source Type: Journal    
DOI: 10.1145/641876.641878     Document Type: Article

References (49)

1. ABBOTT, P. H., BRASH, D. G., CLARK, C. W. III, CRONE, C. J., EHRMAN, J. R., EWART, G. W., GOODRICH, C. A., HACK, M., KAPERNICK, J. S., MINCHAU, B. J., SHEPARD, W. C., R. M. SMITH, S., TALLMAN, R., WALKOWIAK, S., WATANABE, A., AND WHITE, W. R. 1999. Architecture and software support in IBM S/390 parallel enterprise servers for IEEE floating-point arithmetic. IBM J. Res. Develop. 43, 5/6 (Sept./Nov.), 723-760.
2. APPLE COMPUTER, INC. 2002. Altivec instruction cross-reference, http://developer.apple.com/hardware/ve/instructions/vec_madd.html.
3. BIRKHOFF, G. AND MACLANE, S. 1977. A Survey of Modern Algebra, 4th ed. Macmillan, New York, NY.
4. BLEHER, J. H. 2001. Elements of scientific computing. In Perspectives on Enclosure Methods, U. Kulisch, R. Lohner, and A. Facius, Eds. Springer-Verlag, New York, 99-103.
5. CHANDRASEKHARAN, K. 1985. Elliptic Functions. Springer-Verlag, Berlin-Heidelberg-New York.
6. CHORIN, A. J. AND MARSDEN, J. E. 1993. A Mathematical Introduction to Fluid Mechanics, 3rd ed. Texts in Applied Mathematics, vol. 4. Springer-Verlag, New York, N.Y.
7. COAN, J. S. 1977. Advanced Basic: Applications and Problems. Hayden, Rochelle Park, N.J.
8. COLEMAN, T. F. AND VAN LOAN, C. 1988. Handbook for Matrix Computations. Society for Industrial and Applied Mathematics, Philadelphia, Pa.
9. DEKKER, T. J. 1971. A floating-point technique for extending the available precision. Num. Math. 18, 224-242.
10. DEMMEL, J. AND KAHAN, W. 1990. Accurate singular values of bidiagonal matrices. SIAM J. Sci. Stat. Comput. 11, 5 (Sept.), 873-912.
11. DICKSON, L. E. 1914. Elementary Theory of Equations. Wiley, London, UK.
12. DUFF, I. S. 1996. Foreword. In Lectures on Finite Precisikon Computations. Society for Industrial and Applied Mathematics, Philadelphia, Pa, xiii-xiv.
13. FORSYTHE, G. E. 1970. Pitfalls in computation, or why a math book isn't enough. Amer. Math. Monthly 77, 9 (Nov.), 931-956.
14. GOHLENDER, G. AND GRÜNER, K. 1983. Realization of an optimal computer arithmetic. In A New Approach to Scientific Computing, U. W. Kulisch and W. L. Miranker, Eds. Notes and Reports in Computer Science and Applied Mathematics, vol. 7. Academic Press, New York, N.Y. 247-268.
15. GOLDBERG, D. 1991. What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23, 1 (Mar.), 5-48.
16. GOLUB, G. H. AND VAN LOAN, C. F. 1989. Matrix Computations, 2nd ed. Johns Hopkins University Press, Baltimore, Md.
17. GRANDINE, T. A. 2000. Applications of contouring. SIAM Rev. 42, 2 (June), 297-316.
18. HAMMER, R., NEAGA, M., AND RATZ, D. 1993. PASCAL-XSC: New concepts for scientific computation and numerical data processing. In Scientific Computing with Automatic Result Verification, E. Adams and U. Kulisch, Eds. Mathematics in Science and Engineering, vol. 189. Academic Press, Orlando, Fla., 15-44.
19. HENRICI, P. 1982. Essentials of Numerical Analysis with Pocket Calculator Demonstrations. Wiley, New York.
20. HEWLETT-PACKARD Co. 1984. HP-15C Advanced Functions Handbook. Hewlett-Packard Co., Corvallis Division, 1000 NE Circle Blvd., Corvallis, OR 97330, USA.
21. HEWLETT-PACKARD Co. 1986. HP-28C Reference Manual, 1st ed. Hewlett-Packard Co., Corvallis Division, 1000 NE Circle Blvd., Corvallis, OR 97330, USA.
22. HEWLETT-PACKARD Co. 1987. HP-28S Reference Manual, 1st ed. Hewlett-Packard Co., Corvallis Division, 1000 NE Circle Blvd., Corvallis, OR 97330, USA.
23. HEWLETT-PACKARD Co. 1990. HP 48SX Scientific Expandable Calculator Owner's Manual, 1st ed. Hewlett-Packard Co., Corvallis Division, 1000 NE Circle Blvd., Corvallis, OR 97330, USA.
24. HEWLETT-PACKARD CO. 1994. HP 48G Series User's Guide, 7th ed. Hewlett-Packard Co., Corvallis Division, 1000 NE Circle Blvd., Corvallis, OR 97330, USA.
25. HIGHAM, N. J. 1996. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, Pa.
26. HOKENEK, E. AND MONTOYE, R. K. 1990. Loading-zero anticipator (LZA) in the IBM RISC System/6000 floating-point execution unit. IBM J. Res. Devel. 34, 1 (Jan.), 71-77.
27. INSTITUTE OF ELECTRICAL AND ELECTRONIC ENGINEERS. 1985. IEEE Standard for Binary Floating-point Arithmetic (ANSI/IEEE Std 754-1985). Institute of Electrical and Electronic Engineers, 345 East 47th Street, New York, NY 10017.
28. INSTITUTE OF ELECTRICAL AND ELECTRONIC ENGINEERS. 1987. IEEE Standard for Radix-Independent Floating-Point Arithmetic (ANSI/IEEE Std 854-1987). Institute of Electrical and Electronic Engineers, 345 East 47th Street, New York, NY 10017.
29. INTEL CORPORATION. 2001. Introducing the Intel Itanium architecture. In 2001: http:// developer.intel.com/software/products/itc/architec/itanium/arch_mod/index.htm; in 2002: http://www.intel.com/design/Itanium/index.htm.
30. KAHAN, W. M. 1972. A survey of error analysis. In Information Processing 71: Proceedings of IFIP Congress 71, Volume 2 - Applications, C. V. Freiman, Ed. 1214-1239.
31. KERNIGHAN, B. W. AND RITCHIE, D. M. 1988. The C Programming Language, 2nd ed. Prentice-Hall Software Series. Prentice-Hall, Englewood Cliffs, N.J.
32. KNUTH, D. E. 1998. The Art of Computer Programming, 2nd ed. Vol. 3: Sorting and Searching. Addison-Wesley, Reading, Mass.
33. KULISCH, U. W. AND MIRANKER, W. L. 1986. The arithmetic of the digital computer: A new approach. SIAM Rev. 28, 1 (Mar.), 1-40.
34. LAWO, C. 1993. C-XSC: A programming environment for verified scientific computating and numerical data processing. In Scientific Computing with Automatic Result Verification, E. Adams and U. Kulisch, Eds. Mathematics in Science and Engineering, vol. 189. Academic Press, Orlando, Fla., 71-86.
35. MARKSTEIN, P. W. 1990. Computation of elementary functions on the IBM RISC System/6000 processor. IBM J. Res. Devel. 34, 1 (Jan.), 111-119.
36. MONTOYE, R. K., HOKENEK, E., AND RUNYON, S. L. 1990. Design of the IBM RISC System/6000 floating-point execution unit. IBM J. Res. Devel. 34, 1 (Jan.), 59-70.
37. O'CONNELL, F. P. AND WHITE, S. W. 2000. POWER3: The next generation of PowerPC processors. IBM J. Res. Devel. 44, 6 (Nov.), 873-884.
38. OEHLER, R. R. AND GROVES, R. D. 1990. IBM RISC System/6000 processor architecture. IBM J. Res. Devel. 34, 1 (Jan.), 23-36.
39. O'ROURKE, J. 1993. Computational Geometry in C. Cambridge University Press, Cambridge, U.K.
40. OVERTON, M. L. 2001. Numerical Computing with IEEE Floating Point Arithmetic. Society for Industrial and Applied Mathematics, Philadelphia, Pa.
41. PRIEST, D. M. 1992. On properties of floating point arithmetics: Numerical stability and the cost of accurate computations. Ph.D. dissertation, University of California at Berkeley, Berkeley, CA. ftp://ftp.icsi.berkeley.edu/pub/theory/priest-thesis.ps.z.
42. SCHMOOKLER, M. S. 1980. Design of large ALUs using multiple PLA macros. IBM J. Res. Devel. 24, 1 (Jan.), 2-14.
43. SCOTT, A. P., BURKHART, K. P., KUMAR, A., BLUMBERG, R. M., AND RANSEN, G. L. 1997. Four-way superscalar PA-RISC processors. Hewlett-Packard J. 48, 2 (Aug.), 8-15.
44. STERBENZ, P. H. 1974. Floating-Point Computation. Prentice-Hall, Englewood Cliffs, N.J.
45. WALTER, W. V. 1993. ACRITH-XSC: A Fortran-like language for verified scientific computating. In Scientific Computing with Automatic Result Verification, E. Adams and U. Kulisch, Eds. Mathematics in Science and Engineering, vol. 189. Academic Press, Orlando, Fla., 45-70.
46. WARREN, H. S., JR. 1990. Instruction scheduling for the IBM RISC System/6000 processor. IBM J. Res. Devel. 34, 1 (Jan.), 85-92.
47. WILKINSON, J. H. 1963. Rounding Errors in Algebraic Processes. Prentice-Hall Series in Automatic Computation. Prentice-Hall, Englewood Cliffs, N.J.
48. WILSON, I. R. AND ADDYMAN, A. M. 1978. A Practical Introduction to Pascal. Springer-Verlag, New York.
49. WOLFRAM, S. 1996. The Mathematica Book, 3rd ed. Wolfram Media, Champaign, Ill.