- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我有 Java 算法/计算和单元测试。单元测试期望结果具有一定的精度/增量。现在我将算法移植到 .NET 中并希望使用相同的单元测试。我使用双数据类型。
问题是 Java 对 Math 类中的某些操作使用 strictfp(64 位)。 .NET 始终使用 FPU/CPU(80 位)。 .NET 更精确、更快速。 Java 更具可预测性。
因为我的算法是循环的并且重复使用了上一轮的结果,所以错误/差异/更高的精度累积太大。我不依赖速度(用于单元测试)。我很高兴在生产中使用 .NET 精度,但我想验证实现。
从 JDK 考虑这个
public final class Math {
public static double atan2(double y, double x) {
return StrictMath.atan2(y, x); // default impl. delegates to StrictMath
}
}
我正在寻找在 .NET 中使用严格 FP 的库或技术。
先发制人的评论:我确实理解 IEEE 754 格式以及 float 不是精确的十进制数或分数这一事实。没有 Decimal,没有 BigInt 或 BigNumber。请不要这样回答,谢谢。
最佳答案
我在今年早些时候广泛研究了这个问题,因为我想知道是否可以在 .NET 中基于浮点算法进行多人模拟。我的一些发现可能对您有用:
It is possible to emulate "strict" mode by inserting redundant casts everywhere ,但这似乎是一个脆弱的、特定于 C# 且乏味的解决方案。
32 位 JIT 发出 x87 指令,但 64 位 JIT 发出 SSE 指令。 Microsoft 和 Mono 的实现都是如此。与 x87 不同,SSE floating arithmetic is reproducible .
我相信 System.Math 只是调用等效的 C 运行时函数,尽管我无法进入程序集来验证这一点(如果有人知道如何做到这一点,请检查!)。 C 运行时尽可能使用超越函数的 SSE 版本,但在少数情况下除外,特别是 sqrt(但为此通过内部函数编写包装器是微不足道的)。就 SSE 的本质而言,这些必须是可重现的。 It is programatically possible to determine whether the C runtime is using its SSE implementation rather than x87 .
对于 SSE 中不可用的其余超越函数(fmod、sinh、cosh、tanh),如果不对其结果在 x87 上执行进一步操作,它们可能不会导致再现性问题。
所以简而言之,坚持使用 64 位 CLR 应该可以解决算术问题;对于先验函数,大多数已经在 SSE 中实现,如果您不对结果执行任何 x87 算术,我什至不确定是否有必要这样做。
关于java - .NET 中的严格 float 学库,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2053462/
我知道问题的标题听起来很奇怪,但我不知道该怎么调用它。 首先,我有一个网格布局,我希望我的 .search-wrapper 宽度为 50% 并向右浮动。在我的演示中 jsfiddle整个 .searc
我们正在使用 QA-C 来实现 MISRA C++ 一致性,但是该工具会为这样的代码喷出错误: float a = foo(); float b = bar(); float c = a - b; 据
考虑 float a[] = { 0.1, 0.2, 0.3}; 我很困惑a稍后传递给函数 foo(float* A) .不应该是 float* 类型的变量指向单个浮点数,对吗?就像这里提到的tu
这可能是我一段时间以来收到的最好的错误消息,我很好奇出了什么问题。 原代码 float currElbowAngle = LeftArm ? Elbow.transform.localRotation
刚开始学习 F#,我正在尝试为 e 生成和评估泰勒级数的前 10 项。我最初编写了这段代码来计算它: let fact n = function | 0 -> 1 | _ -> [1
我已经使用 Erlang 读取二进制文件中的 4 个字节(小端)。 在尝试将二进制转换为浮点时,我一直遇到以下错误: ** exception error: bad argument in
假设我有: float a = 3 // (gdb) p/f a = 3 float b = 299792458 // (gdb) p/f b = 29979244
我每次都想在浏览器顶部修复这个框。但是右边有一些问题我不知道如何解决所以我寻求帮助。 #StickyBar #RightSideOfStickyBar { float : right ; }
我正在研究 C# 编译器并试图理解数学运算规则。 我发现在两种不同的原始类型之间使用 == 运算符时会出现难以理解的行为。 int a = 1; float b = 1.0f; Cons
假设我有: float a = 3 // (gdb) p/f a = 3 float b = 299792458 // (gdb) p/f b = 29979244
Denormals众所周知,与正常情况相比,表现严重不佳,大约是 100 倍。这经常导致 unexpected软件 problems . 我很好奇,从 CPU 架构的角度来看,为什么非规范化必须是 那
我有一个由两个 float 组成的区间,并且需要生成 20 个随机数,看起来介于两个 float 定义的区间之间。 比方说: float a = 12.49953f float b = 39.1123
我正在构建如下矩阵: QMatrix4x3 floatPos4x3 = QMatrix4x3( floatPos0.at(0), floatPos1.at(0), floatPos2.at(0),
给定归一化的浮点数f,在f之前/之后的下一个归一化浮点数是多少。 通过微动,提取尾数和指数,我得到了: next_normalized(double&){ if mantissa is n
关于 CSS“float”属性的某些东西一直让我感到困惑。为什么将“float”属性应用到您希望 float 的元素之前的元素? 为了帮助可视化我的问题,我创建了以下 jsFiddle http://
关于 CSS“float”属性的某些东西一直让我感到困惑。为什么将“float”属性应用到您希望 float 的元素之前的元素? 为了帮助可视化我的问题,我创建了以下 jsFiddle http://
我有一个新闻源/聊天框。每个条目包含两个跨度:#user 和#message。我希望#user 向左浮动,而#message 向左浮动。如果#message 导致行超过容器宽度,#message 应该
我想创建一个“记分卡”网格来输出一些数据。如果每个 div.item 中的数据都具有相同的高度,那么在每个 div.item 上留下一个简单的 float 会提供一个漂亮的均匀布局,它可以根据浏览器大
我正在学习使用 CSS float 属性。我想了解此属性的特定效果。 考虑以下简单的 HTML 元素: div1 div2 This is a paragraph 以及以下 CSS 规则: div {
我正在尝试从可以是 int 或 float 的文件中提取数据。我发现这个正则表达式将从文件 (\d+(\.\d+)?) 中提取这两种类型,但我遇到的问题是它将 float 拆分为两个。 >>> imp
我是一名优秀的程序员,十分优秀!