Erlang/OTP 26.0 候选版本 2

2023 年 3 月 22 日 · 作者：Henrik Nord

OTP 26.0-rc2 #

Erlang/OTP 26.0-rc2 是 OTP 26.0 发布之前的三个候选版本中的第二个。候选版本 2 修复了在第一个候选版本中发现的一些错误，并且还有一些额外的功能。

此版本的目的是收集用户的反馈。欢迎所有反馈，即使只是说它对您有效。我们鼓励用户试用并向我们提供反馈，可以通过在此处创建一个问题 https://github.com/erlang/otp/issues 或在 Erlangforums 上发帖。

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

Erlang/OTP 26 是一个新的主要版本，具有新功能、改进以及一些不兼容之处。下面重点介绍了一些新功能。

非常感谢所有贡献者！

以下是该版本的一些亮点

RC2 的亮点 #

Parsetools #

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

Stdlib #

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

Dialyzer #

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

SSL #

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

RC1 的亮点 #

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 #

  • 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 现在允许在 guard 和匹配规范中使用。

  • 改进了选择性接收优化，现在可以为从其他函数返回的引用启用此优化。这大大提高了 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 #

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

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

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

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

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