2025/12/04

Lazy Constant

このエントリーをはてなブックマークに追加

本エントリーはJava Advent Calendar 2025の4日目です。昨日はAsanoさん (@mackey0225) の読書感想文 : 『Javaの10年』でした。

 

11月15日に開催されたJJUG CCC 2025 FallでLazy Constantについてプレゼンしてきました。資料はこちら。

 

Lazy Constantはfinalフィールドを遅延初期化させるためのAPIで、Java 26ではJEP 526で提案されています。

 

JEP 526: Lazy Constants (Second Preview)

https://openjdk.org/jeps/526

 

LazyConstantインタフェース自体は単機能で使い方も簡単なのですが、その導入背景は理解しておいた方がよいと思います。

 

なぜLazy Constant?

Javaでも宣言的なプログラミングスタイルが増えてきたり、並列処理が当たり前に使われるようになってきて、イミュータブル性の重要度が増しています。

また、アーキテクチャー的にもDDDの導入で値クラスを使うことが多くなっています。もちろん、値クラスはイミュータブルです。

 

そこで、イミュータブルなクラスを作ることを考えるわけですが、イミュータブルなクラスの条件の1つにフィールドはすべてfinalにするということがあります。

ここで困るのが、フィールドによっては初期化に時間がかかるものがあることです。たとえば、通信やファイル読み込みなどの外部リソースにアクセスする場合などがこれに相当します。

時間のかかるフィールドの初期化がアプリケーションの起動時にまとまって発生してしまうと、ただでさえいろいろやらなければならない起動時ですが、このようなフィールの初期化のためにさらに起動時間がかかるということになってしまいます。

通常のフィールドであれば、実際にフィールドを使用する時まで初期化を遅らせることができます。しかし、finalフィールドはオブジェクトの生成時にしか初期化することができません。

そこで登場するのがfinalフィールドの遅延初期化をサポートするLazy Constantです。

 

Lazy Constantとは

Lazy Constantは値を1つだけ保持するコンテナのようなものです。

そして、保持する値の初期化は実際に使用する時まで遅延させます。もちろん、スレッドセーフなので並列処理でも使えます。

値の初期化を行うにはSupplierインタフェースを使用します。ようするに、引数なし、戻り値ありのラムダ式ですね。

重要なことが、JVMの最適化を享受しやすい実装になっていることです。LazyConstantオブジェクトから値を取得するときにはgetメソッドを使用する必要があり、しかもgetメソッド内では値が初期化されたかどうかをチェックする必要があります。これらのオーバーヘッドがあるにも関わらず、インライン化などの最適化を行いやすくなっており、最適化後は直接変数にアクセスするのとパフォーマンスが変わらなくなります。

では、このような特徴を持つLazyConstantを使ってみましょう。

 

LazyConstantの使い方

LazyConstantはインタフェースで、パッケージはjava.langです。ですから、import文は必要ありません。

メソッドは4つだけ。しかも、ほぼofメソッドとgetメソッドしか使いません。

  • static LazyConstant<T> of(Supplier<T> computingFunction) : LazyConstantオブジェクトのファクトリーメソッド
  • T get() : 値を取得するためのメソッド

 

ofメソッドでLazyConstantオブジェクトを生成して、getメソッドで値を取得するというだけです。

たとえば、Consumerクラスで遅延初期化させたいHeavyクラスのオブジェクがあるとしましょう。このオブジェクトをLazyConstantインタフェースを使用して遅延初期化させてみます。

LazyConstantインタフェースのフィールドをheavyConstantとしてfinalで定義します。

そして、実際にheavyConstantフィールドが保持する値を使用するのはconsumeメソッドだとします。

public class Consumer {
    private final LazyConstant<Heavy> heavyConstant
            = LazyConstant.of(() -> new Heavy());

    public void consume() {
        // 初回のgetメソッドコール時に
        // ofメソッドの引数で指定したラムダ式を実行し値を初期化
        // 次からは初期化後の値を取得
        var h = heavy.get();
        IO.println(h);

        // heavyを使用した処理...
    }
}

 

ofメソッドの引数のラムダ式では、Heavyオブジェクトの生成を行っています。オブジェクトの生成だけなのであれば、コンストラクター参照を使用してHeavy::newでも大丈夫です。

そして、heavyフィールドが保持している値を取得するためにgetメソッドを使用します。getメソッドの初回コール時にofメソッドの引数で指定されたラムダ式が実行されます。2回目以降は初期化された値が返ります。

 

では、このConsumerクラスを使ってみましょう。

void main() {
    var consumer = new Consumer();

    consumer.consume();
    consumer.consume();
    consumer.consume();
}

 

Heavyクラスのコンストラクターでは初期化しているというメッセージを標準出力に表示しています。

LazyConstantインタフェースはJava 26ではPreview APIなので、コンパイルや実行には--enable-previewが必要です。

>  java --enable-preview .\Main.java
ノート: C:\test\SomeData.javaはJava SE 26のプレビュー機能を使用します。
ノート: 詳細は、-Xlint:previewオプションを指定して再コンパイルしてください。
Heavy Initializing
Heavy@2002fc1d
Heavy@2002fc1d
Heavy@2002fc1d
> 

 

コンストラクターがコールされているのは1度だけで、それ以降はgetメソッドで返る値は同じオブジェクトになっていることがわかります。

 

初期化にデータが必要な場合

遅延させたい値の初期化に何らかのデータが必要になる場合はどうでしょう。

初期化にSupplierインタフェースを使うので、引数で渡すことはできません。しかし、final変数であればラムダ式の外側の変数も参照できるので次のように書くこともできます。

    public Consumer(final String filename) {
        heavyConstant = LazyConstant.of(() ->  new Heavy(filename));
    }

 

Heavyクラスのコンストラクターでは引数の文字列を表示させるようにしてみました。また、mainメソッドでも文字列を渡しています。

void main() {
    var consumer = new Consumer("Main.java");

    consumer.consume();
    consumer.consume();
    consumer.consume();
}

 

では、実行してみましょう。

>  java --enable-preview .\Main.java
ノート: C:\test\SomeData.javaはJava SE 26のプレビュー機能を使用します。
ノート: 詳細は、-Xlint:previewオプションを指定して再コンパイルしてください。
Heavy Initializing: Main.java
Heavy@2002fc1d
Heavy@2002fc1d
Heavy@2002fc1d
> 

 

このようにラムダ式を書いた時点でのfinal変数であるfilename変数をキャプチャーし、ラムダ式の実行時に使用していることが分かります。

 

初期化時の例外

外部リソースにアクセスするから遅延初期化をしたいということはけっこうあると思います。この時に困るのが例外です。

外部リソースへのアクセスはどうしても例外が発生しがちです。こんな時にどうすればよいのか?

考えられるのは以下の3つの選択肢ではないでしょうか。これについては特にJEPで触れられていないので、さくらばだったらこうするという方法です。

 

  • ラムダ式でnullを返す
  • 例外をRuntimeException例外にくるんで、スローする
  • ラムダ式の返り値をEitherもしくはResultなどにする

 

1つ目の方法は初期化のためのラムダ式で例外が発生した時に、nullを返すというものです。ラムダ式でnullを返すと、getメソッドの内部でNullPointerException例外がスローされます。

このNullPointerException例外をキャッチするという方法です。

この方法は簡単でよいのですが、残念ながら原因となる例外が隠されてしまい、スタックトレースなども引き継ぐことができません。このため、NullPointerException例外が発生したとしても、原因を調べるのが難しくなってしまいます。

 

2つ目のRuntimeException例外を使う方法は、初期化のためのラムダ式のSupplierインタフェースが検査例外をスローできないからです。これはjava.util.functionパッケージの他のインタフェースも同じですね。

そこで、何らかの例外が発生したらRuntimeException例外のcauseにセットして、RuntimeException例外をスローするという方法です。

この方法はスローするRuntimeException例外をドキュメント化しておかないと例外処理を忘れがちという問題があります。

少なくとも、マルチスレッドで使用している場合のUncaughtExceptionにならないようにしなくてはいけません。

この点に注意すれば、まぁ使える方法ではないかなと思います。

 

最後のEitherもしくはResultを使う方法は、例外を値として保存しておいて、ラムダ式の返り値として返すという方法です。

たとえば、Eitherであればleftとrightの2つの値を保持できるようになっており、正常に初期化できた時はleftに保持させ、例外が発生した時にはrightに保持させます。そして、このEitherオブジェクトをラムダ式の返り値として返します。

このため、LazyConstantインタフェースのgetメソッドの戻り値はEitherになり、leftとrightのそれぞれの場合の処理を記述します。

しかし、これだとLazyConstantというコンテナにEitherというコンテナを保持させ、実際に使うにはgetしてgetしなければならないというちょっとめんどくさいことになってしまいます。

こう考えると、finalフィールドのためにEitherを使うのはちょっとやりすぎではないかなと、さくらばは思うわけです。

 

ということで、さくらば的には2つ目のRuntimeException例外を使うかなぁ...

 

コレクションの遅延初期化

LazyConstantインタフェースではコレクションを初期化するのはちょっと難しいのですが、ListインタフェースとMapインタフェースに遅延初期化するためのメソッドが追加されています。

  • static List<E> List.ofLazy(int size, IntFunction<? extends E> computingFunction)
  • static Map<K, V> Map.ofLazy(Set<? extends K> keys, Function<? super K, ? extends V> computingFunction)

 

たとえば、0から9までを保持するリストを遅延初期化させるのであれば、次のように記述します。

private final List<Integer> nums = List.ofLazy(10, i -> i);

 

ofLazyメソッドを使用して生成したコレクションは、実際にそのコレクションにアクセスした時にofLazyメソッドの引数で指定されたラムダ式を実行して初期化を行います。

 

その他のメソッド

使うことはほぼないとは思いますが、LazyConstantインタフェースの残りの2つのメソッドについても簡単に触れておきましょう。

 

boolean isInitialized()

メソッド名で分かると思いますが、保持している値が初期化が行われたかどうか、つまりgetメソッドが1度でもコールされたかどうかを判定するためのメソッドです。初期化されて入ればtrue、初期化されていなければfalseが返ります。

 

T orElse(T other)

保持している値が初期化されていればその値を返し、初期化されていなければ引数のotherを返します。

注意しなければいけないのは、orElseメソッドの内部ではgetメソッドはコールされません。つまり、値が初期化されていなくても、初期化することはありません。

くり返しますが、初期化されていない場合はotherを返します。

 

まとめ

LazyConstantインタフェースはfinalフィールドを遅延初期化させたい場合に使用するインタフェースです。

それほど使うインタフェースではないとは思いますが、ロガーをfinalフィールドで定義したい場合などに使えます。

遅延初期化の機能だけに注目すれば、finalでないフィールドに対しても使うことが可能です。

とはいうものの、遅延初期化はそれなりにオーバーヘッドがあるので、遅延初期化を必要としないフィールドに対して使うのはやりすぎです。

遅延処理を必要とする場合に使うようにしましょう。

 

使い方だけで、意外に長くなってしまったので、LazyConstantインタフェースでの遅延処理の実装について次回説明することにします。

2025/10/11

JEPで語るJava 25 その2

このエントリーをはてなブックマークに追加

前回は、Java 25のJEPのうち初心者向け機能と小さいオブジェクトを扱う機能を紹介しました。今回はその続きです。

まずはProject Leyden関連のJEPです。

 

Project Leyden

Project Leydenは、Javaの起動時間を短縮することを目標にしたプロジェクトです。

さくらばは、てっきりGraalのネイティブイメージを取り込むだけなのかと思っていたのですが、そうではなく、様々な手段を用いて起動時間とピークパフォーマンスに達するまでの時間を短縮するための機能を提供するようです。

Java 24ではJEP 483が導入されましたが、Java 25はこの続きになるJEPが2つ導入されました。

 

JEP 514: Ahead-of-Time Command-Line Ergonomics

JEP 483はクラスロード、クラスの解析、クラス間のリンク、static初期化を行った後のイメージをキャッシュとして保存して、起動時にそれを読み込むことによって起動時間を短縮させます。

このキャッシュ(AOTキャッシュと呼ばれます)を作るには、トレーニング実行を行って、その後キャッシュ作成するという2段階が必要でした。

しかし、起動時オプションを変えて、2回実行するというのはちょっとめんどう...

ということで、JEP 514は1度の実行でトレーニング実行とAOTキャッシュ作成を行ってしまいましょうというものです。

AOTキャッシュを作成するには以下のように実行します。

 

  • AOTキャッシュ作成
    $ java -XX:AOTCacheOutput=app.aot -cp app.jar com.example.App ...

AOTキャッシュを使って実行するのは、JEP 483と同じです。

  • 本番実行
    $ java -XX:AOTCache=app.aot -cp app.jar com.example.App ...

 

もちろん、JEP 483の2段階でAOTキャッシュを作成することも可能です。

 

JEP 515: Ahead-of-Time Method Profiling

HotSpot VMはアプリケーションを実行しながら、その片手間にプロファイリングもやっています。プロファイルイングの結果から、実行中にメソッドをネイティブコードにコンパイルするなどの最適化を行っています。

逆にいうと、ピークパフォーマンスに達するまでに時間がかかるということです。

Leydenで起動時間を短縮するのが必要なユースケースでは、なおさらピークパフォーマンスに達する時間が問題になりそうです。

そこで、JEP 515では、AOTキャッシュを作成するトレーニング実行中に作成したプロファイリングの解析結果をAOTキャッシュに含めるようになりました。

