On Tue, 14 Oct 2025 11:51:09 GMT, Quan Anh Mai <[email protected]> wrote:
> Hi,
>
> Currently, the class `AdapterFingerPrint` only tracks the types of the
> arguments in the calling convention. This does not work well with the
> inclusion of value classes which need to be packed and unpacked when passed
> between different tiers. This is because 2 types can have the same sequence
> of field types, yet the fields are placed at different offsets. In those
> cases, the code to pack those types cannot be the same, hence the adapter
> code cannot be shared. Currently, a hack is implemented to cover the cases of
> inherited fields. For example:
>
> value class MyAbstract {
> int x;
> }
>
> value class MyValue1 extends MyAbstract {}
>
> value class MyValue2 {
> int x;
> }
>
> In this case, since `MyAbstract` is an abstract class, we do not know the
> complete field sequence of every class that has the field `MyAbstract.x`.
> Moreover, we need to ensure that the payload of a value class is stable when
> it is flattened, and it can be accessed atomically if atomicity is required.
> As a result, `MyAbstract.x` must have the highest alignment, which is
> currently 8 because the largest atomic flat access is 8-byte. However,
> `MyValue2.x` does not need such a large alignment.
>
> The current hack put a pair of `T_METADATA`, `T_VOID` before an inherited
> field. This is fine for the case above, but it clashes with another case:
>
> value class MyValue3 {
> @NullRestricted
> Empty e;
> int x;
> }
>
> The solution I propose is to add field offsets into `AdapterFingerPrint`, as
> well as removing the current hack. Please take a look and leave your reviews,
> thanks a lot.
This pull request has now been integrated.
Changeset: 75c007b1
Author: Quan Anh Mai <[email protected]>
URL:
https://git.openjdk.org/valhalla/commit/75c007b13865a023fb830805436b07f263e4abef
Stats: 252 lines in 3 files changed: 139 ins; 59 del; 54 mod
8348547: [lworld] Investigate false adapter sharing due to inherited fields in
the calling convention
Reviewed-by: thartmann
-------------
PR: https://git.openjdk.org/valhalla/pull/1679
