> Consider code like:
> 
> void test(Object o) {
>     switch (o) {
>         case X1 -> {}
>         case X2 -> {}
> ...(about 100 cases)
> ``` 
> 
> javac will compile the switch into a switch whose selector is an indy 
> invocation to `SwitchBootstraps.typeSwitch`, with static arguments being the 
> types in the cases.
> 
> `SwitchBootstraps.typeSwitch` will then create a chain of `MethodHandle`s 
> performing `instanceof` checks between the switch's selector and the given 
> case type. The problem is that when the number of cases is high enough, (more 
> than ~40-50), the chain gets too long, and the tests won't inline anymore. 
> This then leads to a very bad performance, when compared to manually written 
> if-instanceof-else-if-instanceof- chain.
> 
> The proposal herein is to use bytecode (written using the ClassFile 
> API/library) instead of the `MethodHandle`s chain. The overall performance of 
> this seems to be similar to the manually written 
> if-instanceof-else-if-instanceof- chain.
> 
> Using the benchmark from the bug, and this patch, I am getting:
> 
> MyBenchmark.testIfElse100  thrpt    5  521826.326 ± 7510.042  ops/s
> MyBenchmark.testSwitch100  thrpt    5  505440.170 ± 3757.178  ops/s
> 
> 
> The most tricky part of this new way to generate the tests is handling of 
> non-type case labels, and in particular cases with enum constant labels. The 
> resolution of enum constants is deferred as much as possible, by using an 
> indirection through the `ResolvedEnumLabels`.
> 
> Further improvements may be possible, esp. for some specific cases (like all 
> cases having a type, and the type being a final class).

Jan Lahoda has updated the pull request incrementally with two additional 
commits since the last revision:

 - Some more get->orElseThrow
 - Reflecting review feedback.

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/16489/files
  - new: https://git.openjdk.org/jdk/pull/16489/files/263bd3d6..94d47488

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=16489&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=16489&range=00-01

  Stats: 167 lines in 2 files changed: 46 ins; 4 del; 117 mod
  Patch: https://git.openjdk.org/jdk/pull/16489.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/16489/head:pull/16489

PR: https://git.openjdk.org/jdk/pull/16489

Reply via email to