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
