Erlang/OTP 25.0 发布

2022 年 5 月 18 日 · 作者：Henrik Nord

Erlang/OTP 25 是一个新的主要版本，具有新功能、改进以及一些不兼容性。

有关新功能、错误修复和潜在不兼容性的详细信息，请参阅Erlang 25.0 README或Erlang/OTP 25.0 下载页面。

非常感谢所有贡献者！

Erlang/OTP 25.0 亮点 #

stdlib #

  • 新函数 filelib:ensure_path/1 将确保给定路径的所有目录都存在
  • maps 模块中的新函数 groups_from_list/2 和 groups_from_list/3
  • lists 模块中的新函数 uniq/1 和 uniq/2
  • 新的 PRNG 添加到 rand 模块，用于快速伪随机数。

编译器，内核，stdlib，syntax_tools #

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

erts & JIT #

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

erts，stdlib，内核 #

  • 用户现在可以使用 {write_concurrency, auto} 选项配置 ETS 表。此选项会强制表根据检测到的并发量自动更改运行时使用的锁的数量。当 {write_concurrency, auto} 处于活动状态时，默认启用 {decentralized_counters, true} 选项。
    此处提供了将此选项与其他 ETS 优化选项进行比较的基准测试结果：基准测试。
  • 为了启用更多优化，使用 OTP 21 及更早版本编译的 BEAM 文件无法在 OTP 25 中加载。
  • 具有进程标志 message_queue_data=off_heap 的进程的信号队列已得到优化，允许从多个进程并行接收信号。当许多进程并行发送到一个进程时，这可以提高性能。请参阅基准测试。
  • Erlang 安装目录现在在文件系统上是可重新定位的，前提是安装的 RELEASES 文件中的路径是相对于安装根目录的路径。
  • 名为 short 的新选项已添加到函数 erlang:float_to_list/2 和 erlang:float_to_binary/2 中。此选项创建给定浮点数的最短正确舍入的字符串表示形式，该字符串可以再次转换回相同的浮点数。
  • 在 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 构造。它可以简化复杂的代码，否则将不得不使用深层嵌套的案例。
    要启用 maybe，请为编译器提供选项 {enable_feature,maybe_expr}。在即将发布的候选版本中，要使用的确切选项将会更改，并且也可以从正在编译的模块内部使用。
  • 当记录匹配或记录更新失败时，过去会引发 {badrecord, ExpectedRecordTag} 异常。在此版本中，异常已更改为 {badrecord, ActualValue}，其中 ActualValue 是找到的值，而不是预期的记录。
  • 添加编译属性 -nifs()，以使用有关哪些函数可能被 erlang:load_nif/2 覆盖为 NIF 的信息来增强编译器和加载程序。
  • 改进了二进制语法失败时更详细的错误消息。这适用于 shell 中的错误消息和 erl_error:format_exception/3,4。
  • 更改功能选项和指令的格式，以获得更好的一致性。现在，erlc 的选项和 -compile(..) 指令具有 {feature, feature-name, enable | disable} 格式。现在，-feature(..) 具有 -feature(feature-name, enable | disable) 格式。

加密 #

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

ssl #

  • 引入新的（仍处于实验阶段）选项 {certs_keys,[cert_key_conf()]}。通过此选项，可以使用带有相关密钥的证书列表来验证客户端或服务器。将选择被认为最佳并匹配连接协商参数的证书密钥对。

public_key #

  • 添加了用于检索操作系统提供的 CA 证书的函数。

dialyzer #

  • 优化 erl_types 模块中的操作。并行化 Dialyzer pass 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 操作中，以便在提出错误修复和新功能时更早地捕获更多错误。

此处找到此版本和以前版本的下载链接