有没有办法强制gfortran中的下溢为零?
我无法相信这是第一次有人问过这个问题,但我找不到任何东西。 Mea culpa如果这是重复的话。
答案 0 :(得分:6)
您可以使用支持Fortran 2003 IEEE模块的最新版gfortran来实现此目的。该标准定义了两种下溢模式 - 渐进和突然。 Abrupt是你想要的,它将下溢设置为0并发出下溢浮点异常的信号。您可以使用函数ieee_support_underflow_control(X)
测试是否支持控制下溢模式,该函数测试真实X的类型的下溢控制,如果支持则返回逻辑真。如果支持,您可以call ieee_set_underflow_mode(.false.)
设置突然下溢模式。
下面是一个测试程序,可用于测试默认实际类型的下溢控制支持:
program test
use, intrinsic :: ieee_arithmetic
use, intrinsic :: iso_fortran_env, only: compiler_version, compiler_options
implicit none
logical :: underflow_support, gradual, underflow
real :: fptest
integer :: i
print '(4a)', 'This file was compiled by ', &
compiler_version(), ' using the options ', &
compiler_options()
fptest = 0.0
underflow_support = ieee_support_underflow_control(fptest)
if (underflow_support) then
print *,'Underflow control supported for the default real kind'
else
stop 'no underflow control support'
end if
call ieee_set_underflow_mode(.false.)
call ieee_get_underflow_mode(gradual)
if (.not.gradual) then
print *,'Able to set abrupt underflow mode'
else
stop 'error setting underflow mode'
end if
fptest = 2e-36
do i=1,50 ! 50 iterations max
fptest = fptest * 0.5
print '(e15.10)',fptest
call ieee_get_flag(ieee_underflow,underflow)
if (underflow) print *,'Underflow exception signaling'
if (fptest == 0.0) exit
end do
end program test
使用gfortran 5.2.0版,该程序输出:
This file was compiled by GCC version 5.2.0 using the options -mtune=generic -march=x86-64 -fno-unsafe-math-optimizations -frounding-math -fsignaling-nans
Underflow control supported for the default real kind
Able to set abrubpt underflow mode
.1000000036E-35
.5000000180E-36
.2500000090E-36
.1250000045E-36
.6250000225E-37
.3125000112E-37
.1562500056E-37
.0000000000E+00
Underflow exception signaling
gfortran 5.2文档建议使用编译器选项标志-fno-unsafe-math-optimizations -frounding-math -fsignaling-nans
,以便在使用IEEE模块时确保遵守标准。
答案 1 :(得分:1)
“刷新为零”的一种惰性方法是使用gfortran的-funsafe-math-optimizations
进行以下操作:
允许可能违反IEEE或ISO标准的数学优化
或在other words中:
此模式启用的优化允许任意重新关联和转换,而没有精度保证。它还不会尝试保留零的符号。
例如small.f
:
program test
real r
r=1e-40
print *,'r on next line'
print *,r
end program
不带任何标志的情况下,将显示一个非零的非正规(小)数字,且无错误:
$ gfortran -g small.f
$ ./a.out
r on next line
9.99994610E-41
捕获非规范化的数字,当尝试打印该值时会崩溃:
$ gfortran -g -ffpe-trap=denorm small.f
$ ./a.out
r on next line
Program received signal SIGFPE: Floating-point exception - erroneous arithmetic operation.
Backtrace for this error:
#0 0x2aaaab05c26f in ???
#1 0x2aaaaac61aed in get_float_string
at ../../../libgfortran/io/write_float.def:1064
#2 0x2aaaaac6423d in list_formatted_write_scalar
at ../../../libgfortran/io/write.c:1889
#3 0x4008f1 in test
at /path/to/small.f:5
#4 0x400941 in main
at /path/to/small.f:6
Floating point exception
并添加了将其刷新为零的标志:
$ gfortran -g -ffpe-trap=denorm -funsafe-math-optimizations small.f
$ ./a.out
r on next line
0.00000000