优化/函数运行时 v8 状态代码会发生什么情况

Question

我看到了一个关于 v8 优化的问题，这让我对 v8 优化进行了一些尝试。我还看过蓝鸟关于 v8 优化杀手的帖子。

根据 v8 存储库，优化状态代码乘以 2： 1,2,4,8等（参见优化状态枚举）

但是，下面的代码给了我奇怪的状态代码，如 17 和 65，并且仅在这些特定情况下（请参阅最后几行代码）。关于为什么会发生这种情况的任何想法？

function adder(a, b) {
    return new Function('a', 'b', 'return b%2 ? a + b : b%3 ? a - b : b%5 ? b / a : a * b')(a, b);
}
function addereval(a, b) {
    return eval('b%2 ? a + b : b%3 ? a - b : b%5 ? b / a : a * b');
}
function printStatus(fn) {
    var status = %GetOptimizationStatus(fn)
    switch (status) {
        case 1: console.log(fn.name, "function is optimized"); break;
        case 2: console.log(fn.name, "function is not optimized"); break;
        case 3: console.log(fn.name, "function is always optimized"); break;
        case 4: console.log(fn.name, "function is never optimized"); break;
        case 6: console.log(fn.name, "function is maybe deoptimized"); break;
        case 7: console.log(fn.name,"Function is optimized by TurboFan"); break;
        default: console.log(fn.name, "Unknown optimization status: ", status); break;
    }
}
printStatus(adder);
printStatus(addereval);

for(let i = 0; i < 263; i++) {
    adder(1, 2);
}
console.log('n', '==== adder after invocation - result is on node v8.2.1 17 or 65 on node v8.7.0 ===');
printStatus(adder);
addereval(1, 2);
console.log('n', '==== addereval after invocation - result is 65 ===');
printStatus(addereval);

运行此代码：

node --trace_deopt --allow-natives-syntax FILENAME.js

如果你觉得更舒服，你可以使用我的要点

Answer 1

%GetOptimizationStatus已更新为返回一组按位标志而不是单个值，并且文章优化杀手已经过时。可用的状态信息也略有更改。

要访问新值，您需要采用返回值的二进制表示形式。现在，例如，如果返回65，则二进制表示形式如下：

65₁₀ = 000001000001₂

每个二进制数字充当具有以下含义的布尔值：

0 0 0 0 0 1 0 0 0 0 0 1
┬ ┬ ┬ ┬ ┬ ┬ ┬ ┬ ┬ ┬ ┬ ┬
│ │ │ │ │ │ │ │ │ │ │ └─╸ is function
│ │ │ │ │ │ │ │ │ │ └───╸ is never optimized
│ │ │ │ │ │ │ │ │ └─────╸ is always optimized
│ │ │ │ │ │ │ │ └───────╸ is maybe deoptimized
│ │ │ │ │ │ │ └─────────╸ is optimized
│ │ │ │ │ │ └───────────╸ is optimized by TurboFan
│ │ │ │ │ └─────────────╸ is interpreted
│ │ │ │ └───────────────╸ is marked for optimization
│ │ │ └─────────────────╸ is marked for concurrent optimization
│ │ └───────────────────╸ is optimizing concurrently
│ └─────────────────────╸ is executing
└───────────────────────╸ topmost frame is turbo fanned

因此，65 表示函数是一个函数并被解释（这意味着它在查询其状态时未优化）。

要在 JavaScript 中访问这些值，只需使用按位 AND 运算符并查看该值是否为非零：

var status = %GetOptimizationStatus(fn);
if (status & 1) console.log("function is function");
if (status & 2) console.log("function is never optimized");
if (status & 4) console.log("function is always optimized");
if (status & 8) console.log("function is maybe deoptimized");
if (status & 16) console.log("function is optimized");
if (status & 32) console.log("function is optimized by TurboFan");
if (status & 64) console.log("function is interpreted");
...

等等。这里的关键方面是，这些条件中的不止一个可以评估为真。

Answer 2

status是一个按位标志值，代码应该更像这样：

var status = GetOptimizationStatus(fn);
if ((status & (1 << 0)) {
  console.log(fn.name, "kIsFunction");
}
if ((status & (1 << 1)) {
  console.log(fn.name, "kNeverOptimize");
}
// etc .. can be 'true' for several different combinations;
// most notably, many different status will also include 'kIsFunction'

考虑一个17 ~or~ 16 + 1 ~or~ (1 << 4) | (1 << 0) ~的"状态代码"，这意味着~"kIsFunction"和"kIsOptimized"。

请参阅位数组以进行一般操作 - 以及为什么在代码中显示的条件下使用 &。