由 naruse 发表于 2022-12-06
翻译： GAO Jun

我们很高兴地宣布 Ruby 3.2.0-rc1。Ruby 3.2 增加了很多新功能和性能改进。

基于 WASI 的 WebAssembly 支持

这是首次基于 WASI 的 WebAssembly 支持。使得 CRuby 二进制内容可用于浏览器、Serverless Edge、以及其他 WebAssembly/WASI 嵌入环境。目前，此功能已通过除 Thread API 之外的 basic 和 bootstrap 测试套件。

背景

WebAssembly (Wasm) 希望能够在浏览器中提供安全快速的运行程序的方式。但其目标，也就是在不同环境中安全高效的运行程序，不仅是 web 应用长期以来的目标，也是其他一般程序所需要的。

WASI (The WebAssembly System Interface) 被设计用于此类应用场景。尽管此类应用需要与操作系统进行通信，WebAssembly 却运行在一个没有系统接口的虚拟机之上。WASI 使之标准化。

基于这些项目，Ruby 的 WebAssembly/WASI 支持能使 Ruby 开发者可以编写能运行于兼容此类功能的平台上。

应用场景

此功能使得开发人员可以在 WebAssembly 环境中使用 CRuby。一个此类应用场景的案例是 TryRuby playground 的 CRuby 支持。现在您可以在您的浏览器中尝试原生的 CRuby。

技术要点

目前，WASI 和 WebAssembly 仍在不断演进，同时基于安全原因，还缺少一些功能来实现纤程、异常和垃圾回收。 所以，CRuby 使用了一种可以控制用户空间中执行的二进制转换技术 Asyncify 来填补这一鸿沟。

此外，我们创建了 WASI 之上的虚拟文件系统，于是就可以很容易地将 Ruby 应用打包成单个 .wasm 文件，进而简化分发 Ruby 应用的过程。

相关链接

• Add WASI based WebAssembly support #5407
• An Update on WebAssembly/WASI Support in Ruby

Regexp 用于防御 ReDoS 攻击的改进

众所周知，正则表达式匹配的耗时可能出乎意料的长。如果您的代码尝试从一个不可信输入中匹配一个低效的正则表达式，攻击者可以借此发起有效的拒绝服务攻击(所谓的正则表达式 DoS，或 ReDoS)。

我们引入了2个更新，能够显著减轻 ReDoS 的影响

改进 Regexp 匹配算法

自 Ruby 3.2 开始，Regexp 的匹配算法通过缓存技术得到了显著改进。 新增正则表达式匹配的超时设置。

# 下面的正则匹配在 Ruby 3.1 中耗时10秒，在 Ruby 3.2 中耗时0.003秒

/^a*b?a*$/ =~ "a" * 50000 + "x"

通过改进的匹配算法，使得 Regexp 的匹配（根据我们的实验，约90%）能够在线性时间内完成。

（致 Preview 用户：此改进可能会消耗与每个匹配的输入长度成比例的内存。我们预计不会出现实际问题，因为这种内存分配通常会延迟，并且正常的 Regexp 匹配最多只会消耗表达式长度10倍的内存。如果您在实际应用中遇到 Regexp 匹配导致的内存不足情况，请报告给我们。）

最初提议 https://bugs.ruby-lang.org/issues/19104

Regexp 超时设置

上面的改进不能使用于某些正则表达式，比如使用了某些高级特性（例如：反向引用 back-references，环视 look-around），或者大量使用固定重复次数。作为一种后备措施，Regexp 还引入了超时设置功能。

Regexp.timeout = 1.0

/^a*b?a*()\1$/ =~ "a" * 50000 + "x"
#=> 1秒后 Regexp::TimeoutError

请注意，Regexp.timeout 是全局性的配置。如果您希望对于某些特殊的正则表达式使用不同的超时设置，您可以使用 Regexp.new 中的 timeout 关键词。

Regexp.timeout = 1.0

# 这个 Regexp 没有超时设置
long_time_re = Regexp.new("^a*b?a*()\1$", timeout: Float::INFINITY)

long_time_re =~ "a" * 50000 + "x" # 不会被中断

最初提议：https://bugs.ruby-lang.org/issues/17837

其他值得注意的新功能

语法建议

