で、ValhallaのValue Classってどうなったの？

2024.10.27 JJUG CCC 2024 Fall
「で、ValhallaのValue Classってどうなったの？」発表資料

Transcript

1. Valhalla で、 の って どうなったの？ Value Class Java in the Box 櫻庭 祐一
2. Project Valhalla Value Class Null-Restriced Nullable Type Primitive 拡張 Specialized Generics
3. Project Valhalla Value Class Null-Restriced Nullable Type Primitive 拡張 Specialized Generics
4. Java の 2 つの型 Primitive Type Reference Type ビルトイン ユーザー定義 NonNull Nullable Monomorphic Polymorphic 初期化不要 初期化必要
5. double p[] = {0.0, 1.0, 2.0, 3.0}; p [0] [1] [2] [3] 0.0 2.0 4.0 6.0
6. record Point(double x, double y) {} Point points[] = {new Ponit(0.0, 0.0), .....}; points [0] [1] [2] [3] Point x y 0.0 0.0 Point x y 1.0 2.0 Point x y 3.0 2.0 Point x y 4.0 4.0
7. CPU のメモリ構成 Register Main Memory L1 Cache L2 Cache L3 Cache 容量 Small Large 10 byte 2 10 3 10 6 10 7 10 ～ 9 速度 Fast Slow 1 cycle 4 10-15 20-50 100 ～
8. CPU のメモリ構成 データがキャッシュにない キャッシュミス キャッシュへのロードはチャンクで行われる まとめて使われるデータは近くに配置する
9. for (var p: points) { // p Λ࢖ͬͨॲཧ } points [0] [1] [2] [3] Point x y 0.0 0.0 Point x y 4.0 4.0 Point x y 1.0 2.0 Point x y 3.0 2.0 キャッシュミス多発
10. for (var p: points) { // p Λ࢖ͬͨॲཧ } points [0].x 0.0 [0].y 0.0 [1].x 1.0 [1].y 2.0 [2].x 3.0 [2].y 2.0 [3].x 4.0 [3].y 4.0
11. Primitive Type Reference Type New Type?? 求められるのは Codes like a Class Works like an int
12. Primitive Type Reference Type Value Class No New Type! No New Bytecode!!
13. Value Class Identity がないクラス A value object is an object that does not have identity. JEP 401: Value Classes and Objects
14. Object Identity オブジェクトの名前もしくはアドレスのようなもの == による比較に使用される Object.hashCode() / System.identityHashCode() Identity によって Mutability Monitor Lock などを可能にする
15. Value Class Identity がないクラス Immutable フィールドは暗黙的に nal == による比較はフィールドの等価性 equals() と同じ Identity による操作は不可 Monitor Lock, Weak Reference など
16. Value Class の書き方 value class Foo { ... } value record Bar( ... ) { } 継承も可能 Value Class になりうる標準クラス Number (Integer, Double...) java.time など Early Access 公開中 https://jdk.java.net/valhalla/
17. Value Class の最適化 - 平坦化 Point points[] Point[] [0].x 0.0 [0].y 0.0 [1].x 1.0 [1].y 2.0 [2].x 3.0 [2].y 2.0 [3].x 4.0 [3].y 4.0 ArrayList elementData ArrayList<Point> list Object[] [0].x 0.0 [0].y 0.0 [1].x 1.0 [1].y 2.0 [2].x 3.0 [2].y 2.0 [3].x 4.0 [3].y 4.0 record Rect(Point tl, Point br) {} Rect tl.x 0.0 tl.y 0.0 br.x 3.0 br.y 2.0
18. Java Stack calcTotal Operand Stack Local Var this scores adder s Adder sum
19. Java Stack calcTotal Operand Stack Local Var this scores adder s .sum
20. 最適化の大敵 null Null-Restricted Nullable Type の導入 JEP draft: Null-Restricted and Nullable Types https://openjdk.org/jeps/8303099 JEP draft: Null-Restricted Value Class Types https://openjdk.org/jeps/8316779
21. Null-Restriced/Nullable Type String! text = ... String? text = ... Null-Restriced Nullable 配列の初期化
22. Null-Restriced/Nullable Type String! text = ... String? text = ... Null-Restriced Nullable 配列の初期化
23. Puzzle: Do Lion Meow? 選択肢 例外
24. Puzzle: Do Lion Meow? 選択肢 例外
25. Puzzle: Do Lion Meow? 選択肢 例外 nal 変数でも 初期化前の状態に アクセスできてしまう！
26. JEP 492: Flexible Constructor Bodies super() の前にフィールド初期化が可能
28. Value Class のまとめ Identity がなく、 イミュータブルなクラス 宣言時に value を付加するだけ 平坦化などの最適化のために導入 サイズが小さく フィールドが適切なデフォルト値 or 初期化されている場合のみ Value Class にすべきデータ サイズが小さく、 イミュータブルなデータ ビジネスロジックで登場する値オブジェクト Record Class は、 ほとんどの場合 Value Class にすることが可能
29. Conclusion Value Class: Code like a Class, Works like an int 平坦化などの最適化 イミュータブルなデータであれば適用可能 Null-Restriced/Nullable Type の導入 インスタンス初期化ロジックが変更 いつごろ導入されるかは？？？
30. Reference JEP 401: Value Classes and Objects https://openjdk.org/jeps/401 JEP draft: Null-Restricted and Nullable Types https://openjdk.org/jeps/8303099 JEP draft: Null-Restricted Value Class Types https://openjdk.org/jeps/8316779 JEP 492: Flexible Constructor Bodies https://openjdk.org/jeps/492 JEP 218: Generics over Primitive Types https://openjdk.org/jeps/218 Valhalla - Where Are We? (JVMLS 2024) https://youtu.be/IF9l8fYfSnI?si=Ghx5r9SHuxQahu-9 Valhalla - Where Are We? (Devoxx BE 2024) https://youtu.be/eL1yyTwu4hc?si=TS6AkZQtRnoEjBdQ A New Model for Java Object Initialization (JVMLS 2024) https://youtu.be/ThtrTwooKDc?si=745Bno9z1UxW263Z
31. Valhalla で、 の って どうなったの？ Value Class Java in the Box 櫻庭 祐一