Introducing new JavaScript optimizations, WebAssembly, SharedArrayBuffer, and Atomics in EdgeHTML 16
JavaScript 的表現(xiàn)一直是我們團隊工作的目標卑惜，在每一次的更新中级乐，我們都試圖通過更短的啟動時間、更快的運行速度和更少的內(nèi)存占用诀艰，以此提升瀏覽器終端用戶的使用體驗。這些努力是由寶貴的持續(xù)客戶反饋和測試數(shù)據(jù)做指導(dǎo)的芯侥。
在這篇文章中我們會分享一些 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 過程來檢查語法錯誤狞膘，然后在函數(shù)第一次運行時才對函數(shù)的內(nèi)容進行 full-parse ，隨后什乙，如果通過啟發(fā)式判定認為某個函數(shù)不會再被執(zhí)行了挽封，那么 Chakra 會拋棄這個函數(shù)從 full-pasring 階段生成的數(shù)據(jù)，將函數(shù)恢復(fù)成剛剛 pre-parse
之后的狀態(tài)臣镣。
deferring/re-deferring 功能可以幫助瀏覽器快速的加載網(wǎng)頁辅愿，并且節(jié)省那些冗余函數(shù)占用的空間智亮。
在 EdgeHTML 16 中，我們增強了這部分的功能点待，將之前無法適用的 lexical scope 和 parameter scope 納入功能范圍鸽素，使得所有的函數(shù)都可以被 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 的功能馍忽，進一步減少了內(nèi)存使用量。根據(jù)我們的實驗結(jié)果來看燕差，這個功能減少了 Chakra 大約 4-9% 的內(nèi)存消耗遭笋，更有甚者，在 Gmail 中這個值達到了 35%徒探。
Polymorphic inline cache for property access using square brackets (object[‘property’])
Polymorphic inline cache (PIC) 是 Chakra 一開始就使用的一種優(yōu)化技術(shù)瓦呼。Chakra 使用一種自定義的類型系統(tǒng)來將值與類型匹配起來。當 Chakra 的 JIT 引擎生成代碼時测暗，Chakra 會在每一處調(diào)用階段都使用 inline cache 來記錄下這里所用到的類型央串，函數(shù)調(diào)用時便可以快速的匹配對象類型是否合法。
PIC 是一種可以記錄多種類型的 inline cache碗啄。在 EdgeHTML 16 中质和，Chakra 為 object[‘property’] 這種訪問方式增加了 PIC 的支持，使得如下這種可能出現(xiàn)不同類型的訪問情況可以被優(yōu)化
// 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 關(guān)鍵字可以優(yōu)雅的釋放 try 中使用的資源饲宿。但是直到上一次更新，Chakra 都無法優(yōu)化含有 try胆描、finally 的函數(shù)瘫想，因為在 JIT 優(yōu)化過程中考慮異常和展開堆棧是一項復(fù)雜的工作。
從 Edgehtml 16 開始昌讲，當 Chakra JIT 分析函數(shù)并構(gòu)建 cfg 時国夜，它將異常和非異常的情況分開考慮，并且為 try/finally 創(chuàng)建了兩條路徑短绸，對沒有異常的情況進行常規(guī)優(yōu)化车吹，對產(chǎn)生異常的情況進行 bailout。
接下來會有更多針對 try/catch/finally 的優(yōu)化操作出現(xiàn)鸠按，ChakraCore 最近為含有這些關(guān)鍵字的函數(shù)內(nèi)聯(lián)添加了支持礼搁，你可以在下個版本的 Windows 更新中看到這些內(nèi)容
WebAssembly, SharedArrayBuffer, and Atomics on by default
在之前版本的更新中，Edge 已經(jīng)將 WebAssembly Minimum Viable Product (MVP), SharedArrayBuffer 和 Atomics 作為實驗性功能添加進來目尖，經(jīng)過過去幾個月的微調(diào)，這些功能現(xiàn)在已經(jīng)穩(wěn)定并已經(jīng)作為默認功能實現(xiàn)在了 Edgehtml 16 中扎运。
Several changes 這些改變將 Wasm 在 Chakra 中的表現(xiàn)提升了大約 20-25% 瑟曲。下面是一個 Wasm 的鏈接 Funky Karts 饮戳，你可以親自實驗一下 Wasm 在Edge 中的表現(xiàn)
MicroSoft 已經(jīng)并將繼續(xù)和 Mozilla、Google洞拨、Apple等各大瀏覽器廠商合作扯罐，完善 Wasm 技術(shù)。一些新的 Wasm 功能已經(jīng)出現(xiàn)在了 Wasm 的官方規(guī)范中烦衣，如threads 和GC