AOTキャッシュを使って実行すると、プロファイリングを行わずにすぐにネイティブコンパイルなどの最適化を行うことができるので、ピークパフォーマンスに到達する時間を大幅に短縮することができます。

 

Project Leydenでは、この後、JEP 516: Ahead-of-Time Object Caching with Any GCやまだドラフトですがJEP draft: Ahead-of-Time Code Compilationなどが控えています。

 

これらのProject Leydenの機能に関して、9月のJJUGナイトセミナーでOracleのじゅくちょー阪田さんが解説してくれたのですが、その資料がまだ公開されていない...

もし、LeydenのAOTキャッシュに興味があるのであれば、資料が公開されるのを待ちましょう!

 

安全性、セキュリティ

JEP 510の鍵導出関数はとりあえずおいておいて、サポートできなくなったポーティングは削除しましょうというのがJEP 503です。

 

JEP 503: Remove the 32-bit x86 Port

32bit版のWindowsのサポートが今月終了するということで、Java 24で32bit版のWindowsのポーティングが削除されました。また、x86のポーティングも削除予定になっていました。

そして、Java 25でx86のポーティングが削除されました。

サポートされないOSに対しては安全性の問題もあるので、削除はしかたないですね。

 

モニタリング

OpenJDKでのモニタリングとプロファイリングといえば、JDK Flight Recorder (JFR)ですね。

Java 25では、このJFR関連のJEPが3つあります。1つはExperimentalなので後述することにして、残りの2つについて簡単に紹介します。

とはいうものの、1つは内部実装の話なので、機能という感じではないですけど。

 

JEP 518: JFR Cooperative Sampling

非同期にスレッドのスタックトレースをサンプリングする部分の実装を見直して、安定性を高めたというJEP。

使い方の変更はないので、Java 25のJFRであれば安定してスタックトレースを取得できるようになるはずです。

 

JEP 520: JFR Method Timing & Tracing

メソッドがコールされたタイミングや回数などをサンプリングではなく、実測で調べるためのJFRのイベントが追加されました。

追加されたイベントはjdk.MethodTimeingとjdk.MethodTraceの2種類です。

これらのイベントを使用することで、メソッドがコールされたタイミングとメソッドの処理時間、そしてスタックトレースを取得することができます。

 

その他

Standard JEPの残った2つは、Project Loom関連のScoped Valueと、GCのShenandoah GCに関連したJEPです。

 

JEP 506: Scoped Values

ThreadLocalクラスはミュータブルでいろいろと問題のあるクラスですが、それをある程度置き換えることができるのがScopedValueクラスです。

すべてではないのはScopedValueクラスがイミュータブルなクラスなので、ThreadLocalクラスでsetメソッドを使っているようなケースは置き換えられないからです。

 

使い方は簡単で、ScopedValueインスタンスをnewInstance()メソッドで作成しておいて、そこにstaticメソッドのwhere()メソッドで保持する値をバインドさせます。

where()メソッドの返り値の型はScopedValue.Carrierクラスです。このScopedValue.Carrierクラスのrun()メソッド、もしくはcall()メソッドで実行するタスク内だけでScopedValueオブジェクトにバインドしたデータを使用できます。

つまり、run()メソッドとcall()メソッドで指定する関数だけがスコープになるわけです。

 

たとえば、時間を共有したい場合を考えてみます。

// スコープで共有するScopedValueオブジェクト
final ScopedValue<LocalDateTime> TIME = ScopedValue.newInstance();

void task1() {
  // get()メソッドで共有したデータを取得
  System.out.println("Task1: " + TIME.get());
}

void task2() {
  // get()メソッドで共有したデータを取得
  System.out.println("Task2: " + TIME.get());
}

void main() {
  Runnable r = () -> {
    // whereメソッドでTIMEに現在時刻をバインド
    // runメソッドで指定するラムダ式の中だけでバインドしたデータを共有
    ScopedValue.where(TIME, LocalDateTime.now())
               .run(() -> {
                  task1();
                  task2();
                });

  };

  try (var executor = Executors.newCachedThreadPool()) {
    executor.submit(r);
  }
}

 

とはいうものの、ThreadLocalクラスやScopedValueクラスを使ったデータの共有はできるだけ避ける方がよいです。共有したデータのせいでスケールしないことも多いですし、バグも発生しやすいです。

ScopedValueクラスを安易に使うよりは、もう一度設計を見直すことの方が賢明だと思います。

たとえば、上のコードでもtask1()メソッドとtask2()メソッドの引数として時間を渡した方が分かりやすいですよね。共有せずに済むのであれば、共有しない設計にすべきです。

 

JEP 521: Generational Shenandoah

Red Hatが進めていたShenandoah GCは、以前のZGCのように世代別GCではなかったのですが、ZGCの後を追うように世代別GCになりました。

Shenandoahで世代別モードにするには、まず実行時オプションの-XX:+UseShenandoahGCでGCにShenandoahを指定します。そして、同じく実行時オプションで-XX:ShenandoahGCMode=generationalを指定します。

 

Preview

ここからはお試し機能。まずは、Preview JEPからです。

Preview JEPは4種類。JEP 507はJava 25でStandardになると予想していたんですけど、Previewでしたね。残念。

 

JEP 470: PEM Encodings of Cryptographic Objects (Preview)

1つ目のPreview JEPは鍵導出関数に関するAPIです。

 

JEP 502: Stable Values (Preview)

StableValueクラスはfinalなフィールドに対して遅延初期化を行うためのクラスです。

それにしても、java.langパッケージにScopedValueクラスとStableValueクラスという似たようなクラスができると混乱するよなぁ... と思っていたら、Java 26がターゲットのJEP 526ではLazyConstantクラスに名前が変わりました!

LazyConstantクラスに関してはJJUG CCC 2025 Fallでプレゼンすることになったので、その時に詳しく解説します。

 

JEP 505: Structured Concurrency (Fifth Preview)

Structured ConcurrencyはなかなかStandard JEPになりませんが、複数の非同期実行のタスクの結果をまとめることなどに使用するAPIです。

Java 25で5回目のPreviewですが、APIに変更があったためJava 26でもう一度Previewということになっています(JEP 525)。

Java 24まではStructuredTaskScopeクラスのインスタンシエーションにはnewを使用していたのですが、Java 25でファクトリーメソッドのopen()メソッドが導入されています。

また、全部成功したらとか、1つでも失敗したらなどの条件を表すために、Java 24まではStructuredTaskScopeクラスのサブクラスで表していましたが、JEP 505ではStructuredTaskScope.Joinerインタフェースに委譲するようになりました。この方が分かりやすいですし、今後条件の拡張しやすくていいですね。

 

JEP 507:Primitive Types in Patterns, instanceof, and switch (Third Preview)

パターンマッチングにプリミティブ型を使用できるようにするのがJEP 507です。

JEP 507は変更なしだったのですが、まだドラフトなのですが次のJEPで変更が入ったので、Standardになるのは当分先になってしまいました。残念。

 

Experimental

Experimental JEPは1つだけで、JFRの機能追加に関してです。

 

JEP 509: JFR CPU-Time Profiling (Experimental)

CPUの計測を行うJFRのイベントが追加されました。ただし、Linuxだけです。

イベントはjdk.CPUTimeSampleです。

今のところ、新しいJEPは提案されていないようなので、Java 26でStandard JEPになるかもしれません。

 

Incubator

最後のIncubator JEPは、Value Classが導入するまでずっとIncubatorのままのあれです。

 

JEP 508: Vector API (Tenth Incubator)

ベクトル計算を行うためのVector APIですが、JEP 508ではいくつかの変更がありました。ただ、Value Classが導入されるまでIncubatorのままなので、今それを調べてもなぁ... と調べるモチベーションが上がりません😰

 

まとめ

Java 25はLTSということもあり、Standard JEPが多いリリースでした。

特にJEP 512のメインクラスの省略は意外に便利です。また、JEP 506のScoped Valueも正式化したので、今後ThreadLocalの置き換えが進むかもしれません。

 

ところで、Java 25とは関係ないのですが、ずっとドラフトのままだったValue Classがサブミットされて、通常のJEPにやっとなりました。JEP 401: Value Classes and Objectsです。

まだ、ターゲットバージョンが決まっていないのですが、早ければJava 26からPreviewが始まるかもしれません。

いつ導入されるのか全然わからなかったValue Classですが、やっと一歩踏み出した感じですね。

2025/10/04

JEPで語るJava 25 その1

このエントリーをはてなブックマークに追加

さて、Java 25のJEP (JDK Enhancement Proposal)です。

Java 25のJEPは18個。そのうち、Standard JEPが12で、Preview JEPが4、Experimental JEPとIncubator JEPがそれぞれ1つという内訳です。

ちなみに、gihyo.jpでJEPの概要について記事を書きましたので、ざっと分かればよいという方はこちらをご参照ください。

 

Java 25リリース 初心者向け機能や起動時間短縮など

https://gihyo.jp/article/2025/09/java25

 

Java 25のJEPの一覧を次に示します。

  • 470: PEM Encodings of Cryptographic Objects (Preview)
  • 502: Stable Values (Preview)
  • 503: Remove the 32-bit x86 Port
  • 505: Structured Concurrency (Fifth Preview)
  • 506: Scoped Values
  • 507: Primitive Types in Patterns, instanceof, and switch (Third Preview)
  • 508: Vector API (Tenth Incubator)
  • 509: JFR CPU-Time Profiling (Experimental)
  • 510: Key Derivation Function API
  • 511: Module Import Declarations
  • 512: Compact Source Files and Instance Main Methods
  • 513: Flexible Constructor Bodies
  • 514: Ahead-of-Time Command-Line Ergonomics
  • 515: Ahead-of-Time Method Profiling
  • 518: JFR Cooperative Sampling
  • 519: Compact Object Headers
  • 520: JFR Method Timing & Tracing
  • 521: Generational Shenandoah

gihyo.jpの記事でも、関連したJEPをまとめて扱いましたが、ここでもそうしていきます。

  • 初心者向け: 511, 512
  • 小さいオブジェクト: 513, 519
  • Project Leyden: 514, 515
  • 安全性、セキュリティ: 503, 510
  • モニタリング: 518, 520
  • その他: 506, 521
  • Preview: 470, 502, 505, 507
  • Experimental: 509
  • Incubator: 508

なお、セキュリティに関するJEP 470とJEP 510は、いつものごとく説明を省略します。

 

初心者向け

今までの初心者向け機能というと、Javaのソースファイルをコンパイルしなくても実行することができるJEP 330とJEP 458がありました。

これらは、コンパイルして実行しなくてはいけないという手間を減らすための機能です。

しかし、Javaが初心者向けではないといわれるもう1つの要因が残っていました。たとえば、"Hello, World!"を出力するだけのプログラムでもメインクラスを書かなくてはいけないなど、どうしても記述量が多くなってしまうという点です。

それに対し、Java 25では2つのJEPでこれに対応しています。

 

JEP 511: Module Import Declarations

IDEを使ってプログラムを書いていると、import文はIDEが勝手に整理してくれるのでほとんど気にしないですけど、初心者にとってはハードルが高いのも確か。

あっという間にimport文が何十行にもなっていたりするんですよね。しかも、なぜかimport文でアスタリスクを使うのは嫌われているし。あれは何で嫌われているんでしょうね?

それに対し、JEP 511はimport文をモジュール単位で指定できるようにしましょうというJEPです。

書き方は簡単です。Mモジュールで定義されたクラスやインタフェースなどを使用する場合、次のように記述します。

import module M;

 

moduleキーワードが入るだけですね。

たとえば、GUIでAWTやSwingを使いたいのであれば、次のようになります。

import module java.desktop;

 

しかし、AWTを使うと、Listが問題になります。ようするに、java.awt.Listなのか、java.util.Listなのかという問題です。

import module java.desktop;
import module java.base;

  ...

  List list = ... // これは java.awt.List か java.util.List か?

 

こういう時は、モジュールインポートより通常のインポート文の方が優先されるので、次のように書きます。

import module java.desktop;
import java.util.List;

  ...

  List list = ... // これは java.util.List

 

あくまでも説明のためなので、RAW型を使うなとか言わないでくださいね。

また、アスタリスクで指定でも大丈夫です。

 

import module java.desktop;
import java.util.*;

  ...

  List list = ... // これは java.util.List

 

単一のインポート > アスタリスクでインポート > モジュールインポート の順に優先度が高くなります。

JEP 511ではあいまいなインポートを解決するためにインポート文を記述するのをシャドーイングという言葉で説明しているます。そういわれれば分かるものの、さくらばには、そのニュアンスはなかなか理解できないのでした。

 

JEP 512 Compact Source Files and Instance Main Methods

もう1つの初心者向け機能がJEP 512です。

JEP 512ではプログラム実行の起点であるmainメソッドを簡略化するための仕様を取り決めています。

簡略化できるのは次の4項目です。

  • メインクラスの省略
  • mainメソッドの簡略化
  • java.baseモジュールのインポートの省略
  • 標準入出力を行うクラスの導入

 

では、おなじみのHello, World!で考えてみましょう。ここではHello.javaファイルに記述しているものとします。

public class Hello {
    public static void main(String[] args) {
        System.out.println("Hello World");
    }
}

 

メインクラスの省略

プログラムの実行という意味では起点となるmainメソッドだけあればよいのですが、Javaでメソッドだけ単体で定義するわけにはいかなかったので、メインクラスが必要でした。

これに対して、Java 25ではメインクラスが省略可能になりました。

public static void main(String[] args) {
    System.out.println("Hello World");
}

 

これだけでかなりスッキリしますね。

 

mainメソッドの簡略化

