RFR: 8329706: Implement -XX:+AOTClassLinking [v3]

Ashutosh Mehra asmehra at openjdk.org
Tue Sep 10 22:17:08 UTC 2024


On Tue, 10 Sep 2024 00:53:32 GMT, Ioi Lam <iklam at openjdk.org> wrote:

>> This is the 3rd PR for [JEP 483: Ahead-of-Time Class Loading & Linking](https://bugs.openjdk.org/browse/JDK-8315737).
>> 
>> **Overview**
>> 
>> - A new `-XX:+AOTClassLinking` flag is added. See [JEP 498](https://bugs.openjdk.org/browse/JDK-8315737) and the [CSR](https://bugs.openjdk.org/browse/JDK-8339506) for a discussion of this command-line option, its default value, and its impact on compatibility.
>> - When this flag is enabled during the creation of an AOT cache (aka CDS archive), an `AOTLinkedClassTable` is added to the cache to include all classes that are AOT-linked. For this PR, only classes for the boot/platform/application loaders are eligible. The main logic is in `aotClassLinker.cpp`.
>> - When an AOT archive is loaded in a production run, all classes in the `AOTLinkedClassTable` are loaded into their respective class loaders at the earliest opportunity. The main logic is in `aotLinkedClassBulkLoader.cpp`.
>>   - The boot classes are loaded as part of `vmClasses::resolve_all()`
>>   - The platform/application classes are loaded after the module graph is restored (see changes in `threads.cpp`).
>> - Since all classes in a `AOTLinkedClassTable` are loaded before any user-code is executed, we can resolve constant pool entries that refer to these classes during AOT cache creation. See changes in `AOTConstantPoolResolver::is_class_resolution_deterministic()`.
>> 
>> **All-or-nothing Loading**
>> 
>> - Because AOT-linked classes can refer to each other, using direct C++ pointers, all AOT-linked classes must be loaded together. Otherwise we will have dangling C++ pointers in the class metadata structures. 
>> - During a production run, we check during VM start-up for incompatible VM options that would prevent some of the AOT-linked classes from being loaded. For example:
>>   - If the VM is started with an JVMTI agent that has ClassFileLoadHook capabilities, it could replace some of the AOT-linked classes with alternative versions.
>>   - If the VM is started with certain module options, such as `--patch-module` or `--module`, some AOT-linked classes may be replaced with patched versions, or may become invisible and cannot be loaded into the JVM.
>> - When incompatible VM options are detected, the JVM will refuse to load an AOT cache that has AOT-linked classes. See `FileMapInfo::validate_aot_class_linking()`.
>>   - For simplfication, `FileMapInfo::validate_aot_class_linking()` requires `CDSConfig::is_using_full_module_graph()` to be true. This means that the exa...
>
> Ioi Lam has updated the pull request incrementally with one additional commit since the last revision:
> 
>   @dholmes-ora comments: logging indents

src/hotspot/share/cds/aotClassLinker.cpp line 149:

> 147:   add_candidate(ik);
> 148: 
> 149:   if (log_is_enabled(Info, cds, aot, load)) {

Is `load` the correct log tag to use in this class? Can it be replaced with `link` tag?

src/hotspot/share/cds/aotClassLinker.hpp line 111:

> 109: 
> 110:   static int num_app_initiated_classes();
> 111:   static int num_platform_initiated_classes();

I don't see these methods (num_app_initiated_classes and num_platform_initiated_classes) used anywhere. Should they be removed?

src/hotspot/share/cds/aotConstantPoolResolver.cpp line 111:

> 109: 
> 110:     if (CDSConfig::is_dumping_aot_linked_classes()) {
> 111:       if (AOTClassLinker::try_add_candidate(ik)) {

Are we relying on the call to `try_add_candidate` to add the class to the candidate list? I guess that shouldn't be the case as the class have already been added through ArchiveBuilder::gather_klasses_and_symbols()->AOTClassLinker::add_candidates(). If so can we use  AOTClassLinker::is_candidate(ik) here?

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

> 764: #define ADD_COUNT(x) \
> 765:   x += 1; \
> 766:   x ## _a += aotlinked;

Can we do this instead:

```x ## _a  += (aotlinked ? 1 : 0)```

and make `aotlinked` a bool.

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

> 777:   DECLARE_INSTANCE_KLASS_COUNTER(num_app_klasses);
> 778:   DECLARE_INSTANCE_KLASS_COUNTER(num_hidden_klasses);
> 779:   DECLARE_INSTANCE_KLASS_COUNTER(num_unlinked_klasses);

Nit-picking here - "unlinked" category doesn't need the "aot-linked" counter.

src/hotspot/share/cds/filemap.cpp line 2455:

> 2453:   const char* prop = Arguments::get_property("java.system.class.loader");
> 2454:   if (prop != nullptr) {
> 2455:     if (has_aot_linked_classes()) {

Should this check be part of `FileMapInfo::validate_aot_class_linking`?

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

PR Review Comment: https://git.openjdk.org/jdk/pull/20843#discussion_r1752750296
PR Review Comment: https://git.openjdk.org/jdk/pull/20843#discussion_r1752692333
PR Review Comment: https://git.openjdk.org/jdk/pull/20843#discussion_r1752689932
PR Review Comment: https://git.openjdk.org/jdk/pull/20843#discussion_r1752770372
PR Review Comment: https://git.openjdk.org/jdk/pull/20843#discussion_r1752766131
PR Review Comment: https://git.openjdk.org/jdk/pull/20843#discussion_r1752780405


More information about the hotspot-dev mailing list