Handling Floating-Point Exceptions in Numeric Programs

ACM Transactions on Programming Languages and Systems

Volumn 18, Issue 2, 1996, Pages 139-174

  Hauser, John R ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Algorithms; D.3.0 Programming Languages : General standards; D.3.2 Programming Languages : Language Constructs and Features control structures; Design; G.1.0 Numerical Analysis : General computer arithmetic; Languages; Numerical algorithms

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEMS PROGRAMMING; DIGITAL ARITHMETIC; NUMERICAL ANALYSIS;

FLOATING POINT EXCEPTIONS; NUMERIC CODE; OVERFLOW EXCEPTIONS; UNDERFLOW EXCEPTIONS;

HIGH LEVEL LANGUAGES;

EID: 0030100969     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/227699.227701     Document Type: Article

References (60)

1. ANDERSON, E., BAI, Z., BISCHOF, C., DEMMEL, J., DONGARRA, J., DU CROZ, J., GREENBAUM, A., HAMMARLING, S., MCKENNEY, A., OSTROUCHOV, S., AND SORENSEN, D. 1995. LAPACK Users' Guide, Release 2.0. SIAM, Philadelphia, Pa.
2. ANSI. 1983. American National Standard Reference Manual for the Ada Programming Language. ANSI/MIL-STD 1815A-1983. American National Standards Institute, New York.
3. ANSI. 1995. Americal National Standard for Information Technology - Programming Languages - Ada. ANSI/ISO/IEC 8652-1995. American National Standards Institute, New York.
4. APOSTOL, T. M. 1974. Mathematical Analysis, 2d ed. Addison-Wesley, Reading, Mass.
5. ASSADULLAH, M. M., DEMMEL, J., FIGUEROA, S., GREENBAUM, A., AND MCKENNEY, A. 1992. On finding eigenvalues and singular values by bisection. LAPACK Working Note 19.
6. BLUE, J. L. 1978. A portable Fortran program to find the Euclidean norm of a vector. ACM Trans. Math. Softw. 4, 1 (Mar.), 15-23.
7. BROWN, W. S. 1981. A simple but realistic model of floating-point computation. ACM Trans. Math. Softw. 7, 4 (Dec.), 445-480.
8. CLENSHAW, C. W. AND OLVER, F. W. J. 1984. Beyond floating point. J. ACM 31, 2 (Apr.), 319-328.
9. CLENSHAW, C. W. AND OLVER, F. W. J. 1987. Level-index arithmetic operations. SIAM J. Num. Anal. 24, 2 (Apr.), 470-485.
10. CLENSHAW, C. W. AND TURNER, P. R. 1988. The symmetric level-index system. IMA J. Num. Anal. 8, 4 (Oct.), 517-526.
11. CODY, W. J. 1981. Analysis of proposals for the floating-point standard. Computer 14, 3 (Mar.), 63-68.
12. COONEN, J., KAHAN, W., PALMER, J., PITTMAN, T., AND STEVENSON, D. 1979. A proposed standard for binary floating point arithmetic. SIGNUM Newslett. 14, 4-12. Special issue.
13. COONEN, J. T. 1980. An implementation guide to a proposed standard for floating-point arithmetic. Computer 13, 1 (Jan.), 68-79.
14. COONEN, J. T. 1981. Underflow and the denormalized numbers. Computer 14, 3 (Mar.), 75-87.
15. DEC. 1992. Alpha Architecture Handbook. Digital Equipment Corporation, Maynard, Mass.
16. DEMMEL, J. 1981. Effects of underflow on solving linear systems. In Proceedings of the 5th Symposium on Computer Arithmetic. IEEE Computer Society Press, New York, 113-119.
17. DEMMEL, J. 1984. Underflow and the reliability of numerical software. SIAM J. Sci. Stat. Comput. 5, 4 (Dec.), 887-919.
18. DEMMEL, J., DHILLON, I., AND REN, H. 1994. On the correctness of parallel bisection in floating point. Tech. Rep. UCB//CSD-94-805, Computer Science Division, Univ. of California, Berkeley, Calif. Also available as LAPACK Working Note 70, http://www.netlib.org/lapack/lawns/lawn70.ps.
19. DEMMEL, J., DHILLON, I., AND REN, H. 1994. On the correctness of parallel bisection in floating point. Tech. Rep. UCB//CSD-94-805, Computer Science Division, Univ. of California, Berkeley, Calif. Also available as LAPACK Working Note 70, http://www.netlib.org/lapack/lawns/lawn70.ps.
20. DEMMEL, J. W. 1987. On error analysis in arithmetic with varying relative precision. In Proceedings of the 8th Symposium on Computer Arithmetic, M. J. Irwin and R. Stefanelli, Eds. IEEE Computer Society Press, Washington, D.C., 148-152.
21. DEMMEL, J. W. AND LI, X. 1994. Faster numerical algorithms via exception handling. IEEE Trans. Comput. 43, 8 (Aug.), 983-992.
22. DONGARRA, J., BUNCH, J., MOLER, C., AND STEWART, G. W. 1979. LINPACK User's Guide. SIAM, Philadelphia, Pa.
23. FELDMAN, S. 1981. Language support for floating point. In Proceedings of the IFIP TC 2 Working Conference on the Relationship between Numerical Computation and Programming Languages, J. K. Reid, Ed. North-Holland, Amsterdam, 263-274.
24. FOLLAND, G. B. 1984. Real Analysis: Modern Techniques and Their Applications. John Wiley and Sons, New York.
25. FRALEY, B. AND WALTHER, S. 1979. Proposal to eliminate denormalized numbers. SIGNUM Newslett. 14, 22-23. Special issue.
26. GOLDBERG, D. 1991. What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23, 1 (Mar.), 5-48.
27. HAMADA, H. 1987. A new real number representation and its operation. In Proceedings of the 8th Symposium on Computer Arithmetic, M. J. Irwin and R. Stefanelli, Eds. IEEE Computer Society Press, Washington, D.C., 153-157.
28. HAUSER, J. R. 1994. Programmed exception handling. M.S. thesis, Univ. of California, Berkeley, Calif.
29. HENNESSY, J. L. AND PATTERSON, D. A. 1990. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, San Mateo, Calif.
30. HOUGH, D. 1981. Applications of the proposed IEEE 754 Standard for floating-point arithmetic. Computer 14, 3 (Mar.), 70-74.
31. HULL, T. E. 1981. The use of controlled precision. In Proceedings of the IFIP TC 2 Working Conference on the Relationship between Numerical Computation and Programming Languages, J. K. Reid, Ed. North-Holland, Amsterdam, 71-84.
32. HULL, T. E., FAIRGRIEVE, T. F., AND TANG, P. T. P. 1994. Implementing complex elementary functions using exception handling. ACM Trans. Math. Softw. 20, 2 (June), 215-244.
33. HWU, W. W. AND PATT, Y. N. 1987. Checkpoint repair for out-of-order execution machines. In Proceedings of the 14th Annual International Symposium on Computer Architecture. IEEE Computer Society Press, Washington, D.C., 18-26.
34. IEC. 1989. Binary Floating-Point Arithmetic for Microprocessor Systems. IEC 559:1989. International Electrotechnical Commission, Geneva.
35. IEEE. 1985. IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std 754-1985. Institute of Electrical and Electronics Engineers, New York.
36. IEEE TASK P754. 1981. A proposed standard for binary floating-point arithmetic. Computer 14, 3 (Mar.), 51-62. With introductory comments by David Stevenson.
37. ISO. 1990. Programming Languages - C. ISO/IEC 9899:1990(E). International Standards Organization, Geneva.
38. ISO. 1994. Information Technology - Language Independent Arithmetic - Part 1: Integer and Floating Point Arithmetic. ISO/IEC 10967-1:1994(E). International Standards Organization, Geneva.
39. ISO. 1995a. Information Technology - Programming Language - Ada. ISO/IEC 8652:1995. International Standards Organization, Geneva.
40. ISO. 1995b. Information Technology - Programming Languages, Their Environments and System Software Interfaces - Programming Language C++. ISO/IEC CD 14882. International Standards Organization, Geneva.
41. JOHNSON, M. 1991. Superscalar Microprocessor Design. Prentice-Hall, Englewood Cliffs, N.J.
42. KAHAN, W. 1986. Branch cuts for complex elementary functions; or much ado about nothing's sign bit. In Proceedings of the Joint IMA/SIAM Conference on the State of the Art in Numerical Analysis. Clarendon Press, Oxford, England, 165-211.
43. KAHAN, W. AND PALMER, J. 1979. On a proposed floating-point standard. SIGNUM Newslett. 14, 13-21. Special issue.
44. KAHAN, W. M. 1980. Interval arithmetic options in the proposed IEEE Floating Point Standard. In Proceedings of the International Symposium on Interval Mathematics. Academic Press, New York, 99-128.
45. KNUTH, D. E. 1992. Two notes on notation. Am. Math. Mon. 99, 5 (May), 403-422.
46. KOENIG, A. AND STROUSTRUP, B. 1993. Exception handling for C++. In The Evolution of C++: Language Design in the Marketplace of Ideas, J. Waldo, Ed. MIT Press, Cambridge, Mass., 137-171.
47. LYNCH, T. W. AND SWARTZLANDER, E. E. 1991. A formalization for computer arithmetic. In Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing, L. Atanassova and J. Herzberger, Eds. North-Holland, Amsterdam, 137-145.
48. MATSUI, S. AND IRI, M. 1981. An overflow/underflow-free floating-point representation of numbers. J. Inf. Process. 4, 3, 123-133.
49. OLVER, F. W. J. 1987. A closed computer arithmetic. In Proceedings of the 8th Symposium on Computer Arithmetic, M. J. Irwin and R. Stefanelli, Eds. IEEE Computer Society Press, Washington, D.C., 139-143.
50. PARLETT, B. 1979. An open letter to the community of computer users. SIGNUM Newslett. 14, 2-3. Special issue.
51. PAYNB, M. H. 1979. Floating point standardization. In Proceedings of the 19th IEEE Computer Society International Conference. Institute of Electrical and Electronics Engineers, New York, 166-169.
52. SITES, R. L. 1993. Alpha AXP architecture. Commun. ACM 36, 2 (Feb.), 33-44.
53. SMITH, B. T., BOYLE, J. M., DONGARRA, J. J., GARBOW, B. S., IKEBE, Y., KLEMA, V. C., AND MOLER, C. B. 1976. Matrix Eigensystem Routines: EISPACK Guide. Lecture Notes in Computer Science, vol. 6. Springer-Verlag, Berlin.
54. SMITH, J. E. AND PLESZKUN, A. R. 1985. Implementation of precise interrupts in pipelined processors. In Proceedings of the 12th Annual International Symposium on Computer Architecture. IEEE Computer Society Press, Silver Springs, Md., 36-44.
55. SMITH, J. M., OLVER, F. W. J., AND LOZIER, D. W. 1981. Extended-range arithmetic and normalized Legendre polynomials. ACM Trans. Math. Softw. 7, 1 (Mar.), 93-105.
56. SOHI, G. S. AND VAJAPEYAM, S. 1987. Instruction issue logic for high-performance, interruptible pipelined processors. In Proceedings of the 14th Annual International Symposium on Computer Architecture. IEEE Computer Society Press, Washington, D.C., 27-34.
57. STERBENZ, P. H. 1974. Floating-point Computation. Prentice-Hall, Englewood Cliffs, N.J., 39-70.
58. STROUSTRUP, B. 1991. The C++ Programming Language, 2d ed. Addison-Wesley, Reading, Mass.
59. TURNER, P. R. 1989. A software implementation of sli arithmetic. In Proceedings of the 9th Symposium on Computer Arithmetic. IEEE Computer Society Press, Washington, D.C., 18-24.
60. TURNER, P. R. 1993. Complex SLI arithmetic: Representation, algorithms and analysis. In Proceedings of the 11th Symposium on Computer Arithmetic, E. Swartzlander Jr., M. J. Irwin, and G. Jullian, Eds. IEEE Computer Society Press, Los Alamitos, Calif., 18-25.