确定去优化的原因

Question

首先,问题是:

如何确定我的功能去优化的原因？

例如,这是我的一个函数的deoptimisation条目:

[deoptimizing (DEOPT eager): begin 0x3ca09e9f4d1 mergeObjects (opt #50) @12, FP to SP delta: 96]
            ;;; jump table entry 8: deoptimization bailout 12.
  translating mergeObjects => node=43, height=64
    0x7fff5fbfecd0: [top + 128] <- 0xcd290004121 ; [sp + 144] 0xcd290004121 <undefined>
    0x7fff5fbfecc8: [top + 120] <- 0x3ca09e9ca19 ; [sp + 136] 0x3ca09e9ca19 <an Object with map 0x4c8d818621>
    0x7fff5fbfecc0: [top + 112] <- 0x2c9b8b1b95a9 ; [sp + 128] 0x2c9b8b1b95a9 <an Object with map 0x7e33a207821>
    0x7fff5fbfecb8: [top + 104] <- 0x2c9b8b1b9229 ; rax 0x2c9b8b1b9229 <JS Array[0]>
    0x7fff5fbfecb0: [top + 96] <- 0xcd290004181 ; [sp + 112] 0xcd290004181 <false>
    0x7fff5fbfeca8: [top + 88] <- 0x2481f54fb4b6 ; caller's pc
    0x7fff5fbfeca0: [top + 80] <- 0x7fff5fbfed40 ; caller's fp
    0x7fff5fbfec98: [top + 72] <- 0x3ca09e8eae1; context
    0x7fff5fbfec90: [top + 64] <- 0x3ca09e9f4d1; function
    0x7fff5fbfec88: [top + 56] <- 0x70a69429aa1 ; [sp + 32] 0x70a69429aa1 <String[3]: key>
    0x7fff5fbfec80: [top + 48] <- 0xcd290004121 <undefined> ; literal
    0x7fff5fbfec78: [top + 40] <- 0xcd290004121 <undefined> ; literal
    0x7fff5fbfec70: [top + 32] <- 0x3ca09e9ca19 ; [sp + 136] 0x3ca09e9ca19 <an Object with map 0x4c8d818621>
    0x7fff5fbfec68: [top + 24] <- 0x4c8d818621 ; [sp + 64] 0x4c8d818621 <Map(elements=3)>
    0x7fff5fbfec60: [top + 16] <- 0x2c9b8b014341 ; [sp + 56] 0x2c9b8b014341 <FixedArray[3]>
    0x7fff5fbfec58: [top + 8] <- 0x300000000 ; [sp + 48] 3
    0x7fff5fbfec50: [top + 0] <- 0 ; [sp + 40] (smi)
[deoptimizing (eager): end 0x3ca09e9f4d1 mergeObjects @12 => node=43, pc=0x2481f54ecd00, state=NO_REGISTERS, alignment=no padding, took 0.060 ms]
[removing optimized code for: mergeObjects]

我怀疑,虽然不是很有说服力的原因是这样的:

跳转表条目8:去优化救助12.

我在哪里可以找到有关此优化的更多信息以及去优化的其他原因？更重要的是,我如何确定我的JS代码的哪一部分导致了这种去优化？

以下是我在其他功能中看到的一些其他去优化原因:

• deoptimize: Insufficient type feedback for generic named access
• deoptimize: Insufficient type feedback for RHS of binary operation
• jump table entry X: deoptimization bailout Y. - 很多这些都有不同的数字

通俗地说,我希望能够看到这个日志然后说" 好吧,我的功能得到了优化,因为v8预测我只会使用字符串作为其函数参数,在这里我用一个整数调用它 "(或类似的东西) .

我还想了解更多关于我在这些日志中可以看到的其他信息 - 例如,各种deoptimisations意味着什么(渴望,软等)？第一行中的数字是什么意思？在提高性能的同时,我还会对此日志中的其他内容感兴趣吗？

如果它在任何方面相关,那么上面的日志中的deoptimised代码就在这里并生成日志(通过运行库的基准测试),在项目的根目录中执行:

node --trace_deopt --code_comments bench

Answer 1

Petka Antonov（bluebird 的创建者）在这里描述了一些优化杀手。我不知道如何解释您的 V8 输出，但您的代码确实包含 for-in 循环，这在某些情况下可能会导致去优化。例如，如果正在迭代的对象处于哈希表模式。从写的：

例如，当您动态添加太多属性（在构造函数之外）、删除属性、使用不能是有效标识符的属性等时，对象将进入哈希表模式。换句话说，当你像使用哈希表一样使用一个对象时，它就会变成一个哈希表。将这样的对象传递给 for-in 是不行的。当 Node.JS 中启用了 --allow-natives-syntax 标志时，您可以通过调用 console.log(%HasFastProperties(obj)) 来判断对象是否处于哈希表模式。

这种级别的 V8 优化确实看起来像是某种黑暗艺术:) 希望有所帮助！