メインクラスが省略できるようになったのに、わざわざアクセス修飾子のpublicやstaticなどは書く意味がありません。しかも、初心者にpublicやstaticを教えるのもなかなか大変なので、できれば触れたくない部分でもあります。

ということで、Java 25ではmainメソッドも大幅に簡略して書くことができるようになりました。

メインクラスも省略すると、"Hello, World!"を出力するには以下のようになりました!

void main() {
    System.out.println("Hello World");
}

 

アクセス修飾子もstaticも引数も省略可能です。もちろん、書いてもだいじょうぶです。

 

さくらばの予想では、省略してもコンパイル時に補完されてpublic static void main(String... args)としてクラスファイルに記述されると思っていました。

ところが、クラスファイルをjavapで見てみるとvoid main()のままでした。

ということは、javaの起動時にmainという名前のメソッドを検索して実行するように動作が変わったようです。

 

では、mainメソッドがオーバーロードされていたらどうなるでしょう。

void main(String arg) {
    System.out.println("Hello World 3");
}

void main(String... args) {
    System.out.println("Hello World 2");
}

void main() {
    System.out.println("Hello World 1");
}

 

さて、実行すると1、2、3のどちらが出力されるでしょう。

> java Hello.java
Hello World 2
    
>

 

やはり、元々のpublic static void main(String... args)に近いシグネチャーのオーバーロードが選ばれるようです。

 

ところで、void main()はstaticがついていないので、クラスファイルにはインスタンスメソッドとして定義されています。

この場合、他のメソッドはコールできるのでしょうか?

void hello() {
    System.out.println("Hello, World!");
}

static void staticHello() {
    System.out.println("Hello, Static World!");
}

void main() {
    hello();
    staticHello();
}

 

インスタンスメソッドとstaticメソッドを定義してコールしてみました。実行してみると...

> java Hello.java
Hello, World!
Hello, Static World!
    
>

 

インスタンスメソッドもstaticメソッドもコールすることができました。

ただし、mainメソッドをstaticで定義してしまうと、インスタンスメソッドをコールする部分でコンパイルエラーになります。

void hello() {
    System.out.println("Hello, World!");
}

static void staticHello() {
    System.out.println("Hello, Static World!");
}

static void main() {
    hello();
    staticHello();
}

 

> javac Hello.java
Hello.java:10: エラー: staticでないメソッド hello()をstaticコンテキストから参照することはできません
    hello();
    ^
エラー1個
    
>

 

java.baseモジュールのインポートの省略

次はインポート文の簡略化です。

リストの要素の一覧を出力するプログラムを考えてみましょう。

Listインタフェースを使うのですから、import java.util.List;が必要になりますが、JEP 511のおかげでimport module java.base;で済みます。

ところが、このインポート文は省略することができます。java.langパッケージのインポートは省略できるのと同じように、java.baseモジュールのインポートを省略できるのです。

したがって、次のようにListインタフェースを使用していても、インポート文は書かずに済みます。

void main() {
    List.of("Alpha", "Bravo", "Charlie")
        .forEach(System.out::println);
}

 

ただし、これはメインクラスを省略した場合だけです。

class Hello {
    void main() {
        List.of("Alpha", "Bravo", "Charlie")
            .forEach(System.out::println);
    }
}

 

> javac Hello.java
Hello.java:3: エラー: シンボルを見つけられません
        List.of("Alpha", "Bravo", "Charlie")
        ^
  シンボル:   変数 List
  場所: クラス Hello
エラー1個
    
>

 

メインクラスを書くのであれば、インポート文も記述しましょう。

import module java.base;

class Hello {
    void main() {
        List.of("Alpha", "Bravo", "Charlie")
            .forEach(System.out::println);
    }
}

 

> java Hello.java
Alpha
Bravo
Charlie
    
>

 

標準入出力を行うクラスの導入

最後が標準入出力を行うクラスです。

意外にSystem.outとSystem.inは説明するのが難しいんですよね。そこで、標準出力と入力の両方を扱うためのjava.lang.IOクラスが導入されました。

IOクラスでは、標準入出力のための最低限のメソッドだけが定義されています。もちろん標準エラー出力も扱いません。

定義してあるメソッドは以下の5種類です。

  • static void print(Object obj)
  • static void println()
  • static void println(Object obj)
  • static String readln()
  • static String readln(String prompt)

 

一番使うのはprintln(Object obj)でしょうね。標準入力もあるので、次のようなプログラムも簡単に記述できます。

void main() {
    for(;;) {
        var to = IO.readln("To: ");
        IO.println("Hello, " + to + "!");
    }
}

 

> java Hello.java
To: Wolrd
Hello, Wolrd!
To: Java
Hello, Java!
To:

 

ここまで省略できたり簡略化されたりすると、かなり書くのも楽になりますね。

 

小さいオブジェクト

 

Javaは歴史的経緯もあって少数のミュータブルで巨大なオブジェクトを扱うことが多かったのですが、Java SE 8から関数型の機能が導入されてから多数のイミュータブルな小さいオブジェクトを扱うように変わってきています。

イミュータブルな小さいオブジェクトを効率的に扱うようにするのが、Project ValhallaのValue Classです。

しかし、Value Classの導入には言語仕様やVM仕様の大幅な変更が伴うため、おいそれと導入するわけにはいきません。そこで、Value Classがまとまる前に、できるものから導入していこうというのが現在のステータスです。Java 25ではJEP 513: Flexible Constructor Bodiesが、それに相当します。

もう一方のJEP 519: Compact Object HeadersはValue Classとは直接関連はないのですが、多量の小さいオブジェクトを扱うためにオブジェクトヘッダーをコンパクト化しましょうというJEPになります。

 

JEP 513: Flexible Constructor Bodies

Java 24の時にも書きましたが、コンストラクター内でスーパークラスや自分自身のコンストラクターをコールするのは、コンストラクターの先頭と決まっていました。

これに対し、自分自身のフィールドの初期化を行ってから、他のコンストラクターをコールできるようになりました。

Value Classはイミュータブルなクラスですが、今までのオブジェクトの初期化順だと、初期化前のフィールドにスーパークラスからアクセスできてしまうという問題があります。

問題になるようなことはほとんどないはずですが、イミュータブルなオブジェクトにとっては値が不定な時にアクセスできてしまうというのは困ってしまいます。

そこれで、JEP 513でValue Classが導入される前に、この問題ををつぶしておこうというわけです。

 

JEP 519: Compact Object Headers

オブジェクトヘッダーをコンパクト化するJEP 519は、Java 24のJEP 450と特に変更はないようです。なので、Java 24のJEPで語るをご覧いただければと思います。

結局、Value Classのビットはそのままになったようです。

また、JEP 519にはJava 24での実行時オプションがのったままになっているのですが、これはJava 25でもそのままなのかどうかイマイチ分かりません。

デフォルトでコンパクトヘッダーになっているかどうかは、小さいオブジェクトをいっぱい使って、JFRとかでヒープの使用量を見れば分かるかな? 時間があれば、やってみます。

 

長くなってしまったので、残りは次回!

2025/09/16

JEPでは語れないJava 25

このエントリーをはてなブックマークに追加

毎度おなじみ半年ぶりのJavaのアップデートです。

OpenJDK的にはLTSかどうかは関係なく、LTSかどうかはOracleなどのJDKディストリビューターによります。OracleがJava 25をLTSとするので、右にならえで他のディストリビューターもLTSにしてますね。

OpenJDKはLTSとは関係ないとはいうものの、実際にはLTSに間に合わせて機能を入れ込むということはありそうです。実際、Java 25のStandard JEPは12と結構な数になっています。

Java 25のJEPの一覧はこちら。

  • 470: PEM Encodings of Cryptographic Objects (Preview)
  • 502: Stable Values (Preview)
  • 503: Remove the 32-bit x86 Port
  • 505: Structured Concurrency (Fifth Preview)
  • 506: Scoped Values
  • 507: Primitive Types in Patterns, instanceof, and switch (Third Preview)
  • 508: Vector API (Tenth Incubator)
  • 509: JFR CPU-Time Profiling (Experimental)
  • 510: Key Derivation Function API
  • 511: Module Import Declarations
  • 512: Compact Source Files and Instance Main Methods
  • 513: Flexible Constructor Bodies
  • 514: Ahead-of-Time Command-Line Ergonomics
  • 515: Ahead-of-Time Method Profiling
  • 518: JFR Cooperative Sampling
  • 519: Compact Object Headers
  • 520: JFR Method Timing & Tracing
  • 521: Generational Shenandoah

 

目だったところでいうと、Scoped Valueがやっと正式になりましたね。でも、もう1つのStructured ConcurrencyがまだPreview...

ニーズ的にはThreadLocalを置き換えるScoped Valueの方が高いから、こちらが優先されたのかもしれません。

初学者向け機能であるJEP 511とJEP 512が正式導入されたのもうれしいところです。

Project LeydenのJEP 514とJEP 515も正式になって、GraalVMのネイティブイメージではない選択肢が増えてきたのはよいことですね。

JEPについての詳しい解説は「JEPで語る」に書く予定です。

 

さて、JEPで語れない方です。Java 25はそこそこ多いです。

Java 25はjava.baseモジュール以外にも変更があるので、そちらも紹介します。しかし、セキュリティ関連はいつものごとく省略させてください。

 

廃止になったAPI

Java 24で削除されたAPIはメソッドとコンストラクタが1つずつ。いずれもSwing関連のAPIです。

メソッド

SwingのLoo&FeelのSynthに関するメソッドが削除されました。

  • javax.swing.plaf.synth.SynthLookAndFeel.load(URL url)

このメソッドはLook&Feelの設定を書いたファイルを読み込むためのものなのですが、安全性に問題があるということでJava 21でforRemoval=trueになっていました。

まぁ、Look&FeelのSynthを使ったアプリケーションはほぼないと思いますし、他の手段もあるので、困る人も少ないでしょう。

 

コンストラクタ

SwingのスライダーのUIクラスのコンストラクターが削除されました。

  • javax.swing.plaf.basic.BasicSliderUI.BasicSliderUI()

このデフォルトコンストラクターは間違って公開されてしまったらしいですよw

本来は引数にJSliderクラスをとるコンストラクターを使用するので、まぁ使っている人はいないとは思いますが、使っていた場合は引数をとる方のコンストラクターに書き換えてください。

 

廃止予定に追加されたAPI

Java 25では、Java 24でのセキュリティマネージャーの削除に伴って、パーミッション系のクラスがforRemoval=trueになっています。

クラス

  • java.io.FilePermission
  • java.io.SerializablePermission
  • java.lang.RuntimePermission
  • java.lang.management.ManagementPermission
  • java.lang.reflect.ReflectPermission
  • java.net.NetPermission
  • java.net.URLPermission
  • java.nio.file.LinkPermission
  • java.security.SecurityPermission
  • java.security.UnresolvedPermission
  • java.util.PropertyPermission
  • java.util.logging.LoggingPermission
  • javax.management.MBeanPermission
  • javax.management.MBeanServerPermission
  • javax.management.MBeanTrustPermission
  • javax.management.remote.SubjectDelegationPermission
  • javax.net.ssl.SSLPermission
  • javax.security.auth.AuthPermission
  • javax.security.auth.PrivateCredentialPermission
  • javax.security.auth.kerberos.DelegationPermission
  • javax.security.auth.kerberos.ServicePermission

 

例外

  • javax.management.modelmbean.XMLParseException

 

メソッド

  • java.net.HttpURLConnection.getPermission
  • java.net.URLConnection.getPermission
  • javax.management.modelmbean.DescriptorSupport.toXMLString

もし、パーミッション系のAPIを使っているのであれば、早めに他の手段に置き換えた方がいいですね。

 

追加/変更されたAPI

今回のJava 25は、Java 24とは異なりいろいろ追加されています。しかも、JEPに関連のないAPIの変更がいろいろあります。

とはいうものの、使うかと言われたら微妙なものが多いですね。

今回もjava.baseモジュール以外の変更は少ないので、java.baseモジュールだけです。また、セキュリティ系のAPIは省略させてください。

 

java.base/java.ioパッケージ

JEP 512で正式に導入されたIOクラスは、Java 24まではjava.ioパッケージだったのですが、Java 25からjava.langパッケージに変更されました。また、同様にConsoleクラスにPreviewでprint(Object obj)メソッドなどが追加されていましたが、結局キャンセルになったようです。

Readerクラス

なぜかJava 25にもなって、Readerクラスに一括読み込みのメソッドが追加されました。

  • String readAllAsString()
  • Line<String> readAllLines()

今までReader系のクラスでは逐次読み込みばかりだったので、便利なのは確かなのですが、なぜ今??

やっぱり、Files.readAllLinesメソッドを使うようになってから、逐次読み込みなんか書いてられないということなのでしょうか?

おもしろいのは、JavadocのThrowsにOutOfMemoryError例外が記載されていること。Stringクラスがあふれちゃうことがあるかららしいです。

 

java.base/java.langパッケージ

Java 25では、Unicodeのバージョンアップはないので、Unicodeに関するクラスや列挙型には変更ありません。

その代わりといってはなんですが、Math/StrictMathクラスにメソッドがいろいろ追加されています。

また、java.ioパッケージのところでも言及しましたが、IOクラスがjava.langパッケージに変更されてきています。

 

CharSequenceインタフェース

文字列の部分配列を取得するためのメソッドが追加されました。インタフェースなので、もちろんdefaultメソッドです。

  • default void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin)

getCharsメソッドはStringクラスにはあったので、それをCharSequenceでも使えるようにした感じですね。

引数のdstに結果が返るというのは今時ではないですけど、StringクラスのgetCharsメソッドははじめからあるメソッドなのでしかたないです。

 

