<div dir="ltr">I'm reading through the code in the premain branch (which looks very cool though I'm still wrapping my head around it) and had an early question about the cdsHeapVerifier.cpp:<div><br></div><div>> void CDSHeapVerifier::add_static_obj_field(InstanceKlass* ik, oop field, Symbol* name) {<br>>   if (field->klass() == vmClasses::MethodType_klass() ||<br>>       field->klass() == vmClasses::LambdaForm_klass()) {<br>>     // LambdaForm and MethodType are non-modifiable and are not tested for object equality, so<br>>     // it's OK if the static fields are reinitialized at runtime with alternative instances.<br>>     // (TODO: double check is this is correct)<br>>     return;<br>>   }<br></div><div><br></div><div>I can't speak to LambdaForms but MethodTypes definitely rely on equality for correct behaviour when invoking - see Invokers.java::checkExactType which is part of every MethodHandles.invokeExact call.  Is this kind of equality test something this code should be concerned about?  </div><div><br></div><div>I may be looking at this in the wrong way but thought I'd chime in as I read the diff in case this helps.</div><div><br></div><div>--Dan</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Aug 8, 2023 at 2:30 PM duke <<a href="mailto:duke@openjdk.org">duke@openjdk.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">The following commits are unique to the premain branch:<br>
========================================================<br>
626b62aa: Initial commit<br>
<br>
</blockquote></div>