尧图网站建设 
mruby 3.1 升级全解析语言特性、VM 指令集与字节码格式的里程碑式变更【免费下载链接】fluent-bitFast and Lightweight Logs, Metrics and Traces processor for Linux, BSD, OSX and Windows项目地址: https://gitcode.com/GitHub_Trending/fl/fluent-bitmruby 3.1 是一次在语言语义与底层执行引擎两个层面同时发生重大变更的版本一方面引入与 CRuby 3.0 兼容的关键字参数体系另一方面对 RiteVM 指令集与 RITE 二进制格式进行了不向后兼容的重构。本文基于仓库内 nghttp2 第三方依赖中随附的官方变更文档mruby3.1.md展开结合同一目录下的 mruby 源码逐条印证帮助你系统掌握 3.0 → 3.1 的全部用户可见变化并为嵌入环境升级、字节码重编译与价值打包Boxing调优提供可直接落地的依据。说明本仓库以 nghttp2 第三方依赖的形式内置了一份 mruby 源码树lib/nghttp2-1.65.0/third-party/mruby。其中随附的 mruby3.1.md 即 mruby 3.1 官方发布的从 mruby 3.0 起的用户可见变化清单而当前树内 version.h 显示MRUBY_RUBY_VERSION已演进到 3.3说明 3.1 属于该嵌入式运行时演进史中的关键一环。本文以 3.1 变更为主线并用现有源码验证其落地形态。一、新语言特性New Features1.1 核心与 CRuby 3.0 兼容的关键字参数mruby 3.1 引入了与 CRuby 3.0 兼容的关键字参数Keyword Arguments体系其核心设计是将关键字参数与普通位置参数在语义上基本分离。这一改动并非单纯的语言语法调整它直接牵动方法调用指令的编码方式——我们在后文OP_SEND / OP_SENDB 统一一节可以看到OP_SEND系列指令的操作数被重新划分为普通参数个数 n 关键字参数个数 nk两部分这正是关键字参数语义落地的字节码支撑。1.2 其他语言增强实现endless-def无end的单行方法定义Ruby 提案 #16746用单行模式匹配single-line pattern matching取代原先的R-assignmentRuby 提案 #15921支持squiggly heredoc可缩进的 here-docmruby PR #5246支持Hash 值省略写法{x:, y:}等价于{x: x, y: y}Ruby 提案 #14579。二、新增配置宏Configuration Options Changed3.1 新增了三个可在编译期控制的配置宏其中两个与只读数据段RO data判定相关一个与浮点数的 word boxing 精度相关配置宏作用源码位置佐证MRB_WORDBOX_NO_FLOAT_TRUNCATE默认情况下浮点值若可能则被打包进 word定义该宏后改为在堆上分配浮点值避免精度损失mrbconf.h 中声明src/etc.c 与 src/symbol.c 中均有条件编译分支MRB_USE_RO_DATA_P_ETEXT当目标平台存在_etext符号时定义用于启用默认的只读数据段判定mrbconf.hMRB_NO_DEFAULT_RO_DATA_P定义后不使用 mruby 预置的mrb_ro_data_p()函数改由用户自行实现mrbconf.h实现约定见 doc/guides/mrbconf.md函数原型为mrb_bool mrb_ro_data_p(const char *ptr)理解这几个宏需要先看 mruby 的打包Boxing宏体系。在 mrbconf.h 中可以看到MRB_NAN_BOXING用 NaN 表示mrb_value双精度打包MRB_WORD_BOXING用 word机器字打包是三者皆未定义时的默认方案MRB_WORDBOX_NO_FLOAT_TRUNCATE仅对 word boxing 生效的精度开关另有MRB_NO_FLOAT完全禁用浮点与MRB_USE_FLOAT32mrb_float使用 32 位 float二者互斥定义时会触发编译错误见 mrbconf.h。三、新增构建配置与工具链变化3.1 新增 build_config3.1 在build_config目录下新增了多个构建配置当前仓库的 build_config/ 目录中均可找到对应文件cross-mingw-winetest.rb、cross-mingw.rbMinGW 交叉编译配置nintendo_switch.rb、serenity.rb面向任天堂 Switch 与 SerenityOS 的新平台配置minimal.rb最小化配置适用于资源受限的嵌入场景host-f32.rb以 32 位float作为mrb_float编译host-nofloat.rb无浮点配置android_arm64_v8a.rb由原android_arm64-v8a.rb重命名而来注意连字符改成了下划线若构建脚本引用旧文件名需同步更新。3.2 工具链Toolsmruby-config新增--cc与--ld选项便于第三方构建系统直接获取编译/链接命令mruby -v的代码转储输出移除OP_前缀输出更简洁如SEND而非OP_SENDmrbc新增--no-ext-ops选项禁止生成OP_EXT1/OP_EXT2/OP_EXT3扩展操作码——这对于希望严格控制字节码操作数宽度的场景很有价值。四、标准库与 Gem 增强4.1 新增方法Array#productArray#repeated_combinationArray#repeated_permutationKernel#__ENCODING__Random.bytesRandom#bytesString#center4.2 mruby-pack 新指令支持mrbgems/mruby-packArray#pack/String#unpack的实现新增四种指令指令含义MQ-encodingMIME Quoted-Printable 编码X按字节回退back-up by bytes绝对定位absolute positionwBER 压缩整数BER compression与 msgpack 等格式互操作常用五、面向 mruby 开发者的接口变化mrb_get_args()新增了类型说明符c用于接收 Class / Module 对象。这意味着 C 扩展作者在解析参数时可以直接声明该参数必须是一个类或模块由运行时统一完成类型检查与转换简化了 C API 的边界处理。六、破坏性变更Breaking Changes6.1 方法级不兼容Kernel#printfmruby-sprintf格式说明符%a与%A被移除Kernel#putsmruby-print现在会展开数组参数逐一输出行为更接近 CRuby依赖旧行为的脚本在升级后输出会发生变化。6.2 mruby VM 与字节码格式不再向后兼容由于二进制格式的改进mruby 3.1 编译出的二进制无法在旧版本上运行反之亦然。官方要求要运行 mruby 二进制必须使用 mruby 3.1 的mrbc重新编译。本次升级将两个版本号统一提升到0300VM 版本RITE_VM_VER→0300含义为 mruby 3.0 及之后二进制格式版本RITE_BINARY_FORMAT_VER→0300。源码层面的证据非常直接include/mruby/dump.h 定义了 RITE 二进制头的魔数与版本常量#define RITE_BINARY_IDENT RITE /* Binary Format Version Major:Minor */ /* Major: Incompatible to prior versions */ /* Minor: Upper-compatible to prior versions */ #define RITE_BINARY_MAJOR_VER 03 #define RITE_BINARY_MINOR_VER 00 #define RITE_BINARY_FORMAT_VER RITE_BINARY_MAJOR_VER RITE_BINARY_MINOR_VER ... #define RITE_VM_VER 0300其中RITE_BINARY_MAJOR_VER的注释明确写着 Major: Incompatible to prior versions主版本号不兼容旧版这正是3.1 二进制与旧版不兼容的规范依据。在 src/dump.c 中mrbc写出文件时会执行memcpy(header-rite_version, RITE_VM_VER, ...)把0300写入 IREP 段头。二进制文件头部的具体布局魔数RITE、主/次版本各 2 字节、文件大小、编译器名等定义在 dump.h 的struct rite_binary_header中。七、RiteVM 指令集重构本次变更的核心7.1 重新引入扩展指令OP_EXT1/OP_EXT2/OP_EXT3mruby 3.0 曾移除用于操作数扩展的OP_EXT1、OP_EXT2、OP_EXT3三条指令但实践证明基础操作数宽度8 bit对真实应用而言过于紧张mruby 3.1 将其重新引入。这些扩展指令的取值逻辑在 include/mruby/opcode.h 中体现得淋漓尽致同一取指宏按是否跟在OP_EXT1/2/3之后将操作数从 8 bit 提升为 16 bit 读取例如FETCH_B_1()OP_EXT1之后的第 1 个操作数按READ_S()16 bit读取FETCH_BB_2()OP_EXT2之后的第 2 个操作数按 16 bit 读取FETCH_BB_3()OP_EXT3之后第 1、2 个操作数均按 16 bit 读取。7.2 移除的指令由于扩展指令回归以下 16 位指令不再需要而被移除OP_LOADL16OP_LOADSYM16OP_STRING16OP_LAMBDA16OP_BLOCK16OP_METHOD16OP_EXEC16另外面向变长参数方法调用的OP_SENDV与OP_SENDVB也被移除——它们的功能由n15参数打包进数组的OP_SEND指令完全覆盖。7.3 新增指令mruby 3.1 引入以下新指令当前 include/mruby/ops.h 中均可找到对应OPCODE声明指令操作数语义OP_GETIDX1 个BR[a] R[a][R[a1]]即执行obj[int]下标读取OP_SETIDX1 个BR[a][R[a1]] R[a2]即执行obj[int] value下标写入OP_SSEND3 个BBBR[a] self.b(c...)等价于带 self 的OP_SENDOP_SSENDB3 个BBBR[a] self.b(c...){...}带块版本的OP_SSENDOP_SYMBOL2 个BBR[a] intern(Pool[b])把常量池中的字符串内部化为符号OP_GETIDX/OP_SETIDX分别直接对应obj[int]与obj[int] value其中obj为string | array | hash类型。在 ops.h 中可以看到二者均为单操作数B指令操作数仅需给出基址寄存器a被索引对象与下标分别由R[a1]、R[a2]提供。OP_SSEND/OP_SSENDB与OP_SEND/OP_SENDB语义相似区别在于它们先将R[a]初始化为self从而为每次 self 方法调用省去一条OP_LOADSELF指令——典型的代码体积优化。OP_SYMBOL从常量池中提取字符串并内部化为符号用于优化符号字面量的构造路径。7.4 变更的指令OP_SEND/OP_SENDB统一这是 3.1 指令集中最重要的变更方法调用指令被统一OP_SEND与OP_SENDB带块的方法调用现在同时支持 splat 展开参数与关键字参数。官方文档给出的指令简表如下OP_SENDBBBR[a] R[a].call(Syms[b],R[a1..n],R[an1],R[an2]..nk) cn|nk4OP_SENDBBBBR[a] R[a].call(Syms[b],R[a1..n],R[an1..nk],R[an2..nk],R[an2*nk2]) cn|nk4操作数 C 编码规则如下低 4 位n普通位置参数个数高 4 位nk关键字参数个数当n 15时普通参数被打包进一个数组传递当nk 15时关键字参数被打包进一个 Hash 传递。对比 ops.h 中的指令语义注释可以看到OP_SEND与OP_SSEND的 C 操作数注释均为cn|k4与文档完全一致。这一编码设计与第一节的 CRuby 3.0 兼容关键字参数特性互为表里关键字参数成为方法调用的一等公民通道而不再依赖OP_SENDV这类专用指令。7.5 变更的指令OP_ARYPUSHOP_ARYPUSH由原先的单操作数改为双操作数一次可以将多个元素压入数组ary_push(R[a], R[a1]..R[ab])见 ops.h减少了构造数组字面量时的指令条数。八、值打包Boxing机制更新8.1 Word Boxing浮点值入 word 与精度取舍MRB_WORD_BOXING的默认行为发生变化当mrb_float的大小小于等于mrb_int时浮点值默认被打包进 word。若mrb_float与mrb_int大小相同则mrb_float的最后 2 个 bit 会被裁剪并用作标志位——这意味着该默认模式存在浮点精度损失需要完整精度时必须定义MRB_WORDBOX_NO_FLOAT_TRUNCATE改为在堆上分配浮点值。这一取舍在源码中有两处直接体现src/etc.c 在MRB_WORDBOX_NO_FLOAT_TRUNCATE的定义分支下切换浮点转字符串的路径而 src/symbol.c 的编译条件MRB_WORD_BOXING MRB_32BIT !MRB_WORDBOX_NO_FLOAT_TRUNCATE表明32 位 word boxing 且未禁用裁剪时符号生成走的是无浮点分支。8.2 NaN BoxingFavor Pointer 表示旧版 NaN boxing 把值打包进 NaN 表示但实测中指针读取的频率远高于浮点引用。因此 3.1 为 NaN 表示增加常量偏移constant offset以清空指针表示中的高位比特该新表示被命名为Favor Pointer NaN Boxing——用一次常量加法/减法的代价换取更快的指针路径。此外旧版 NaN boxing 为了适配 NaN 的 64 bit 空间把mrb_int限制为 4 字节32 bit。3.1 解除了该限制超出 32 bit 范围的整数值在堆上分配与 word boxing 的处理方式保持一致。九、代码生成优化9.1 常量折叠Constant Folding代码生成器被更新以削减指令数量例如a 2 * 5将被直接解释为a 10即编译期完成常量算术运行期不再执行乘法。9.2 窥孔优化Peephole Optimization相邻指令的冗余移动被消除例如GETIV R4 :foo MOVE R1 R4被优化为GETIV R1 :foo直接减少了一条MOVE指令。9.3String#hash改用 FNV1a 算法String#hash改用FNV1a哈希算法以获得更好、更快的哈希值分布。十、主要 Bug 修复Major Bug Fixes3.1 修复了大量涉及运算、继承语义、打包与解析器的缺陷完整清单如下修复整数除法中的无限递归调用缺陷修复super位于instance_eval/class_eval内部时未抛出TypeError的问题PR #5476修复方法定义时未触发method_added钩子的问题PR #2339修复time_zonename中的潜在缓冲区溢出修复Module.instance_eval缺陷PR #5528修复MQ-encoding打包缺陷修复带关键字参数kargs的属性赋值缺陷修复mrbgems/mruby-method引起的SIGSEGVPR #5580修复codegen_error()在清理前打印错误的问题PR #5603修复BER 解包缺陷PR #5611修复编号参数作为实参时的缺陷PR #5605修复mrb_ary_shift_m初始化缺陷修复super与关键字参数组合的缺陷PR #5628修复顶层编号参数缺陷修复关键字参数相关缺陷issue #5632修复参数中的多重赋值缺陷issue #5647修复关键字参数未通过super传递的问题issue #5660修复未闭合 here-doc 导致的死循环issue #5676修复负整数除法缺陷issue #5678。十一、安全公告CVE11.1 本版本已修复的 CVE以下 CVE 在 3.1 中得到修复CVE-2021-4110、CVE-2021-4188、CVE-2022-0080、CVE-2022-0240、CVE-2022-0326、CVE-2022-0481、CVE-2022-0631、CVE-2022-0632、CVE-2022-0890、CVE-2022-1071、CVE-2022-1106、CVE-2022-1201、CVE-2022-142711.2 本版本不受影响的 CVE以下 CVE 在 3.1 中不构成问题但修复代码是在后续版本中合入的CVE-2022-0481、CVE-2022-0525、CVE-2022-0570、CVE-2022-0614、CVE-2022-0623、CVE-2022-0630、CVE-2022-0717、CVE-2022-0817、CVE-2022-1212、CVE-2022-1276、CVE-2022-1286注意CVE-2022-0481 同时出现在已修复与不受影响两份清单中这是官方文档的原始写法——它在本版本修复之列同时其触发路径在 3.1 中不会造成问题后续版本的修复属于纵深加固。十二、升级到 mruby 3.1 的迁移清单综合以上变更从 mruby 3.0 迁移到 3.1 时建议按以下顺序核对重新编译所有 mruby 二进制RITE 二进制格式主版本升至03与旧版不兼容必须用 3.1 的mrbc重新编译见 dump.h检查%a/%A格式化用法Kernel#printf已移除这两个说明符相关代码需改写复查puts输出Kernel#puts现在展开数组参数涉及数组输出的脚本结果会变化重新审视关键字参数调用OP_SEND/OP_SENDB的cn|nk4编码意味着关键字参数与位置参数在字节码层面分道扬镳C 扩展若直接解析指令流需同步适配同时super、属性赋值、参数多重赋值等边缘场景均有修复行为更贴近 CRuby 3.0 语义按需选择打包配置默认 word boxing 会裁剪mrb_float末尾 2 bit对精度敏感的场景定义MRB_WORDBOX_NO_FLOAT_TRUNCATENaN boxing 已切换为 Favor Pointer 表示并放开 32 bit 整数限制跟进安全补丁对照上文的 CVE 清单确认所嵌入的 mruby 版本是否已包含对应修复必要时升级到包含后续修复的版本。至此mruby 3.1 从语言语义、配置宏、构建配置、指令集、打包机制到安全修复的全部用户可见变化均已覆盖且每一处关键结论都能在仓库内的 mruby3.1.md 及其对应的 ops.h、opcode.h、dump.h、mrbconf.h 等源码文件中找到直接依据可作为嵌入式场景升级 mruby 与适配 nghttp2 依赖时的权威参考。【免费下载链接】fluent-bitFast and Lightweight Logs, Metrics and Traces processor for Linux, BSD, OSX and Windows项目地址: https://gitcode.com/GitHub_Trending/fl/fluent-bit创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 mruby 3.1 升级全解析：语言特性、VM 指令集与字节码格式的里程碑式变更
mruby 3.1 升级全解析语言特性、VM 指令集与字节码格式的里程碑式变更【免费下载链接】fluent-bitFast and Lightweight Logs, Metrics and Traces processor for Linux, BSD, OSX and Windows项目地址: https://gitcode.com/GitHub_Trending/fl/fluent-bitmruby 3.1 是一次在语言语义与底层执行引擎两个层面同时发生重大变更的版本一方面引入与 CRuby 3.0 兼容的关键字参数体系另一方面对 RiteVM 指令集与 RITE 二进制格式进行了不向后兼容的重构。本文基于仓库内 nghttp2 第三方依赖中随附的官方变更文档mruby3.1.md展开结合同一目录下的 mruby 源码逐条印证帮助你系统掌握 3.0 → 3.1 的全部用户可见变化并为嵌入环境升级、字节码重编译与价值打包Boxing调优提供可直接落地的依据。说明本仓库以 nghttp2 第三方依赖的形式内置了一份 mruby 源码树lib/nghttp2-1.65.0/third-party/mruby。其中随附的 mruby3.1.md 即 mruby 3.1 官方发布的从 mruby 3.0 起的用户可见变化清单而当前树内 version.h 显示MRUBY_RUBY_VERSION已演进到 3.3说明 3.1 属于该嵌入式运行时演进史中的关键一环。本文以 3.1 变更为主线并用现有源码验证其落地形态。一、新语言特性New Features1.1 核心与 CRuby 3.0 兼容的关键字参数mruby 3.1 引入了与 CRuby 3.0 兼容的关键字参数Keyword Arguments体系其核心设计是将关键字参数与普通位置参数在语义上基本分离。这一改动并非单纯的语言语法调整它直接牵动方法调用指令的编码方式——我们在后文OP_SEND / OP_SENDB 统一一节可以看到OP_SEND系列指令的操作数被重新划分为普通参数个数 n 关键字参数个数 nk两部分这正是关键字参数语义落地的字节码支撑。1.2 其他语言增强实现endless-def无end的单行方法定义Ruby 提案 #16746用单行模式匹配single-line pattern matching取代原先的R-assignmentRuby 提案 #15921支持squiggly heredoc可缩进的 here-docmruby PR #5246支持Hash 值省略写法{x:, y:}等价于{x: x, y: y}Ruby 提案 #14579。二、新增配置宏Configuration Options Changed3.1 新增了三个可在编译期控制的配置宏其中两个与只读数据段RO data判定相关一个与浮点数的 word boxing 精度相关配置宏作用源码位置佐证MRB_WORDBOX_NO_FLOAT_TRUNCATE默认情况下浮点值若可能则被打包进 word定义该宏后改为在堆上分配浮点值避免精度损失mrbconf.h 中声明src/etc.c 与 src/symbol.c 中均有条件编译分支MRB_USE_RO_DATA_P_ETEXT当目标平台存在_etext符号时定义用于启用默认的只读数据段判定mrbconf.hMRB_NO_DEFAULT_RO_DATA_P定义后不使用 mruby 预置的mrb_ro_data_p()函数改由用户自行实现mrbconf.h实现约定见 doc/guides/mrbconf.md函数原型为mrb_bool mrb_ro_data_p(const char *ptr)理解这几个宏需要先看 mruby 的打包Boxing宏体系。在 mrbconf.h 中可以看到MRB_NAN_BOXING用 NaN 表示mrb_value双精度打包MRB_WORD_BOXING用 word机器字打包是三者皆未定义时的默认方案MRB_WORDBOX_NO_FLOAT_TRUNCATE仅对 word boxing 生效的精度开关另有MRB_NO_FLOAT完全禁用浮点与MRB_USE_FLOAT32mrb_float使用 32 位 float二者互斥定义时会触发编译错误见 mrbconf.h。三、新增构建配置与工具链变化3.1 新增 build_config3.1 在build_config目录下新增了多个构建配置当前仓库的 build_config/ 目录中均可找到对应文件cross-mingw-winetest.rb、cross-mingw.rbMinGW 交叉编译配置nintendo_switch.rb、serenity.rb面向任天堂 Switch 与 SerenityOS 的新平台配置minimal.rb最小化配置适用于资源受限的嵌入场景host-f32.rb以 32 位float作为mrb_float编译host-nofloat.rb无浮点配置android_arm64_v8a.rb由原android_arm64-v8a.rb重命名而来注意连字符改成了下划线若构建脚本引用旧文件名需同步更新。3.2 工具链Toolsmruby-config新增--cc与--ld选项便于第三方构建系统直接获取编译/链接命令mruby -v的代码转储输出移除OP_前缀输出更简洁如SEND而非OP_SENDmrbc新增--no-ext-ops选项禁止生成OP_EXT1/OP_EXT2/OP_EXT3扩展操作码——这对于希望严格控制字节码操作数宽度的场景很有价值。四、标准库与 Gem 增强4.1 新增方法Array#productArray#repeated_combinationArray#repeated_permutationKernel#__ENCODING__Random.bytesRandom#bytesString#center4.2 mruby-pack 新指令支持mrbgems/mruby-packArray#pack/String#unpack的实现新增四种指令指令含义MQ-encodingMIME Quoted-Printable 编码X按字节回退back-up by bytes绝对定位absolute positionwBER 压缩整数BER compression与 msgpack 等格式互操作常用五、面向 mruby 开发者的接口变化mrb_get_args()新增了类型说明符c用于接收 Class / Module 对象。这意味着 C 扩展作者在解析参数时可以直接声明该参数必须是一个类或模块由运行时统一完成类型检查与转换简化了 C API 的边界处理。六、破坏性变更Breaking Changes6.1 方法级不兼容Kernel#printfmruby-sprintf格式说明符%a与%A被移除Kernel#putsmruby-print现在会展开数组参数逐一输出行为更接近 CRuby依赖旧行为的脚本在升级后输出会发生变化。6.2 mruby VM 与字节码格式不再向后兼容由于二进制格式的改进mruby 3.1 编译出的二进制无法在旧版本上运行反之亦然。官方要求要运行 mruby 二进制必须使用 mruby 3.1 的mrbc重新编译。本次升级将两个版本号统一提升到0300VM 版本RITE_VM_VER→0300含义为 mruby 3.0 及之后二进制格式版本RITE_BINARY_FORMAT_VER→0300。源码层面的证据非常直接include/mruby/dump.h 定义了 RITE 二进制头的魔数与版本常量#define RITE_BINARY_IDENT RITE /* Binary Format Version Major:Minor */ /* Major: Incompatible to prior versions */ /* Minor: Upper-compatible to prior versions */ #define RITE_BINARY_MAJOR_VER 03 #define RITE_BINARY_MINOR_VER 00 #define RITE_BINARY_FORMAT_VER RITE_BINARY_MAJOR_VER RITE_BINARY_MINOR_VER ... #define RITE_VM_VER 0300其中RITE_BINARY_MAJOR_VER的注释明确写着 Major: Incompatible to prior versions主版本号不兼容旧版这正是3.1 二进制与旧版不兼容的规范依据。在 src/dump.c 中mrbc写出文件时会执行memcpy(header-rite_version, RITE_VM_VER, ...)把0300写入 IREP 段头。二进制文件头部的具体布局魔数RITE、主/次版本各 2 字节、文件大小、编译器名等定义在 dump.h 的struct rite_binary_header中。七、RiteVM 指令集重构本次变更的核心7.1 重新引入扩展指令OP_EXT1/OP_EXT2/OP_EXT3mruby 3.0 曾移除用于操作数扩展的OP_EXT1、OP_EXT2、OP_EXT3三条指令但实践证明基础操作数宽度8 bit对真实应用而言过于紧张mruby 3.1 将其重新引入。这些扩展指令的取值逻辑在 include/mruby/opcode.h 中体现得淋漓尽致同一取指宏按是否跟在OP_EXT1/2/3之后将操作数从 8 bit 提升为 16 bit 读取例如FETCH_B_1()OP_EXT1之后的第 1 个操作数按READ_S()16 bit读取FETCH_BB_2()OP_EXT2之后的第 2 个操作数按 16 bit 读取FETCH_BB_3()OP_EXT3之后第 1、2 个操作数均按 16 bit 读取。7.2 移除的指令由于扩展指令回归以下 16 位指令不再需要而被移除OP_LOADL16OP_LOADSYM16OP_STRING16OP_LAMBDA16OP_BLOCK16OP_METHOD16OP_EXEC16另外面向变长参数方法调用的OP_SENDV与OP_SENDVB也被移除——它们的功能由n15参数打包进数组的OP_SEND指令完全覆盖。7.3 新增指令mruby 3.1 引入以下新指令当前 include/mruby/ops.h 中均可找到对应OPCODE声明指令操作数语义OP_GETIDX1 个BR[a] R[a][R[a1]]即执行obj[int]下标读取OP_SETIDX1 个BR[a][R[a1]] R[a2]即执行obj[int] value下标写入OP_SSEND3 个BBBR[a] self.b(c...)等价于带 self 的OP_SENDOP_SSENDB3 个BBBR[a] self.b(c...){...}带块版本的OP_SSENDOP_SYMBOL2 个BBR[a] intern(Pool[b])把常量池中的字符串内部化为符号OP_GETIDX/OP_SETIDX分别直接对应obj[int]与obj[int] value其中obj为string | array | hash类型。在 ops.h 中可以看到二者均为单操作数B指令操作数仅需给出基址寄存器a被索引对象与下标分别由R[a1]、R[a2]提供。OP_SSEND/OP_SSENDB与OP_SEND/OP_SENDB语义相似区别在于它们先将R[a]初始化为self从而为每次 self 方法调用省去一条OP_LOADSELF指令——典型的代码体积优化。OP_SYMBOL从常量池中提取字符串并内部化为符号用于优化符号字面量的构造路径。7.4 变更的指令OP_SEND/OP_SENDB统一这是 3.1 指令集中最重要的变更方法调用指令被统一OP_SEND与OP_SENDB带块的方法调用现在同时支持 splat 展开参数与关键字参数。官方文档给出的指令简表如下OP_SENDBBBR[a] R[a].call(Syms[b],R[a1..n],R[an1],R[an2]..nk) cn|nk4OP_SENDBBBBR[a] R[a].call(Syms[b],R[a1..n],R[an1..nk],R[an2..nk],R[an2*nk2]) cn|nk4操作数 C 编码规则如下低 4 位n普通位置参数个数高 4 位nk关键字参数个数当n 15时普通参数被打包进一个数组传递当nk 15时关键字参数被打包进一个 Hash 传递。对比 ops.h 中的指令语义注释可以看到OP_SEND与OP_SSEND的 C 操作数注释均为cn|k4与文档完全一致。这一编码设计与第一节的 CRuby 3.0 兼容关键字参数特性互为表里关键字参数成为方法调用的一等公民通道而不再依赖OP_SENDV这类专用指令。7.5 变更的指令OP_ARYPUSHOP_ARYPUSH由原先的单操作数改为双操作数一次可以将多个元素压入数组ary_push(R[a], R[a1]..R[ab])见 ops.h减少了构造数组字面量时的指令条数。八、值打包Boxing机制更新8.1 Word Boxing浮点值入 word 与精度取舍MRB_WORD_BOXING的默认行为发生变化当mrb_float的大小小于等于mrb_int时浮点值默认被打包进 word。若mrb_float与mrb_int大小相同则mrb_float的最后 2 个 bit 会被裁剪并用作标志位——这意味着该默认模式存在浮点精度损失需要完整精度时必须定义MRB_WORDBOX_NO_FLOAT_TRUNCATE改为在堆上分配浮点值。这一取舍在源码中有两处直接体现src/etc.c 在MRB_WORDBOX_NO_FLOAT_TRUNCATE的定义分支下切换浮点转字符串的路径而 src/symbol.c 的编译条件MRB_WORD_BOXING MRB_32BIT !MRB_WORDBOX_NO_FLOAT_TRUNCATE表明32 位 word boxing 且未禁用裁剪时符号生成走的是无浮点分支。8.2 NaN BoxingFavor Pointer 表示旧版 NaN boxing 把值打包进 NaN 表示但实测中指针读取的频率远高于浮点引用。因此 3.1 为 NaN 表示增加常量偏移constant offset以清空指针表示中的高位比特该新表示被命名为Favor Pointer NaN Boxing——用一次常量加法/减法的代价换取更快的指针路径。此外旧版 NaN boxing 为了适配 NaN 的 64 bit 空间把mrb_int限制为 4 字节32 bit。3.1 解除了该限制超出 32 bit 范围的整数值在堆上分配与 word boxing 的处理方式保持一致。九、代码生成优化9.1 常量折叠Constant Folding代码生成器被更新以削减指令数量例如a 2 * 5将被直接解释为a 10即编译期完成常量算术运行期不再执行乘法。9.2 窥孔优化Peephole Optimization相邻指令的冗余移动被消除例如GETIV R4 :foo MOVE R1 R4被优化为GETIV R1 :foo直接减少了一条MOVE指令。9.3String#hash改用 FNV1a 算法String#hash改用FNV1a哈希算法以获得更好、更快的哈希值分布。十、主要 Bug 修复Major Bug Fixes3.1 修复了大量涉及运算、继承语义、打包与解析器的缺陷完整清单如下修复整数除法中的无限递归调用缺陷修复super位于instance_eval/class_eval内部时未抛出TypeError的问题PR #5476修复方法定义时未触发method_added钩子的问题PR #2339修复time_zonename中的潜在缓冲区溢出修复Module.instance_eval缺陷PR #5528修复MQ-encoding打包缺陷修复带关键字参数kargs的属性赋值缺陷修复mrbgems/mruby-method引起的SIGSEGVPR #5580修复codegen_error()在清理前打印错误的问题PR #5603修复BER 解包缺陷PR #5611修复编号参数作为实参时的缺陷PR #5605修复mrb_ary_shift_m初始化缺陷修复super与关键字参数组合的缺陷PR #5628修复顶层编号参数缺陷修复关键字参数相关缺陷issue #5632修复参数中的多重赋值缺陷issue #5647修复关键字参数未通过super传递的问题issue #5660修复未闭合 here-doc 导致的死循环issue #5676修复负整数除法缺陷issue #5678。十一、安全公告CVE11.1 本版本已修复的 CVE以下 CVE 在 3.1 中得到修复CVE-2021-4110、CVE-2021-4188、CVE-2022-0080、CVE-2022-0240、CVE-2022-0326、CVE-2022-0481、CVE-2022-0631、CVE-2022-0632、CVE-2022-0890、CVE-2022-1071、CVE-2022-1106、CVE-2022-1201、CVE-2022-142711.2 本版本不受影响的 CVE以下 CVE 在 3.1 中不构成问题但修复代码是在后续版本中合入的CVE-2022-0481、CVE-2022-0525、CVE-2022-0570、CVE-2022-0614、CVE-2022-0623、CVE-2022-0630、CVE-2022-0717、CVE-2022-0817、CVE-2022-1212、CVE-2022-1276、CVE-2022-1286注意CVE-2022-0481 同时出现在已修复与不受影响两份清单中这是官方文档的原始写法——它在本版本修复之列同时其触发路径在 3.1 中不会造成问题后续版本的修复属于纵深加固。十二、升级到 mruby 3.1 的迁移清单综合以上变更从 mruby 3.0 迁移到 3.1 时建议按以下顺序核对重新编译所有 mruby 二进制RITE 二进制格式主版本升至03与旧版不兼容必须用 3.1 的mrbc重新编译见 dump.h检查%a/%A格式化用法Kernel#printf已移除这两个说明符相关代码需改写复查puts输出Kernel#puts现在展开数组参数涉及数组输出的脚本结果会变化重新审视关键字参数调用OP_SEND/OP_SENDB的cn|nk4编码意味着关键字参数与位置参数在字节码层面分道扬镳C 扩展若直接解析指令流需同步适配同时super、属性赋值、参数多重赋值等边缘场景均有修复行为更贴近 CRuby 3.0 语义按需选择打包配置默认 word boxing 会裁剪mrb_float末尾 2 bit对精度敏感的场景定义MRB_WORDBOX_NO_FLOAT_TRUNCATENaN boxing 已切换为 Favor Pointer 表示并放开 32 bit 整数限制跟进安全补丁对照上文的 CVE 清单确认所嵌入的 mruby 版本是否已包含对应修复必要时升级到包含后续修复的版本。至此mruby 3.1 从语言语义、配置宏、构建配置、指令集、打包机制到安全修复的全部用户可见变化均已覆盖且每一处关键结论都能在仓库内的 mruby3.1.md 及其对应的 ops.h、opcode.h、dump.h、mrbconf.h 等源码文件中找到直接依据可作为嵌入式场景升级 mruby 与适配 nghttp2 依赖时的权威参考。【免费下载链接】fluent-bitFast and Lightweight Logs, Metrics and Traces processor for Linux, BSD, OSX and Windows项目地址: https://gitcode.com/GitHub_Trending/fl/fluent-bit创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考