IOクラス

JEP 512で、標準入出力からの入出力を行うために導入されたのがIOクラスです。Java 24の時とパッケージが変わっただけで、メソッドは変更なしです。

  • static void print(Object obj)
  • static void println()
  • static void println(Object obj)
  • static String readln()
  • static String readln(String prompt)

今までSystem.out.println("Hello, World");と書いていたのが、IO.println("Hello, World!");になります。

初心者にとって学ぶことが少しでも減れば、学ぶときのハードルが下がりますね。

 

Mathクラス/StrictMathクラス

Math/StrictMathクラスにメソッドが7つ追加されました。

歴史的な経緯でMathクラスとStrictMathクラスは別々のクラスになっていますが、実際にはStrictMathクラスは内部でMathクラスを呼び出しているだけなので、今となっては同じクラスとして扱っても構わないです。

  • static int powExact(int x, int n)
  • static long powExact(long x, int n)
  • static int unsignedMultiplyExact(int x, int y)
  • static long unsignedMultiplyExact(long x, int y)
  • static long unsignedMultiplyExact(long x, long y)
  • static int unsignedPowExact(int x, int n)
  • static long unsignedPowExact(long x, int n)

今まで、累乗演算は引数がdoubleのものだけでしたが、整数型が加わりました。また、累乗計算も含めて、符号なし計算も追加されています。

これまで、Mathクラスでは符号なし計算はunsignedMultiplyHighメソッドだけだったので、今後も増えるのかもしれません。

 

ScopedValueクラス

JEP 506でPreviewがはずれて、正式に導入されたScopedValueクラスです。

Java 24との違いはorElseメソッドの引数にnullが許されなくなったことぐらいですね。

ScopedValueクラスについてはここではなく、JEPで語る方で紹介します。

 

StableValueインタフェース

JEP 502でPreviewとして追加されたのが、StableValueインタフェースです。

同じパッケージにScopedValueとStableValueという同じような名前のクラス/インタフェースができたので、ごっちゃになりやすくて困ってますw

StableValueインタフェースもJEPで語る方で紹介します。

 

java.base/java.lang.classfileパッケージ

ClassFileクラスにバージョンを表す定数が追加されています。

 

ClassFileクラス

ClassFileクラスでは、クラスファイルのバージョンを表す定数が定義されていますが、それが追加されました。

  • static final int JAVA_25_VERSION

この値はJava 25だから25というわけではなく、クラスファイルのバージョンの69になっています。

 

java.base/java.lang.classfile.constantpoolパッケージ

java.lang.classfile.constantpoolパッケージではクラスファイルのコンスタントプールに関する構造体を表すインタフェースが定義されています。

このコンスタントプールの構造体を表すインタフェースは、java.lang.constantパッケージで定義されているインタフェースをモデル化したものです。そこで、この対応関係を調べるためのメソッドが追加されました。

Class-File APIは新しいAPIですが、新しいからこそ、まだいろいろ追加されるのかもしれません。

 

ClassEntryインタフェース

コンスタントプールで参照型を表すCONSTANT_Class_info構造体をモデル化したのがClassEntryインタフェースです。ClassEntryインタフェースはjava.lang.constant.ClassDescインタフェースによってモデル化されたインタフェースになります。

このClassDescインタフェースとマッチするかどうかを調べるためのメソッドが追加されています。

  • boolean matches(ClassDesc desc)

ClassEntryオブジェクトとClassDescオブジェクトが表している参照型クラスが同じであればtrueが返ります。また、引数のdescがプリミティブ型の場合はfalseになります。

 

MethodTypeEntryインタフェース

コンスタントプールでCONSTANT_MethodType_info構造体をモデル化したのがMethodTypeEntryインタフェースです。MethodTypeEntryインタフェースはjava.lang.constant.MethodTypeDescインタフェースによってモデル化されたインタフェースです。

  • boolean matches(MethodTypeDesc desc)

同じメソッドを表している場合、trueが返ります。

 

ModuleEntryインタフェース

コンスタントプールでCONSTANT_Module_info構造体をモデル化したのがModuleEntryインタフェースです。対応するのが、java.lang.constant.ModuleDescインタフェースです。

  • boolean matches(ModuleDesc desc)

同じモジュールを表している場合、trueが返ります。

 

PackageEntryインタフェース

コンスタントプールでCONSTANT_Package_info構造体をモデル化したのがPackageEntryインタフェースです。対応するのが、java.lang.constant.PackageDescインタフェースです。

  • boolean matches(PackageDesc desc)

同じパッケージを表している場合、trueが返ります。

 

StringEntryインタフェース

コンスタントプールでCONSTANT_String_info構造体をモデル化したのがStringEntryインタフェースです。Stringクラスは参照型なので、本来であれば対応するのはClassDescインタフェースですが、文字列リテラルは特別扱いです。

  • boolean equalsString(String value)

StringEntryインタフェースはmatchesメソッドではなく、文字列と直接比較するequalsStringメソッドが追加されています。

 

Utf8Entryインタフェース

コンスタントプールでは、文字列リテラルだけでなくクラス名やメソッド名はUTF-8で保持されています。それを表すCONSTANT_UTF8_info構造体をモデル化したのがUtf8Entryインタフェースです。

Utf8EntryインタフェースはすでにequalsStringメソッドは定義してあるのですが、クラス名やメソッド名とマッチさせるメソッドが追加されました。

  • boolean isFieldType(ClassDesc desc)
  • boolean isMethodType(MethodTypeDesc desc)

 

java.base/java.lang.reflectパッケージ

java.lang.reflectパッケージはいつも通り新しいバージョンに合わせた定数が追加されているのですが、Java 25ではアクセスフラグにも追加があります。

AccessFlag列挙型

アクセスフラグのセットを作成するmaskToAccessFlagsメソッドに、クラスファイルのバージョンを指定できるオーバーロードが追加されました。

  • static Set<AccessFlag> maskToAccessFlags(int mask, AccessFlag.Location location, ClassFileFormatVersion cffv)

 

AccessFlag.Location列挙型

アクセスフラグを適用できる場所を示しているのがAccessFlag.Location列挙型です。

列挙型ですが、メソッドが追加されました。

  • int flagsMask()
  • int flagsMask(ClassFileFormatVersion cffv)
  • Set<AccessFlag> flags()
  • Set<AccessFlag> flags(ClassFileFormatVersion cffv)

たとえば、MODULEであればフラグマスクはACC_OPEN | ACC_SYNTHETIC | ACC_MANDATEDになります。

クラスファイルのバージョンによって使用できるフラグマスクが異なるので、バージョンを指定するオーバーロードがあるわけです。

 

ClassFileFormatVersion列挙型

いつものように、Java 25に対応する定数が追加されました。

  • RELEASE_25

 

java.base/java.nioパッケージ

なぜかCharBufferクラスにメソッドが追加されました。

CharBufferクラス

一括取得のメソッドが追加されたのですが、今まで使用していたgetメソッドと何が違うの?という感じです。

  • public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin)

Javadocにも書かれているのですが、このメソッドはgetメソッドを使った次の式と同じ動作になります。

buffer.get(position() + srcBegin, dst, dstBegin, srcEnd - srcBegin);

記述が簡単になったというわけでもないですし、何のために追加されたんでしょうね。

 

java.base/java.utilパッケージ

CurrencyクラスとTimeZoneクラスにStreamインタフェースを返すユーティリティメソッドが追加されました。

Currencyクラス

使用可能な通貨を返すメソッドが追加されています。

  • static Stream<Currency> availableCurrencies()

これまではgetAvailableCurrenciesメソッドが使えましたが、このメソッドは返り値がSetインタフェースでした。availableCurrenciesメソッドは返り値の型がStreamインタフェースなので、Stream APIで扱いやすくなっています。

 

TimeZoneクラス

TimeZoneクラスでも使用可能なIDを返すメソッドが追加されています。

  • static Stream<String> availableIDs()
  • static Stream<String> availableIDs(int rawOffset)

TimeZoneもgetAvailableIDsメソッドがありましたが、戻り値の型がStringクラスの配列でした。追加された2メソッドはStreamインタフェースになっています。

 

java.base/java.util.concurrentパッケージ

ForkJoinPoolクラスに大きな変更がありました。

ForkJoinPoolクラス

ForkJoinPoolクラスはこれまでExecutorインタフェース、ExecutorServiceインタフェース、AutoClosableインタフェースを実装していましたが、新たにScheduledExecutorServiceインタフェースを実装するようになりました。

このため、ScheduledExecutorServiceインタフェースで定義されているメソッドが追加されています。

  • void cancelDelayedTasksOnShutdown()
  • long getDelayedTaskCount()
  • ScheduledFuture<?> schedule(Runnable command, long delay, TimeUnit unit)
  • <V> ScheduledFuture<V> schedule(Callable<V> callable, long delay, TimeUnit unit)
  • ScheduledFuture<?> scheduleAtFixedRate(Runnable command, long initialDelay, long period, TimeUnit unit)
  • ScheduledFuture<?> scheduleWithFixedDelay(Runnable command, long initialDelay, long delay, TimeUnit unit)
  • <V> ForkJoinTask<V> submitWithTimeout(Callable<V> callable, long timeout, TimeUnit unit, Consumer<? super ForkJoinTask<V>> timeoutAction)

ScheduledExecutorServiceインタフェース由来のメソッドはscheduleで始まる4つのメソッドです。

scheduleメソッドはタスク処理の開始を指定された時間だけ遅延させるメソッドです。オーバーロードは引数がRunnableインタフェースか、Callableインタフェースの違いです。

たとえば、10秒後に現在時刻を出力するのであれば、次のようになります。

jshell> var pool = new ForkJoinPool(2)
jshell> pool.schedule(() -> IO.println(LocalDateTime.now()), 10, TimeUnit.SECONDS)
$2 ==> java.util.concurrent.DelayScheduler$ScheduledForkJoinTask@7a07c5b4[Wrapped task = $Lambda/0x0000000088048858@26a1ab54]

jshell> IO.println(LocalDateTime.now())
2025-09-12T18:42:45.527033900

jshell> 2025-09-12T18:42:53.898474800

比較のために、IO.printlnをもう1度実行していますが、手で打ち込んでいるので遅いですねw

scheduleAtFixedRateメソッドとscheudleWithFixedDelayの違いは、前者が同じ周期でタスクを実行するのに対し、後者はタスクが終わってから次のタスクまでの遅延が常に同じということです。

たとえば10秒ごとで処理に1秒かかる場合、scheduleAtFixedRateメソッドであれば10秒ごとにタスクが処理されるのに対し、scheduleWithFixedDelayメソッドだと11秒ごとに処理が行われます。

 

jshell> var pool = new ForkJoinPool(2)
jshell> pool.scheduleAtFixedRate(() -> IO.println(LocalDateTime.now()), 0, 10, TimeUnit.SECONDS)
$4 ==> java.util.concurrent.DelayScheduler$ScheduledForkJoinTask@6433a2[Wrapped task = $Lambda/0x0000000082048210@5910e440]

jshell> 2025-09-12T19:32:30.296824400
2025-09-12T19:32:40.258892800
2025-09-12T19:32:50.264887400
2025-09-12T19:33:00.258888800
2025-09-12T19:33:10.257071800

 

jshell> var pool = new ForkJoinPool(2)
jshell> pool.scheduleWithFixedDelay(() -> { IO.println(LocalDateTime.now()); try { Thread.sleep(1_000); } catch (Exception e){}}, 0, 10, TimeUnit.SECONDS)
$4 ==> java.util.concurrent.DelayScheduler$ScheduledForkJoinTask@7a07c5b4[Wrapped task = $Lambda/0x0000000033048858@26a1ab54]

jshell> 2025-09-12T19:48:54.864989800
2025-09-12T19:49:05.866353500
2025-09-12T19:49:16.869035100
2025-09-12T19:49:37.873515600

ちょっと分かりにくいかもしれないですけど、後者は11秒周期になっています。

周期的なタスクを中止するには、返り値のScheduledFutureオブジェクトに対し、cancelメソッドをコールします。

cancelDelayedTasksOnShutdownメソッドは、ForkJoinPoolオブジェクトをシャットダウンする時に遅延させた未実行のタスクをキャンセルする場合に使用します。

getDelayedTaskCountメソッドは、遅延させた未実行のタスクの数を返すメソッドです。

そして、最後のsubmitWithTimeoutメソッドだけがScheduledExecutorServiceインタフェースに関連のないメソッドで、タスク処理にタイムアウトを設定できるメソッドです。

 

ForkJoinPoolは、ForkJoinTaskと合わせることで分割統治とWork-Stealingでタスクを並行処理するために導入されたのですが、Work-Stealingだけ使いたいということが増えてきているんでしょうね。

 

java.base/java.util.zipパッケージ

DeflaterクラスとInflaterクラスがAutoClosableインタフェースを実装するようになりました。これによりcloseメソッドが追加されています。

Deflaterクラス/Inflaterクラス

AutoClosableインタフェースの実装に伴い、closeメソッドが追加されました。

  • void close()

これまでは、処理の終了時にはendメソッドを使用していましたが、AutoClosableインタフェースを実装したことによりtry-with-resources構文を使用できるようになりました。

 

その他

Javadoc

Javadocの検索候補の表示が変更されています。

たとえば、検索窓にStrまで入力した場合、Java 24だと以下のようになります。

これに対して、Java 25だと次のようになります。

Java 24では検索候補のパッケージやクラスの前にモジュールやパッケージが表示されていますが、Java 25では検索候補がまず表示されます。そのモジュールやパッケージはウィンドウの幅が十分にある場合は右側、なければ検索候補の下に表示されるようになりました。

