On Wed, 16 Oct 2024 01:26:45 GMT, Ioi Lam <[email protected]> wrote:
>> This is the 7th and final PR for [JEP 483: Ahead-of-Time Class Loading &
>> Linking](https://bugs.openjdk.org/browse/JDK-8315737).
>>
>> This PR implements the AOT-linking of invokedynamic callsites:
>> - We only link lambda expressions (`LambdaMetafactory::metafactory`) and
>> string concat (`StringConcatFactory::makeConcatWithConstants()`) as the
>> results of these bootstrap methods do not have environment dependencies and
>> can be safely cached.
>> - The resolved CallSites are represented as Java heap objects. Thus, this
>> optimizations is supported only for the static CDS archive, which can store
>> heap objects. The dynamic CDS archive is not supported.
>>
>> **Review Notes:**
>>
>> - Start with `AOTConstantPoolResolver::preresolve_indy_cp_entries()` -- it
>> checks all indys that were linked during the training run, and aot-links
>> only those for lambdas and string concats
>> - `SystemDictionaryShared::find_all_archivable_classes()` finds all the
>> hidden classes that are reachable from the indy CallSites
>> - In `MetaspaceShared::preload_and_dump_impl()` we call
>> `MethodType::createArchivedObjects()` to record all MethodTypes that were
>> created in the assembly phase. This is necessary because the identity of
>> MethodTypes is significant (they are compared with the `==` operator). Also
>> see MethodType.java for the corresponding code that are used in the
>> production run.
>> - Afterwards, we enter the safepoint (`VM_PopulateDumpSharedSpace::doit()`).
>> In this safepoint,
>> `ConstantPoolCache::remove_resolved_indy_entries_if_non_deterministic()` is
>> called to remove any resolved indy callsites that cannot be archived. (Such
>> CallSites may be created as a side effect of Java code execution in the
>> assembly phase. E.g., the bootstrap of the module system).
>>
>> **Rough Edges:**
>>
>> - Many archived CallSites references (directly or indirectly) the static
>> fields of the classes listed under
>> `AOTClassInitializer::can_archive_initialized_mirror()`, where the object
>> identity of these static fields is significant. Therefore, we must preserve
>> the initialized states of these classes. Otherwise, we might run into
>> problems such as [JDK-8340836](https://bugs.openjdk.org/browse/JDK-8340836).
>> Unfortunately, the list is created by trial-and-error, and may need to be
>> updated to match changes in the `java.lang.invoke` and
>> `jdk.internal.constant` packages. We expect Project Leyden to come with a
>> general solution to this problem.
>> - If the identity is significant for a static field in a complex class, but
>> not a...
>
> Ioi Lam has updated the pull request with a new target base due to a merge or
> a rebase. The pull request now contains 31 commits:
>
> - @DanHeidinga comments -- added comments and asserts related to
> ClassLoaderData used by archived hidden classes
> - Merge branch 'jep-483-step-06-8311071-avoid-soft-refs-in-java-lang-invoke'
> into jep-483-step-07-8293336-store-lambda-forms-in-cds-archive
> - @DanHeidinga comments -- added ConcurrentHashMap::runtimeSetup() to init
> NCPU to runtime value; also use the same runtimeSetup() pattern to call
> registerNatives() for Class.java and Unsafe.java
> - Merge branch 'jep-483-step-06-8311071-avoid-soft-refs-in-java-lang-invoke'
> into jep-483-step-07-8293336-store-lambda-forms-in-cds-archive
> - Fixed JDK-8341988: jstack launched with AOT cache created with
> -XX:+AOTClassLinking crashes
> - 8341600: [premain] Automatic aot-init of classes used by java.lang.invoke
> - @adinn comments
> - improve checks for not changing <clinit> order for aot linking of lambda;
> added comprehensive test cases: AOTLinkedLambdasApp::testClinitOrder()
> - Clean up of aotClassInitializer and cdsHeaVerifier; added lambda test
> cases for <clinit> order of app classes
> - Merge branch 'jep-483-step-06-8311071-avoid-soft-refs-in-java-lang-invoke'
> into jep-483-step-07-8293336-store-lambda-forms-in-cds-archive
> - ... and 21 more: https://git.openjdk.org/jdk/compare/11391c39...a6ad908f
src/hotspot/share/cds/heapShared.cpp line 447:
> 445:
> 446: bool HeapShared::is_string_concat_klass(InstanceKlass* ik) {
> 447: return ik->is_hidden() &&
> ik->name()->starts_with("java/lang/String$$StringConcat");
Can you add a comment in `StringConcatFactory`'s place where this name is
defined, so others who change the generated class name will remember to update
references here?
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/21143#discussion_r1802362899
