不同的程序结果取决于程序的链接方式

Question

我正在编写一个大型的数值模拟程序，主要是用Fortran编写的，它是用Intel Fortran编译器编译的(v18.0.3)。

最近，我遇到了一个神秘的问题:如果我将程序与外部库链接为绝对路径，则数值结果与与-L/path/to/lib -lnameOfLib链接的程序相比略有不同。

我检查了以下情况：

• 共享库的运行时加载:我使用strace进行了检查，在这两种情况下，都加载了相同的库，它们以相同的顺序加载；
• 统一变量:使用-check all -ftrapuv编译时没有警告或错误；
• 除了在外部库中，这两个二进制文件运行时都没有发现内存问题；
• 在对二进制文件使用diff时，二进制文件是不同的。

我没有选择去检查为什么会发生这种情况。如果有人能进一步建议如何处理这个问题，以及分歧的根源，我会很高兴。

Answer 1

我将在这一解释的基础上总结以下内容。当与/usr/lib/libm.so链接时，将使用平台libm.so。当与-lm链接时，英特尔编译器将修改链接命令，以链接英特尔数学库libimf.so。显然，这些不同的实现会给出数值舍入错误，从而导致差异。