OTP 25 候选版本 3

2022 年 4 月 13 日 · 作者：Henrik Nord

OTP 25-rc3 #

Erlang/OTP 25-rc3 是 OTP 25.0 发布之前的第三个也是最后一个候选版本。

此版本的目的是获得用户的反馈。欢迎所有反馈，即使只是说它对你有效。我们鼓励用户试用它，并通过在此处创建 issue https://github.com/erlang/otp/issues 或者在 Erlangforums 或邮件列表 [email protected] 中发帖来向我们提供反馈。

该版本的所有工件都可以从 Erlang/OTP Github 发布页面下载，你可以在 https://erlang.ac.cn/documentation/doc-13.0-rc3/doc/ 查看新文档。你也可以使用 kerl 安装最新版本，如下所示：kerl build 25.0-rc3 25.0-rc3。

Erlang/OTP 25 是一个包含新功能、改进以及一些不兼容性的新主要版本。以下是一些新功能的亮点。

非常感谢所有贡献者！

以下是该版本的一些亮点

rc3 的亮点 #

编译器 #

更改了功能选项和指令的格式，以提高一致性。现在，erlc 和 -compile(..) 指令的选项具有 {feature, feature-name, enable | disable} 格式。现在，-feature(..) 具有 -feature(feature-name, enable | disable) 格式。

ssl #

引入了一个新的（仍然是实验性的）选项 {certs_keys,[cert_key_conf()]}。通过它，可以使用带有其关联密钥的证书列表来验证客户端或服务器。将选择被认为最佳且与连接协商参数匹配的证书密钥对。

rc2 的亮点 #

stdlib #

  • 新函数 filelib:ensure_path/1 将确保给定路径的所有目录都存在
  • maps 模块中的新函数 groups_from_list/2 和 groups_from_list/3
  • lists 模块中的新函数 uniq/1 uniq/2

编译器、内核、stdlib、syntax_tools #

  • 增加了对 EEP-60 中描述的可选功能的支持。可以使用 erlc 的选项（普通和 +term）以及文件中的指令在编译期间启用/禁用功能。类似的选项可用于 erl 以启用/禁用运行时允许的功能。新的 maybe 表达式 EEP-49 作为功能 maybe_expr 得到完全支持。

rc1 的亮点 #

erts & jit #

  • JIT 现在适用于 64 位 ARM 处理器。
  • JIT 现在基于 BEAM 文件中的类型信息进行基于类型的优化。
  • 改进了 JIT 对 perf 和 gdb 等外部工具的支持，允许它们显示行号，甚至在可以找到的情况下显示原始 Erlang 源代码。

erts、stdlib、内核 #

  • 用户现在可以使用 {write_concurrency, auto} 选项配置 ETS 表。此选项强制表根据检测到的并发量自动更改运行时使用的锁的数量。当 {write_concurrency, auto} 处于活动状态时，默认启用 {decentralized_counters, true} 选项。

    此处提供了将此选项与其他 ETS 优化选项进行比较的基准测试结果：基准测试。

  • 为了启用更多优化，使用 OTP 21 和更早版本编译的 BEAM 文件无法在 OTP 25 中加载。
  • 具有进程标志 message_queue_data=off_heap 的进程的信号队列已得到优化，允许并行接收来自多个进程的信号。当许多进程并行发送到一个进程时，这可以提高性能。请参阅基准测试。
  • 给定安装的 RELEASES 文件中的路径是相对于安装根目录的路径，Erlang 安装目录现在可以在文件系统上重新定位。
  • 已向函数 erlang:float_to_list/2 和 erlang:float_to_binary/2 添加了一个名为 short 的新选项。此选项创建给定浮点数的最短正确舍入的字符串表示形式，该字符串表示形式可以再次转换回相同的浮点数。
  • 在 uri_string 模块中引入了 quote/1 和 unquote/1 函数 - 替代已弃用的函数 http_uri:encode 和 http_uri:decode。
  • 新模块 peer 取代了 slave 模块。slave 模块现在已弃用，将在 OTP 27 中删除。

  • 由于网络问题，global 现在默认会阻止重叠分区。这是通过主动断开与报告已丢失与其他节点连接的节点的连接来实现的。这将导致形成完全连接的分区，而不是使网络处于具有重叠分区的状态。

    可以通过将 kernel 配置参数 prevent_overlapping_partitions 设置为 false 来关闭新行为。这样做将保留与 OTP 24 及更早版本相同的行为。

  • 已弃用 gen_server、gen_statem 和 gen_event 的 format_status/2 回调，改为使用新的 format_status/1 回调。

    新的回调增加了限制和更改比状态更多的东西的可能性。

  • timer 模块已现代化并提高了效率，这使得计时器服务器不易过载。现在，timer:sleep/1 函数接受任意大的整数。

编译器 #

  • 已实现 EEP-49 中提出的 maybe ... end 结构。它可以简化复杂的代码，否则必须使用深度嵌套的 case。

    要启用 maybe，请为编译器提供 {enable_feature,maybe_expr} 选项。在即将发布的候选版本中，要使用的确切选项将会更改，然后也可以从正在编译的模块内部使用。

  • 当记录匹配或记录更新失败时，会引发 {badrecord, ExpectedRecordTag} 异常。在此版本中，异常已更改为 {badrecord, ActualValue}，其中 ActualValue 是找到的值而不是预期的记录。
  • 添加编译属性 -nifs()，以使编译器和加载程序能够了解哪些函数可以通过 erlang:load_nif/2 作为 NIF 被覆盖。
  • 改进并提供了更详细的错误消息，当使用二进制语法进行二进制构造失败时。这适用于 shell 中的错误消息和 erl_error:format_exception/3,4。

加密 #

  • 添加 crypto:hash_equals/2，它是对哈希值的恒定时间比较。

Dialyzer #

  • 优化 erl_types 模块中的操作。并行化 Dialyzer 传递 remote。
  • 添加了 missing_return 和 extra_return 选项，以便在规范与推断类型不同时引发警告。这些类似于 overspecs 和 underspecs，但不如它们详细。
  • Dialyzer 现在更好地理解 min/2、max/2 和 erlang:raise/3 的类型。因此，Dialyzer 可能会生成新的警告。特别是，使用 erlang:raise/3 的函数现在可能需要一个带有 no_return() 返回类型的规范，以避免出现不必要的警告。

其他 #

  • 添加了一个新的 DEVELOPMENT HOWTO 指南，其中描述了在修复错误或开发新功能时如何构建和测试 Erlang/OTP。
  • 已将测试添加到为每个打开的 PR 运行的 Github 操作中，以便在提出错误修复和新功能时更早地捕获更多错误。

有关新功能和潜在不兼容性的更多详细信息，请参阅