ちなみに、Java 26でもJavadocが変更されていて、検索候補を右クリックで別タブでの表示などを選択できるメニューが表示されます。他にも、細かな変更がされています。

すでに、実装されているので、Java 26のアーリーアクセスビルドで試すことができます。

 

まとめ

APIの変更は多いものの、普通のアプリケーションでは使わなそうなものが多い感じです。

IOクラスが一番使うかもしれませんが、ほとんどの人はSystem.outを使い続けるような気が...

並行処理を書くことがあるのであれば、ScopedValueクラスは使うかもしれません。しかし、そもそもThreadLocalクラスでさえ通常は使わないので、ScopedValueクラスを使うとしても限定的でしょうね。

というか、こういう並行処理でこういう複数のオブジェクトで状態を共有というのは、スケールしなくなるし、いいことはないです。ThreadLocalクラスが使われているところをScopedValueクラスに置き換えるということはあるかもしれませんが、まずはその設計を見直した方がいいような気が...

 

さて、次のエントリーではJEPに関して簡単な説明を加えていく予定です。

2025/08/23

バイトコード入門 その6 制御構造

このエントリーをはてなブックマークに追加

6回に渡ってバイトコードについて紹介してきましたが、今回が最終回です。

計算やオブジェクト生成、メソッドコールまで紹介したので、今回はif文やループなどの制御構造について説明します。

制御構造が理解できれば、バイトコードも一通り読みこなせるはずです。

  1. 準備編
  2. スタックマシン
  3. バイトコード処理の構成
  4. バイトコード処理の基礎
  5. オブジェクト生成、メソッドコール
  6. 制御構造 (今回)

 

if文

制御構造のはじめはif文です。

if文は条件付きジャンプ命令とジャンプ命令で構成されます。条件付きジャンプ命令は複数の種類があるのですが、全部覚える必要はありません。基本的な構成さえ分かっていれば、命令が変わってもすぐに分かるはずです。

たとえば、次のIfSampleクラスのような単純な例から始めてみましょう。

 

public class IfSample {
    public static void main(String args[]) {
        if (args.length == 0) {
            System.out.println("No Args");
        }
    }
}

 

mainの引数の配列の長さが0だったら、"No Args"と標準出力に出力するだけのクラスです。

