<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<font size="4"><font face="monospace">One thing that may not be
obvious about this work is that what it effectively does is
provide a supported, public, specified means to expose the
functionality that is now restricted to internal JDK use via
`@Stable`. (So computed constants is-to @Stable as VarHandles
are to Unsafe::{get,put}Xxx.)</font></font><br>
<br>
<div class="moz-cite-prefix">On 7/27/2023 11:52 AM, Per-Ake Minborg
wrote:<br>
</div>
<blockquote type="cite" cite="mid:DM6PR10MB42837B145AE7240575E9D057DA01A@DM6PR10MB4283.namprd10.prod.outlook.com">
<style type="text/css" style="display:none;">P {margin-top:0;margin-bottom:0;}</style>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span class="x_elementToProof" style="font-size: 12pt; margin:
0px; background-color: rgb(255, 255, 255);"><span class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; margin: 0px; display: inline !important; color:
rgb(36, 36, 36); background-color: rgb(255, 255, 255);">Hi
all,</span></span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<div class="x_elementToProof" style="font-size: 12pt; margin:
0px; background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> Maurizio and I have drafted a JEP for
computed constants, which are</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> immutable value holders that are
initialized at most once. They offer</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> the performance and safety benefits
of final fields while offering</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> greater flexibility as to the timing
of initialization. In the</span><br class="x_ContentPasted0
ContentPasted0" style="font-size: 14.6667px; color: rgb(36,
36, 36); background-color: rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> context of Leyden, they could be one
basis for shifting computation</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> both forward and backward in time.</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
</div>
<div class="x_elementToProof" style="font-size: 12pt; margin:
0px; background-color: rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> The draft is here:<span class="x_ContentPasted0 ContentPasted0" style="margin:0px"> </span></span><a href="https://openjdk.org/jeps/8312611" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="0" class="x_ContentPasted0 ContentPasted0
moz-txt-link-freetext" style="font-size: 14.6667px; margin:
0px; background-color: rgb(255, 255, 255);" moz-do-not-send="true">https://openjdk.org/jeps/8312611</a><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
</div>
<div class="x_elementToProof" style="font-size: 12pt; margin:
0px; background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> Now that the Leyden repo is open,
I’ll publish the prototype code to a</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> new branch there shortly.</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
</div>
<div class="x_elementToProof" style="font-size: 12pt; margin:
0px; background-color: rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> Comments are welcome!</span><br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
</div>
<div class="x_elementToProof" style="font-size: 12pt; margin:
0px; background-color: rgb(255, 255, 255);">
<br class="x_ContentPasted0 ContentPasted0" style="font-size:
14.6667px; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);">
<span class="x_ContentPasted0 ContentPasted0" style="font-size: 14.6667px; margin: 0px; display: inline
!important; color: rgb(36, 36, 36); background-color:
rgb(255, 255, 255);"> Best, Per</span></div>
<br>
</div>
</blockquote>
<br>
</body>
</html>