Introducing new JavaScript optimizations, WebAssembly, SharedArrayBuffer, and Atomics in EdgeHTML 16
JavaScript 的表现一直是我们团队工作的目标，在每一次的更新中，我们都试图通过更短的启动时间、更快的运行速度和更少的内存占用，以此提升浏览器终端用户的使用体验。这些努力是由宝贵的持续客户反馈和测试数据做指导的。
在这篇文章中我们会分享一些 Chakra 引擎中的新功能，例如在新的 Windows 更新中将 WebAssembly、SharedArrayBuffer 和 Atomic 加入浏览器默认支持（EdgeHTML 16）。
More memory savings from deferring/re-deferring functions
在 EdgeHTML 15 中，Chakra 引入了 re-defer functions 。这里简要回顾一下 Chakra 的 deferring/re-deferring 功能。在启动阶段 Chakra 首先进行一次快速的 pre-parse 过程来检查语法错误，然后在函数第一次运行时才对函数的内容进行 full-parse ，随后，如果通过启发式判定认为某个函数不会再被执行了，那么 Chakra 会抛弃这个函数从 full-pasring 阶段生成的数据，将函数恢复成刚刚 pre-parse
之后的状态。
deferring/re-deferring 功能可以帮助浏览器快速的加载网页，并且节省那些冗余函数占用的空间。
在 EdgeHTML 16 中，我们增强了这部分的功能，将之前无法适用的 lexical scope 和 parameter scope 纳入功能范围，使得所有的函数都可以被 deferring/re-deferring 。举例来说，
// foo can be deferred/re-deferred after the Fall Creators Update
// example 1 - lexical/block scope
try {
function foo() {...}
var bar = foo();
}
// example 2 - parameter scope
function bar(foo = function(){...})) {...}
这些改变极大的增强了 deferring/re-deferring 的功能，进一步减少了内存使用量。根据我们的实验结果来看，这个功能减少了 Chakra 大约 4-9% 的内存消耗，更有甚者，在 Gmail 中这个值达到了 35%。
Polymorphic inline cache for property access using square brackets (object[‘property’])
Polymorphic inline cache (PIC) 是 Chakra 一开始就使用的一种优化技术。Chakra 使用一种自定义的类型系统来将值与类型匹配起来。当 Chakra 的 JIT 引擎生成代码时，Chakra 会在每一处调用阶段都使用 inline cache 来记录下这里所用到的类型，函数调用时便可以快速的匹配对象类型是否合法。
PIC 是一种可以记录多种类型的 inline cache。在 EdgeHTML 16 中，Chakra 为 object[‘property’] 这种访问方式增加了 PIC 的支持，使得如下这种可能出现不同类型的访问情况可以被优化
// example - obj can be of {a: Number} or String type
let arr = [{a: Math.random()}, Math.random().toString()];
arr.forEach(obj => {
for (propNames in obj) {
if (obj.hasOwnProperty(propNames)) {
// without PIC, multiple types lead to generic slow path
// with PIC, both types for obj
console.log(obj[propNames]);
}
}
});
Enable optimizations for functions with try/finally
在 JavaScript 中，使用 finallly 关键字可以优雅的释放 try 中使用的资源。但是直到上一次更新，Chakra 都无法优化含有 try、finally 的函数，因为在 JIT 优化过程中考虑异常和展开堆栈是一项复杂的工作。
从 Edgehtml 16 开始，当 Chakra JIT 分析函数并构建 cfg 时，它将异常和非异常的情况分开考虑，并且为 try/finally 创建了两条路径，对没有异常的情况进行常规优化，对产生异常的情况进行 bailout。
接下来会有更多针对 try/catch/finally 的优化操作出现，ChakraCore 最近为含有这些关键字的函数内联添加了支持，你可以在下个版本的 Windows 更新中看到这些内容
WebAssembly, SharedArrayBuffer, and Atomics on by default
在之前版本的更新中，Edge 已经将 WebAssembly Minimum Viable Product (MVP), SharedArrayBuffer 和 Atomics 作为实验性功能添加进来，经过过去几个月的微调，这些功能现在已经稳定并已经作为默认功能实现在了 Edgehtml 16 中。
Several changes 这些改变将 Wasm 在 Chakra 中的表现提升了大约 20-25% 。下面是一个 Wasm 的链接 Funky Karts ，你可以亲自实验一下 Wasm 在Edge 中的表现
MicroSoft 已经并将继续和 Mozilla、Google、Apple等各大浏览器厂商合作，完善 Wasm 技术。一些新的 Wasm 功能已经出现在了 Wasm 的官方规范中，如threads 和GC
网友评论