Erlang/OTP 26.0 发布

2023 年 5 月 16 日 · 作者：Henrik Nord

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

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

以下是此版本的一些亮点

还有一个关于亮点的博文。

Parsetools #

  • Leex 已扩展，支持可选的列号。

Stdlib #

  • 模块 lists 中的枚举函数系列已扩展了 enumerate/3，允许提供步长值。
  • 将 Unicode 更新到 15.0.0 版本。
  • 当启动的进程失败时，proc_lib:start*/* 已变为同步。这要求失败的进程使用新函数 proc_lib:init_fail/2,3，或退出，以指示失败。所有 OTP 行为都已修复以执行此操作。

Shell #

Erlang Shell 中有很多新功能和改进

  • 自动补全变量、记录名称、记录字段名称、映射键、函数参数类型和文件名。
  • 在 Shell 中打开外部编辑器以编辑当前表达式。
  • 在 Shell 中定义记录（带类型）、函数、规范和类型。

新终端 #

  • TTY/终端子系统已重写。Windows 用户会注意到 erl.exe 具有与普通 Unix Shell 相同的功能，而 werl.exe 只是 erl.exe 的一个符号链接。这使得 Windows Erlang 终端体验与 Unix 的相同。

编译器和 JIT 优化：#

  • 优化了具有固定大小段的二进制文件的创建和匹配。

  • 优化了 UTF-8 段的创建和匹配。

  • 优化了向二进制文件追加的操作。

  • 编译器和 JIT 现在为创建所有键在编译时都已知的字面量的小映射生成更好的代码。

  • 由于上述优化，base64 模块的性能得到了显著提高。例如，在具有 JIT 的 x86_64 系统上，编码和解码速度都比 Erlang/OTP 25 快近三倍。

映射 #

  • 现在已经实现了EEP 58 中建议的映射推导式。

  • 通过更改原子键的内部排序顺序，优化了一些映射操作。这会更改小映射中原子键的打印和 maps:to_list/1 和 maps:next/1 返回的（未文档化的）顺序。新的顺序是不可预测的，并且在 Erlang VM 的不同调用之间可能会发生变化。

  • 引入新函数 maps:iterator/2 来创建一个迭代器，该迭代器以确定性的顺序返回映射元素。io:format() 中的格式字符串也有新的修饰符 k 和 K，以支持按顺序打印映射元素。

Dialyzer #

  • 添加了在 EEP 61 中引入的新内置类型 dynamic()，引入 EEP 61 的 PR 改进了对渐进类型检查器的支持。

  • Dialyzer 具有一个新的增量模式，可以在运行 Dialyzer 时通过给出 --incremental 选项来调用。这个新的增量模式很可能在未来的版本中成为默认模式。

杂项 ERTS、Stdlib、Kernel、编译器 #

  • 多时间扭曲模式现在默认启用。这假设系统上执行的所有代码都是时间扭曲安全的。

  • 在 NIF 接口中支持 UTF-8 原子和字符串，包括新函数 enif_make_new_atom、enif_make_new_atom_len 和 enif_get_string_length。

  • 现在允许在保护和匹配规范中使用 BIF min/2 和 max/2。

  • 改进了选择性接收优化，现在可以为从其他函数返回的引用启用该优化。这大大提高了 gen_server:send_request/3、gen_server:wait_response/2 和类似函数的性能。

  • 新跟踪功能 call_memory。与 call_time 跟踪类似，但它不是测量跟踪函数中累积的时间，而是测量跟踪函数消耗的累积堆空间。它可用于比较不同函数对触发垃圾回收的贡献程度。

  • 不再需要在运行时系统中启用某个功能才能加载使用该功能的模块。在编译时在编译器中启用该功能就足够了。

  • inet:setopts/2 获得了 3 个新选项：reuseport、reuseport_lb 和 exclusiveaddruse。

  • 修复了在使用 JIT 时将 -fno-omit-frame-pointer 应用于所有 Erlang VM 的问题，以便诸如 perf 之类的工具可以抓取进程堆栈。

  • 在 lists 模块中，zip 函数系列现在采用选项来允许处理不同长度的列表。

  • 添加了 zip:zip_get_crc32/2 函数以从打开的 ZIP 存档中检索 CRC32 校验和。通过缓存回调函数优化 gen_server。

  • Erlang DNS 解析器 inet_res 及其辅助模块已针对 RFC6891 进行了更新；以处理带有 DNSSEC OK (DO) 位的 OPT RR。

  • 引入了 application:get_supervisor/1。

  • 缓存 OTP 引导代码路径，以限制在模块查找期间访问的文件夹数量。可以使用 -cache_boot_path false 禁用。

SSL #

  • 将客户端默认的 verify 选项更改为 verify_peer。请注意，这使得必须提供受信任的 CA 证书或显式将 verify 设置为 verify_none。当使用 TLS 版本 1.3 之前的 TLS 版本中定义的所谓的匿名测试密码套件时，也适用此规则。

  • SSL 应用程序添加了对内核 TLS (kTLS) 的支持，用于 TLS 分发 (-proto_dist inet_tls)，SSL 选项为 {ktls, true}。
  • 改进了 SSL 选项的错误检查和处理。

  • 通过降低最大握手大小来缓解大型证书链的内存使用。这不应影响常见情况，如果需要，可以将其配置为更高的值。

  • 出于安全原因，SHA1 和 DSA 算法不再是默认值。

  • 添加了对 use_srtp hello 扩展的编码和解码，以方便 DTLS 用户实现 SRTP 功能。

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

非常感谢所有贡献者！

此版本和以前版本的下载链接在这里