[master] RFR: Store (narrow) klass in object header

[Aleksey Shipilev]

On Fri, 21 May 2021 14:15:20 GMT, Roman Kennke <rkennke at openjdk.org> wrote:

> This change stores compressed Klass* in the upper 32bits of the object header. It doesn't really use it, yet. But I added some code in heap-object-stats to verify that all objects receive it.
> 
> It is implemented by storing the compressed Klass* into the prototype-header for each Klass, and use that to initialize objects, pretty much like we used to do for +BiasedLocking.
> 
> It will take some serious effort to change all code to use this new location to find the Klass*:
> - We need to change all generated code (intepreter, c1, c2) to load Klass* from the header, and call to runtime when it encounters a displaced header word.
> - We need to change (sliding-compacting) GCs to be able to iterate heap while objects are forwarded. Most likely by using a forwarding table, but I'm not quite sure yet.
> - We need to change rest of runtime to load Klass* from header.
> 
> In this change, I modified some code in G1 that deals with checking consistent header, the same asserts that we have seen in #6. This is rather ugly, but I actually expect those asserts to go away or be rewritten in a more useful way.
> 
> CDS support is noteworthy because we need to ensure that we propagate the actual narrowKlass whenever we (re-)initialize object headers, because that may be encoded with a different base address for archived Klass instances than other Klass instances, and would create a mess if we would re-encode the Klass*.
> 
> Testing
>  - [x] tier1
>  - [x] tier2

Cursory review follows.

src/hotspot/cpu/x86/c1_MacroAssembler_x86.cpp line 162:

> 160:   assert_different_registers(obj, klass, len);
> 161:   Register tmp_encode_klass = LP64_ONLY(rscratch1) NOT_LP64(noreg);
> 162:   assert_different_registers(obj, klass, len, t1, t2);

Looks to me this subsumes the assert two lines before.

src/hotspot/share/cds/archiveBuilder.cpp line 785:

> 783: #ifdef _LP64
> 784:   o->set_mark(o->mark().set_narrow_klass(nk));
> 785: #endif

So... is `o->set_narrow_klass(nk)` the line below doing the same? Also, why only `_LP64`?

src/hotspot/share/oops/klass.cpp line 544:

> 542:     log_trace(cds, unshareable)("remove: %s", external_name());
> 543:   }
> 544: 

This whitespace change seems redundant.

src/hotspot/share/oops/markWord.cpp line 122:

> 120:     return set_narrow_klass(nklass);
> 121:   } else {
> 122:     return markWord(value());

So this `else` path does not use `klass`? Is that because `UseCompressedClassPointers` is always `true`? Is it, though, on x86_32? It would be cleaner to put `ShouldNotReachHere()` if that path should not be taken.

-------------

PR: https://git.openjdk.java.net/lilliput/pull/7