CADNA: a library for estimating round-off error propagation
The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can b...
Uloženo v:
| Vydáno v: | Computer physics communications Ročník 178; číslo 12; s. 933 - 955 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier B.V
15.06.2008
Elsevier |
| Témata: | |
| ISSN: | 0010-4655, 1879-2944 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications are required to control a code with CADNA, mainly changes in variable declarations, input and output. This paper describes the features of the CADNA library and shows how to interpret the information it provides concerning round-off error propagation in a code.
Program title:CADNA
Catalogue identifier:AEAT_v1_0
Program summary URL:
http://cpc.cs.qub.ac.uk/summaries/AEAT_v1_0.html
Program obtainable from:CPC Program Library, Queen's University, Belfast, N. Ireland
Licensing provisions:Standard CPC licence,
http://cpc.cs.qub.ac.uk/licence/licence.html
No. of lines in distributed program, including test data, etc.:53 420
No. of bytes in distributed program, including test data, etc.:566 495
Distribution format:tar.gz
Programming language:Fortran
Computer:PC running LINUX with an i686 or an ia64 processor, UNIX workstations including SUN, IBM
Operating system:LINUX, UNIX
Classification:4.14, 6.5, 20
Nature of problem:A simulation program which uses floating-point arithmetic generates round-off errors, due to the rounding performed at each assignment and at each arithmetic operation. Round-off error propagation may invalidate the result of a program. The CADNA library enables one to estimate round-off error propagation in any simulation program and to detect all numerical instabilities that may occur at run time.
Solution method:The CADNA library [1] implements Discrete Stochastic Arithmetic [2–4] which is based on a probabilistic model of round-off errors. The program is run several times with a random rounding mode generating different results each time. From this set of results, CADNA estimates the number of exact significant digits in the result that would have been computed with standard floating-point arithmetic.
Restrictions:CADNA requires a Fortran 90 (or newer) compiler. In the program to be linked with the CADNA library, round-off errors on complex variables cannot be estimated. Furthermore array functions such as
product or
sum must not be used. Only the arithmetic operators and the
abs,
min,
max and
sqrt functions can be used for arrays.
Running time:The version of a code which uses CADNA runs at least three times slower than its floating-point version. This cost depends on the computer architecture and can be higher if the detection of numerical instabilities is enabled. In this case, the cost may be related to the number of instabilities detected.
References:
[1]
The CADNA library, URL address:
http://www.lip6.fr/cadna.
[2]
J.-M. Chesneaux, L'arithmétique Stochastique et le Logiciel CADNA, Habilitation á diriger des recherches, Université Pierre et Marie Curie, Paris, 1995.
[3]
J. Vignes, A stochastic arithmetic for reliable scientific computation, Math. Comput. Simulation 35 (1993) 233–261.
[4]
J. Vignes, Discrete stochastic arithmetic for validating results of numerical software, Numer. Algorithms 37 (2004) 377–390. |
|---|---|
| AbstractList | The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications are required to control a code with CADNA, mainly changes in variable declarations, input and output. This paper describes the features of the CADNA library and shows how to interpret the information it provides concerning round-off error propagation in a code. The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications are required to control a code with CADNA, mainly changes in variable declarations, input and output. This paper describes the features of the CADNA library and shows how to interpret the information it provides concerning round-off error propagation in a code. Program title:CADNA Catalogue identifier:AEAT_v1_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEAT_v1_0.html Program obtainable from:CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions:Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.:53 420 No. of bytes in distributed program, including test data, etc.:566 495 Distribution format:tar.gz Programming language:Fortran Computer:PC running LINUX with an i686 or an ia64 processor, UNIX workstations including SUN, IBM Operating system:LINUX, UNIX Classification:4.14, 6.5, 20 Nature of problem:A simulation program which uses floating-point arithmetic generates round-off errors, due to the rounding performed at each assignment and at each arithmetic operation. Round-off error propagation may invalidate the result of a program. The CADNA library enables one to estimate round-off error propagation in any simulation program and to detect all numerical instabilities that may occur at run time. Solution method:The CADNA library [1] implements Discrete Stochastic Arithmetic [2–4] which is based on a probabilistic model of round-off errors. The program is run several times with a random rounding mode generating different results each time. From this set of results, CADNA estimates the number of exact significant digits in the result that would have been computed with standard floating-point arithmetic. Restrictions:CADNA requires a Fortran 90 (or newer) compiler. In the program to be linked with the CADNA library, round-off errors on complex variables cannot be estimated. Furthermore array functions such as product or sum must not be used. Only the arithmetic operators and the abs, min, max and sqrt functions can be used for arrays. Running time:The version of a code which uses CADNA runs at least three times slower than its floating-point version. This cost depends on the computer architecture and can be higher if the detection of numerical instabilities is enabled. In this case, the cost may be related to the number of instabilities detected. References: [1] The CADNA library, URL address: http://www.lip6.fr/cadna. [2] J.-M. Chesneaux, L'arithmétique Stochastique et le Logiciel CADNA, Habilitation á diriger des recherches, Université Pierre et Marie Curie, Paris, 1995. [3] J. Vignes, A stochastic arithmetic for reliable scientific computation, Math. Comput. Simulation 35 (1993) 233–261. [4] J. Vignes, Discrete stochastic arithmetic for validating results of numerical software, Numer. Algorithms 37 (2004) 377–390. |
| Author | Chesneaux, Jean-Marie Jézéquel, Fabienne |
| Author_xml | – sequence: 1 givenname: Fabienne surname: Jézéquel fullname: Jézéquel, Fabienne email: Fabienne.Jezequel@lip6.fr – sequence: 2 givenname: Jean-Marie surname: Chesneaux fullname: Chesneaux, Jean-Marie email: Jean-Marie.Chesneaux@lip6.fr |
| BackLink | https://hal.science/hal-01146486$$DView record in HAL |
| BookMark | eNp9kMlOwzAQhi1UJNrCA3DLlUPCOF6S0FNVliJVcIGz5XgprkIcOaFS3x6HwoVDpZFGmn--Wf4ZmrS-NQhdY8gwYH67y1SnshygzCDPAMgZmuKyqNK8onSCpgAYUsoZu0Czvt8BQFFUZIoWq-X9y_IukUnj6iDDIbE-JKYf3KccXLtNgv9qdeqtTUwIUeqC7-Q2ar69ROdWNr25-s1z9P748LZap5vXp-fVcpMqQvCQ2lJxzSQrgLPSMkug1kWNaV2rvGLSaEpjVIQVFVeV1sAJlxyrUlJZW8Bkjm6Ocz9kI7oQLwsH4aUT6-VGjDXAmHJa8v3YWxx7VfB9H4wVyg0_1w5BukZgEKNfYieiX2L0S0Auol-RxP_Iv1WnmMWRMfH9vTNB9MqZVhntglGD0N6doL8BnN-DjA |
| CitedBy_id | crossref_primary_10_1137_20M1334796 crossref_primary_10_1002_qua_26687 crossref_primary_10_1016_j_amc_2018_02_004 crossref_primary_10_1145_2665073 crossref_primary_10_1007_s11786_011_0103_4 crossref_primary_10_1051_epjconf_202429503020 crossref_primary_10_1109_TETC_2021_3069165 crossref_primary_10_1137_22M1510819 crossref_primary_10_1145_3563353 crossref_primary_10_1007_s40819_015_0126_7 crossref_primary_10_1109_TSE_2016_2642956 crossref_primary_10_1145_2544173_2509526 crossref_primary_10_3390_fractalfract5010017 crossref_primary_10_1145_3381039 crossref_primary_10_1145_3432184 crossref_primary_10_1016_j_jocs_2019_07_004 crossref_primary_10_1016_j_entcs_2015_10_007 crossref_primary_10_1088_0031_9155_60_13_5007 crossref_primary_10_1145_3549205 crossref_primary_10_1109_TC_2024_3475586 crossref_primary_10_1016_j_parco_2023_103042 crossref_primary_10_3390_sym12101730 crossref_primary_10_1080_16168658_2021_1880134 crossref_primary_10_1029_2021MS002684 crossref_primary_10_1145_2666356_2594302 crossref_primary_10_1109_TC_2022_3224377 crossref_primary_10_1098_rsos_211631 crossref_primary_10_1007_s00500_020_04890_z crossref_primary_10_1016_j_apnum_2012_01_001 crossref_primary_10_1016_j_apnum_2008_10_004 crossref_primary_10_1016_j_microrel_2021_114099 |
| Cites_doi | 10.1016/j.cpc.2007.01.005 10.1016/0378-4754(93)90003-D 10.1023/B:NUMA.0000049483.75679.ce |
| ContentType | Journal Article |
| Copyright | 2008 Elsevier B.V. Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: 2008 Elsevier B.V. – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | AAYXX CITATION 1XC |
| DOI | 10.1016/j.cpc.2008.02.003 |
| DatabaseName | CrossRef Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Physics Computer Science |
| EISSN | 1879-2944 |
| EndPage | 955 |
| ExternalDocumentID | oai:HAL:hal-01146486v1 10_1016_j_cpc_2008_02_003 S0010465508000775 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29F 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARLI AAXUO AAYFN ABBOA ABFNM ABMAC ABNEU ABQEM ABQYD ABXDB ABYKQ ACDAQ ACFVG ACGFS ACLVX ACNNM ACRLP ACSBN ACZNC ADBBV ADECG ADEZE ADJOM ADMUD AEBSH AEKER AENEX AFKWA AFTJW AFZHZ AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AIVDX AJBFU AJOXV AJSZI ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG ATOGT AVWKF AXJTR AZFZN BBWZM BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FLBIZ FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HLZ HME HMV HVGLF HZ~ IHE IMUCA J1W KOM LG9 LZ4 M38 M41 MO0 N9A NDZJH O-L O9- OAUVE OGIMB OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SCB SDF SDG SES SEW SHN SPC SPCBC SPD SPG SSE SSK SSQ SSV SSZ T5K TN5 UPT VH1 WUQ ZMT ~02 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 1XC |
| ID | FETCH-LOGICAL-c331t-f8c6d5a570658f5f30bd7b14bbc295aed44d44935796c9dd0636a61c8a4abf013 |
| ISICitedReferencesCount | 60 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000257051700006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0010-4655 |
| IngestDate | Sat Nov 29 15:07:56 EST 2025 Tue Nov 18 22:37:53 EST 2025 Sat Nov 29 05:32:17 EST 2025 Fri Feb 23 02:25:19 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 12 |
| Keywords | 02.70.-c Round-off errors Discrete Stochastic Arithmetic CADNA CESTAC method Numerical validation Floating-point arithmetic |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c331t-f8c6d5a570658f5f30bd7b14bbc295aed44d44935796c9dd0636a61c8a4abf013 |
| ORCID | 0000-0002-8782-7566 |
| PageCount | 23 |
| ParticipantIDs | hal_primary_oai_HAL_hal_01146486v1 crossref_citationtrail_10_1016_j_cpc_2008_02_003 crossref_primary_10_1016_j_cpc_2008_02_003 elsevier_sciencedirect_doi_10_1016_j_cpc_2008_02_003 |
| PublicationCentury | 2000 |
| PublicationDate | 2008-06-15 |
| PublicationDateYYYYMMDD | 2008-06-15 |
| PublicationDate_xml | – month: 06 year: 2008 text: 2008-06-15 day: 15 |
| PublicationDecade | 2000 |
| PublicationTitle | Computer physics communications |
| PublicationYear | 2008 |
| Publisher | Elsevier B.V Elsevier |
| Publisher_xml | – name: Elsevier B.V – name: Elsevier |
| References | Vignes (bib003) December 2004; 37 Chesneaux (bib004) 1990 Vignes (bib008) 1986; 303 J.-M. Chesneaux, L'arithmétique stochastique et le logiciel CADNA. Habilitation à diriger des recherches, Université Pierre et Marie Curie, Paris, November 1995 Muller (bib010) 1989 Vignes (bib005) 1993; 35 Scott, Jézéquel, Denis, Chesneaux (bib007) 2007; 176 Rump (bib009) 1988 (bib001) 1985; 22 Vignes, La Porte (bib006) 1974 10.1016/j.cpc.2008.02.003_bib002 Rump (10.1016/j.cpc.2008.02.003_bib009) 1988 (10.1016/j.cpc.2008.02.003_bib001) 1985 Chesneaux (10.1016/j.cpc.2008.02.003_bib004) 1990 Vignes (10.1016/j.cpc.2008.02.003_bib006) 1974 Vignes (10.1016/j.cpc.2008.02.003_bib008) 1986; 303 Vignes (10.1016/j.cpc.2008.02.003_bib003) 2004; 37 Vignes (10.1016/j.cpc.2008.02.003_bib005) 1993; 35 Scott (10.1016/j.cpc.2008.02.003_bib007) 2007; 176 Muller (10.1016/j.cpc.2008.02.003_bib010) 1989 |
| References_xml | – volume: 176 start-page: 507 year: 2007 end-page: 521 ident: bib007 article-title: Numerical ‘health check’ for scientific codes: the CADNA approach publication-title: Comput. Phys. Comm. – volume: 37 start-page: 377 year: December 2004 end-page: 390 ident: bib003 article-title: Discrete stochastic arithmetic for validating results of numerical software publication-title: Numer. Algorithms – volume: 35 start-page: 233 year: 1993 end-page: 261 ident: bib005 article-title: A stochastic arithmetic for reliable scientific computation publication-title: Math. Comput. Simulation – year: 1988 ident: bib009 article-title: Reliability in Computing. The Role of Interval Methods in Scientific Computing – volume: 303 start-page: 997 year: 1986 end-page: 1000 ident: bib008 article-title: Zéro mathématique et zéro informatique publication-title: C. R. Acad. Sci. Paris Sér. I Math. – reference: J.-M. Chesneaux, L'arithmétique stochastique et le logiciel CADNA. Habilitation à diriger des recherches, Université Pierre et Marie Curie, Paris, November 1995 – year: 1989 ident: bib010 article-title: Arithmétique des Ordinateurs – volume: 22 start-page: 9 year: 1985 end-page: 25 ident: bib001 publication-title: IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Standard 754-1985 – start-page: 19 year: 1990 end-page: 30 ident: bib004 article-title: Study of the computing accuracy by using probabilistic approach publication-title: Contribution to Computer Arithmetic and Self-Validating Numerical Methods – start-page: 610 year: 1974 end-page: 614 ident: bib006 article-title: Error analysis in computing publication-title: Information Processing 1974 – volume: 176 start-page: 507 issue: 8 year: 2007 ident: 10.1016/j.cpc.2008.02.003_bib007 article-title: Numerical ‘health check’ for scientific codes: the CADNA approach publication-title: Comput. Phys. Comm. doi: 10.1016/j.cpc.2007.01.005 – volume: 35 start-page: 233 year: 1993 ident: 10.1016/j.cpc.2008.02.003_bib005 article-title: A stochastic arithmetic for reliable scientific computation publication-title: Math. Comput. Simulation doi: 10.1016/0378-4754(93)90003-D – year: 1988 ident: 10.1016/j.cpc.2008.02.003_bib009 – start-page: 19 year: 1990 ident: 10.1016/j.cpc.2008.02.003_bib004 article-title: Study of the computing accuracy by using probabilistic approach – year: 1989 ident: 10.1016/j.cpc.2008.02.003_bib010 – volume: 37 start-page: 377 issue: 1–4 year: 2004 ident: 10.1016/j.cpc.2008.02.003_bib003 article-title: Discrete stochastic arithmetic for validating results of numerical software publication-title: Numer. Algorithms doi: 10.1023/B:NUMA.0000049483.75679.ce – start-page: 610 year: 1974 ident: 10.1016/j.cpc.2008.02.003_bib006 article-title: Error analysis in computing – volume: 303 start-page: 997 year: 1986 ident: 10.1016/j.cpc.2008.02.003_bib008 article-title: Zéro mathématique et zéro informatique publication-title: C. R. Acad. Sci. Paris Sér. I Math. – year: 1985 ident: 10.1016/j.cpc.2008.02.003_bib001 – ident: 10.1016/j.cpc.2008.02.003_bib002 |
| SSID | ssj0007793 |
| Score | 2.1489623 |
| Snippet | The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation... |
| SourceID | hal crossref elsevier |
| SourceType | Open Access Repository Enrichment Source Index Database Publisher |
| StartPage | 933 |
| SubjectTerms | CADNA CESTAC method Computer Science Discrete Stochastic Arithmetic Floating-point arithmetic Numerical validation Round-off errors |
| Title | CADNA: a library for estimating round-off error propagation |
| URI | https://dx.doi.org/10.1016/j.cpc.2008.02.003 https://hal.science/hal-01146486 |
| Volume | 178 |
| WOSCitedRecordID | wos000257051700006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1879-2944 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0007793 issn: 0010-4655 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3di9QwEA_enoIv4ieeXwTxSYn0I20SfVrkjlN0ETxh30qSpughvWV371jur7-ZTtquHh4qCEt3yW6zbebXyWQy8xvGXigwi3XdFCKkxgrpk0Ro30hhXZ4YFZxUgYpNqNlMz-em39FddeUEVNvqzcYs_quooQ2EjamzfyHuoVNogM8gdDiC2OH4R4KHsZ1NKYc5umiI1hueZbROsbQQllISJ03zKiyX8BUoUVAro4h64oJY8CF6P1YYfj4mk4yhh7TXfk5vMM10TuUD67pQsjF8IKzaYE83FFJjW_EJV-k_OR00BkdR2iV5wi5lw5B2BZ2OfGw0t5BC1cqIzBDH46Bxld6GVralQA3RYsS52FBfl9Q8eRyOX_uFj-GwSLuaj3PaEGn4pSMggmtCyxjp_nbYbqYKoydsd_p-f_5hmLaVigzN8Sb6LfAuGPCXP_qdEbPzrXfHd-bJ0W12K64r-JTwcIddC-1dduMzSe4ee9uh4g23PGKCAyb4iAk-YIJ3mOBbmLjPvh7sH707FLFuhvB5nq5Fo31ZF7bAHWzdFE2euFq5VDrnM1PYUEsJL5NjGrI3dQ1WamnL1GsrrWtgTfCATdqTNjxk3EiV5SHJTA2Gt0FuO1s4MFFD4VPt03yPJf1AVD6SymNtkx9VHz14XMHYxWKnGTLR7rGXwykLYlS56seyH90qmoRk6lUAhatOew6SGLpHCvXD6ccK29ABUEpdnqWP_q3vx-zm-EQ8YZP18jQ8Zdf92fr7avksouoCUr-LJw |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=CADNA%3A+a+library+for+estimating+round-off+error+propagation&rft.jtitle=Computer+physics+communications&rft.au=J%C3%A9z%C3%A9quel%2C+Fabienne&rft.au=Chesneaux%2C+Jean-Marie&rft.date=2008-06-15&rft.pub=Elsevier+B.V&rft.issn=0010-4655&rft.eissn=1879-2944&rft.volume=178&rft.issue=12&rft.spage=933&rft.epage=955&rft_id=info:doi/10.1016%2Fj.cpc.2008.02.003&rft.externalDocID=S0010465508000775 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0010-4655&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0010-4655&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0010-4655&client=summon |