On Thu, 21 May 2026 21:42:49 GMT, Vladimir Ivanov <[email protected]> wrote:
> On bytecode level booleans are represented as ints and HotSpot JVM normalizes > boolean values on memory accesses. It unconditionally applies normalization > on boolean stores, but trusts on-heap boolean locations to hold normalized > values. Normalization is applied on loads for off-heap and mismatched unsafe > accesses . > > There are 2 normalization procedures used: (1) cast int to byte and test it > against zero; and (2) truncation to least-significant bit. Truncation is > preferred (due to performance considerations), but JNI mandates testing > against zero and, historically, `#1` was used for off-heap unsafe accesses as > well. It complicated the implementation (leading to subtle bugs) and > introduced divergence in behavior at runtime (depending on execution mode and > JIT-compilation peculiarities). > > The fix uses truncation uniformly across all execution modes. It simplifies > implementation and eliminates possible divergence in behavior between > execution modes. Also, it drastically simplifies future Unsafe API > refactorings. > > There's one scenario left when it's possible to observe non-normalized > values: when mismatched access pollutes the Java heap with a bogus boolean > value, but then the value is read with a well-typed boolean access. > > Testing: hs-tier1 - hs-tier6 > > - [x] I confirm that I make this contribution in accordance with the [OpenJDK > Interim AI Policy](https://openjdk.org/legal/ai). test/hotspot/jtreg/compiler/unsafe/UnsafeBooleanTest.java line 85: > 83: Character.MIN_VALUE , Character.MAX_VALUE, > Character.MIN_VALUE & ~0xFF, Character.MAX_VALUE & ~0xFF, > 84: Integer.MIN_VALUE, Integer.MAX_VALUE, Integer.MIN_VALUE & > ~0xFF, Integer.MAX_VALUE & ~0xFF }; > 85: The perturbation of `& ~0xFF` is a nop for MIN_VALUE values which have low-order zeroes. The perturbation is a good idea, but I suggest doing it using XOR, and uniformly across all input values. static final int[] TOGGLES = { 0, 1, 0xFF }; // uniformly XOR-ed into previous values Then `INPUTS` can drop odd values (1,3,5) for which there is a corresponding "toggled" even value already available. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/31249#discussion_r3293563987
