前面的文章详细介绍了WebAssembly（简称Wasm）二进制格式和指令集，这篇文章将介绍Wasm文本格式（WebAssembly Text Format，后面简称WAT）。
WAT采用了S-表达式写法，整体结构如下所示：
(module
(type ... )
(import ... )
(func ... )
(table ... )
(mem ... )
(global ... )
(export ... )
(start ... )
(elem ... )
(data ... )
)
复制代码
文本格式是二进制格式的另外一种表现形式，但是对人类更加友好。二进制格式更适合机器（比如编译器）生成和（比如Wasm解释器）理解，文本格式则更适合人类编写和阅读。除了表现形式有明显不同，在结构上，两种格式主要有下面这些不同点：
在前面的5篇文章里，我们详细讨论了WebAssembly（简称Wasm）二进制格式和除call_indirect之外的所有指令。这篇文章将详细介绍Wasm间接函数调用机制和call_indirect指令。
为了更好的理解call_indirect指令，我们首先来回顾一下call指令的工作方式。根据之前文章的介绍 可知，call指令带有一个立即数参数，指定被调用函数的索引。在Wasm实现执行call指令之前，必须保证要传递给被调用函数的参数已经在栈顶，且参数的顺序和类型必须完全匹配被调函数的签名。call指令执行完毕之后，参数已经从栈顶弹出，函数的返回值（如果有的话）会出现在栈顶。我们假设被调用函数接收两个参数，类型分别是f32和f64，返回值类型是i64，下面是call指令的示意图：
[WebAssembly]https%3A%2F%2Fwebassembly.org%2F)（简称Wasm）控制指令一共有11条，其中unreachable指令（操作码0x00）和nop指令（操作码0x01）比较简单，不介绍。call指令（操作码0x10）已经在上一篇文章里介绍，call_indirect指令（操作码0x11）将在下一篇文章里介绍。本文重点讨论block（操作码0x02）、loop（操作码0x03）、if（操作码0x04）、br（操作码0x0C）、br_if（操作码0x0D）、br_table（操作码0x0E）和return（操作码0x0F）这7条指令。
上一篇文章介绍了WebAssembly（简称Wasm）内存和相关指令，这篇文章将介绍变量指令和函数调用指令。
Wasm模块可以定义或者导入全局变量。导入时，可以限定全局变量的类型和可修改性（mutability）。定义时，除了限定类型和可修改性还可以给定初始值。下面是一个WAT例子，展示了全局变量的导入和定义：
(module
(import "env" "g1" (global $g1 i32)) ;; immutable
(import "env" "g2" (global $g2 (mut f32))) ;; mutable
(global $g3 (mut i32) (i32.const 123)) ;; mutable
(global $g4 (mut i64) (i64.const 456)) ;; mutable
(global $g5 f32 (f32.const 1.5)) ;; immutable
(global $g6 f64 (f64.const 2.5)) ;; immutable
(func $main
;; $g3 = $g1
(global.get $g1)
(global.set $g3)
)
)
复制代码
变量指令一共5条，其中2条用来读写全局变量，下面分别介绍。
上一篇文章介绍了WebAssembly（简称Wasm）指令集以及指令的操作码（Opcode）、立即数（Immediate Arguments）、操作数（Operands）、操作数栈（Operand Stack，简称栈）等概念，并且详细介绍了参数指令和数值指令。这篇文章将介绍Wasm内存和相关指令。
上一篇文章介绍了WebAssembly（后文简称Wasm）二进制格式，这一篇文章将介绍Wasm指令集、操作数栈和部分指令。
和真实的机器码一样，Wasm二进制文件中的代码也由一条一条的指令构成。同样，Wasm指令也包含两部分信息：操作码（Opcode）和操作数 （Operands）。Wasm操作码固定为一个字节，因此最多能表示256条指令，这一点和Java字节码一样。Wasm1.0规范一共定义了172条指令，这些指令按功能可以分为5大类，分别是：
可以看到，已经定义的指令中，有超过2/3属于数值指令。为了方便人类书写和理解，Wasm规范给也给每个操作码定义了助记符（Mnemonic），比如说操作码0x41的助记符是i32.const。下面是已定义指令的操作码分布示意图：
关于WebAssembly（下文简称Wasm）的介绍已经有很多了，本文不打算再多啰嗦。本文介绍的重点是Wasm二进制格式，我们会把一个最简单的Rust程序（没错，就是Hello，World！程序）编译成Wasm二进制格式，然后以Go伪代码结合xxd命令的形式来剖析Wasm二进制格式 。下面是这个Rust程序的完整代码（如果不了解如何将Rust编译成Wasm，请看这篇文章）：
#![no_std]
#![no_main]
extern "C" {
fn print_str(ptr: *const u8, len: usize);
}
#[panic_handler]
fn panic(_info: &core::panic::PanicInfo) -> ! {
loop {}
}
#[no_mangle]
pub extern "C" fn main() {
unsafe {
let s = "Hello, World!\n";
print_str(s.as_ptr(), s.len());
}
}
Wasm的顶层结构是模块（Module），每一个Wasm二进制文件对应一个模块。模块以4字节魔数开始，接着是4字节版本号，其余是模块的数据。具体的模块数据被分门别类的放在不同的段（Section）中，每个段都由唯一的段ID来标识。除了自定义段（后文会介绍）以外，其他所有的段都最多只能出现一次，且必须按照段ID递增的顺序出现。下面的伪代码（采用Go语言语法，下同）给出了模块的整体结构：
FFI 库，是 LuaJIT 中最重要的一个扩展库。它允许从纯 Lua 代码调用外部 C 函数，使用 C 数据结构。有了它，就不用再像 Lua 标准 math 库一样，编写 Lua 扩展库。把开发者从开发 Lua 扩展 C 库（语言/功能绑定库）的繁重工作中释放出来。学习完本小节对开发纯 ffi 的库是有帮助的，像 lru-resty-lrucache 中的 pureffi.lua，这个纯 ffi 库非常高效地完成了 lru 缓存策略。