我在某处读过C双精度浮点中存在非确定性的来源,如下所示:
C标准规定64位浮点数(双精度)只需要产生大约64位的精度.
硬件可以在80位寄存器中执行浮点运算.
由于(1),在将double填充到高位之前,C编译器不需要清除浮点寄存器的低位.
这意味着YMMV,即结果的微小差异可能发生.
有没有现在常见的硬件和软件组合,这真的发生了吗？我在其他线程中看到.net有这个问题,但是通过gcc C可以加倍吗？(例如,我正在测试基于精确相等的连续近似的收敛)
试图在linux mint上安装MFlow.sudo cabal安装MFlow给了我这个:
加载包原语-0.5.3.0 ...:无法加载.so/.DLL:libHSprimitive-0.5.3.0.so(libHSprimitive-0.5.3.0.so:无法打开共享对象文件:没有这样的文件或目录)无法安装vector-0.10.9.2
cabal告诉我,我确实安装了原始-0.5.3.0.是否有希望实现这一目标？
非常感谢您的帮助!
那些函数式语言编译器都可以将函数式语言编译为C代码.谷歌的NaCl SDK可以编译C.通过首先与其他编译器之一进行编译并通过谷歌的Native Client SDK运行结果来创建Native Client应用程序是否合理？
任何人都这样做或有关于可能性,陷阱,限制的具体信息？
非常感谢!