> 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).
Jorn Vernee has updated the pull request incrementally with two additional
commits since the last revision:
- Use ARG_LIMIT
- remove data param
-------------
Changes:
- all: https://git.openjdk.org/jdk/pull/32817/files
- new: https://git.openjdk.org/jdk/pull/32817/files/b8e9922f..0febce35
Webrevs:
- full: https://webrevs.openjdk.org/?repo=jdk&pr=32817&range=01
- incr: https://webrevs.openjdk.org/?repo=jdk&pr=32817&range=00-01
Stats: 6 lines in 1 file changed: 2 ins; 1 del; 3 mod
Patch: https://git.openjdk.org/jdk/pull/32817.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/32817/head:pull/32817
PR: https://git.openjdk.org/jdk/pull/32817
