作者 | Michael Redlich
译者 | 张卫滨
策划 | 丁晓昀
甲骨文发布了Java编程语言和虚拟机的 20 版本,最终的特性集中包含了 7 个 JEP:
    • JEP 429:作用域值(Scoped Values,孵化阶段)
    • JEP 432:记录模式(Record Patterns,第二轮预览)
    • JEP 433: switch 的模式匹配(Pattern Matching for switch,第四轮预览)
    • JEP 434:外部函数与内存API(Foreign Function & Memory API,第二轮预览)
    • JEP 436:虚拟线程(Virtual Threads,第二轮预览)
    • JEP 437:结构化并发(Structured Concurrency,第二轮孵化)
    • JEP 438:Vector API(第五轮孵化)
Java20 的特性节奏类似于JDK 19 的 7 个新特性和JDK 18 的 9 个新特性。但是,与JDK 18 之前的几个版本相比,特性要更少一些,比如,JDK 17 中有 14 项特性,JDK 16 中有 17 项特性,JDK 15 中有 14 项特性,JDK 14 中有 16 项特性。
该版本的JEP为Amber、Loom和Panama项目的新一轮预览和孵化持续贡献了特性。在这里,我们探讨其中的几个新特性。值得注意的是,JDK 20中没有代表 Valhalla 项目的 JEP。
Panama 项目
JEP 434 和 JEP 438 属于 Panama 项目,该项目旨在改善和丰富 JVM 与定义明确的“外部” API(即非 Java)之间的互操作性,其中很可能会包含 C 库中常用的接口。
JEP 434,外部函数与内存API(第二轮预览),基于反馈进行了改善,并基于 JDK 19 所提供的 JEP 424外部函数与内存 API(预览) 提供了第二轮预览。相关的孵化包括JDK 18 交付的外部函数与内存 API(第二轮孵化) 和 JDK 17 中交付的外部函数与内存 API(孵化)。该特性为Java应用提供了一个 API,能够通过高效地调用外部函数和安全地访问不受 JVM 管理的外部内存,实现了与 Java 运行时之外的代码和数据进行互操作。JEP 424 的更新包括:统一了 MemorySegment和MemoryAddress接口,即内存地址建模为零长度的内存段;增强了密闭的MemoryLayout接口,以便于和 JDK 19 交付的 switch 的模式匹配(第三轮预览)协同使用。
JEP 438,Vector API(第五轮孵化),对之前四轮孵化的反馈进行了增强,即 JDK 19 交付的JEP 426,Vector API(第四轮孵化)、JDK 18 交付的 JEP 417, Vector API(第三轮孵化)、JDK 17 交付的 Vector API(第二轮孵化) 和 JDK 16 交付的 孵化模块。该特性的目标是增强Vector API,从而能够根据JEP 424, 外部函数与内存 API(预览)的定义,从 MemorySegment 中加载和存储 vector。
关于如何实现“外部函数与内存 API”的可运行应用,可以参阅该GitHub 仓库,其作者是Azul的开发人员布道师Carl Dea。
Loom 项目
JEP 429、JEP 436 和 JEP 437 属于Loom 项目,该项目旨在探索、孵化和交付 Java VM 特性和 API,以便于支持易用、高吞吐的轻量级并发和新编程模型。这可以通过虚拟线程、定界延续(delimited continuations)和尾调用(tail calls)来实现。
JEP 429,作用域值(孵化阶段),它是一个正在孵化中的 JEP,最初叫做范围局部变量(Extent-Local Variables,Incubator),提议在线程内部和线程间共享不可变的数据。这比线程局部(thread-local)变量的做法更好,尤其是在大量使用虚拟线程的时候。
JEP 436,虚拟线程(第二轮预览),提议对JDK 19 所提供的 JEP 425,虚拟线程(预览) 进行第二次预览,以便留出充分的时间为该特性的演进提供更多的反馈和体验。该特性为Java平台提供了虚拟线程,这是一种轻量级线程,可以极大地减少编写、维护和观测高吞吐量并发应用程序的工作量。需要注意的是,本预览版仅对JDK 19 所固定的JEP 425 的API进行了少量修改,除此之外没有其他变化,所以在第二轮预览中没有任何提议。请参阅InfoQ的新闻报道和甲骨文 Java 平台组的 Java 开发人员布道师 José Paumard 的 JEP Café 录像。
JEP 437,结构化并发(第二轮孵化),提议基于JDK 19 中所提供的 JEP 428,结构化并发(孵化)重新孵化,以便留出充分的时间为该特性的演进提供更多的反馈和体验。此特性的目的是通过引入一个库来将在不同线程中运行的多个任务视为单个工作单元,从而简化多线程编程。这可以简化错误处理和撤销,提升可靠性,并增强可观测性。该JEP的唯一的变化是更新了 StructuredTaskScope 类,以支持在任务作用域中创建的线程可以继承作用域的值。这简化了线程间不可变数据的共享。有关JEP 428 的更多详细信息,请参阅 InfoQ 的新闻报道。
关于如何实现虚拟线程和结构化并发API的可运行应用,可以参阅甲骨文的 Java 开发人员布道师 Nicolai Parlog 创建的 GitHub 仓库以及 Contrast Security 的高级软件工程师 Bazlur Rahman 创建的 GitHub 仓库。
Amber 项目
JEP 432 和 JEP 433 属于 Amber 项目,该项目旨在探索和孵化更小的 Java 语言特性,以提升生产力。
JEP 432,记录模式(第二轮预览),为了响应上一轮预览JEP 405,记录模式(预览)的反馈,该JEP包含了功能增强。它提议使用记录模式来解构记录值,以实现对语言的增强。记录模式可以与类型模式结合使用,以“实现强大的、声明式的、可组合的数据导航和处理形式”。类型模式最近通过JDK 19 交付的 JEP 427,switch 模式匹配(第三次预览)、JDK 18 交付的 JEP 420,switch 模式匹配(第二次预览) 和 JDK 17 交付的 JEP 406,switch 模式匹配(预览) 扩展到了 switch case 标签中。与 JEP 405 相比,它的变更包括,增加了对泛型记录模式类型参数推断的支持,增加了对记录模式出现在增强 for 语句条件判断中的支持,并删除对了对命名记录模式的支持。
与之类似,JEP 433:switch的模式匹配(第四次预览),提供了功能增强,以响应前三轮预览的反馈,即 JDK 19 交付的 JEP 427,switch 的模式匹配(第三次预览)、JDK 18 交付的 JEP 420,switch 的模式匹配(第二次预览) 和 JDK 17 交付的 JEP 406,switch 的模式匹配(预览)。与JEP 427 相比,新 JEP 提供的变更包括,简化了 switch标签的语法、switch表达式和语句以及其他支持模式的构造体均支持泛型类型模式和记录模式的类型参数推断。
关于如何实现记录模式和switch API 的模式匹配的可运行应用,可以参阅 Global Points 的技术主管Wesley Egberto创建的 GitHub 仓库,该特性位于 java-19目录中。
JDK 21
目前,JDK 21 只包含一个 Targeted状态的 JEP。JEP 431,序列集合,在 JDK 21 中已经从Proposed to Target状态提升到了Targeted状态。该 JEP 提议引入“一个新的接口系列,代表了元素能够以明确的序列或顺序排列在集合中的概念,使其作为集合的结构化属性”。该JEP的动机在于集合框架(Collections Framework)中缺乏定义良好的排序和统一操作集。关于 JEP 431 的更多信息,请参阅 InfoQ 的新闻报道。
但是,根据最近提交的 JEP 草案和提出最终特性的 JEP 候选方案,我们可以推测出哪些 JEP 有可能纳入到 JDK 21 中。
JEP 440,记录模式,上周已经从JEP Draft 8300541 状态提升至 Candidate状态。该 JEP 最终确定了这一特性,并根据前两轮预览的反馈意见进行了改进,即 JDK 20 交付的 JEP 432,记录模式(第二轮预览)和JDK 19 交付的 JEP 405,记录模式(预览)。该特性使用记录模式来解构记录值,以实现对语言的增强。记录模式可以与类型模式结合使用,以“实现强大的、声明式的、可组合的数据导航和处理形式”。类型模式最近通过 JDK 18 交付的 JEP 420,switch 模式匹配(第二次预览) 和JDK 17 交付的 JEP 406,switch 模式匹配(预览) 扩展到了 switch case 标签中。从 JEP 432 以来,最重要的变更是移除对记录模式出现在增强 for 语句条件判断中的支持。
与之类似,JEP 441,switch 的模式匹配,已经从 JEP Draft 8300542 状态 提升到 了 Candidate 状态。该 JEP 也最终确定了这一特性,并根据前四轮预览的反馈意见进行了改进,即 JDK 20 交付的 JEP 433: switch的模式匹配(第四轮预览)、JDK 19 交付的 JEP 427,switch 的模式匹配(第三轮预览)、JDK 18 交付的 JEP 420,switch 的模式匹配(第二轮预览)和 JDK 17 交付的JEP 406,switch 的模式匹配(预览)。该特性通过对 switch 表达式和语句进行模式匹配,增强了语言的特性。
JEP 442,外部函数与内存API(第三轮预览),已经从 JEP Draft 8301625 状态提升到了 Candidate 状态。该 JEP 基于之前的反馈进行了改进,并提供了第三个预览,这些反馈来自JDK 20 交付的 JEP 434,外部函数与内存API(第二轮预览)、JDK 19 交付的 JEP 424,外部函数与内存 API(预览) 以及相关的孵化,即 JDK 18 交付的 JEP 419,外部函数与内存 API(第二轮孵化) 和 JDK 17 交付的 JEP 412,外部函数与内存 API(孵化)。该特性为 Java 应用提供了一个 API,能够通过高效地调用外部函数和安全地访问不受 JVM 管理的外部内存,实现了与 Java 运行时之外的代码和数据进行互操作。JEP 434 的更新包括,在 Arena 接口中集中管理原生段的生命周期;增强布局路径,用一个新元素来解除对地址布局的引用;删除 VaList 类。
甲骨文公司 Loom 项目的架构师和技术负责人 Ron Pressler 和甲骨文公司 Java 平台组的架构师 Alan Bateman 在上周提交了 JEP Draft 8303683,虚拟线程。该 JEP 提议根据前两轮预览的反馈来最终确定该功能,即 JDK 20 交付的 JEP 436,虚拟线程(第二轮预览)和JDK 19 交付的 JEP 425, 虚拟线程(预览)。该特性为 Java 平台提供了虚拟线程,这是一种轻量级线程,可以极大地减少编写、维护和观测高吞吐量并发应用程序的工作量。与 JEP 436 相比,最重要的变化是,虚拟线程现在完全支持线程局部(thread-local)变量,消除了选择不使用这些变量的选项。关于 JEP 425 的更多细节,请参阅 InfoQ 的新闻报道和甲骨文 Java 平台组的 Java 开发人员布道师 José Paumard 的 JEP Café录像。
JDK 21 的正式发布日期尚未公布,但按照六个月的发布周期,预计将于 2023 年 9 月中旬交付。作为开发人员,我们可以预计特性冻结会在 2023 年 6 月中旬。关于其他 JEP 草案和候选版本的更多细节,可以在 InfoQ 的这篇更详细的 新闻报道中找到。
JDK 20 现在可以从甲骨文网站下载,其他供应商的二进制文件预计将在未来几天内提供。
原文链接:
Java 20 Delivers Features for Projects Amber, Loom and Panama(https://www.infoq.com/news/2023/03/java20-released/)
相关阅读:
声明:本文为 InfoQ 翻译,未经许可禁止转载。
点击底部阅读原文访问 InfoQ 官网,获取更多精彩内容!
今日好文推荐
继续阅读
阅读原文