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