Wasm模块二进制格式的元素段结构是怎样的？求示例解析

元素段的核心作用 #

元素段是Wasm模块中专门用于定义函数引用数组的段，核心用途是初始化函数表（Function Table），也可以用来存储一组函数指针供模块内部调用。

二进制结构拆解 #

根据Wasm规范，元素段的二进制结构由以下部分依次组成：

• 段标识：固定为十六进制0x09，用来标记这是一个元素段
• 段长度：Leb128编码的无符号整数，代表段主体内容的字节数
• 主体内容：
  • 类型标识：MVP版本中固定为0x00，表示数组元素是函数引用类型
  • 表索引：Leb128编码，指定要初始化的函数表（MVP版本中仅支持1个表，所以值为0x00）
  • 偏移表达式：一段Wasm指令，用来计算数组在函数表中的起始位置，最常见的形式是0x41（i32.const指令） + Leb128偏移值 + 0x0b（end指令，标记表达式结束）
  • 元素数量：Leb128编码的无符号整数，表示数组中包含的函数引用个数
  • 函数索引列表：每个元素都是Leb128编码的函数索引，对应模块中定义或导入的函数

实战示例解析 #

示例1：基础初始化场景 #

假设我们需要初始化默认函数表，从表的第0位开始，放入2个函数（索引分别为1和2），对应的二进制字节序列为：

09 0B 00 00 41 00 0B 02 01 02

逐字节解析：

• 09：元素段标识
• 0B：段长度，十进制为11，后续11字节是段的主体内容
• 00：类型标识，指定元素为函数引用
• 00：表索引，指向模块的默认函数表
• 41 00 0B：偏移表达式，41是i32.const指令，00表示偏移值为0，0B表示表达式结束
• 02：元素数量，说明要放入2个函数引用
• 01：第一个函数的索引
• 02：第二个函数的索引

这个元素段的作用是：将函数表的第0、1位置，分别设置为模块中索引1和2的函数。

示例2：指定偏移的初始化场景 #

如果需要从函数表的第2位开始，放入1个索引为3的函数，对应的二进制序列为：

09 0C 00 00 41 02 0B 01 03

逐字节解析：

• 09：元素段标识
• 0C：段长度，十进制为12
• 00：函数引用类型标识
• 00：默认表索引
• 41 02 0B：偏移表达式，设置起始位置为表的第2位
• 01：仅放入1个函数引用
• 03：目标函数的索引

内容的提问来源于stack exchange，提问作者Sebastian Orteho