v8 bailout



对绝大多数的JavaScript开发者而言，Bailout是一个陌生的词。Bing的翻译如下：

bailout
US ['beɪl.aʊt] UK ['beɪlaʊt]
adj. 应付紧急状况的
n. 紧急财政援助
Web 救助；纾困；紧急救助

这是一个看似毫不相关的词，在V8里却被经常使用到。众所周知，V8是一款JIT的虚拟机，以性能强劲而知名。

而这高效性能的背后，离不开它其中的一项功能：运行时优化。

V8能在运行的过程中，收集代码的执行频度，进而对哪些高频度运行的热点代码进行动态优化。这项优化技术十分有效，它并不优化所有的代码，而是找到该优化的代码去优化，将好钢用到刀刃上。

那么Bailout是什么意思呢？

困难的是，JavaScript是一门极度灵活的脚本语言，这导致V8在对代码进行优化时，并不一定永远凑效。在某些条件下，优化并不能如期进行，导致无法优化，或者优化失败，甚至已优化的代码回退至未优化的状态。这些过程都统称为Bailout，即无法优化，或者优化失败。

本文将展示Bailout的一些情况，以帮助开发者避免这些问题，使得代码能够被V8优化，以确保性能更优。

Bailout Case

V8针对JavaScript代码的优化是基于函数为单位的，也就是说一个函数的某段代码造成无法优化，会导致整个函数处于未优化的状态。所以即使某些Bailout情况无法避开，但可以确保它们处于一个极小的函数中，以避免整个函数无法优化。

TryCatchStatement

带有try/catch语句的函数无法被V8优化。

var test = function () {
  try {

  } catch (e) {

  }
}

TryFinallyStatement

带有try/finally语句的函数无法被V8优化。

var test = function () {
  try {

  } finally (e) {

  }
}

WithStatement

带有with语句的函数无法被V8优化。

var test = function () {
  with ({}) {
    a = 'b';
  }
  return 'Hello world!';
};

ForInStatement is not fast case

用for in来进行迭代并不是一种高效的做法。例如：

var a = function () {
  var ret = 0;
  for (var key in obj) {
    ret += obj[key];
  }
  return ret;
};

改进方式是使用Object.keys()取出keys，然后再进行普通的for循环：

var b = function () {
  var ret = 0;
  var keys = Object.keys(obj);
  for (var i = 0; i < keys.length; i++) {
    ret += obj[keys[i]];
  }
  return ret;
};

Inline cache unstable

频繁更动变量的属性，造成内联缓存不稳定

Unexpected hidden class

无法复用隐藏类

Insufficient type feedback for generic named load

Unknown map in polymorphic load

Unknown map in polymorphic call

Yield

带有yield语句的Generator函数无法被V8优化。

Optimized too many times

该函数被优化太多次数（依然没有成功），放弃优化。

Assignment to parameter in arguments object

赋值给形参中的参数。这会导致优化失败。

Bad value context for arguments value

DONT_OPTIMIZE_NODE(ModuleDeclaration) DONT_OPTIMIZE_NODE(ImportDeclaration) DONT_OPTIMIZE_NODE(ExportDeclaration) DONT_OPTIMIZE_NODE(ModuleVariable) DONT_OPTIMIZE_NODE(ModulePath) DONT_OPTIMIZE_NODE(ModuleUrl) DONT_OPTIMIZE_NODE(ModuleStatement) DONT_OPTIMIZE_NODE(DebuggerStatement) DONT_OPTIMIZE_NODE(NativeFunctionLiteral)

Unknown

暂时未知

no reason

每个函数的默认情况，即处于未优化状态。