> ## Preliminaries
>
> ### 1. The inlining heuristic NodeCountLimitCutoff
>
> In general, we don't want to inline a call if the graph is already too large.
> However, it is hard to decide whether the graph is large when we are still
> constructing the graph.
>
> - There are still more bytecodes that need parsing, and more nodes that need
> generating.
> - It is hard (maybe impossible) to reliably determine whether a node is dead
> during parsing.
>
> Due to the issues above, the heuristic depends on the number of generated
> nodes, which is an upper bound of the number of live nodes, and the threshold
> is pretty conservative.
>
> ### 2. Inlining a method
>
> To inline a method, C2 needs to generate the structure for the callee to
> reside in. This includes the map for the exception path, the map for the
> merge of all normal paths, their memory states, etc. My experiment shows
> that, inlining a call generates around 20 more nodes than if the call is
> inlined in the source code.
>
> private int v() {
> return this,v;
> }
>
> int test1() {
> return this.v();
> }
>
> int test2() {
> return this.v;
> }
>
> This means that, inlining a call consumes the budget of
> `NodeCountInliningCutoff`, which may prevent other calls from being inlined,
> even if other heuristics say that inlining is preferable. However, in
> practice, it is rarely an issue, because there is a difference of 3 orders of
> magnitude between the extra nodes generated by inlining, and the default
> value of `NodeCountInliningCutoff` (16000).
>
> ### 3. Foreign memory access API
>
> The aforementioned property that `NodeCountInliningCutoff` is 3 orders of
> magnitude larger than the number of extra nodes generated when inlining a
> call is broken due to how the FMA API is implemented. A memory access such as
> `j.l.f.MemorySegment::get` results in a huge call tree that needs inlining:
>
> @ 8 jdk.internal.foreign.AbstractMemorySegmentImpl::get (12 bytes)
> force inline by annotation callee changed to
> io.github.merykitty.BenchmarkDraft::test1 (14 bytes) -> TypeProfile
> (9083/9083 counts) = jdk/internal/foreign/NativeMemorySegmentImpl
> @ 1
> jdk.internal.foreign.layout.ValueLayouts$AbstractValueLayout::varHandle (24
> bytes) force inline by annotation
> @ 8 java.lang.invoke.VarHandleGuards::guard_LJ_I (84 bytes) force
> inline by annotation
> @ 3 java.lang.invoke.VarHandle::checkAccessModeThenIsDirect (29
> bytes) force inline by annotation
> @ 46 java.lang.invoke.VarForm::getMemberName (38 bytes) ...
Quan Anh Mai has updated the pull request incrementally with one additional
commit since the last revision:
copyright
-------------
Changes:
- all: https://git.openjdk.org/jdk/pull/30874/files
- new: https://git.openjdk.org/jdk/pull/30874/files/e7bee3af..76e0efac
Webrevs:
- full: https://webrevs.openjdk.org/?repo=jdk&pr=30874&range=06
- incr: https://webrevs.openjdk.org/?repo=jdk&pr=30874&range=05-06
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Patch: https://git.openjdk.org/jdk/pull/30874.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/30874/head:pull/30874
PR: https://git.openjdk.org/jdk/pull/30874
