WebAssembly原理與核心技術（簡體書）

本書共14章，分為4個部分：第一部分(第1章)介紹Wasm技術並準備編程環境；第二部分(第2～4章)主要討論 Wasm二進制和文本格式；第三部分(第5～11章)主要討論Wasm虛擬機和解釋器的實現；第四部分(第12～14章)主要討論AOT編譯器，介紹Wasm目前存在的一些限制以及Wasm技術的未來。

資深Wasm技術和虛擬機技術專家撰寫，從原理、技術、規範3維度全面解讀Wasm，含具體實現思路和代碼

前言
第一部分　概述
第1章 Wasm介紹3
1.1　Wasm簡史3
1.2　Wasm簡介6
1.3　準備工作10
1.4　你好Wasm11
1.5　本章小結13
第二部分　二進制和文本格式
第2章　二進制格式17
2.1　二進制格式介紹17
2.1.1　Wasm二進制格式總體結構18
2.1.2　索引空間21
2.1.3　實體類型23
2.2　二進制格式分析25
2.2.0　魔數和版本號25
2.2.1　類型段26
2.2.2　導入段28
2.2.3　函數段30
2.2.4　表段30
2.2.5　內存段31
2.2.6　全域段32
2.2.7　導出段33
2.2.8　起始段34
2.2.9　元素段35
2.2.10　代碼段35
2.2.11　數據段37
2.2.12　自定義段38
2.3　二進制格式解碼39
2.3.1　LEB128介紹39
2.3.2　解碼基本類型41
2.3.3　解碼向量類型44
2.3.4　處理tag44
2.3.5　解碼代碼項和表達式45
2.3.6　解碼整體結構45
2.3.7　處理錯誤情況47
2.4　實現dump命令48
2.5　本章小結50
第3章　指令集51
3.1　指令集介紹51
3.1.1　操作碼51
3.1.2　助記符53
3.1.3　立即數54
3.1.4　操作數57
3.2　指令分析58
3.2.1　數值指令58
3.2.2　變量指令60
3.2.3　內存指令61
3.2.4　結構化控制指令62
3.2.5　跳轉指令64
3.2.6　函數調用指令65
3.3　指令解碼66
3.4　完善dump命令69
3.5　本章小結70
第4章　文本格式71
4.1　基本結構71
4.1.1　類型域72
4.1.2　導入和導出域73
4.1.3　函數域75
4.1.4　表域和元素域75
4.1.5　內存域和數據域76
4.1.6　全域域77
4.1.7　起始域77
4.2　指令78
4.2.1　普通形式78
4.2.2　折疊形式79
4.3　本章小結81
第三部分　虛擬機和解釋器
第5章　操作數棧85
5.1　操作數棧85
5.2　虛擬機87
5.2.1　指令循環88
5.2.2　指令分派88
5.3　參數指令89
5.3.1　drop指令90
5.3.2　select指令90
5.4　數值指令91
5.4.1　常量指令92
5.4.2　測試指令92
5.4.3　比較指令93
5.4.4　一元算術指令95
5.4.5　二元算術指令96
5.4.6　類型轉換指令99
5.5　本章效果103
5.6　本章小結105
第6章　內存107
6.1　內存介紹107
6.2　內存實現108
6.3　內存指令109
6.3.1　size和grow指令110
6.3.2　加載指令111
6.3.3　存儲指令113
6.4　本章效果115
6.5　本章小結117
第7章　函數調用（上）119
7.1　函數調用介紹119
7.2　函數調用實現122
7.2.1　增強操作數棧123
7.2.2　添加調用棧124
7.2.3　增強虛擬機126
7.2.4　call指令127
7.3　局部變量指令129
7.3.1　local.get指令130
7.3.2　local.set指令130
7.3.3　local.tee指令131
7.4　全局變量指令132
7.4.1　global.get指令132
7.4.2　global.set指令133
7.5　本章效果134
7.6　本章小結135
第8章　控制指令137
8.1　控制指令介紹137
8.1.1　跳轉標簽138
8.1.2　跳轉標簽索引139
8.1.3　塊類型141
8.2　控制指令實現142
8.2.1　block和loop指令142
8.2.2　if指令144
8.2.3　br指令146
8.2.4　br_if指令148
8.2.5　br_table指令149
8.2.6　return指令150
8.2.7　unreachable和nop指令151
8.3　本章效果152
8.4　本章小結153
第9章　函數調用（下）155
9.1　本地函數調用155
9.1.1　本地函數介紹155
9.1.2　統一兩種函數158
9.1.3　調用本地函數159
9.1.4　鏈接本地函數161
9.1.5　測試本節代碼162
9.2　間接函數調用163
9.2.1　間接函數調用介紹163
9.2.2　實現表165
9.2.3　初始化表166
9.2.4　call_indirect指令167
9.2.5　測試本節代碼168
9.3　本章小結169
第10章　鏈接和實例化171
10.1　定義實例接口171
10.2　實現實例接口174
10.2.1　函數174
10.2.2　表176
10.2.3　全局變量177
10.2.4　虛擬機177
10.3　實例化模塊178
10.4　本章效果180
10.5　本章小結183
第11章　錯誤處理和驗證185
11.1　各種錯誤186
11.1.1　解碼錯誤186
11.1.2　結構錯誤188
11.1.3　實例化錯誤189
11.1.4　運行時錯誤190
11.2　驗證整體結構190
11.3　驗證函數字節碼192
11.3.1　數據結構193
11.3.2　操作數棧194
11.3.3　控制棧195
11.3.4　驗證指令197
11.4　本章效果198
11.5　本章小結199
第四部分　進階
第12章　編譯為Wasm203
12.1　控制指令203
12.2　參數指令207
12.3　變量指令208
12.4　內存指令210
12.5　數值指令213
12.6　本章小結215
第13章　AOT編譯器217
13.1　AOT介紹217
13.2　編譯模塊219
13.3　編譯函數220
13.3.1　內部函數221
13.3.2　外部函數222
13.3.3　導出函數222
13.3.4　輔助方法223
13.4　編譯指令224
13.4.1　參數指令224
13.4.2　變量指令225
13.4.3　內存指令226
13.4.4　數值指令227
13.4.5　結構化控制指令228
13.4.6　跳轉指令230
13.4.7　函數調用指令231
13.5　本章效果233
13.6　本章小結234
第14章　提案和前景235
14.1　提案235
14.1.1　多塊內存237
14.1.2　內存塊操作237
14.1.3　引用類型239
14.1.4　尾遞歸調用241
14.1.5　異常處理242
14.1.6　多線程支持244
14.1.7　其他提案247
14.2　前景248
附錄A　Wasm指令表249
附錄B　二進