このクラスを-gオプションを使ってコンパイルし、javap -v -pした時のmainメソッドのバイトコードは以下のようになります。

 

  public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=1, args_size=1
         0: aload_0
         1: arraylength
         2: ifne          13
         5: getstatic     #7  // Field java/lang/System.out:Ljava/io/PrintStream;
         8: ldc           #13 // String No Args
        10: invokevirtual #15 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
        13: return
      LineNumberTable:
        line 3: 0
        line 4: 5
        line 6: 13
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      14     0  args   [Ljava/lang/String;
      StackMapTable: number_of_entries = 1
        frame_type = 13 /* same */

 

配列はオブジェクトなので、その参照をオペランドスタックにロードするにはaloadを使います。そして、1行目のarraylengthで配列のサイズを取得します。arraylengthが終わると配列のサイズがスタックに残ります。

2行目のifneが条件付きジャンプ命令の1つです。ifの後のneはNot Equalです。何と比較してNot Equalなのかというと、0です。0やnullなど、条件でよく使われる値は専用の命令が用意されているわけです。

ここで、「えっ、if文は配列のサイズが0かどうかが条件だったはず」と思うのは当然です。

そうなのです、条件付きジャンプ命令はif文の条件の否定になっています。そして、条件に合致している場合、条件付きジャンプ命令の後の数値の行にジャンプするのです。ここでは、13行(行と書いていますが、本当はバイトなので飛び飛びの値になっています)にジャンプします。

つまり、配列の長さが0以外なら13行にジャンプし、0だったら次の行に制御が移るというわけです。このために条件がif文とは反転しているのでした。

5, 8, 10行は標準出力への文字列定数を出力しています。

そして、ジャンプ先である13行目はreturnなので、mainメソッドから抜けるだけですね。

 

もう少し複雑な例で、else節がある場合を見てみましょう。

 

public class IfSample {
    public static void main(String args[]) {
        if (args.length == 0) {
            System.out.println("No Args");
        } else {
            System.out.println("There are Args");
        }
}

 

先ほどのif文にelse節を追加しただけです。

これもコンパイルして、javapします。

 

  public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=1, args_size=1
         0: aload_0
         1: arraylength
         2: ifne          16
         5: getstatic     #7  // Field java/lang/System.out:Ljava/io/PrintStream;
         8: ldc           #13 // String No Args
        10: invokevirtual #15 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
        13: goto          24
        16: getstatic     #7  // Field java/lang/System.out:Ljava/io/PrintStream;
        19: ldc           #21 // String There are Args
        21: invokevirtual #15 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
        24: return
      LineNumberTable:
        line 3: 0
        line 4: 5
        line 6: 16
        line 8: 24
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      25     0  args   [Ljava/lang/String;
      StackMapTable: number_of_entries = 2
        frame_type = 16 /* same */
        frame_type = 7 /* same */

 

2行目のifneは同じですね。0でなければ、16行に飛びます。0の場合は5, 8, 10行が処理されるのも先ほどと同じですが、次が違います。

13行でgotoが出てきました。goto命令は無条件にジャンプするための命令です。

Java言語ではgotoはキーワードになっているのですが、実際にはgoto文はありません。しかし、バイトコードにはgotoがあるのです。

さて、13行のgotoの飛び先は24行、つまりreturnのところです。

if節を抜けて、mainメソッドが終わるところですね。

16行からelse節になります。出力する文字列は違うものの、やっていることは同じです。

 

ここでは、条件付きジャンプ命令としてifneが使われていましたが、この部分がif文の条件によって異なります。とはいうものの、命令が違うだけで、処理の方法は同じです。

たとえば、上記コードの args.length == 0 の部分が > 0 であれば、ifle命令になります。また、== 1であれば、条件付きジャンプ命令の前にiconst命令で1をスタックに置き、その後にif_icmpne命令が使われます。icmpneの最初のiはintのiで、最後のneがNot Equalです。つまり、スタックにある2つのint数が等しくないかどうかをチェックします。

 

for文

では、次にfor文です。実をいうと、for文もやっていることは、if文とたいして変わりません。

つまり、条件付きジャンプとジャンプ命令の組み合わせです。

そこに、必要に応じてインデックスの増減などの処理が組み合わさったのがfor文です。

for文も簡単なコードでどのようなバイトコードになるか、見てみましょう。

 

public class ForSample {
    public static void main(String args[]) {
        int sum = 0;
        for (int i = 0; i < 10; i++) {
            sum += i;
        }

        System.out.println(sum);
    }
}

 

0から10までの数値を合計するというfor文です。

これをコンパイルして、javapしたのが以下のバイトコードです。

 

  public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=3, args_size=1
         0: iconst_0 スタックに0を積む
         1: istore_1 スタックの値をsumに代入
         2: iconst_0 スタックに0を積む
         3: istore_2 スタックの値をiに代入  
         4: iload_2  iをスタックに積む
         5: bipush        10 10をスタックに積む
         7: if_icmpge     20 iが10以上なら20へジャンプ
        10: iload_1 sumをスタックに積む
        11: iload_2 iをスタックに積む
        12: iadd     スタックの2つの数を加算
        13: istore_1 スタックの値をsumに代入
        14: iinc          2, 1  iをインクリメント
        17: goto          4 4にジャンプ
        20: getstatic     #7   // Field java/lang/System.out:Ljava/io/PrintStream;
        23: iload_1
        24: invokevirtual #13  // Method java/io/PrintStream.println:(I)V
        27: return
      LineNumberTable:
        line 3: 0
        line 4: 2
        line 5: 10
        line 4: 14
        line 8: 20
        line 9: 27
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            4      16     2     i   I
            0      28     0  args   [Ljava/lang/String;
            2      26     1   sum   I

 

赤字でバイトコードが何を行っているかコメントしたので、分かりやすいと思います。

for文の中心になっているのが、7行目の条件付きジャンプ命令if_icmpeと、17行目のジャンプ命令gotoです。

条件付きジャンプでループを脱出するか決め、ループを行う場合はgoto命令で条件付きジャンプの前にジャンプします。

 

whileやdo-whileも、どこに条件付きジャンプ命令が使われるかが違うだけで、条件付きジャンプ命令とジャンプ命令で構成されるのは同じです。

 

for-each文はコンパイル時に、for文に展開されるのですが、Iteratorインタフェースとかが出てきて複雑になってしまうので、割愛します。

 

switch式

最後はswitch式です。

switchを行うバイトコードは2種類で、lookupswitch命令とtableswitch命令です。

通常のswitchにはlookupswitch命令が使われて、enumやSealed Classを使う場合tableswitch命令が使われます。

どちらも処理の流れは同じようになるので、ここではlookupswitch命令だけ紹介します。

 

ここでも、switch式の簡単な例でバイトコードがどうなるか見てみましょう。

 

public class SwitchSample {
    public static int sw(int x) {
        var y = switch (x) {
            case 0 -> 0;
            case 1 -> 2;
            case 2 -> 4;
            default -> -1;
        };

        return y;
    }

    public static void main(String... args) {
	System.out.println(sw(1));
    }
}

 

switch式を使っているswメソッドは、intの値で分岐してintの値を返すというだけのメソッドです。

これをコンパイルして、javapしたのがこちら。

 

  public static int sw(int);
    descriptor: (I)I
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=1, locals=2, args_size=1
         0: iload_0
         1: tableswitch   { // 0 to 2
                       0: 28
                       1: 32
                       2: 36
                 default: 40
            }
        28: iconst_0
        29: goto          41
        32: iconst_2
        33: goto          41
        36: iconst_4
        37: goto          41
        40: iconst_m1
        41: istore_1
        42: iload_1
        43: ireturn
      LineNumberTable:
        line 3: 0
        line 4: 28
        line 5: 32
        line 6: 36
        line 7: 40
        line 8: 41
        line 10: 42
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      44     0     x   I
           42       2     1     y   I

 

まず、0行のiload_0で引数xの値をスタックに積みます。

その後がtableswitch命令です。だいたい分かると思いますが、値が0の時は28行にジャンプ、1の時は32にジャンプというようになっています。

値が0の時にジャンプする28行にはiconst_0でスタックに0を積み、その後のgoto命令で41行に飛んでいます。

他の値の場合も同じようになっています。

ここではintでしたが、他の場合でも同じような感じです。ただし、文字列の場合は、文字列のハッシュコードを用いてswitchのcaseに対応させています。

また、パターンマッチングの場合、indyが絡んできてめんどくさいので、ここでは省略します。興味のある方は、switch式で扱うために、その直前で行っているindyのブートストラップメソッドのjava.lang.runtime.SwitchBootstraps.typeSwitchメソッドを見てみるとおもしろいかもしれません。

 

というわけで、今回は制御構造に関するバイトコードを見ていきました。ここまでくれば、オペランドスタックを図示しなくてもだいたい分かるはずです。

途中、ずいぶん間があいてしまいましたが、6回に渡ったバイトコード入門もこれでおしまいです。

紹介していないバイトコードもありますが、ここまで理解できれば自力で読みこなせるでしょう。JVMSを手元に置いておけば大丈夫です。

バイトコードが読めるようになったら、次はClassfile APIですかね。これもおもしろいのですが、それはまた別の機会に。

2025/04/10

バイトコード入門 その5 オブジェクト生成、メソッドコール

このエントリーをはてなブックマークに追加

前回、スタックマシーンとしてのJVMの基本的な動作を紹介しました。

プリミティブ型の加算という簡単な処理ですが、これが分かればより複雑なバイトコードでも理解できるはずです。

そこで、今回はもう少し複雑な例としてオブジェクトの生成やメソッドコールについて紹介します。

  1. 準備編
  2. スタックマシン
  3. バイトコード処理の構成
  4. バイトコード処理の基礎
  5. オブジェクト生成、メソッドコール (今回)
  6. 制御構造

 

命令セット

今までバイトコードのオペコード(命令、もしくはインストラクション)について簡単な説明しかしていなかったので、ここで紹介しましょう。

とはいってもすべてを紹介するのは大変ですし、おぼえても意味はないので、主に使われるオペコードについて見ていきます。

また、if文やfor文、switch式などの制御構造に関するバイトコードは次回紹介します。

 

オペコードの詳細な定義はJVMSのChapter 6にあります。

リンクはJava 24のJVMSです。JVMSも毎バージョンごとにアップデートされているので、なるべく最新を参照するようにしてください。

 

オペコードの構成

現在定義されているオペコードは200種類ほどあります。しかし、それらがすべて違う動作を表しているわけではありません。動作は同じだけど型が違う、動作は同じだけどローカル変数配列のインデックスが違うなどがあります。

型について接頭辞、インデックスなどは接尾辞で表します。接尾辞はインデックス以外にも繰り返し回数などがあり、オペコードによって意味が異なります。一方の接頭辞は常に型を表します。接頭辞の一覧を次に示します。

接頭辞
i int
l long
s short
b byte
c char
f float
d double
z boolean
a 参照

オペランドスタックやローカル変数配列にはプリミティブ型の値か参照しか入れることができません。このため、オブジェクトを扱う場合はヒープに存在するオブジェクトへの参照として扱われます。

もしかしたら、今後導入が予定されているValue Classであれば、直接オペランドスタックに積めるようになるかもしれません。

とはいうものの、バイトコードが増えるわけではなく、あくまでも最適化された場合に限るはずです。

 

たとえば、前回使用したオペランドのiload_1は、接頭辞がi、接尾辞が_1です。つまり、int型のloadで、ローカル変数配列のインデックス1からのロードということを表しています。

 

主なオペコード

オペコードが本体と接頭辞、接尾辞から構成されることが分かったところで、主なオペコードについて見ていきましょう。

 

スタック操作

オペランドスタックに対して何らかの操作を行うオペコードです。オペランドスタックと書くと長くなるので、以下では単にスタックと表記します。

  • ldc: コンスタントプールの定数をスタックに積む
  • const: インデックスで指定された値をスタックに積む (型、接尾辞あり)
  • bipush/sipush: byte値、short値をスタックに積む
  • pop: スタックから値を取り除く
  • dup: スタック末尾の要素を複製
  • swap: スタック末尾の2データを入れ替え

ldcはロードコンスタントのことですね。コンスタントプールは定数で書き換えることはないため、ストアはないです。

constは接尾辞で値を指定します。int型の1であれば iconst_1 となります。接尾辞は-1(m1)から5まであり、これを超える範囲の場合、次に紹介するbipush/sipushを使用します。

bipush/sipushもconstに似ていますが、byte値もしくはshort値を直接スタックに積みます。他の型はありません。

整数型の変数で、byteもしくはshortの範囲に収まるものはbipush/sipushが使われます。shortを超える範囲の場合、コンスタントプールにある定数を使用してldcが使われます。

 

ローカル変数

オペランドスタックとローカル変数配列とのやり取りに関するオペコードです。

  • load: ローカル変数配列の値をスタックに積む (型、接尾辞あり)
  • store: スタックから値を取り出し、ローカル変数配列に置く (型、接尾辞あり)

接尾辞のインデックスは0, 1, 2しかないため、それ以上の配列インデックスは iload 5 のようにオペコードの後に指定します。

 

算術演算

四則演算などの算術演算を行うオペコードです。

  • add: 加算 (型あり)
  • sub: 減算 (型あり)
  • mul: 乗算 (型あり)
  • div: 除算 (型あり)
  • rem: 除算の余り (型あり)
  • neg: 符号反転 (型あり)
  • iinc: インクリメント

インクリメントを行うiincはint型だけです。long型の場合はladdが使われます。

 

論理演算

AND/OR/XORとシフト演算を行うオペコードです。

  • iand/land: 論理積
  • ior/lor: 論理和
  • ixor/lxor: 排他論理和
  • ishl/lshl: 左シフト
  • ishr/lshr: 右シフト (符号は維持)
  • iushr/lushr: 右シフト

論理演算はint型とlong型に対してのみ存在します。byte/short/charに対してint型のオペコードが使われます。

 

オブジェクト関連

オブジェクトの生成などで使用するオペコードです。

  • new: インスタンス生成
  • getfield: インスタンス変数の値をスタックに積む
  • putfield: スタックから値を取り出し、インスタンス変数に代入
  • getstatic: クラス変数の値をスタックに積む
  • putstatic: スタックから値を取り出し、クラス変数に代入

newはインスタンスを生成するだけで、コンストラクターのコールは含まれていません。

コンストラクターのコールは、メソッドコールのバイトコードで行います。具体的な例は後述します。

getfield/putfieldは接頭辞による型の指定はありませんが、オペコードの後に指定します。getstatic/putstaticでも同じです。

 

配列関連

配列の生成や配列からの値の取り出し、代入などで使用するオペコードです。

  • newarray: プリミティブ型を要素にとる配列の生成
  • anewarray: 参照型を要素にとる配列の生成
  • multianewarray: 多次元配列の生成
  • aload: 配列のインデックスの要素をスタックに積む (型あり)
  • astore: スタックから値を取り出し、配列のインデックスの要素に代入 (型あり)
  • arraylength: 配列の長さをスタックに積む

Javaでは配列はオブジェクトの一種、つまり参照型として表されます。しかし、配列を扱うためのバイトコードも提供されています。

loadやstoreに接頭辞のaがついているのは、配列が参照型だからです。さらに要素の型をその前に接頭辞として付加します。たとえば、int型の配列から値を取り出すときはialoadになります。

 

メソッドコール

メソッドコールを行うバイトコードはメソッドの種類により5種類提供されています。

  • invokevirtual: インスタンスメソッド
  • invokeinterface: インタフェースメソッド
  • invokestatic: クラスメソッド
  • invokespecial: コンストラクター、プライベートメソッド、スーパークラスのインスタンスメソッド
  • invokedynamic: コールするメソッドを実行時に決定させるメソッドコール
  • return: メソッドから返る。(型あり)

メソッドの種類によってオペコードを変えますが、メソッド種類ごとにスタックに積んでおく値も異なります。たとえば、インスタンスメソッドであればコールするメソッドのオブジェクトが必要ですが、クラスメソッドであれば必要ありません。

特殊なのがinvokedynamicです。invokedynamicでは初回コール時にbootstrapという指定されたメソッドをコールし、ターゲットとなるメソッドを同定させてから、メソッドコールを行います。

2回目以降は同定したメソッドコールを直接行います。

invokedynamicに関しては、YujiSoftwareさんとJJUG CCCでセッションを行ったので、その資料をご参照ください。

 

メソッドから返るのがreturnです。int型の値を返すのであればがireturnになりますが、返り値がない場合はreturnのまま使用します。

 

残りは次回に回しましょう。

前回は算術演算を行うメソッドだけだったので、今回はその残りの部分の動作を見ていきます。

 

オブジェクト生成、メソッドコール

前章でオペコードにどのようなものがあるか紹介したので、実際にこれらのオペコードを使っていく様子を見てみましょう。

題材は前回と同じ足し算を行うだけのAdderクラスです。

public class Adder {
    public int add(int x, int y) {
        int z = x + y;
        return z;
    }

    public void static main(String... args) { 
        Adder adder = new Adder();
        int result = adder.add(2, 3);
        System.out.println(result);
    }
}

 

前回はaddメソッドの実行を見ましたが、今回はmainメソッドです。

Adderクラスをコンパイルオプションの-gを付加してコンパイルし、javap -vでmainメソッドを逆コンパイルしたのが以下です。

  public static void main(java.lang.String...);
    descriptor: ([Ljava/lang/String;)V
    flags: (0x0089) ACC_PUBLIC, ACC_STATIC, ACC_VARARGS
    Code:
      stack=3, locals=3, args_size=1
         0: new           #7    // class Adder
         3: dup
         4: invokespecial #9    // Method "<init>":()V
         7: astore_1
         8: aload_1
         9: iconst_2
        10: iconst_3
        11: invokevirtual #10   // Method add:(II)I
        14: istore_2
        15: getstatic     #14   // Field java/lang/System.out:Ljava/io/PrintStream;
        18: iload_2
        19: invokevirtual #20   // Method java/io/PrintStream.println:(I)V
        22: return
      LineNumberTable:
        line 8: 0
        line 9: 8
        line 10: 15
        line 11: 22
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      23     0  args   [Ljava/lang/String;
            8      15     1 adder   LAdder;
           15       8     2 result   I
}

 

mainメソッドがコールされた時のオペランドスタックとローカル変数配列の初期状態は次のようになります。

 

addメソッドはインスタンスメソッドだったので、ローカル変数配列のインデックス0にはthisが格納されていました。しかし、mainメソッドはクラスメソッド(staticメソッド)なので、thisはありません。そのため、インデックス0にはmainメソッドの引数が格納されます。

argsは文字列の配列ですが、それがそのままローカル変数配列に格納されるわけではありません。文字列配列argsの実態はヒープに作成され、ローカル変数配列にはその参照が格納されます。

 

コンスタントプール

mainメソッドでは、最初にAdderオブジェクトを生成し、adder変数に代入しています。

まずはAdderオブジェクトの生成です。

0行のnew #7がオブジェクトを生成している部分です。この#7はコンスタントプールへの参照になります。

addメソッドではコンスタントプールを使用することがなかったので、ここで触れておきましょう。

javap -vの出力にはコンスタントプールが含まれています。その一部を以下に示します。

Constant pool:
   #1 = Methodref          #2.#3          // java/lang/Object."<init>":()V
   #2 = Class              #4             // java/lang/Object
   #3 = NameAndType        #5:#6          // "<init>":()V
   #4 = Utf8               java/lang/Object
   #5 = Utf8               <init>
   #6 = Utf8               ()V
   #7 = Class              #8             // Adder
   #8 = Utf8               Adder
   #9 = Methodref          #7.#3          // Adder."<init>":()V
  #10 = Methodref          #7.#11         // Adder.add:(II)I
  #11 = NameAndType        #12:#13        // add:(II)I
  #12 = Utf8               add
  #13 = Utf8               (II)I

 

コンスタントプールは番号付きでこのように並べられています。

さて、先ほどのnew #7の#7を見てみるとClass #8とあります。Classは文字通りクラスを示しています。そのクラス名が#8になります。

#8は、Utf8 Adderです。Utf8は文字列定数を示しています。実際にクラスファイルでは、文字列をUTF-8で表記しています。そして、その後の"Adder"がその文字列定数の実態です。

つまり、#7でクラスを示し、そのクラス名は#8で"Adder"であるということを示しています。

 

オブジェクト生成

では、mainメソッドに戻りましょう。

new #7では、Adderクラスのオブジェクト生成を行い、その結果、ヒープに生成したオブジェクトの参照をオペランドスタックに積みます。

 

ここまではオブジェクトの生成をしただけの状態で、コンストラクターはコールしていません。

mainメソッドの3行、4行がコンストラクターをコールする部分です。

まず、3行でdupを行います。dupはduplicateのコートで、スタックの値を複製します。

ここではAdderオブジェクトへの参照を複製します。

 

そして、その後のinvokesupecialでコンストラクターをコールします。

invokespecialはコンストラクター、プライベートメソッド、スーパークラスのインスタンスメソッドをコールするためのオペコードです。

コールするメソッドが、コンスタントプールの#9です。#9の部分を見てみると...

   #3 = NameAndType        #5:#6          // "<init>":()V
   #4 = Utf8               java/lang/Object
   #5 = Utf8               <init>
   #6 = Utf8               ()V
   #7 = Class              #8             // Adder
   #8 = Utf8               Adder
   #9 = Methodref          #7.#3          // Adder."<init>":()V

 

#9はMethodrefで、メソッドへの参照を示しています。その値の#7は先ほど見たようにAdderクラスを指しています。

#3を見てみると、NameAndTypeとなっています。これはメソッド名とメソッドのシグネチャー(引数と戻り値の型)を示しています。

NameAndType #5:#6の#5がメソッド名、#6がシグネチャーです。

#5を見てみると、文字列定数で<init>です。

コンストラクター名は、Javaのコードではクラス名と同じですが、バイトコードではどのクラスでも<init>になります。

シグネチャーを表すのが、#6の文字列定数の()Vです。

()の中に引数の型が示されますが、Adderクラスのコンストラクターはデフォルトコンストラクターで引数なしなので、単に()となっています。

()の後に示されるのが、戻り値の型です。Vはvoid、つまり戻り値なしです。

コールするメソッドが分かったので、実際にコールするわけですが、その時にオペランドスタックの値が使われます。

ここでは、Adderオブジェクトへの参照が2つスタックに格納されていますが、1つがコールするメソッドのオブジェクト、そしてもう1つがそのメソッドへの暗黙の引数と考えることができます。

オブジェクト生成はnew, dup, invokespecialが常にセットになっているので、そういうものだと考えていただいて大丈夫です。

invokespecialを実行すると、mainメソッドはそのままにして、Adderクラスのコンストラクターを実行するフレームがJVMスタックに積まれます。

 

そして、コンストラクターの実行が完了すると、コンストラクターのフレームが取り除かれて、mainメソッドが再開します。

オペランドスタックには、コンストラクターをコールした後のAdderオブジェクトが積まれます。

 

さて、その後の7行のastore_1で、Adderオブジェクトの参照をローカル変数配列のインデックス1に格納します。

 

これで、Adder adder = new Adder();の処理が完了しました。

 

インスタンスメソッドコール

Adderオブジェクトが生成出来たので、次はaddメソッドをコールする部分です。

         8: aload_1
         9: iconst_2
        10: iconst_3
        11: invokevirtual #10   // Method add:(II)I
        14: istore_2

インスタンスメソッドをコールするには、コールするメソッドのオブジェクトとメソッドの引数をオペランドスタックに積んでおきます。

まず、aload_1でローカル変数のインデックス1にあるAdderオブジェクトを積みます。

 

9行と10行のiconstは、定数をスタックに積むオペコードです。接尾語の_2と_3がスタックに積む値を示しています。

 

constの接尾語は-1から5までなので、これを超える数にするとどうなるでしょう。

byte型の範囲であればbipush、short型の範囲であればsipush、それを超える場合はldcが使われます。

たとえば、adder(128, 1_000_000);とすると、バイトコードは次のように変化します。

         8: aload_1
         9: sipush        128
        12: ldc           #10                 // int 1000000
        14: invokevirtual #11                 // Method add:(II)I
        17: istore_2

 

128にはsipush、1,000,000にはldcでコンスタントプールの値が使われています。

 

メソッドのターゲットとなるオブジェクトと引数をオペランドスタックに積んだ後に、インスタンスメソッドをコールするinvokevirtualを実行します。

どのメソッドをコールするのかは、コンスタントプールの#10に記述されています。

Adderクラスのデフォルトコンストラクターと同じようにコンスタントプールをたどっていくと、Adder.add(II)Iになることが分かります。

(II)が引数が2つで両方ともint、最後のIで戻り値の型もintだということを示しています。

invokevirtualを実行すると、mainメソッドのフレームは一時停止し、新たにaddメソッドのフレームがJVMスタックに積まれ、addメソッドの実行が始まります。

 

addメソッドの実行は前回紹介したので、ここでは省略します。

addメソッドの実行が完了すると、addメソッドのフレームは取り除かれ、addメソッドの戻り値がmainメソッドのフレームのオペランドスタックに積まれます。

 

後は、その値をistore_2を使用してローカル変数配列のインデックス2に格納します。

 

ローカル変数配列のインデックス2はresult変数を表しているので、addメソッドをコールしてresultに代入するJavaのコードが完了したことになります。

 

最後のSystem.out.printlnメソッドもインスタンスメソッドなので、メソッドコールの方法はaddメソッドの場合と同じです。

少しだけ違うのが、printlnメソッドのターゲットとなるオブジェクトのSystem.outです。

System.outはSystemクラスのクラス変数(static変数)であるoutです。

このため、System.outを取得するために、オペコードのgetstaticを使用します。

15行のgetstatic #14がその部分です。

コンスタントプールの#14を見てみると、次のようになっています。

  #14 = Fieldref           #15.#16        // java/lang/System.out:Ljava/io/PrintStream;
  #15 = Class              #17            // java/lang/System
  #16 = NameAndType        #18:#19        // out:Ljava/io/PrintStream;
  #17 = Utf8               java/lang/System
  #18 = Utf8               out
  #19 = Utf8               Ljava/io/PrintStream;

 

#14がFieldrefでフィールドの参照を示していることが分かります。その値が#15.#16です。

#15の方がフィールドのクラス、#16がフィールド名と型を表します。

さらにたどっていくと、#15がjava.lang.Systemを指していることが分かります。

#16はNameAndTypeで、#18がフィールド名、#19が型を表しています。#18には文字列定数でout、#19も文字列定数でLjava/io/PrintStreamとなっています。

今まで、Iがint、voidがVだということは出てきました。プリミティブ型ではなく参照型の場合、接頭語としてLが使用され、その後にパッケージを含めたクラス名が続きます。

Aではなくて、Lになることにご注意ください。

これで、getstaticでSystem.outの参照がオペランドスタックに積まれることが分かりました。

後は、addメソッドと同じように引数もオペランドスタックに積んで、invokevirtualを実行します。

 

mainメソッドにはreturn文の記述はありませんが、実際には省略されているだけでreturn文は必ずあります。

25行のreturnがそれに相当します。mainメソッドに戻り値はないので、接頭辞はないreturnを使用します。

returnを実行すると、mainメソッドのフレームが破棄され、Adderクラスの実行が完了します。

 

まとめ

Javaだと高々数行のコードですが、バイトコードで見てみるとJavaのコードを細かく分解して実行されます。

ここで示したように、メソッド単位でフレームが作られ、その内部でオペランドスタックとローカル変数配列で処理を進めていくのです。

さて、次回はif文やforループなどの制御構造について紹介する予定です。

2025/04/01

バイトコード入門 その4 バイトコード処理の基礎

このエントリーをはてなブックマークに追加

Java 24のリリース関連エントリーが続きましたが、再びバイトコード入門に戻ってきました。

今回はJVMスタックに積まれたフレームでどのようにバイトコードを処理するのか紹介していきます。今回は動作を説明するため、個々の命令についての説明は必要最低限とさせていただきます。

  1. 準備編
  2. スタックマシン
  3. バイトコード処理の構成
  4. バイトコード処理の基礎 (今回)
  5. オブジェクト生成、メソッドコール
  6. 制御構造

 

バイトコード処理構成のおさらい

まず、バイトコードを処理する構成について簡単におさらいしておきましょう。

バイトコードを実行するために、JVMスタックが使用されるということを前回説明しました。

JVMスタックはスレッドごとに作成されます。ここでのスレッドはOSのスレッドと1対1に対応するPlatform Threadを指しています。Virtual ThreadはPlatform Thread上で動作するので、Virtual Thread用にJVMスタックが作られることはありません。

JVMスタックには、メソッドコールごとにフレームが積まれます。

たとえば、mainメソッドからfooメソッドがコールされ、fooメソッドからbarメソッドがコールされて、barメソッドを処理している場合、JVMスタックにはmainメソッドのフレーム、fooメソッドのフレーム、barメソッドのフレームという3つのフレームが積まれます。

barメソッドの処理が完了し、fooメソッドに戻ってきた時点でbarメソッドのフレームもJVMスタックから取り除かれます。

 

フレームは主にローカル変数用配列と、バイトコード処理中のデータを保持するオペランドスタックから構成されます。

いずれもそのサイズはjavacコンパイル時に決定します。

 

バイトコード処理

今回は動作だけを説明するので、とても簡単なアプリケーションを使用しましょう。

Adderクラスは整数の足し算をするメソッドaddメソッドを持つクラスです。

public class Adder {
    public int add(int x, int y) {
        int z = x + y;
        return z;
    }

    public void static main(String... args) { 
        Adder adder = new Adder();
        int result = adder.add(2, 3);
        System.out.println(result);
    }
}

 

このプログラムが実行されると、メインスレッドに対応するJVMスタックが生成されます。そして、mainメソッドがコールされて、JVMスタックにもmainメソッドに対応するフレームが積まれます。

mainメソッドの中でaddメソッドがコールされると、JVMスタックにもaddメソッドに対応するフレームが積まれます。

この状態を表したのが、以下の図です。

 

では、addメソッド実行の様子を追っていきましょう。

 

addメソッドのバイトコード

Adderクラスをデバッグオプションの-gを使用してコンパイルし、javapでaddメソッドを調べたのが以下です(-gオプションについては、前回を参照してください)。

  private int add(int, int);
    descriptor: (II)I
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=4, args_size=3
         0: iload_1
         1: iload_2
         2: iadd
         3: istore_3
         4: iload_3
         5: ireturn
      LineNumberTable:
        line 3: 0
        line 4: 4
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       6     0  this   LAdder;
            0       6     1     x   I
            0       6     2     y   I
            4       2     3     z   I

ここで使用されているオペコード(命令)を簡単に説明しておきましょう。

  • iload: int型の整数をローカル変数配列からオペランドスタックに積む。_の後の数字はローカル変数配列のインデックス
  • iadd: int型の加算
  • istore: オペランドスタックの先頭にあるint型整数を取り出し、ローカル変数配列に格納。_の後の数字はローカル変数配列のインデックス
  • ireturn: オペランドスタックの先頭にあるint型整数を戻り値としてメソッドを完了させる

この後に実際の動きを説明するので、ここではそんなものぐらいに思っておいてください。

 

addメソッドの動作

では、オペランドスタックとローカル変数配列を含めて、addメソッドの動作を追っていきます。

addメソッドがコールされると、引数がローカル変数配列に格納されます。また、インスタンスメソッドの場合、暗黙の引数としてthisが渡され、それも一緒にローカル変数配列に置かれます。

addメソッドを引数としてx=2, y = 3でコールされた直後の様子は次のようになります。

 

 

ローカル変数配列のインデックス0にthis、1にxの値である2、2にyの値である3が入ります。

上図では分かりやすさのため、ローカル変数配列にx、y、zを記述してありますが、実際にはローカル変数名はコンパイル時に削除され、インデックスだけで扱われます。

ただし、前回説明したようにコンパイル時に-gオプションをつければ、LocalVariableTableが付随し、インデックスと変数名の対応が付けられるようになります。

 

はじめのiload_1はローカル変数配列のインデックス1の値をオペランドスタックに積むということです。iloadのiはint型を表しています。i以外にも接頭辞はありますが、それは次回説明することにします。

この結果、オペランドスタックには2が積まれます。

 

同様に、iload_2でオペランドスタックに3が積まれます。

 

次のiaddはint型の加算です。

ここでは、「バイトコード入門その2」で示したHPの電卓のように、演算に必要な個数だけ値をスタックから取り出し、結果をスタックに積みます。

加算の場合、演算に必要な値は2つなので、オペランドスタックに積まれていた3と2を取り出し、加算をした結果の5をオペランドスタックに積みます。

 

加算の結果はオペランドスタックにしかないので、オペランドスタックから値を取り出し、ローカル変数配列に収めるのが、次の行のistore_3です。

istore_3なので、配列のインデックス3の場所に加算結果の5を格納します。

この操作が、ローカル変数zに5を代入していることに相当します。

 

残りはJavaのコードのreturn z;の部分です。

iload_3で再び5をオペランドスタックに積みます。

 

そして、オペランドスタックに積んだ値を戻り値として、メソッドを完了させるのがireturnです。

ireturnが完了すると、addメソッドに相当するフレームは削除されます。

 

これでaddメソッドが完了しました。

このaddメソッドはとても単純なメソッドですが、オペランドスタックとローカル変数配列の使い方は変わらないので、これが理解できれば後はそれほど難しいことはないはずです。

ちなみに、最後のストアとロードが不要のように見えるかもしれませんが、気にしない方がよいです。

もし、このメソッドが何度もコールされるようであればHotSpot VMによって最適化されます。

javacでコンパイルした時点では最適化はされずに、本当に必要であれば実行時に最適化されるのです。

 

次回はメソッドコールやオブジェクト生成など、もうちょっと複雑なバイトコードを紹介していきます。また、if文やループなども紹介する予定です。

2025/03/18

JEPで語るJava 24

このエントリーをはてなブックマークに追加

いつもはJEPで語れないだけですが、前回のエントリーで紹介したようにJava 24のAPIの変更はとても少なく、逆にJEPは24もあります。

そこで、今回はJava 24は24のJEPについて簡単に紹介していきます。

反応がよければ、シリーズ化するかも。

前回もリストアップしましたが、Java 24のJEPは以下の通り24になります。

  • 404: Generational Shenandoah (Experimental)
  • 450: Compact Object Headers (Experimental)
  • 472: Prepare to Restrict the Use of JNI
  • 475: Late Barrier Expansion for G1
  • 478: Key Derivation Function API (Preview)
  • 479: Remove the Windows 32-bit x86 Port
  • 483: Ahead-of-Time Class Loading & Linking
  • 484: Class-File API
  • 485: Stream Gatherers
  • 486: Permanently Disable the Security Manager
  • 487: Scoped Values (Fourth Preview)
  • 488: Primitive Types in Patterns, instanceof, and switch (Second Preview)
  • 489: Vector API (Ninth Incubator)
  • 490: ZGC: Remove the Non-Generational Mode
  • 491: Synchronize Virtual Threads without Pinning
  • 492: Flexible Constructor Bodies (Third Preview)
  • 493: Linking Run-Time Images without JMODs
  • 494: Module Import Declarations (Second Preview)
  • 495: Simple Source Files and Instance Main Methods (Fourth Preview)
  • 496: Quantum-Resistant Module-Lattice-Based Key Encapsulation Mechanism
  • 497: Quantum-Resistant Module-Lattice-Based Digital Signature Algorithm
  • 498: Warn upon Use of Memory-Access Methods in sun.misc.Unsafe
  • 499: Structured Concurrency (Fourth Preview)
  • 501: Deprecate the 32-bit x86 Port for Removal

JEPで語れないシリーズでもそうですが、セキュリティ関連のJEP (JEP 478, JEP496, JEP 497)はさくらばがよく分かっていないので、省略します。

 

JEP 404 Generational Shenandoah (Experimental)

ShenandoahはRed Hatが中心となって作られているGCです。

Shenandoahはオブジェクトの世代を使用せずにGCを行うアルゴリズムでしたが、ZGCと同様に世代別GCを導入することになったようです。

Experimentalなのですぐに世代別GCを正式に導入するわけではないですが、次の次のLTSには世代別GCが正式になっていると思われます。

後ほど紹介しますが、ZGCは世代別GCだけを残すことになりました。今後、Shenandoahはどうするんでしょうね。

 

さて、世代別GCを使う方法です。

以下の実行時オプションを3つ指定します。

  • -XX:+UnlockExperimentalVMOptions
  • -XX:+UseShenandoahGC
  • -XX:ShenandoahGCMode=generational

ただし、Oracle OpenJDKやOracle JDKはShenandoah GCを含まないので、Red Hat JDKやEclipse Temurinなどを使ってみてください。

 

JEP 450 Compact Object Headers (Experimental)

Javaのオブジェクトはヒープに配置されますが、オブジェクトにはヘッダーがつきます。

オブジェクトヘッダーはJVMの実装依存の部分なのでJVMSには定義されていないのですが、HotSpot VMの場合ヘッダーに128bit使用します。

しかし、小さいクラスだとヘッダーがバカになりません。

たとえば、record Point(int x, int y) {} なんていうクラスだと、データとしては8byte (64bit)しかありません。こうなると、ヘッダーの方が大きくなってしまうわけです。

そこで、現状128bitあるオブジェクトヘッダーを小さくするために立ち上がったのがProject Lilliputです。

Project LeadはAmazonのRoman Kennkeさん。数少ないOracleがリードではないプロジェクトです。

彼はJVMLSでProject Lilliputの講演をしているのですが、Lilliputの背景や概要についてはJVMLS 2023の講演が参考になると思います。

 

ちなみに、プロジェクト名のLilliputですが、ガリバー旅行記の出てくる小人の国のリリパット王国のことです。

なかなかいいプロジェクト名だと思いませんか?

 

Project Lilliputは、64bit VMと32bit VMの両方に対応していますが、ここでは64bit VMについて説明します。

オブジェクトヘッダーには以下のような情報が保持されます。

  • GC Age
  • 型(クラス)
  • ロック
  • ハッシュコード

GC Ageというのは、オブジェクトがGCから生き残ってきた回数を表します。世代別GCの場合、このAgeによってオブジェクトをYoung領域からOld領域に移動させます。

64bit VMではオブジェクトヘッダーが128bitで、上位64bitと下位64bitに分割されて使用されます。

上位64bitはマークワードと呼ばれ、ハッシュコード、GC Age、ロック情報が格納されます。ロック情報は下図のTagビットで表されます。

Mark Word (normal):
 64                     39                              8    3  0
  [.......................HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH.AAAA.TT]
         (Unused)                      (Hash Code)     (GC Age)(Tag)

 

下位64bitはクラスワードと呼ばれ、クラスポインターが格納されます。

Class Word (uncompressed):
64                                                               0
 [cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc]
                          (Class Pointer)

 

これに対し、Project Lilliputでは以下のようにヘッダーを64bitに抑えます。

Header (compact):
64                    42                             11   7   3  0
 [CCCCCCCCCCCCCCCCCCCCCCHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHVVVVAAAASTT]
 (Compressed Class Pointer)       (Hash Code)         /(GC Age)^(Tag)
                              (Valhalla-reserved bits) (Self Forwarded Tag)

 

これが実現されれば、多量のオブジェクトを使うシステムではかなりヒープ使用量が減るはずです。

ただし、ちょっと分からない部分もあります。上図のValhalla-reserved bitsです。

これはValue Class用のビットです。Value Objectはヒープの平坦化がされれば、オブジェクトヘッダーを使用しません。しかし、平坦化されない場合は通常のオブジェクトと同様にヘッダーを使用します。

この場合、通常のオブジェクトとValue Objectを区別するために上記のビットが使われることになると思われます。

Value Classが正式化されるまで、Previewのままなのか、それとも見切り発車で進んでしまうのか、どちらなんでしょうね。

 

Compact Object Headerを使用するには以下の2つの実行時オプションを使用します。

  • -XX:+UnlockExperimentalVMOptions
  • -XX:+UseCompactObjectHeaders

 

472: Prepare to Restrict the Use of JNI
498: Warn upon Use of Memory-Access Methods in sun.misc.Unsafe

最近、OpenJDKではIntegrityがトピックになっています。

Integrityの意味は「誠実さ」とか「正直さ」などです。JavaでIntegrityってよく分からないですよね。

JavaのAPIや機能、ツールなどには黒魔術とも呼べるような安全ではない使い方ができるものがあります。

しかし、安全で堅牢なシステムを作成するにあたっては、このような機能は徐々に取り除いていかないとダメだよねというのが、JEP draft: Integrity by Defaultです。

また、このJEPの背景を語るドキュメントとしてPeaceful and Bright Future of Integrity by Default in Javaがあります。ありがたいことに、このドキュメントは西川さんが翻訳してくれています。

このJEPはまだdraftなので今後どうなるか分からないのですが、Java 24でもIntegrity by Defaultに関連したJEPがあります。それが、JEP 472とJEP 498です。

JEP 472がJNIの使用を制限するJEPで、JEP 498がsun.misc.Unsafeの使用を制限するというJEPです。

特にUnsafeはいろいろと危険なことができてしまっていたのですが、徐々に機能が減らされていって、最後に残っていたのがネイティブメモリへのアクセスだったのです。これに対し、安全にメモリにアクセス可能なFFMが提供されたので、ようやくUnsafeがお役御免となったわけです。まだ、Unsafeを使用すると警告が出るだけですが、だんだんと使えなくなっていくはずです。

 

475: Late Barrier Expansion for G1

G1GCの実装を改善しましょうというJEP。

バリアは何かしらを守るために使用される、同期方法の一種です。たとえば、CPUでメモリ操作の順序性を保証するために使われるメモリバリアなどがあります。

G1GCでもプリライトバリアやポストライトバリアなどのバリアが使われるのですが、そのバリアの処理が重いので、特にJITのC2コンパイラ使用時に改善していきましょうという提案です。

これはStandard JEPで、特に指定しなくてもG1GCを使用時には適用されます。

このJEPに関してThomas Schatzlが解説を書いてくれています。ありがたいことに、西川さんが翻訳してくれています。

 

479: Remove the Windows 32-bit x86 Port
486: Permanently Disable the Security Manager
501: Deprecate the 32-bit x86 Port for Removal

Integrity by Defaultとは関係ないのですが、機能を削除する関連のJEPがJEP 479、JEP 486、JEP 501です。

JEP 479とJEP 501は32bitのx86のポートを削除するJEPで、JEP 486が使わなくなったSecurity Managerを削除するJEPです。

 

483: Ahead-of-Time Class Loading & Linking

Javaは起動時間が遅いとよく言われますが、それを改善するためのプロジェクトがProject Leydenです。

Leydenとはライデン瓶のライデンですね。ライデン瓶は一種のコンデンサーで、導通した時に一気に電気を流せることからプロジェクト名になったんだと思います。あくまでも、櫻庭の予想ですが...

さて、Project LeydenではAOTコンパイラーが提供される予定ですが、その前にJEP 483で事前クラスローディングやリンクを可能とします。

 

Javaの起動時には様々な処理が行われます。その中でも、クラスロードし、クラスの解析、リンク、staticの初期化までの処理はシステムが大規模になればなるほど長い時間を必要とします。また、システムによっては、実行時アノテーションの解決も必要になります。

しかし、これらの処理は毎回同じことを繰り返すだけなので、その部分を事前にやってしまおうというのがJEP 483です。

実際には、トレーニング実行でこれらの処理をキャッシュとして保存しておき、本番時にはキャッシュを使用してシステムを起動します。

キャッシュファイルをapp.aotconfとした場合、以下のようにトレーニング実行、キャッシュファイルの保存という2段階でキャッシュファイルを作成します。

  • トレーニング実行
    $ java -XX:AOTMode=record -XX:AOTConfiguration=app.aotconf -cp app.jar com.example.App ...
  • キャッシュファイル作成
    $ java -XX:AOTMode=create -XX:AOTConfiguration=app.aotconf -XX:AOTCache=app.aot -cp app.jar

2番目のキャッシュファイル作成時にはアプリケーションは実行しません。

キャッシュファイルができたら、それを使用して実行します。

  • 本番実行
    $ java -XX:AOTCache=app.aot -cp app.jar com.example.App ...

 

484: Class-File API

Class-File APIはバイトコード操作のためのAPIです。

クラスファイルを解析したり、バイトコードで記述して直接クラスファイルを生成したりすることができます。

JDKの内部では動的にクラスを生成する場合などにバイトコード操作が行われてきました。この時に使用されていたのが、ASMです。

では、なぜ今になってASMではなくて、自前のバイトコード操作APIを作成することになったのでしょう。

クラスファイルにもバージョンがあり、バージョンが上がるごとに記述できる情報が増えていっています。しかし、サードパーティーのASMだと、最新のバージョンをサポートするまでに時間がかかってしまいまいます。

新しいクラスファイルをすぐにサポートするためには、やはり自前でバイトコード操作APIを作らないとダメということのようです。

 

Class-File APIでは、クラスファイルの読み、書き、改変をサポートしています。また、ストリーミング的な使い方と、イベント的な使い方の両方ができるようになっています。XMLでいうところのSAXとDOMのような使い分けができるはずです。

 

Class-File APIに関しては、今続けているバイトコード入門の続きとして紹介する予定です。

また、JJUGのナイトセミナーで少しだけ紹介したので、参考までに資料を張っておきます。

 

485: Stream Gatherers

Stream APIの中間操作をカスタマイズできるようにするのがStream Gathererです。

Stream Gathererに関しては、すでに解説エントリーを書いているので、そちらを参照してみてください。

 

487: Scoped Values (Fourth Preview)

Project Loomで策定されているAPIの1つであるScoped Valueはスレッド間でイミュータブルなデータを共有するための機能です。

今まで使用してきたThreadLocalはいろいろと問題があるので、それを全部ではないですけど、ある程度置き換えられる機能になっています。

4th PreviewでなかなかStandardにならないですが、次のJava 25でStandardになればいいかなという感じですね。

Java 24では1つだけメソッドが削除されて、一貫性のある使い方に整理されたようです。

 

488: Primitive Types in Patterns, instanceof, and switch (Second Preview)

パターンマッチングにプリミティブ型を使用できるようにしようというのがJEP 488です。

これのおもしろいのが、プリミティブ型の値とのマッチングと、型とのマッチングを同居させることができるところです。たとえば、こういう記述ができます。

switch(x) {
    case 0 -> System.out.println("Zero");
    case 1 -> System.out.println("One");
    case int i when i > 100 -> System.out.println("Big int: " + i);
    case int i -> System.out.println("Small int: " + i);
}

いろいろとルールはあるので、細かいところはJEP 488を読んでみてください。

 

489: Vector API (Ninth Incubator)

Javaでベクター処理を行うためのVector APIですが、Value Classが導入されるまではずっとインキュベータのままということになっています。

 

490: ZGC: Remove the Non-Generational Mode

ZGCはJava 23で世代別ZGCがデフォルトになりましたが、そうそうに元々の非世代別ZGCが削除されることになりました。

世代別と非世代別の両方をサポートするのは大変なのは分かりますが、そこまで急いで削除しなくてもいいのではと思ってしまいます。

 

491: Synchronize Virtual Threads without Pinning

Virtual Threadの使用時にsynchronizedを使うと、Virtual Threadを実行するキャリアスレッドをブロックしてしまうため性能が落ちるという問題がありました。

そのため、Virtual Threadを使う時にはsynchronizedではなく、ReentrantLockを使うようにしましょうというのが今までの解決法でした。

これに対し、synchronizedを使ってもキャリアスレッドをブロックしないようにするのがJEP 491です。

とはいえ、JEP 491が導入されれば、Virtual Threadでもsynchronizedを書き放題と思うのは早計です。

synchnronizedでもReentrantLockでも同期をするためにVirtual Threadをブロックします。キャリアスレッドのブロックよりはいいかもしれませんが、ブロックはブロックです。

Virtual Threadを使うようなスケールでは、些細なブロックでもできれば避けた方が賢明です。

ライブラリやフレームワークでsynchornizedを使用しているため、今までVirtual Threadを使っていても性能が出なかったという場合であればよいのですが、新たにVirtual Threadを使うコードを記述するのであれば、なるべくスレッドを独立にしてブロックしないような設計にするのがよいと思います。

 

492: Flexible Constructor Bodies (Third Preview)

コンストラクター内でスーパークラスや自分自身のコンストラクターをコールするのは、コンストラクターの先頭と決まっていました。

これに対し、フィールドの初期化の後にも書けるようにしたのがJEP 492です。

なぜこんなことが必要なのかというのと、Project Valhallaが関係しています。

Project ValhallaではValue Classの導入と、その効率化のためにNull非許容な型が導入されます。

しかし、コンストラクター内でスーパークラスのコンストラクターを先頭でコールしてしまうと、フィールドが初期化されていない状態でスーパークラスから参照できてしまいます。これはNull非許容の場合だと問題になります。

そのため、Value ClassやNull非許容型が導入される前に、JEP 492で問題となりそうな箇所をつぶしておこうというわけです。

Java 23の3rd Previewからの変更点はないので、Java 25ではStandardになるはずです。

 

493: Linking Run-Time Images without JMODs

JDKの標準ライブラリーはモジュール構成になっており、JARではなくJMODで提供されています。

当然、jlinkでランタイムを作成する場合もJMODがそのまま使われていました。これに対し、モジュールのJARでも可能にするようにしたのがJEP 493です。

 

494: Module Import Declarations (Second Preview)

import文にモジュール単位で記述できるようにするのがJEP 494です。

import module java.base;と書いておけば、java.langパッケージやjava.utilパッケージのクラスやインタフェースのimport文を書かずに済みます。

モジュール間で同じクラス名を使用している場合、明示的に優先的に使用するクラスのimport文を記述します。

たとえば、java.baseとjava.desktopをインポートしてしまうと、java.util.Listとjava.awt.Listなどの同じ名前のクラス/インタフェースをインポートしてしまいます。java.util.Listを優先的に使うのであれば、次のように記述します。

import module java.base;
import module java.base;

import java.util.List;

 

495: Simple Source Files and Instance Main Methods (Fourth Preview)

JEP 495は、mainメソッドの記述を簡素化するためのJEPです。

mainメソッドのためのクラスを書く必要がなくなり、void main() { ... }だけでOKになります。

また、標準出力への出力もSystem.out.println(...);ではなく、println(...);だけでよくなります。

このJEPもなかなかStandardになりませんが、Java 24での変更点はないので、このままJava 25でStandardになると予想されます。

 

499: Structured Concurrency (Fourth Preview)

JEP 499はProject Loomで策定されている仕様の1つです。

複数のスレッドの結果をまとめるためのAPIで、すべての処理結果を待つことや、失敗が1つでもあったら処理を失敗とするなどといったことが簡単に記述できます。

今までであれば、CompletableFutureを使えば同じようなことを記述できるのですが、Thread単体だとちょっと面倒でした。

そこで、Virtual Threadの導入とともにStructured Concurrencyが導入されるはずだったのですが、なかなかStandardにならないまま...

しかし、Java 24での変更はないので、Java 25でStandardになるのではないかと思うのですが、どうでしょう。

 

まとめ

というわけで、セキュリティ関連を除いてJava 24のJEPを簡単に紹介してきました。

最後の方はかなり簡単な紹介だけになってしまいましたが...

PreviewやIncubatorのJEPはStandardになった時に改めて紹介したいと思います。