Java中,一个存在十几年的bug...
作者:海纳
今天,分享一个jdk中令人惊讶的bug,这个bug的神奇之处在于,复现它的用例太简单了,人肉眼就能回答的问题,jdk中却存在了十几年。经过测试,我们发现从jdk8到14都存在这个问题。
大家可以在自己的开发平台上试试这段代码:
public class hello { public void test() { int i = 8; while ((i -= 3) > 0); system.out.println("i = " + i); } public static void main(string[] args) { hello hello = new hello(); for (int i = 0; i < 50_000; i++) { hello.test(); } } }
再使用以下命令执行:java hello
然后,就会看到这样的输出:
当然,在程序的开始阶段,还是能打印出正确的"i = -1"。
这个问题最终huawei jdk的两名同事解决掉了,并且回合到社区。我这里大概讲一下分析的思路。关注微信公众号:java技术栈,在后台回复:java,可以获取我整理的 n 篇最新 java 教程,都是干货。
首先,使用解释执行可以发现,结果都是正确的,这就说明,这基本上是jit编译器的问题,然后通过-xx:-tieredcompilation关闭c1编译,问题同样复现,但是使用-xx:tieredstopatlevel=3将jit编译停留在c阶段,问题就不复现,这可以确定是c2的问题了。
接下来,一名同事立即猜想到这个"/"其实是('0'-1),刚好是字符零的ascii码减掉1。嗯,熟记ascii码表的重要性就体现出来了。接下来,就是找到c2中 int 转字符的地方。关键点,就在于这个字符'0',当然这里要对c2有足够的了解,马上就找到c2中字符转化的方法(具体的代码 ,请参考openjdk社区):
void phasestringopts::int_getchars(graphkit& kit, node* arg, node* char_array, node* start, node* end) { // ...... // char sign = 0; node* i = arg; node* sign = __ intcon(0); // if (i < 0) { // sign = '-'; // i = -i; // } { ifnode* iff = kit.create_and_map_if(kit.control(), __ bool(__ cmpi(arg, __ intcon(0)), booltest::lt), prob_fair, count_unknown); regionnode *merge = new (c) regionnode(3); kit.gvn().set_type(merge, type::control); i = new (c) phinode(merge, typeint::int); kit.gvn().set_type(i, typeint::int); sign = new (c) phinode(merge, typeint::int); kit.gvn().set_type(sign, typeint::int); merge->init_req(1, __ iftrue(iff)); i->init_req(1, __ subi(__ intcon(0), arg)); sign->init_req(1, __ intcon('-')); merge->init_req(2, __ iffalse(iff)); i->init_req(2, arg); sign->init_req(2, __ intcon(0)); kit.set_control(merge); c->record_for_igvn(merge); c->record_for_igvn(i); c->record_for_igvn(sign); } // for (;;) { // q = i / 10; // r = i - ((q << 3) + (q << 1)); // r = i-(q*10) ... // buf [--charpos] = digits [r]; // i = q; // if (i == 0) break; // } { // 略去和这个循环相对应的代码 } // 略去很多代码 }
可以看到,这里在中间表示阶段引入了一个“i < 0"的判断。主要就是那个cmpi结点,看起来这里的逻辑走错了,导致 i 明明小于0,结果却走到了大于0的分支,这样,直接拿字符'0'与i求和的结果,就是错的了。
那这个cmpi为什么会错呢?使用c2visualizer工具可以看到,在gvn阶段,上面循环中的cmpi和这里引入的cmpi被合并了。gvn的全称是global value numbering,名字很高大上,其实就是表达式去重。例如:
上面的例子中,两个 cmpi 的输入参数是完全相同的。都是变量 i 和整数 0,那么,这两个cmpi 结点其实就是完全相同的。这样的话,编译器在做中间优化的时候就会把这两个cmpi结点合并成一个。
到这里为止,其实还是没问题的。但接下来,编译器会对空的循环体做一些特别的变换,编译器能直接计算出空循环体结束以后,i 的值是 -1,又发现空循环体什么都不做,所以,它干脆把cmpi的两个参数都换成了 -1,以便于让循环走不进来——而且,编译器再做一次常量传播就可以把这个cmpi彻底干掉了。
但是,这里cmpi就有问题了,这里强行搞成 false 让循环不执行,并且把 i 的值也直接变成循环结束的那个值。但刚才合并的那个cmpi 也被吃掉了。
这就导致,直接拿着 i = -1 这个值进到了 i >= 0 的分支里了。所以修改也很简单,那就是在对cmpi变换的时候,看看它还有没有其他的out,如果有,就复制一份出来。
这个bug的相关issue和patch在这里:
https://bugs.openjdk.java.net/projects/jdk/issues/jdk-8231988?filter=allissues
jbs系统上没有详细的分析过程,只有最后的patch,所以我把这个问题写了个总结发在这里。可以看到,即使是很简单的测试用例,在编译器内部也会经历各种复杂的变换和优化。然后一些阶段的优化可能会影响后一个阶段的,所以编译器的bug也往往晦涩。但反过来说,也很有意思。
推荐去我的博客阅读更多:
2.spring mvc、spring boot、spring cloud 系列教程
3.maven、git、eclipse、intellij idea 系列工具教程
生活很美好,明天见~
上一篇: 集中权限管理框架——Ranger
下一篇: 挤公交车,真的很尴尬
推荐阅读
-
关于工作中.net转java遇到的一个远程调用传递重复参的问题。
-
西夏作为一个存在两百多年实力强悍的国家 为什么二十四史中没有它的存在呢
-
java中给出一个主线程要join子线程的例子
-
java中给出一个子线程如何捕获主线程异常的例子
-
MAC将多张图片保存在一个PDF文档中的方法
-
【代码碎片】【Java】抽取List
中的某个E项目,返回一个新的子List -
Java中异常的概念及异常的形式存在
-
使用文本编辑器+命令行的方式实现Java中的第一个程序Hello World(上)
-
世人眼中他是一个完美无缺的翩翩公子 但他人生中也存在两大污点
-
怎么用java语言查询读出一个SQLite数据库文件中的数据?