<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
Hi again Chen,</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
We are working with "condensers" in project Leyden, which may run before runtime. These might evaluate ComputedConstants. For example, a MethodHandle might be resolved in this phase and can be directly obtained from byte code.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
Here is an article about condensers: <a href="https://openjdk.org/projects/leyden/notes/03-toward-condensers" id="LPlnk987099">https://openjdk.org/projects/leyden/notes/03-toward-condensers</a></div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
Best, Per</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> liangchenblue@gmail.com <liangchenblue@gmail.com><br>
<b>Sent:</b> Friday, September 1, 2023 9:53 AM<br>
<b>To:</b> Per-Ake Minborg <per-ake.minborg@oracle.com><br>
<b>Cc:</b> leyden-dev@openjdk.org <leyden-dev@openjdk.org><br>
<b>Subject:</b> Re: [External] : ComputedConstant: rename to Lazy?</font>
<div> </div>
</div>
<div>
<div dir="ltr">Thank you for this clarification.
<div><br>
</div>
<div>The main reason that I considered the "Lazy" name is that "Constant" as a term isn't well-defined in our API specification: simply put, it's like a final with lazy semantics like described in John Rose's JEP draft [1] (which also seems to consider Leyden's
development and overlaps partially with CC proposal), where it can be optimized (constant fold) like final (static or non-static with -XX:+TrustFinalNonStaticFields) fields. Can we emphasize such a "final" nature without confusing it with actual constants?</div>
<div><br>
</div>
<div>In addition, in what case can the computation of a CC start before VM startup? I cannot think of any example and would like to know one.</div>
<div><br>
</div>
<div>Chen</div>
<div><br>
</div>
<div>[1] <a href="https://openjdk.org/jeps/8209964" target="_blank">https://openjdk.org/jeps/8209964</a></div>
</div>
<br>
<div class="x_gmail_quote">
<div dir="ltr" class="x_gmail_attr">On Fri, Sep 1, 2023 at 2:27 PM Per-Ake Minborg <<a href="mailto:per-ake.minborg@oracle.com" target="_blank">per-ake.minborg@oracle.com</a>> wrote:<br>
</div>
<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">
<div>
<div dir="ltr">
<div style="font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Hi Chen,</div>
<div style="font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
In the beginning, we used Lazy but it became apparent that CCs are more than that. In fact, computation might occur even BEFORE the JVM starts and then the name Lazy becomes confusing. It is all but lazy in this case.</div>
<div style="font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
So, we arrived at the more general name ComputedConstant. It does not carry any indication as to when the constant is computed.</div>
<div style="font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Best, Per</div>
<div id="x_m_2839419107008064195m_1892552666186648786m_-3580282641515976166m_-1045121041819282206appendonsend">
</div>
<hr style="display:inline-block; width:98%">
<div id="x_m_2839419107008064195m_1892552666186648786m_-3580282641515976166m_-1045121041819282206divRplyFwdMsg" dir="ltr">
<font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b>
<a href="mailto:liangchenblue@gmail.com" target="_blank">liangchenblue@gmail.com</a> <<a href="mailto:liangchenblue@gmail.com" target="_blank">liangchenblue@gmail.com</a>><br>
<b>Sent:</b> Friday, September 1, 2023 6:59 AM<br>
<b>To:</b> <a href="mailto:leyden-dev@openjdk.org" target="_blank">leyden-dev@openjdk.org</a> <<a href="mailto:leyden-dev@openjdk.org" target="_blank">leyden-dev@openjdk.org</a>>; Per-Ake Minborg <<a href="mailto:per-ake.minborg@oracle.com" target="_blank">per-ake.minborg@oracle.com</a>><br>
<b>Subject:</b> [External] : ComputedConstant: rename to Lazy?</font>
<div> </div>
</div>
<div>
<div dir="ltr">Hello,
<div>I noticed that ComputedConstant, in addition to ensuring constant-folding of lazy values, is a general-purpose lazy wrapper, and can be used even outside of constant-folding scenarios to offer thread safety and error handling in lazy computations.</div>
<div><br>
</div>
<div>Thus, I recommend renaming it into Lazy, or some other name more simple and concise than ComputedConstant, to the ease of users.</div>
<div><br>
</div>
<div>A similar scenario exists in JDK already: List.of() factory wraps an array with stable annotation, thereby offering constant-folded arrays/lists that's faster to iterate (random access via List.get() in an index loop, not using iterators) by index compared
to a plain array when both are stored in static final fields. However, we are not calling such a factory list a "Constant List," but simply an immutable list.</div>
<div><br>
</div>
<div>This proposal only changes the name of CC; it will not affect the specification (thread safety, error handling, constant-foldability) in any way, and it does not propose to change the method names.</div>
<div><br>
</div>
<div>Best,</div>
<div>Chen Liang</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</body>
</html>