Recent posts
https://software.intel.com/en-us/recent/390087
enGradual underflow, IEEE Exceptional handling
https://software.intel.com/en-us/forums/watercooler-catchall/topic/311010
<p>Dear Irena,<br /> Presently i am at the University of Iowa in the state of Iowa USA. I will be grateful to if you could put me in touch with people who look at implementation of IEEE Exceptional handling [in particular gradual overflow] in IA-64. Recently i have read the IA 64 document on software assisted exceptional handling and other operations in IA-64 and i wish to discuss it.</p>
<p> The problem of underflow in computations is troublesome. The IEEE standard has recommended the use of gradual underflow to deal with it. Gradual underflow requires the use of denormalized floating point numbers. As i understand in Intel strives to meet the IEEE standard hence has made provisions for denormalized numbers and impletation of gradual underflow in IA-64. However denormalized numbers are a costly options and it will be desirable to have way of high level implemention gradual underflow with out denormalized numbers.<br /> Recently i have been working on Bounded arithmetic. This is an arithmetic of real numbers which have finite Infinity and a finite zero. Specifically in this arithmetic real numbers and the results of their mathematical operations are bounded form above and below by finite real numbers. I have recently shown that this arithmetic can be used to implement gradual underflow by software without using denormalized numbers. This arithmetic also shows the concept of "gradual overflow" where numbers lose precision gradually as the overflow thershold is approached. This could be used to handle the overflow problem. With this mail i am sending the abstract of a paper which i have recently written on this subject but have not communicated as yet for publication. </p>
<p> title{Computer arithmetic and exceptions via Bounded arithmetic}</p>
<p>abstract-The use of Bounded Arithmetic in numerical computation is<br />proposed. This is an arithmetic of real numbers with finite<br />`infinity' and finite `zero', i.e., a finite number behaves like<br />infinity and another finite number masquerades as zero.<br />Specifically, in it the real numbers and the results of their<br />mathematical operations are bounded from above and below by finite<br />real numbers. Application of this arithmetic to numerical<br />computation shows interesting possibilities e.g., an<br />over/underflow free arithmetic, high level implementation of<br />gradual underflow without the sub-normal range, gradual overflow<br />where numbers overflow gradually with sliding precision, extended<br />floating point range etc. The `Gradual overflow' may increase the<br />accuracy of overflowed results obtained by the infinity or the<br />largest number substitutions. These possibilities are demonstrated<br />by numerical examples.</p>
<p>I would like to know whether anyone in Intel is interested in these ideas and would like to open a discussion and dialoge.</p>
<p>K Avinash<br />The University of Iowa<br />Iowa city IA 52242 USA</p>
Fri, 13 Jun 03 00:30:05 -0700akhare311010