奇怪的JS性能问题

Question

奇怪的JS性能问题

5

我遇到了字符串距离函数运行过慢的问题。我已经缩小了范围，下面是比较耗时的部分（时间是10K个字符串比较的时间）：

// desired behavior - 400ms
dp[c + 257] = Math.min(dp[c + 256] + 1, dp[c + 1] + 1, dp[c] + (a[i] != b[j]));

// this is somewhat faster - 300ms
dp[c + 257] = Math.min(dp[c + 256] + 1, dp[c + 1] + 1);
dp[c + 257] = Math.min(dp[c + 257], dp[c] + (a[i] != b[j]));

// even faster - 50ms
dp[c + 257] = Math.min(dp[c + 256] + 1, dp[c + 1] + 1);
dp[c + 257] = Math.min(dp[c + 257], dp[c] + (a[i] != b[j] ? 1 : 0));

首先，将 Math.min 拆分成两个调用比一次使用三个参数更快 - 这是如何可能的？其次，为什么添加一个显式的三元表达式比依赖于从布尔值到整数的隐式转换要快得多？

这里有一个小示例：https://jsfiddle.net/6bnLvbt6/

- riv

1

类型转换比不进行类型转换更耗费资源并不让我感到惊讶。类型转换是需要代价的。 - Felix Kling

我建议你创建一个jsperf而不是一个jsfiddle。 - Alberto Zaccagni

但是 a[i]!=b[j]?1:0 也基本上是类型转换，只不过它在JS中是显式完成的，肯定比本地的更昂贵？ - riv

在V8中，Math.min的二元版本与具有任意参数的Math.min完全不同的代码路径。 - apsillers

哦，Math.min 实际上是在 JS 中实现的，而不是原生代码中吗？ - riv

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Halcyon · Accepted Answer

您有3个测试用例：

Math.min 使用类型转换（bool to int）的3个参数
使用2个参数的2个Math.min调用，其中第二个调用具有类型转换
使用2个参数的2个Math.min调用，不需要类型转换

1和2&3之间还有另一个区别，即某些参数上有额外的+ 1。我认为这是一个错误。

隐式类型转换似乎是最昂贵的。如果从1中删除隐式类型转换，则会得到：

dp[c + 257] = Math.min(dp[c + 1], dp[c + 256], dp[c] + (a[i] != b[j] ? 1 : 0));

这需要 250ms 的时间（相对于3的 60ms）。这仍然表明使用3个参数的Math.min速度较慢。让我们进一步调查。

如果您将测试用例简化为：

// 1
for(var i = 0; i < 10000; i += 1) {
    Math.min(1, 2, 3);
}
// 2
for(var i = 0; i < 10000; i += 1) {
    Math.min(1, 2);
    Math.min(1, 3);
}

我的机器上的结果是：1花费2500ms，2花费87ms。如果您向Math.min添加更多参数，您会发现它每增加一个额外参数就会以500ms的速度递增，这揭示了一些关于实现的信息。

浏览器厂商优化经常使用的函数。如果带有超过2个参数的Math.min不常见，则这些结果并不奇怪。你在这里看到的是Math.min有两个实现：一个用于两个参数，它被真正地优化，另一个用于更多参数，它没有被优化。对于v8，apsillers证实了这一点：v8 source on github。