Vladimir, just to be sure I presume your analysis applies to both C1 and C2? what about compilers such as Graal?
I only looked at C1 & C2, but I'm sure it applies to Graal as well: GC interaction mechanism is the same for all JIT-compilers in HotSpot.
Best regards, Vladimir Ivanov
