JDK 22: новые возможности Java 22

Java Development Kit 22, который выйдет в марте 2024 года в качестве следующей версии Java Standard Edition, будет включать 12 функций, последними дополнениями станут второй предварительный просмотр скопированных значений и предварительный просмотр сборщиков потоков.

JDK 22 достигла фазы постепенного сокращения, когда набор функций был заморожен, 7 декабря. Общая доступность назначена на 19 марта, вторая фаза отладки должна состояться 18 января, а два релиз-кандидата запланированы на февраль. В период до общего релиза будет проведена работа над ошибками.

Скопированные значения позволяют безопасно и эффективно обмениваться неизменяемыми данными внутри и между потоками. Они предпочтительнее локальных переменных, особенно при использовании большого количества переменных потоков. Цели включают простоту использования, понятность, надежность и производительность.

Сборщики потоков улучшат API потоков для поддержки пользовательских промежуточных операций. Это позволит потоковым конвейерам преобразовывать данные таким образом, который не так легко достичь с помощью существующих встроенных промежуточных операций.

К этим последним возможностям присоединяются второй предварительный просмотр структурированного параллелизма, предварительный просмотр утверждений перед super(...), предварительный просмотр API для файлов классов, привязка регионов для сборщика мусора G1, второй предварительный просмотр шаблонов строк, неименованных переменных и шаблонов, API для посторонних функций и памяти, а также седьмой инкубатор API для векторов. Также были предложены второй предварительный просмотр неявно объявленных классов и основных методов экземпляров, а также усовершенствование программы запуска Java, которое позволит запускать многофайловые программы.

Сборки JDK 22 раннего доступа доступны на сайте jdk.java.net для Linux, Windows и Mac.

Структурированный параллелизм позволяет упростить параллельное программирование благодаря API, который рассматривает группы связанных задач, выполняемых в разных потоках, как единую единицу работы, что упрощает обработку и отмену ошибок, повышает надежность и улучшает наблюдаемость. Этот API был предварительно представлен в JDK 21 и опробован в JDK 19 и JDK 20.

Усовершенствование программы запуска Java-приложений позволит запускать программу, поставляемую в виде нескольких файлов с исходным кодом Java. Цель возможности запуска многофайловых программ с исходным кодом - сделать переход от небольших программ к более крупным более постепенным, позволяя разработчикам самим решать, стоит ли и когда настраивать инструмент сборки.

API для работы с файлами классов предоставит стандартный API для разбора, генерации и преобразования файлов классов Java. Он предназначен для того, чтобы компоненты JDK могли перейти на стандартный API и, в конечном счете, удалить внутреннюю копию библиотеки ASM сторонних разработчиков из JDK. Разбор, генерация и преобразование файлов классов широко распространены, они используются независимыми инструментами и библиотеками для изучения и расширения программ без ущерба для сопровождаемости исходного кода.

Однако сейчас формат файлов классов Java развивается быстрее, чем раньше, благодаря полугодовому графику выпуска стандартных версий Java. Такая скорость эволюции привела к тому, что фреймворки стали чаще сталкиваться с файлами классов, более новыми, чем библиотека файлов классов. Это приводит к ошибкам и к тому, что разработчики фреймворков пытаются написать код для анализа файлов классов из будущего и надеются, что ничего серьезного не изменится. Планируется, что платформа Java определит и реализует стандартный API class-файлов, который будет развиваться вместе с форматом class-файлов.

Уплотнение регионов для G1 призвано уменьшить задержки, чтобы не отключать сборку мусора (GC) во время критических регионов Java Native Interface (JNI). Среди целей - отсутствие остановки потоков из-за критических областей JNI, отсутствие дополнительной задержки при запуске сборки мусора из-за этих областей, отсутствие регрессии во времени паузы GC, когда ни одна из этих областей не активна, и минимальная регрессия во времени паузы GC, когда эти области активны. В настоящее время GC по умолчанию, G1, отключает сборку мусора во время каждого критического региона, что может существенно повлиять на задержку. Благодаря этому изменению потоки Java никогда не будут ждать завершения операции GC G1.

Неявно объявленные классы и методы экземпляров в настоящее время представлены в JDK 21 как неименованные классы и методы экземпляров. Во втором предварительном просмотре JDK 22 эта возможность получит новое название и значительные изменения. Эта возможность призвана усовершенствовать язык Java, чтобы студенты могли писать свои первые программы без необходимости разбираться в особенностях языка, предназначенных для больших программ. Студенты смогут писать упрощенные декларации для программ с одним классом, а затем, по мере развития навыков, плавно расширять программы, используя более продвинутые возможности. Второй предварительный просмотр вносит изменения в объявление классов и вызов методов, которые упрощают первоначальное предложение.

