Ieee arithmetic - Revision history

Manus at 22:25, 9 February 2010

2010-02-09T22:25:09Z

2010-02-09T22:22:16Z

2010-02-09T22:20:23Z

2010-02-09T22:20:10Z

2010-02-05T19:20:16Z

‎Testing for 25% NaN values and 75% non-NaN values

2010-02-05T19:17:40Z

‎Testing for 50% NaN values and 50% non-NaN values

2010-02-05T19:14:38Z

‎Testing for 10% NaN values and 90% non-NaN values

2010-02-05T19:11:27Z

‎Testing for 100% NaN values

2010-02-05T19:07:53Z

‎Testing for non-NaN values which are always the same

2010-02-05T19:04:41Z

‎Testing for non-NaN values which are always different

@@ Line 5: / Line 5: @@
 To best show the trade-offs we will start by showing some benchmark results.
-{{Note|This is an EiffelStudio specific extension to potentially help the ECMA standard committee in making a reasonable decision on the semantic of '''NaN'''.}}
+{{Note|This is an EiffelStudio specific extension to potentially help the ECMA standard committee in making a reasonable decision on the semantic of '''NaN''', You can also read the following blog entry from Bertrand Meyer on the same subject [http://bertrandmeyer.com/2010/02/06/reflexivity-and-other-pillars-of-civilization/ Reflexivity, and other pillars of civilization].}}
 =Benchmarks=

← Older revision		Revision as of 22:22, 9 February 2010
Line 4:		Line 4:

	To best show the trade-offs we will start by showing some benchmark results.		To best show the trade-offs we will start by showing some benchmark results.
		+
		+	{{Note\|This is an EiffelStudio specific extension to potentially help the ECMA standard committee in making a reasonable decision on the semantic of '''NaN'''.}}

	=Benchmarks=		=Benchmarks=

@@ Line 1: / Line 1: @@
-We will present some of the trade-offs for computation of IEEE arithmetic for REAL_64 and REAL_32 as implemented in EiffelStudio when enabling the '''Total Order on REALs''' where NaN is not an unordered value but a value less than all the other values (note that in some other frameworks, we have seen it defined as the largest value). In other words:
+We will present some of the trade-offs for computation of IEEE arithmetic for REAL_64 and REAL_32 as implemented in EiffelStudio when enabling the '''Total Order on REALs''' option where NaN is not an unordered value but a value less than all the other values (note that in some other frameworks, we have seen it defined as the largest value). In other words:
 * NaN = NaN yields True
 * NaN < x for all x but NaN

@@ Line 1: / Line 1: @@
-We will present some of the trade-offs for computation of IEEE arithmetic for REAL_64 and REAL_32 as implemented in EiffelStudio where NaN is not an unordered value but a value less than all the other values (note that in some other frameworks, we have seen it defined as the largest value). In other words:
+We will present some of the trade-offs for computation of IEEE arithmetic for REAL_64 and REAL_32 as implemented in EiffelStudio when enabling the '''Total Order on REALs''' where NaN is not an unordered value but a value less than all the other values (note that in some other frameworks, we have seen it defined as the largest value). In other words:
 * NaN = NaN yields True
 * NaN < x for all x but NaN

@@ Line 494: / Line 494: @@
 | '''METH1'''
 | 4.812s
+| 4.41s
+| 8.50s
 |-
 | '''METH2'''
 | 6.633s
+| 7.54s
+| 11.20s
 |-
 | '''METH3'''
 | 7.324s
+| '''6.96s'''
+| 12.07s
 |-
 | '''METH4'''
 | '''6.050s'''
+| 7.10s
+| '''11.04s'''
 |-
 | '''METH5'''
 | 6.595s
+| 8.55s
+| '''11.03s'''
 |}

@@ Line 458: / Line 458: @@
 | '''METH1'''
 | 4.745s
+| 4.41s
+| 8.50s
 |-
 | '''METH2'''
 | 6.949s
+| 7.82s
+| 11.57s
 |-
 | '''METH3'''
 | 6.346s
+| '''7.09s'''
+| 13.10s
 |-
 | '''METH4'''
 | '''6.023s'''
+| '''7.11s'''
+| 11.88s
 |-
 | '''METH5'''
 | 6.838s
+| 8.56s
+| '''10.72s'''
 |}

@@ Line 530: / Line 530: @@
 | '''METH1'''
 | 4.761s
+| 4.41s
+| 8.50s
 |-
 | '''METH2'''
 | 6.472s
+| 7.37s
+| 10.99s
 |-
 | '''METH3'''
 | 6.159s
+| '''6.83s'''
+| 11.59s
 |-
 | '''METH4'''
 | '''6.084s'''
+| 7.10s
+| '''10.76s'''
 |-
 | '''METH5'''
 | 6.440s
+| 8.56s
+| '''10.71s'''
 |}

@@ Line 422: / Line 422: @@
 | '''METH1'''
 | 4.753s
+| 4.41s
+| 8.60s
 |-
 | '''METH2'''
 | 7.366s
+| 8.34s
+| 12.13s
 |-
 | '''METH3'''
 | 6.284s
+| 7.31s
+| 15.18s
 |-
 | '''METH4'''
 | '''5.570s'''
+| '''6.82s'''
+| 14.08s
 |-
 | '''METH5'''
 | 6.993s
+| 8.56s
+| '''11.03s'''
 |}

@@ Line 386: / Line 386: @@
 | '''METH1'''
 | 4.757s
+| 4.40s
+| 8.50s
 |-
 | '''METH2'''
 | '''4.736s'''
+| 7.28s
+| 10.84s
 |-
 | '''METH3'''
 | 6.114s
+| '''6.80s'''
+| 11.21s
 |-
 | '''METH4'''
 | 6.102s
+| 7.10s
+| '''10.48s'''
 |-
 | '''METH5'''
 | 6.344s
+| 8.57s
+| 10.72s
 |}

@@ Line 350: / Line 350: @@
 | '''METH1'''
 | 4.749s
+| 4.42s
+| 8.60s
 |-
 | '''METH2'''
 | 6.358s
+| 7.30s
+| 10.85s
 |-
 | '''METH3'''
 | '''6.109s'''
+| '''6.82s'''
+| 11.45s
 |-
 | '''METH4'''
 | '''6.112s'''
+| '''6.83s'''
+| '''10.48s'''
 |-
 | '''METH5'''
 | 6.355s
+| 8.56s
+| 10.90s
 |}