<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div><br></div><div><br></div><hr id="zwchr" data-marker="__DIVIDER__"><div data-marker="__HEADERS__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><b>From: </b>"Brian Goetz" <brian.goetz@oracle.com><br><b>To: </b>"Remi Forax" <forax@univ-mlv.fr>, "Per-Ake Minborg" <per-ake.minborg@oracle.com><br><b>Cc: </b>"leyden-dev" <leyden-dev@openjdk.org>, "John Rose" <john.r.rose@oracle.com><br><b>Sent: </b>Thursday, July 27, 2023 6:23:01 PM<br><b>Subject: </b>Re: Draft JEP Announcement: "Computed Constants"<br></blockquote></div><div><style style="display:none;">P {margin-top:0;margin-bottom:0;}</style></div><div data-marker="__QUOTED_TEXT__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><font size="4"><font face="monospace">As Maurizio said, this JEP is
a refinement of ideas that were initially explored in the "lazy
statics" JEP. In a way, this JEP reveals the "lazy statics" JEP
as skipping a step, jumping to a language and VM when much of
the benefit can be achieved by a libraries approach. It is
possible that at some point, after suitable progress and
validation, we may decide to take the step of pushing it further
into the language/VM, but we've made the deliberate choice to
push such steps into the future. <br><br>
In the meantime, there is no reason we cannot have multiple
"inconsistent" draft or candidate JEPs, so there is no need to
"merge" anything right now. </font></font></blockquote><div><br></div><div>Here is my counter-proposal, use a @Lazy annotation to mark the static final field and requires the static final fields to be initialized by a static method.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>With the Logger example, it becomes<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>class Bar {<br> // 1. Declare a computed constant value, it has to be initialized by a static method<br> private static final @Lazy Logger LOGGER = initLogger();<br> <br> // 2. Initialize the value<br> private static Logger initLogger() {<br> return Logger.getLogger("com.foo.Bar");<br> }<br>}<br><br data-mce-bogus="1"></div><div>You have exactly the same information, it's easier for a class rewriter than the computed constant proposal and a compiler guy and then a VM guy can also work on it.<br data-mce-bogus="1"></div><div>And obvisouly, it's a backward compatible change.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>Rémi<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><font size="4"><font face="monospace"><br><br></font></font><br>
<div class="moz-cite-prefix">On 7/27/2023 12:09 PM, Remi Forax
wrote:<br>
</div>
<blockquote cite="mid:1265545759.4350538.1690474147671.JavaMail.zimbra@univ-eiffel.fr">
<div style="font-family: arial, helvetica, sans-serif; font-size:
12pt; color: #000000">
<div>Hello,<br>
</div>
<div>Are you aware of the lazy static final fields proposal ?<br>
</div>
<div> <a href="https://bugs.openjdk.org/browse/JDK-8209964" class="moz-txt-link-freetext" target="_blank">https://bugs.openjdk.org/browse/JDK-8209964</a><br>
</div>
<div><br>
</div>
<div>In think both proposals should be merged.<br>
</div>
<div><br>
</div>
<div>Rémi<br>
</div>
<div><br>
</div>
<hr id="zwchr">
<div>
<blockquote style="border-left:2px solid
#1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><b>From:
</b>"Per-Ake Minborg" <a class="moz-txt-link-rfc2396E" href="mailto:per-ake.minborg@oracle.com" target="_blank"><per-ake.minborg@oracle.com></a><br>
<b>To: </b>"leyden-dev" <a class="moz-txt-link-rfc2396E" href="mailto:leyden-dev@openjdk.org" target="_blank"><leyden-dev@openjdk.org></a><br>
<b>Sent: </b>Thursday, July 27, 2023 5:52:46 PM<br>
<b>Subject: </b>Draft JEP Announcement: "Computed
Constants"<br>
</blockquote>
</div>
<div>
</div>
<div>
<blockquote style="border-left:2px solid
#1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;">
<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><a href="https://openjdk.org/jeps/8312611" target="_blank" rel="noopener noreferrer" class="x_ContentPasted0 ContentPasted0
moz-txt-link-freetext" style="font-size: 14.6667px;
margin: 0px; background-color: rgb(255, 255, 255);">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>
<br>
</blockquote>
</div>
</div>
</blockquote>
<br><br></blockquote></div></div></body></html>