5月4日,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 \u0026lt;= 1 ? x : fibonacci(x - 1) + fibonacci(x - 2);\ }\ global.x = fibonacci(23);\})();\// Output\(function () {\ x = 28657;\})();\\
/* 模块初始化 */\// Input\(function () {\ let moduleTable = {};\ function define(id, f) { moduleTable[id] = f; }\ function require(id) {\ let x = moduleTable[id];\ return x instanceof Function ? (moduleTable[id] = x()) : x;\ }\ global.require = require;\ define(\"one\