Erlang/OTP 25

此版本的 Erlang/OTP 可以从源代码构建,或者使用适用于您操作系统的预构建软件包或第三方工具(例如 kerlasdf)安装。

Erlang/OTP 25 亮点博客文章

docker run -it erlang:25

亮点

stdlib

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

compiler、kernel、stdlib、syntax_tools

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

erts & JIT

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

erts, stdlib, kernel

  • 用户现在可以使用 {write_concurrency, auto} 选项配置 ETS 表。 此选项强制表根据检测到的并发量自动更改运行时使用的锁数量。当 {write_concurrency, auto} 处于活动状态时,默认启用 {decentralized_counters, true} 选项。
    将此选项与其他 ETS 优化选项进行比较的基准测试结果在此处提供:基准测试
  • 为了启用更多优化,在 OTP 25 中无法加载使用 OTP 21 及更早版本编译的 BEAM 文件。
  • 具有进程标志 message_queue_data=off_heap 的进程的信号队列已得到优化,允许并行接收来自多个进程的信号。当许多进程并行发送到一个进程时,这可以提高性能。请参见基准测试
  • Erlang 安装目录现在可以在文件系统上重新定位,前提是安装的 RELEASES 文件中的路径是相对于安装根目录的路径。
  • 在函数 erlang:float_to_list/2erlang:float_to_binary/2 中添加了一个名为 short 的新选项。此选项创建给定浮点数的最短正确舍入的字符串表示形式,该字符串表示形式可以再次转换回相同的浮点数。
  • uri_string 模块中引入 quote/1unquote/1 函数 - 替代已弃用的函数 http_uri:encodehttp_uri:decode
  • 新的模块 peer 取代了 slave 模块。 slave 模块现已弃用,将在 OTP 27 中删除。
  • global 现在默认情况下会阻止由于网络问题导致的重叠分区。这是通过主动断开与报告已丢失与其他节点连接的节点的连接来实现的。 这将导致形成完全连接的分区,而不是让网络处于具有重叠分区的状态。
    可以通过将 kernel 配置参数 prevent_overlapping_partitions 设置为 false 来关闭新行为。 这样做将保留与 OTP 24 及更早版本相同的行为。
  • gen_servergen_statemgen_eventformat_status/2 回调已被弃用,取而代之的是新的 format_status/1 回调。
    新的回调增加了限制和更改更多内容的可能性,而不仅仅是状态。
  • timer 模块已经现代化并变得更加高效,这使得计时器服务器不易被过载。timer:sleep/1 函数现在接受任意大的整数。

compiler

  • 已实现 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
  • 更改功能选项和指令的格式,以获得更好的一致性。现在,erlc 的选项和 -compile(..) 指令的格式为 {feature, feature-name, enable | disable}-feature(..) 现在具有格式 -feature(feature-name, enable | disable)

crypto

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

ssl

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

public_key

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

dialyzer

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

其他

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