Skip to main content
SpringerLink
Log in

Discrete Stochastic Arithmetic for Validating Results of Numerical Software

  • Published:
Numerical Algorithms Aims and scope Submit manuscript

Abstract

The Discrete Stochastic Arithmetic DSA is a probabilistic approach for round-off error propagation. After a brief review of the CESTAC (Controle et Estimation Stochastique des Arrondis de Calculs) method, which is the basis of DSA, the concept of the “informatical zero”, also called “computational zero”, is defined. The stochastic order relations of the DSA are presented. The DSA is the joint use of the synchronous implementation of the CESTAC method and the stochastic order relations. After having summarized the asynchronous implementation of the CESTAC method, which has been used in the Prosolver software, and which has been legitimately criticized, the synchronous implementation is presented. Then the CADNA (Control of Accuracy and Debugging for Numerical Application) library which implements the DSA arithmetic is presented. It is shown that this library is able to dynamically control the validity of the hypotheses which must hold so that results provided by CESTAC method are reliable. If the hypotheses do not hold then warnings are printed in a special file. The user is informed that numerical anomalies have been detected. Depending on these warnings the user may conclude either that the results obtained are not reliable and that they cannot be correctly computed with this computer, or he may try to debug his code. It is shown that the numerical examples that support the criticisms and which make the Prosolver software fail, do not jeopardize the CADNA library.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J.-M. Chesneaux, Modélisation théorique et conditions de validité de la méthode CESTAC, C. R. Acad. Sci. Paris Sér. 1 307 (1988) 417–422.

    Google Scholar 

  2. J.-M. Chesneaux, Study of the computing accuracy by using probabilistic approach, in: Contribution to Computer Arithmetic and Self Validating Numerical Methods (IMACS, New Brunswick, NJ, 1990) pp. 19–30.

    Google Scholar 

  3. J.-M. Chesneaux, CADNA: An ADA tool for round-off errors analysis and for numerical debugging, in: Congres on ADA in Aerospace, Barcelone, 1990, pp. 390–396.

  4. J.-M. Chesneaux, The equality relations in scientific computing, Numer. Algorithms 7 (1994) 129–143.

    Google Scholar 

  5. J.-M. Chesneaux, L'arithmétique Stochastique et le Logiciel CADNA, Habilitation à diriger les recherches, Université Pierre et Marie Curie (1995).

  6. J.-M. Chesneaux et J. Vignes, Sur la robustesse de la méthode CESTAC, C. R. Acad. Sci. Paris Sér. 1 307 (1988) 855–860.

    Google Scholar 

  7. J.-M. Chesneaux and J. Vignes, Les fondements de l'arithmétique stochastique, C. R. Acad. Sci. Paris Sér. 1 315 (1992) 1435–1440.

    Google Scholar 

  8. M. Daumas and J.M. Muller, Qualité des Calculs sur Ordinateur (Masson, Paris, 1997).

    Google Scholar 

  9. W. Kahan, The improbability of probabilistic error analyses for numerical computations, in: UCB Statistics Colloquium, Evans Hall, 1996. PostScript file: http://www.cs.berkeley.edu/wkahan/improber.ps.

  10. D.S. Parker, Monte Carlo arithmetic: Exploiting randomness in floating-point arithmetic, Report of Computer Science Department, UCLA, Los Angeles (30 March 1997).

    Google Scholar 

  11. D.S. Parker, Brad Pierce and P.R. Eggert, Monte Carlo arithmetic: How to gamble with floating point and win, Comput. Sci. Engrg. (2000) 58–68.

  12. M. Pichat, Ingéniérie du Contrôle de la Précision des Calculs sur Ordinateur (Technip, Paris, 1993).

    Google Scholar 

  13. S.G. Popovitch, Prosolver la Commande Electronique, France (Ashton-Tape, USA, 1987).

    Google Scholar 

  14. J. Vignes, Error analysis in computing, in: International Federation for Information Processing Congress, Stockholm, August 1974, pp. 610–614.

  15. J. Vignes, New methods for evaluating the validity of the results of mathematical computations. Math. Comput. Simulation 20 (1978) 227–249.

    Google Scholar 

  16. J. Vignes, Zéro mathématique et zéro informatique, in: La Vie des Sciences, Comptes Rendus de l'Académie de Sciences, Vol. 4 (1987) pp. 1–13.

    Google Scholar 

  17. J. Vignes, A stochastic arithmetic for reliable computation, Math. Comput. Simulation 35 (1993) 233–261.

    Article  Google Scholar 

  18. J. Vignes, A stochastic approach to the analysis of round-off error propagation, A survey of the CESTAC method, in: Proc. of Real Numbers and Computer Conf., Marseille, 1996, pp. 233–251.

Download references

Author information

Authors and Affiliations

  1. University Paris VI, LIP6 Laboratory, 4, place Jussieu, 75252, Paris Cedex 05, France

    Jean Vignes

Authors
  1. Jean Vignes
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vignes, J. Discrete Stochastic Arithmetic for Validating Results of Numerical Software. Numerical Algorithms 37, 377–390 (2004). https://doi.org/10.1023/B:NUMA.0000049483.75679.ce

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:NUMA.0000049483.75679.ce

Search

Navigation