深入淺出WebAssembly

第1章 漫談WebAssembly發(fā)展史 1
1.1 JavaScript的發(fā)展和弊端 1
1.1.1 快速發(fā)展與基準(zhǔn)測試 1
1.1.2 Web新時代與不斷挑戰(zhàn) 8
1.1.3 無法跨越的“阻礙” 11
1.1.4 Chrome V8引擎鏈路 17
1.2 曾經(jīng)嘗試——ASM.js與PNaCl 28
1.2.1 失落的ASM.js 28
1.2.2 古老的NaCl與PNaCl 42
1.3 新的可能——WebAssembly 57
1.3.1 改變與顛覆 57
1.3.2 一路向前，WCG與WWG 85
第2章 WebAssembly核心原理（基于MVP標(biāo)準(zhǔn)） 90
2.1 應(yīng)用與標(biāo)準(zhǔn)Web接口 90
2.1.1 編譯與初始化 90
2.1.2 驗證模塊 106
2.1.3 遇到錯誤 106
2.1.4 內(nèi)存分配 108
2.1.5 表 112
2.2 深入設(shè)計模型——堆棧機(jī) 118
2.2.1 堆棧式虛擬機(jī) 119
2.2.2 逆波蘭表達(dá)式 125
2.2.3 Shunting-yard算法 126
2.2.4 標(biāo)簽與跳轉(zhuǎn) 130
2.2.5 條件語句 135
2.2.6 子程序調(diào)用 137
2.2.7 變量 138
2.2.8 棧幀 139
2.2.9 堆 140
2.3 類型檢查 141
2.3.1 數(shù)據(jù)指令類型 142
2.3.2 基本流程控制 144
2.3.3 基于表達(dá)式的控制流 149
2.3.4 類型堆棧的一致性 151
2.3.5 不可達(dá)代碼 155
2.4 二進(jìn)制編碼 156
2.4.1 字節(jié)序——大端模式與小端模式 157
2.4.2 基于LEB-128的整數(shù)編碼 161
2.4.3 基于IEEE-754—2008的浮點數(shù)編碼 164
2.4.4 基于UTF-8的字符串編碼 167
2.4.5 模塊數(shù)據(jù)類型 168
2.4.6 虛擬指令與編碼 169
2.4.7 類型構(gòu)造符 174
2.5 模塊 175
2.5.1 段 175
2.5.2 索引空間 185
2.5.3 二進(jìn)制原型結(jié)構(gòu) 186
2.6 內(nèi)存結(jié)構(gòu) 196
2.6.1 操作運算符 197
2.6.2 尋址 197
2.6.3 對齊 198
2.6.4 溢出與調(diào)整 202
第3章 動態(tài)鏈接與SIMD（基于MVP標(biāo)準(zhǔn)） 204
3.1 動態(tài)鏈接（Dynamic Linking） 204
3.1.1 ELF 206
3.1.2 重定向（Relocation） 212
3.1.3 GOT（Global Offset Table，全局偏移表） 225
3.1.4 PLT（Procedure Lookup Table，過程查詢表） 229
3.1.5 基于表的Wasm模塊動態(tài)鏈接 233
3.2 單指令多數(shù)據(jù)流（SIMD） 236
3.2.1 SIMD應(yīng)用 238
3.2.2 并行與并發(fā) 243
3.2.3 費林分類法 244
3.2.4 SIMD.js & TC39 246
3.2.5 WebAssembly上的SIMD擴(kuò)展 248
第4章 深入LLVM與WAT 250
4.1 LLVM——底層虛擬機(jī) 250
4.1.1 傳統(tǒng)的編譯器架構(gòu) 251
4.1.2 LLVM中間表示層 252
4.1.3 基于LLVM的編譯器架構(gòu) 254
4.1.4 LLVM優(yōu)化策略 256
4.1.5 LLVM命令行工具 261
4.1.6 WebAssembly與LLVM 267
4.2 基于LLVM開發(fā)編程語言 272
4.2.1 圖靈完備與DSL 276
4.2.2 簡易詞法分析器 280
4.2.3 RDP與OPP算法 287
4.2.4 AST 295
4.2.5 簡易語法分析器 296
4.2.6 生成LLVM-IR代碼 303
4.2.7 鏈接優(yōu)化器 307
4.2.8 編譯到目標(biāo)代碼 308
4.2.9 整合I/O交互層 312
4.3 WAT 315
4.3.1 S-表達(dá)式 317
4.3.2 WAT/Wasm與Binary-AST 319
4.3.3 其他與設(shè)計原則 320
第5章 Emscripten基礎(chǔ)應(yīng)用 322
5.1 利器——Emscripten工具鏈 322
5.1.1 Emscripten發(fā)展歷史 322
5.1.2 Emscripten組成結(jié)構(gòu) 324
5.1.3 Emscripten下載、安裝與配置 326
5.1.4 運行測試套件 330
5.1.5 編譯到ASM.js 331
5.2 連接C/C++與WebAssembly 333
5.2.1 構(gòu)建類型 333
5.2.2 Emscripten運行時環(huán)境 342
5.2.3 在JavaScript代碼中調(diào)用C/C++函數(shù) 351
5.2.4 在C/C++代碼中調(diào)用JavaScript函數(shù) 362
第6章 基于Emscripten的語言關(guān)系綁定 382
6.1 基于Embind實現(xiàn)關(guān)系綁定 384
6.1.1 簡單類 389
6.1.2 數(shù)組與對象類型 391
6.1.3 高級類元素 393
6.1.4 重載函數(shù) 407
6.1.5 枚舉類型 408
6.1.6 基本類型 409
6.1.7 容器類型 411
6.1.8 轉(zhuǎn)譯JavaScript代碼 413
6.1.9 內(nèi)存視圖 416
6.2 基于WebIDL實現(xiàn)關(guān)系綁定 417
6.2.1 指針、引用和值類型 420
6.2.2 類成員變量 422
6.2.3 常量“const”關(guān)鍵字 423
6.2.4 命名空間 424
6.2.5 運算符重載 425
6.2.6 枚舉類型 426
6.2.7 接口類 429
6.2.8 原始指針、空指針與void指針 430
6.2.9 默認(rèn)類型轉(zhuǎn)換 433
第7章 探索Emscripten高級特性 436
7.1 加入優(yōu)化流程 436
7.1.1 使用編譯器代碼優(yōu)化策略 441
7.1.2 使用GCC壓縮代碼 443
7.1.3 使用IndexedDB緩存模塊對象 445
7.1.4 其他優(yōu)化參數(shù) 452
7.2 使用標(biāo)準(zhǔn)庫與文件系統(tǒng) 453
7.2.1 使用基于musl和libc++的標(biāo)準(zhǔn)庫 454
7.2.2 虛擬文件系統(tǒng)結(jié)構(gòu) 457
7.2.3 打包初始化文件 458
7.2.4 基本文件系統(tǒng)操作 460
7.2.5 懶加載 469
7.2.6 Fetch API 472
7.3 處理瀏覽器事件 477
7.3.1 事件注冊函數(shù) 479
7.3.2 事件回調(diào)函數(shù) 479
7.3.3 通用類型與返回值類型 481
7.3.4 常用事件 482
7.4 基于EGL、OpenGL、SDL和OpenAL的多媒體處理 485
7.4.1 使用EGL與OpenGL處理圖形 486
7.4.2 使用SDL處理圖形 492
7.4.3 使用OpenAL處理音頻 495
7.5 調(diào)試WebAssembly應(yīng)用 497
7.5.1 編譯器的調(diào)試信息 498
7.5.2 使用調(diào)試模式 500
7.5.3 手動跟蹤 501
7.5.4 其他常用編譯器調(diào)試選項 503
第8章 WebAssembly綜合實踐、發(fā)展與未來 504
8.1 DIP綜合實踐應(yīng)用 504
8.1.1 應(yīng)用描述 504
8.1.2 濾鏡與卷積 505
8.1.3 基本組件類型與架構(gòu) 509
8.1.4 編寫基本頁面骨架（HTML與CSS） 510
8.1.5 編寫核心卷積函數(shù)（C++） 511
8.1.6 編寫主渲染循環(huán)與“膠水”代碼（JavaScript） 513
8.1.7 使用Emscripten編譯并運行應(yīng)用 518
8.1.8 性能對比 519
8.2 WebAssembly常用工具集 520
8.2.1 Cheerp 520
8.2.2 Webpack 4 522
8.2.3 Go和Rust的WebAssembly實踐 525
8.2.4 Binaryen 527
8.2.5 WasmFiddle 528
8.2.6 Wabt 529
8.2.7 AssemblyScript 529
8.3 WebAssembly未來草案 529
8.3.1 GC（垃圾回收） 530
8.3.2 Multi-Thread（多線程）與原子操作 530
8.3.3 異常處理 530
8.3.4 多返回值擴(kuò)展 530
8.3.5 ES模塊 530
8.3.6 尾遞歸 531
8.3.7 BigInts的雙向支持 531
8.3.8 自定義注釋語法 531