On Thu, 10 Sep 2026 15:11:13 GMT, Jorn Vernee <[email protected]> wrote:
> Implement a method handle combinator that can be used to synchronize on an
> object monitor while executing a given target method handle.
>
> The returned method handle behaves similar to the notional code:
>
>
> R adapter(Object lock, A... a) throws Throwable {
> synchronized (lock) {
> return body.invokeExact(a...);
> }
> }
>
>
> The lambda form is similar to existing ones: we box up all the arguments for
> the body handle, call a fallback function which synchronizes and invokes the
> body with the boxed argument, then the `Object` result is fed to an unboxing
> handle to unbox the result if needed.
>
> There's a corresponding intrinsic in `InvokerBytecodeGenerator` which
> replaces these three operations with `monitorEnter`/`monitorExit`
> instructions, direct argument/return value forwarding without (un)boxing, and
> the necessary exception handling which makes sure we unlock the lock again in
> case the body throws an exception. The generated code is similar to what
> javac generates.
>
> ---------
> - [x] I confirm that I make this contribution in accordance with the [OpenJDK
> Interim AI Policy](https://openjdk.org/legal/ai).
This pull request has now been integrated.
Changeset: 952e1502
Author: Jorn Vernee <[email protected]>
URL:
https://git.openjdk.org/jdk/commit/952e150206f27943d4f4d2fc491014d59cdb2dd9
Stats: 378 lines in 6 files changed: 372 ins; 0 del; 6 mod
8163004: Add a synchronization combinator to java.lang.invoke.MethodHandles
Reviewed-by: liach, vlivanov
-------------
PR: https://git.openjdk.org/jdk/pull/32817