• syntax_suggest（曾用名 dead_end）的功能已被集成到 Ruby。这可以帮助您找到错误的位置，例如缺失或多余的 end，让您更快地修正错误，例如下面的例子：

  Unmatched `end', missing keyword (`do', `def`, `if`, etc.) ?
  
    1  class Dog
  > 2    defbark
  > 4    end
    5  end
  

  [Feature #18159]

错误提示

• 现在，在 TypeError 和 ArgumentError 中将指出出错的参数

test.rb:2:in `+': nil can't be coerced into Integer (TypeError)

sum = ary[0] + ary[1]
               ^^^^^^

语言

• 除了在方法参数中使用，匿名的可变长参数现在可以作为参数进行传递 [Feature #18351]

    def foo(*)
      bar(*)
    end
    def baz(**)
      quux(**)
    end
  

• 接受一个单独位置参数的 proc 不再会自动解封装。 [Bug #18633]

  proc{|a, **k| a}.call([1, 2])
  # Ruby 3.1 及之前版本
  # => 1
  # Ruby 3.2 及之后版本
  # => [1, 2]
  

• 对于显示对象的常量赋值求值顺序，将始终使用单属性赋值求值顺序。参考下面的代码:

    foo::BAR = baz
  

  foo 现在在 baz 之前求值。类似的，对于多重常量的赋值，使用从左到右的求值顺序。参考下面的代码:

      foo1::BAR1, foo2::BAR2 = baz1, baz2
  

  现在使用下面的求值顺序:

  1. foo1
  2. foo2
  3. baz1
  4. baz2

  [Bug #15928]

• 查找模式不再是实验性功能。 [Feature #18585]

• 使用可变长参数 (例如 *args) 的方法，如果同时希望通过 foo(*args) 使用关键词参数的，那么必须使用 ruby2_keywords 进行标记。也就是说，所有希望通过 *args 来使用关键字参数的方法现在毫无例外地都必须使用 ruby2_keywords 进行标记。一旦某个库需要 Ruby 3+，这将是一个更容易的过渡升级方式。此前，当接收方法使用 *args 时，ruby2_keywords 标记被保留，但这可能是错误并且是行为不一致的。对于查找潜在缺失的 ruby2_keywords 的好方法应当是运行测试套件，检查测试失败时调用的最后一个方法，这个方法必须接收关键词参数。通过在错误处使用 puts nil, caller, nil，然后检查在调用链上的每一个使用自动委派关键词的方法/块被标记为 ruby2_keywords。 [Bug #18625] [Bug #16466]

    def target(**kw)
    end
  
    # Ruby 2.7-3.1 可以意外地在没有 ruby2_keywords 的情况下执行，在 3.2 中必需。
    # 如需去除 ruby2_keywords，需要修改 #foo 和 #bar 的参数为 (*args, **kwargs) 或 (...)。
    ruby2_keywords def bar(*args)
      target(*args)
    end
  
    ruby2_keywords def foo(*args)
      bar(*args)
    end
  
    foo(k: 1)
  

性能改进

YJIT

• YJIT 现在支持 x86-64 和 arm64/aarch64 CPU，以及 Linux，MacOS，BSD 和其他 UNIX 平台。
  • 此次发布带来了 Mac M1/M2，AWS Graviton 和 Raspberry Pi 4 ARM64 处理器支持。
• 编译 YJIT 需要 Rust 1.58.1+. [Feature #18481]
  • 为确保 CRuby 中包含了 YJIT，请安装 rustc >= 1.58.0 然后在运行 ./configure 时使用 --enable-yjit 参数。
  • 当遇到问题时，您可以联系 YJIT 小组。
• JIT 代码的无力内存是延迟分配的。不同于 Ruby 3.1，Ruby 进程的 RSS 被最小化，因为由 --yjit-exec-mem-size 分配的虚拟内存页在 JIT 代码实际使用之前不会映射到无力内存页。
• 引入 Code GC，当 JIT 代码消耗的内存达到 --yjit-exec-mem-size 时，释放所有代码页。
  • 除了现有的 inline_code_size 和 outlined_code_size 指标外，RubyVM::YJIT.runtime_stats 还返回 Code GC 指标： code_gc_count，live_page_count，freed_page_count 和 freed_code_size。
• RubyVM::YJIT.runtime_stats 生成的大部分统计数据现在可以在本发布中使用。
  • 只需要在运行时加上 --yjit-stats 即可计算统计信息（会产生一些运行时开销）。
• YJIT 现在进行了优化，可以有效利用对象的形状。[Feature #18776]
• 在定义新常量时，利用更细粒度的常量失效来使更少的代码无效。[Feature #18589]

MJIT

• MJIT 编译器在 Ruby 中以 mjit 标准库重新实现。
• MJIT 编译器在分叉的(forked) Ruby 进程中执行，不再以 MJIT worker 的本地线程中执行。[[Feature #18968]]
  • 由此，不再支持 Microsoft Visual Studio (MSWIN)。
• 不再支持 MinGW。[[Feature #18824]]
• --mjit-min-calls 更名为 --mjit-call-threshold。
• 将 --mjit-max-cache 的默认值从 10000 修改回 100。

PubGrub

• Bundler 2.4 现在使用 PubGrub 来替换 Molinillo 进行依赖解析。

  • PubGrub 是 Dart 语言的 pub 包管理器使用的新一代解析算法。
  • 在此次变更后，您可能会得到不同的解析结果。请将此类问题报告到 RubyGems/Bundler 问题。

• RubyGems 在 Ruby 3.2 中依旧使用 Molinillo。我们计划在将来用 PubGrub 进行替换。

自 3.1 以来其他值得注意的变更

• Hash
  • 当 hash 为空时，Hash#shift 现在总是返回 nil，此前行为是返回默认值或调用默认 proc。 [Bug #16908]
• MatchData
  • 新增 MatchData#byteoffset 。 [Feature #13110]
• Module
  • 新增 Module.used_refinements 。 [Feature #14332]
  • 新增 Module#refinements 。 [Feature #12737]
  • 新增 Module#const_added 。 [Feature #17881]
• Proc
  • Proc#dup 返回子类的一个实例。 [Bug #17545]
  • Proc#parameters 现在接受 lambda 关键字。 [Feature #15357]
• Refinement
  • 新增 Refinement#refined_class。 [Feature #12737]
• RubyVM::AbstractSyntaxTree
  • 为parse, parse_file 和 of 增加选项 error_tolerant。 [[Feature #19013]]
• Set
  • Set 现在可以直接使用，不需要调用 require "set"。 [Feature #16989] 目前其通过 Set 常量或对 Enumerable#to_set 调用自动载入。
• String
  • 新增 String#byteindex 和 String#byterindex 。 [Feature #13110]
  • 更新 Unicode 至 Version 15.0.0，Emoji Version 15.0. [[Feature #18037]] (同样适用于 Regexp)
  • 新增 String#bytesplice 。 [Feature #18598]
• Struct
  • 即使在 Struct.new 中不设置 keyword_init: true，Struct 类也可以通过关键词参数进行初始化。 [Feature #16806]

兼容性问题

注意：不包含特性的问题修正

被移除的常量

下列废弃常量被移除。

• Fixnum 与 Bignum [Feature #12005]
• Random::DEFAULT [Feature #17351]
• Struct::Group
• Struct::Passwd

被移除的方法

下列废弃方法被移除。

• Dir.exists? [Feature #17391]
• File.exists? [Feature #17391]
• Kernel#=~ [Feature #15231]
• Kernel#taint, Kernel#untaint, Kernel#tainted? [Feature #16131]
• Kernel#trust, Kernel#untrust, Kernel#untrusted? [Feature #16131]

标准库兼容性问题

不再捆绑第三方源代码

• 我们不再捆绑第三方源代码，例如 libyaml， libffi。

  • psych 中已经移除了 libyaml 的代码。您可能需要在 Ubuntu/Debian 平台中安装 libyaml-dev。软件包的名称可能因平台不同而各异。

  • 从 fiddle 中移除捆绑的 libffi 源码

• Psych 和 fiddle 支持指定 libyaml 和 libffi 的版本来静态编译。您可以像这样基于 libyaml-0.2.5 编译 psych：

    $ ./configure --with-libyaml-source-dir=/path/to/libyaml-0.2.5
  

  同样，您可以像这样基于 libffi-3.4.4 编译 fiddle：

    $ ./configure --with-libffi-source-dir=/path/to/libffi-3.4.4
  

  [Feature #18571]

C API 更新

更新的 C API

下列 API 被更新。

• PRNG 更新 rb_random_interface_t 被更新并设定版本。 如果扩展库使用旧版本的接口需要更新。 同样，init_int32 函数需要被定义。

被移除的 C API

下列废弃的 API 被移除。

• 变量 rb_cData。
• “taintedness” 与 “trustedness” 函数。 [Feature #16131]

标准库更新

• 下列默认 gems 被更新。
  • RubyGems 3.4.0.dev
  • benchmark 0.2.1
  • bigdecimal 3.1.3
  • bundler 2.4.0.dev
  • cgi 0.3.6
  • date 3.3.0
  • delegate 0.3.0
  • did_you_mean 1.6.2
  • digest 3.1.1
  • drb 2.1.1
  • erb 4.0.2
  • error_highlight 0.5.1
  • etc 1.4.1
  • fcntl 1.0.2
  • fiddle 1.1.1
  • fileutils 1.7.0
  • forwardable 1.3.3
  • getoptlong 0.2.0
  • io-console 0.5.11
  • io-nonblock 0.2.0
  • io-wait 0.3.0.pre
  • ipaddr 1.2.5
  • irb 1.5.1
  • json 2.6.2
  • logger 1.5.2
  • mutex_m 0.1.2
  • net-http 0.3.1
  • net-protocol 0.2.0
  • nkf 0.1.2
  • open-uri 0.3.0
  • openssl 3.1.0.pre
  • optparse 0.3.0
  • ostruct 0.5.5
  • pathname 0.2.1
  • pp 0.4.0
  • pstore 0.1.2
  • psych 5.0.0
  • racc 1.6.1
  • rdoc 6.5.0
  • reline 0.3.1
  • resolv 0.2.2
  • securerandom 0.2.1
  • set 1.0.3
  • stringio 3.0.3
  • syntax_suggest 1.0.1
  • timeout 0.3.1
  • tmpdir 0.1.3
  • tsort 0.1.1
  • un 0.2.1
  • uri 0.12.0
  • win32ole 1.8.9
  • zlib 3.0.0
• 下列绑定 gems 被更新。
  • minitest 5.16.3
  • power_assert 2.0.2
  • test-unit 3.5.5
  • net-ftp 0.2.0
  • net-imap 0.3.1
  • net-pop 0.1.2
  • net-smtp 0.3.3
  • rbs 2.8.1
  • typeprof 0.21.3
  • debug 1.7.0

您可以通过 新闻 或 提交日志 获取更多信息。

自 Ruby 3.1.0 以来，伴随这些变更， 2846 个文件被更改， 新增 203950 行(+)，删除 127153 行(-)!

下载

• https://cache.ruby-lang.org/pub/ruby/3.2/ruby-3.2.0-rc1.tar.gz

  SIZE: 20253652
  SHA1: 9b45af61ef1ae3c21ab88d7c9e30b80060116ac3
  SHA256: 3bb9760c1ac1b66416aaa4899809f6ccd010e57038eaaeca19a383fd56275dac
  SHA512: 798157d785ebae94cb128d3c134fa35e0e90c654972e531cb6562823042f3fb68a270226f7b1cf0c42572ef2b1488a1a3e44f88389ad2a6f9ca4b280a2a8e759
  

• https://cache.ruby-lang.org/pub/ruby/3.2/ruby-3.2.0-rc1.tar.xz

  SIZE: 14934012
  SHA1: 5576e304786d466410f27a345dc1cb66f2c773f6
  SHA256: 0d45b3af14e84337882a2021235a091ae5dcfc0baaf31dccc479b71d96dd07bc
  SHA512: d38fcb1e09eb9984f3b2347e65ae7406129c2578d068a25d33b5b4f021ec3b567a9abe56c2acbec6d07a3c2b4bc7b485dbd330cbfbb3a96350f60a2bb94d016e
  

• https://cache.ruby-lang.org/pub/ruby/3.2/ruby-3.2.0-rc1.zip

  SIZE: 24473024
  SHA1: 8fdc85363ce61e0b8f04da36e709d49028d04a75
  SHA256: 7ff32473be108534548e401aaa9092c37a27f73323ea4091c33901c714c87ee5
  SHA512: 07adf6a9c89fdcf420e7b131f40f2b1f4aca036aa6f28539ade26ca552f84a75e0698f77a8b774d2ea52b8c756c4982ef319bda5afa786c081a31dd9873c5ef7
  

Ruby是什么

Ruby 最初由 Matz （松本行弘，Yukihiro Matsumoto） 于 1993 年开发，现在以开源软件的形式开发。它可以在多个平台上运行，并在全球得到广泛使用，尤其是Web开发领域。

订阅

最新消息（RSS）