首页 ›存档› 技术 › 查看内容

Facebook开源JavaScript代码优化工具Prepack

2018-3-30 13:00 |来自: 互联网 368 0

摘要: 来源：infoQ 前几天，Facebook开源团队技术作者Joel Marcey在Hacker News社区发布一则《Prepack帮助提高JavaScript代码的效率》，引起了社区的广泛讨论。官方宣称Prepack是一个优化JavaScript源代码的工具，实际 ...

来源：infoQ

前几天，Facebook开源团队技术作者Joel Marcey在Hacker News社区发布一则《Prepack帮助提高JavaScript代码的效率》，引起了社区的广泛讨论。

官方宣称Prepack是一个优化JavaScript源代码的工具，实际上它是一个JavaScript的部分求值器（Partial Evaluator），可在编译时执行原本在运行时的计算过程，并通过重写JavaScript代码来提高其执行效率。Prepack用简单的赋值序列来等效替换JavaScript代码包中的全局代码，从而消除了中间计算过程以及对象分配的操作。对于重初始化的代码，Prepack可以有效缓存JavaScript解析的结果，优化效果最佳。

以下五个概念可以帮助你更好地理解Prepack的运行机制：

抽象语法树（AST）
Prepack运行在AST级别，使用Babel解析并生成JavaScript源代码。
具体执行（Concrete Execution）
Prepack的核心是一个JavaScript解释器，它与ECMAScript 5几乎完全兼容，而且紧密地保持与ECMAScript 2016语言规范的一致性，你可以将Prepack中的解释器视为完全参照JavaScript实现的。

解释器能够跟踪并撤销包括所有对象Mutation在内的结果，从而能够进行推测优化（Speculative Optimization）。
符号执行（Symbolic Execution）
除了对具体值进行计算外，Prepack的解释器还可以操作受环境相互作用影响的抽象值。例如Date.now可以返回一个抽象值，你可以通过helper辅助函数（如__abstract()）手动注入抽象值。Prepack会跟踪所有在抽象值上执行的操作，在遇到分支时，Prepack会执行并探索所有可能性。所以，Prepack实现了一套JavaScript的符号执行引擎。
抽象释义(Abstract Interpretation)
符号执行在遇到抽象值的分支时会分叉（fork），Prepack会在控制流合并点加入分歧执行（Diverged Execution）来实现抽象释义的形式。连接变量和堆属性可能会得到条件抽象值，Prepack会跟踪有关抽象值和型域（Type Domain）的信息。
堆序列化（Heap Serialization）
当全局代码返回，初始化阶段结束时，Prepack捕获最终的堆并按顺序排列堆栈，生成直观的JavaScript新代码，创建并链接初始化堆中可访问的所有对象。堆中的一些值可能是抽象值的计算结果，对于这些值，Prepack将生成原始程序完成计算所执行的代码。

以下是官方提供的Prepack优化示例：

/* Hello World */
// Input
(function () {
  function hello() { return 'hello'; }
  function world() { return 'world'; }
  global.s = hello()   ' '   world();
})();
// Output
(function () {
  s = "hello world";
})();

/* 消除抽象税 */
// Input
(function () {
  var self = this;
  ['A', 'B', 42].forEach(function(x) {
    var name = '_'   x.toString()[0].toLowerCase();
    var y = parseInt(x);
    self[name] = y ? y : x;
  });
})();
// Output
(function () {
  _a = "A";
  _b = "B";
  _4 = 42;
})();

/* 斐波那契 */
// Input
(function () {
  function fibonacci(x) {
    return x

声明：文章版权归原作者所有部分文章转自互联网如有侵权请联系 [邮箱地址] 删除

路过

雷人

握手

鲜花

鸡蛋

收藏分享邀请

上一篇：利用序列减少Oracle数据库开发工作量没看够？更多好文在阅读原文下一篇：一个可以把web表单变成会话形式的开源框架

Facebook开源JavaScript代码优化工具Prepack

相关分类