nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

6. Languages and Compilers

verfasst von : Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres

Erschienen in: Handbook of Floating-Point Arithmetic

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The previous chapters have given an overview of interesting properties and algorithms that can be built on an IEEE 754-compliant floating-point arithmetic. In this chapter, we discuss the practical issues encountered when trying to implement such algorithms in actual computers using actual programming languages. In particular, we discuss the relationship between standard compliance, portability, accuracy, and performance. This chapter is useful to programmers wishing to obtain a standard-compliant behavior from their programs, but it is also useful for understanding how performance may be improved by relaxing standard compliance and also what traps one may fall into.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Enhanced Floating-Point Sums, Dot Products, and Polynomial Values

Nächstes Kapitel Algorithms for the Basic Operations

This requirement was introduced in C89 and kept in the subsequent C99 and C11 standards. The original Kernighan and Ritchie C [333] allowed regrouping, even with explicit parentheses in expressions.

The International Standard Organization and the International Electrotechnical Commission are two sister international organizations whose members are, respectively, 163 national standard bodies and 83 national committees.

http://tigcc.ticalc.org/doc/float.html#FLT_RADIX.

VFP stands for “Vector Floating-Point” but the vector mode was removed shortly after its introduction.

See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61399 for instance.

The SPARC architecture has instructions for quadruple precision, but in practice, current processors generate traps to compute the results in software.

Details on https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37845, fixed for GCC 4.9.

The C11 standard still does not specify a power function with an integer type as the second argument.

Note, however, that this formalization just comes from an interpretation of the ISO C standard, which is written in plain English. Before version 2.5, CompCert behaved differently from other compilers by not rejecting a lexically invalid program.

When is_iec559 is true, the C++ standard mandates that infinities and NaNs are available.

round_style is a constant member. Therefore, it may well be set to the default round_to_nearest style, even if the architecture allows us to change the rounding direction on the fly.

For Python3: https://docs.python.org/3/reference/datamodel.html; For Python2: https://docs.python.org/2/reference/datamodel.html.

https://scipy.org/.

http://www.ecma-international.org/ecma-262/5.1/.

[11]

B. Amedro, V. Bodnartchouck, D. Caromel, C. Delbé, F. Huet, and G. L. Taboada. Current state of Java for HP. Preprint, Technical Report 0353, INRIA, 2008. Available at http://hal.inria.fr/inria-00312039/en.

[17]

ARM. ARM Developer Suite: Compilers and Libraries Guide. ARM Limited, November 2001. Available at http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0067d/index.html or in PDF at http://infocenter.arm.com/help/topic/com.arm.doc.dui0067d/DUI0067.pdf.

[18]

ARM. ARM Developer Suite: Developer Guide. ARM Limited, 1.2 edition, November 2001. Available at http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0056d/index.html or in PDF at http://infocenter.arm.com/help/topic/com.arm.doc.dui0056d/DUI0056.pdf.

[19]

ARM. ARM Compiler: armasm User Guide. ARM Limited, 6.7 edition, 2017. Available at http://infocenter.arm.com/help/topic/com.arm.doc.100069_0607_00_en/ or in PDF at http://infocenter.arm.com/help/topic/com.arm.doc.100069_0607_00_en/armasm_user_guide_100069_0607_00_en.pdf.

[51]

S. Boldo, J.-H. Jourdan, X. Leroy, and G. Melquiond. Verified compilation of floating-point computations. Journal of Automated Reasoning, 54(2):135–163, 2015.MathSciNetCrossRef

[152]

F. de Dinechin, E. McIntosh, and F. Schmidt. Massive tracking on heterogeneous platforms. In 9th International Computational Accelerator Physics Conference (ICAP), October 2006.

[214]

D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1):5–48, 1991. An edited reprint is available at https://docs.oracle.com/cd/E19059-01/fortec6u2/806-7996/806-7996.pdf from Sun’s Numerical Computation Guide; it contains an addendum Differences Among IEEE 754 Implementations, also available at http://www.validlab.com/goldberg/addendum.html.CrossRef

[220]

J. Gosling, B. Joy, G. Steele, G. Bracha, and A. Buckley. The Java Language Specification, Java SE 8 edition. Oracle, 2015.

[273]

International Organization for Standardization. Programming Languages – C. ISO/IEC Standard 9899:1999, Geneva, Switzerland, December 1999.

[275]

Rationale for International Standard—Programming Languages—C, 2003. Revision 5.10. Available at http://www.open-std.org/jtc1/sc22/wg14/www/C99RationaleV5.10.pdf.

[276]

International Organization for Standardization. Programming languages – Fortran – Part 1: Base language. International Standard ISO/IEC 1539-1:2004, 2004.

[278]

International Organization for Standardization. Programming Languages – C. ISO/IEC Standard 9899:2011, Geneva, Switzerland, November 2011.

[279]

International Organization for Standardization. Floating-point extensions for C – Part 1: Binary floating-point arithmetic. ISO/IEC Technical Specification 18661-1:2014, Geneva, Switzerland, July 2014.

[280]

International Organization for Standardization. Floating-point extensions for C – Part 2: Decimal floating-point arithmetic. ISO/IEC Technical Specification 18661-2:2015, Geneva, Switzerland, May 2015.

[281]

International Organization for Standardization. Floating-point extensions for C – Part 3: Interchange and extended types. ISO/IEC Technical Specification 18661-3:2015, Geneva, Switzerland, October 2015.

[282]

International Organization for Standardization. Floating-point extensions for C – Part 4: Supplementary functions. ISO/IEC Technical Specification 18661-4:2015, Geneva, Switzerland, October 2015.

[283]

International Organization for Standardization. Floating-point extensions for C – Part 5: Supplementary attributes. ISO/IEC Technical Specification 18661-5:2016, Geneva, Switzerland, August 2016.

[322]

W. Kahan and J. Darcy. How Java’s floating-point hurts everyone everywhere. Available at http://www.cs.berkeley.edu/~wkahan/JAVAhurt.pdf, 1998.

[333]

B. W. Kernighan and D. M. Ritchie. The C Programming Language. Prentice-Hall, Englewood Cliffs, NJ, 1978.MATH

[377]

V. Lefèvre. The Euclidean division implemented with a floating-point division and a floor. Research report RR-5604, INRIA, June 2005.

[383]

X. Leroy. Formal verification of a realistic compiler. Communications of the ACM, 52(7):107–115, 2009.CrossRef

[390]

T. Lindholm, F. Yellin, G. Bracha, and A. Buckley. The Java ^TM Virtual Machine Specification, Java SE 8 edition. Oracle, 2015.

[423]

D. Monniaux. The pitfalls of verifying floating-point computations. ACM TOPLAS, 30(3):1–41, 2008. A preliminary version is available at http://hal.archives-ouvertes.fr/hal-00128124.

[434]

S. Muchnik. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.

[578]

Sun. Numerical Computation Guide – Sun ^TM Studio 11, 2005. Available at http://docs.sun.com/source/819-3693/.

Titel: Languages and Compilers
verfasst von: Jean-Michel Muller
Nicolas Brunie
Florent de Dinechin
Claude-Pierre Jeannerod
Mioara Joldes
Vincent Lefèvre
Guillaume Melquiond
Nathalie Revol
Serge Torres
Verlag: Springer International Publishing
Buch: Handbook of Floating-Point Arithmetic
Print ISBN: 978-3-319-76525-9

Electronic ISBN: 978-3-319-76526-6

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-76526-6_6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"