Предварительный просмотр утверждений перед super(...) относится к конструкторам в языке, позволяя утверждениям, которые не ссылаются на создаваемый экземпляр, появляться перед явным конструктором. Цель плана - предоставить разработчикам большую свободу в выражении поведения конструкторов, позволяя более естественно размещать логику, которая в настоящее время должна быть вынесена во вспомогательные статические методы, вспомогательные промежуточные конструкторы или аргументы конструкторов.

Другая цель - сохранить существующую гарантию того, что конструкторы запускаются в порядке сверху вниз во время инстанцирования класса, гарантируя, что код в конструкторе подкласса не может вмешиваться в инстанцирование суперкласса. Третья заявленная цель - не требовать никаких изменений в JVM. Это единственная на данный момент функция JDK 22, которая еще не была представлена в стандартном Java.

Шаблоны строк дополнят существующие в Java строковые литералы и текстовые блоки, соединяя литеральный текст со встроенными выражениями и шаблонными процессорами для получения специализированных результатов. Цели включают:

Упрощение написания программ на Java за счет простоты выражения строк, включающих значения, вычисляемые во время выполнения.
Повышение удобочитаемости выражений, в которых сочетаются текст и выражения, независимо от того, помещается ли текст в одной строке исходного текста или занимает несколько строк.
Повышение безопасности программ, составляющих строки из предоставленных пользователем значений и передающих их другим системам, за счет поддержки проверки и преобразования как шаблона, так и значений встроенных в него выражений.
Сохранение гибкости, позволяя библиотекам Java определять синтаксис форматирования, используемый в шаблонах строк.
Упрощение использования API, которые принимают строки, написанные на языках, отличных от Java, таких как XML и JSON.
Возможность создания нестроковых значений, вычисляемых из буквенного текста и встроенных выражений, без необходимости прохождения через промежуточное строковое представление.
Шаблоны строк появились в первой предварительной версии в JDK 21. Вторая предварительная версия предназначена для получения дополнительного опыта и отзывов. За исключением технических изменений в типах выражений шаблонов, никаких изменений по сравнению с первой предварительной версией нет.

Векторный API (седьмой инкубатор) будет выражать векторные вычисления, которые надежно компилируются во время выполнения в оптимальные векторные инструкции на поддерживаемых архитектурах CPU, достигая производительности, превосходящей эквивалентные скалярные вычисления. API предоставляет возможность писать сложные векторные алгоритмы на Java, используя существующий алгоритм автоматической векторизации HotSpot, но с пользовательской моделью, которая делает векторизацию более предсказуемой и надежной.

Эта возможность была реализована в предыдущих версиях Java, начиная с JDK 16 в марте 2021 года. Цели API - быть понятным и лаконичным, не зависящим от платформы, обеспечивать надежную компиляцию и производительность во время выполнения на архитектурах x64 AArch64, а также плавную деградацию. Эта возможность предназначена для использования усовершенствований Project Valhalla в объектной модели Java, позволяющих программам работать с объектами значений.

Неименованные переменные и шаблоны могут использоваться в тех случаях, когда объявления переменных или вложенные шаблоны необходимы, но никогда не используются. Цели плана включают:

Улавливание намерений разработчиков о том, что данное связывание или параметр лямбды не используется, и обеспечение соблюдения этого свойства для прояснения программ и уменьшения возможностей для ошибок
Улучшение сопровождаемости кода за счет выявления переменных, которые должны быть объявлены, но не используются
Разрешение нескольким шаблонам появляться в одной метке при условии, что ни в одном из них не объявлены переменные шаблона
Улучшение читаемости шаблонов записи за счет исключения ненужных вложенных шаблонов типов.
Это предложение было предварительно рассмотрено в JDK 21 и будет без изменений доработано в JDK 22.

API для внешних функций и памяти позволяет Java-программам взаимодействовать с кодом и данными за пределами среды выполнения Java. Вызывая внешние функции и получая безопасный доступ к внешней памяти, Java-программы могут вызывать родные библиотеки и обрабатывать родные данные без хрупкости JNI (Java Native Interface), говорится в предложении.

API посторонних функций и памяти ранее был представлен в JDK 19, JDK 20 и JDK 21. В JDK 22 он будет доработан. Последние изменения затрагивают три области: поддержка произвольных наборов символов для родных строк, предоставление клиентам возможности программно создавать дескрипторы функций на языке C и введение атрибута манифеста JAR-файлов Enable-Native-Access. Последний позволяет исполняемым JAR-файлам вызывать ограниченные методы без необходимости использовать опцию командной строки -enable-native-access.

Java 22 - это Feature-релиз, который будет поддерживаться Oracle в течение шести месяцев, в отличие от только что вышедшего JDK 21, который является релизом Long Term Support (LTS) и будет поддерживаться не менее восьми лет. Компании, помимо Oracle, могут предложить более длительную поддержку JDK 22, если захотят. Стандартные обновления Java выходят каждые шесть месяцев, а релизы LTS - каждые два года.