<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Hi Remi,<br>
I understand that the theme of static variables implemented via
condy is dear to you.</p>
<p><br>
</p>
<p>That said, this attitude of immediately shooting out a
counter-proposal 5 minutes after seeing a JEP which originated
after giving the very same topics you mention a considerable
amount of thought, is (a) unfair and (b) has the net effect of
sucking all the oxygen out this discussion.</p>
<p><br>
</p>
<p>Your comments are noted, now let's also make sure we hear what
other people have to say.</p>
<p><br>
</p>
<p>Cheers<br>
Maurizio<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 27/07/2023 18:03, <a class="moz-txt-link-abbreviated" href="mailto:forax@univ-mlv.fr">forax@univ-mlv.fr</a>
wrote:<br>
</div>
<blockquote type="cite" cite="mid:2085881755.4354553.1690477413009.JavaMail.zimbra@univ-eiffel.fr">
<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" <a class="moz-txt-link-rfc2396E" href="mailto:brian.goetz@oracle.com"><brian.goetz@oracle.com></a><br>
<b>To: </b>"Remi Forax" <a class="moz-txt-link-rfc2396E" href="mailto:forax@univ-mlv.fr"><forax@univ-mlv.fr></a>, "Per-Ake
Minborg" <a class="moz-txt-link-rfc2396E" href="mailto:per-ake.minborg@oracle.com"><per-ake.minborg@oracle.com></a><br>
<b>Cc: </b>"leyden-dev" <a class="moz-txt-link-rfc2396E" href="mailto:leyden-dev@openjdk.org"><leyden-dev@openjdk.org></a>,
"John Rose" <a class="moz-txt-link-rfc2396E" href="mailto:john.r.rose@oracle.com"><john.r.rose@oracle.com></a><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" moz-do-not-send="true">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" moz-do-not-send="true"><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" moz-do-not-send="true"><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);" 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>
<br>
</blockquote>
</div>
</div>
</blockquote>
<br>
<br>
</blockquote>
</div>
</div>
</blockquote>
</body>
</html>