<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Consolas;
        panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;
        mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:#954F72;
        text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
        {mso-style-name:msonormal;
        mso-margin-top-alt:auto;
        margin-right:0cm;
        mso-margin-bottom-alt:auto;
        margin-left:0cm;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
span.EmailStyle18
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
span.EmailStyle19
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
span.EmailStyle20
        {mso-style-type:personal-compose;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal">Hi,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span lang="EN-US">I have experimented on x86 and I get a very similar graph when using -XX:ObjectAlignmentInBytes=16 (prevents oop decoding matched into operands) in addition to the flags below under [1].<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">If -XX:+UseLargePages (which is used to skip the heap base protection) is supported on Windows, the problem exists there as well.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">As the graph pattern on PPC64 is the same as on x86, I believe that there’s nothing wrong except the missing check for narrow_oop_use_implicit_null_checks(), which is added by the webrev below.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The remaining question is if there’s a better test than “base->as_Mach()->ideal_Opcode() == Op_DecodeN”.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">I will also need a sponsor for this change, please.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Thanks and best regards,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Martin<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="mso-fareast-language:DE">From:</span></b><span lang="EN-US" style="mso-fareast-language:DE"> hotspot-compiler-dev [mailto:hotspot-compiler-dev-bounces@openjdk.java.net]
<b>On Behalf Of </b>Doerr, Martin<br>
<b>Sent:</b> Freitag, 10. März 2017 18:49<br>
<b>To:</b> 'hotspot-compiler-dev@openjdk.java.net' <hotspot-compiler-dev@openjdk.java.net><br>
<b>Subject:</b> RFR: (S) 8176518: [9] C2: Invalid ImplicitNullChecks with non-protected heap base<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Hi,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span lang="EN-US">we have observed that C2 generates implicit null checks for write accesses to the heap base even though it was not protected (narrow_oop_use_implicit_null_checks = false).<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The problem showed up on AIX with -XX:HeapBaseMinAddress=32g. ReservedHeapSpace::establish_noaccess_prefix protects the base area on almost all platforms, but not on AIX (in some case).<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">PhaseCFG::implicit_null_check needs to skip the transformation in this case.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The problem can be reproduced by the simple test program below under [1]. The null pointer exception is just missing when running with the given parameters.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The problem can be prevented by applying this patch:<o:p></o:p></span></p>
<p class="MsoNormal"><a href="http://cr.openjdk.java.net/~mdoerr/8176518_C2_NullCheck/webrev.00/"><span lang="EN-US">http://cr.openjdk.java.net/~mdoerr/8176518_C2_NullCheck/webrev.00/</span></a><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Especially, the case “base->is_Mach() && base->as_Mach()->ideal_Opcode() == Op_DecodeN” gets hit. I’m not sure if this is allowed at that place. Maybe something went wrong before.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The node “base” is a storeI and “addr”=”base” is a decodeN node (the “index” retrieved by mach->memory_inputs is NULL).<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The patch helps, but is there a better way to fix the problem?<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Thanks and best regards,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Martin<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">[1] Reproduction case:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">/jdk/bin/java -XX:HeapBaseMinAddress=32g -XX:-TieredCompilation -Xbatch TestWriteNPE<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">public</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">class</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> TestWriteNPE{</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">    TestWriteNPE instance =
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">null</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">;</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">   
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">int</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
<span style="background:yellow;mso-highlight:yellow">i</span> = 0;</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">   
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">public</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">void</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> bogus_test(</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">int</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
 value) {</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        instance.<span style="background:yellow;mso-highlight:yellow">i</span> = value;</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">    }</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">   
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">static</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">final</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">int</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> loop_cnt=100000;</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">   
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">public</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">static</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">void</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> main(String args[]){</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        TestWriteNPE xyz=</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">new</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
 TestWriteNPE();</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        xyz.instance = xyz;</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        </span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">long</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
 duration = System.nanoTime();</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">       
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">for</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> (</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">int</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
 x=0; x<loop_cnt; x++) xyz.bogus_test(x);</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        duration = System.nanoTime() - duration;</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        System.out.println(</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#2A00FF">"value: "</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">
 + xyz.<span style="background:silver;mso-highlight:silver">i</span> + </span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#2A00FF">" (duration: "</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> +
 duration/loop_cnt + </span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#2A00FF">")"</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">);</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        xyz.instance =
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">null</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">;</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">       
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">try</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> {</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">            xyz.bogus_test(0);</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">        }
</span><b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#7F0055">catch</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black"> (NullPointerException np) {</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">            System.out.println(</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:#2A00FF">"Got NPE:"</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">);</span><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-size:10.0pt;font-family:Consolas;color:black">           
</span><span style="font-size:10.0pt;font-family:Consolas;color:black">np.printStackTrace();</span><span style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:10.0pt;font-family:Consolas;color:black">        }</span><span style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:10.0pt;font-family:Consolas;color:black">    }</span><span style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:10.0pt;font-family:Consolas"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:10.0pt;font-family:Consolas;color:black">}</span><span style="font-size:10.0pt;font-family:Consolas"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>