Updated specifications

[Dan Heidinga]

Thanks Dan.  That looks good to me.

--Dan

From: Dan Smith <daniel.smith at oracle.com>
Date: Monday, June 24, 2024 at 2:47 PM
To: Dan Heidinga <dan.heidinga at oracle.com>
Cc: valhalla-spec-experts <valhalla-spec-experts at openjdk.java.net>
Subject: Re: Updated specifications
> On Jun 24, 2024, at 5:19 AM, Dan Heidinga <dan.heidinga at oracle.com> wrote:
>
> I’m still concerned about the sentence in 5.4 that says: “Linking activities may sometimes require the loading of additional classes.” as it can be read to support arbitrary class loads during linking.  David Holmes and I have been having a related discussion in https://bugs.openjdk.org/browse/JDK-8334324 about similar topics and this sentence would change the meaning of the spec and tilt those discussions.

Ah, thanks for the reference to that issue. I thought we could rephrase to help clean up the ambiguity, but it's clear that it's still a live issue to just figure out what behavior we want to disambiguate to (and whether various longstanding HotSpot behaviors need to change). That's not something I want to keep tying Valhalla to, so I'll spin this off as a separate issue.

I've filed a bug:
https://bugs.openjdk.org/browse/JDK-8334888

And here's the refreshed JVMS change doc:
https://cr.openjdk.org/~dlsmith/jep401/jep401-20240624/specs/value-objects-jvms.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-spec-observers/attachments/20240624/68a3de92/attachment-0001.htm>