RFR: 8361363: ShenandoahAsserts::print_obj() does not work for forwarded objects and UseCompactObjectHeaders
Aleksey Shipilev
shade at openjdk.org
Tue Jul 8 13:28:42 UTC 2025
On Thu, 3 Jul 2025 14:22:32 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote:
> `ShenandoahAsserts::print_obj()` does not work for COH if the object is forwarded, since the mark word is overwritten with a forwarding pointer.
>
> Depending on the size of the non-null bits of the forwardee (whether it spills into the nKlass bits), nKlass is either zero or garbage. So we get either an "assert(!is_null(v)) failed: narrow klass value can never be zero", or a SIGSEGV.
>
> Fix is trivial: don't use obj->klass() directly but get it from ShenandoahForwarding.
You know what, this is fine as it is.
The whole business with `ShenandoahForwarding::klass` is super-duper-awkward, and verifier already touches the forwardees using that method in places where it really should not. It needs a more comprehensive fix for `+UCOH`.
It is a mess, but not your mess. So integrate this one, we will figure out `ShenandoahForwarding::klass` after this.
-------------
Marked as reviewed by shade (Reviewer).
PR Review: https://git.openjdk.org/jdk/pull/26117#pullrequestreview-2997654169
More information about the shenandoah-dev
mailing list