Doug Lea在J.U.C包里面写的BUG又被网友发现了(1)

简介: Doug Lea在J.U.C包里面写的BUG又被网友发现了(1)

BUG描述


一个编号为 8073704 的 JDK BUG,将串联起我的这篇文章。


也就是下面的这个链接。


https://bugs.openjdk.java.net/browse/JDK-8073704


这个 BUG 在 JDK 9 版本中进行了修复。也就是说,如果你用的 JDK 8,也许会遇到这样的问题。


先带大家看看这个问题是怎么样的:


image.png


这个 BUG 说:FutureTask.isDone 方法在任务还没有完成的时候就会返回 true。


image.png


响应了国家政策:谁污染,谁治理。


这个 BUG 的作者 Martin 老哥是这样描述的:


image.png


下面我会给大家翻译一下他要表达的东西。


但是在翻译之前,我得先做好背景铺垫,以免有的朋友看了后一脸懵逼。


如果要懂他在说什么,那我必须得再给你看个图片,这是 FutureTask 的文档描述:


image.png


image.png


这样写的目的是除了判断了 NEW 状态之外,还判断了两个中间状态:COMPLETING 和 INTERRUPTING。


那么除去上面的三个状态之外呢,就只剩下了这四个状态:


image.png


image.png


而这几种中,只有 INTERRUPTING 是一个中间态,所以他用后面的 != 排除掉了。


这样就是代码简洁了,但是理解起来多转个小弯。但是这两段代码表示的含义是一模一样的。


好了,关于这个 BUG 的描述就是这样的。


汇总为一句话就是,这个 Martin 老哥认为:


FutureTask.isDone 方法在任务还没有完成的时候,比如还是 COMPLETING 和 INTERRUPTING 的时候就会返回 true,这样是不对的。这就是 BUG。


仅从 isDone 源码中那段 status != NEW 的代码,我认为这个 Martin 老哥说的确实没有问题。因为确实有两个中间态,这段源码中是没有考虑的。


接下来,我们就围绕着这个问题进行展开,看看各位大神的讨论。


image.png



目录
相关文章
|
9天前
|
安全 Java 编译器
一个 Bug JDK 居然改了十年?
你敢相信么一个简单的Bug,JDK 居然花了十年时间才修改完成。赶快来看看到底是个什么样的 Bug?
19 1
一个 Bug JDK 居然改了十年?
|
6月前
|
NoSQL 程序员 C语言
探秘Segmentation Fault错误:程序猿的噩梦
探秘Segmentation Fault错误:程序猿的噩梦
|
7月前
|
NoSQL Java Redis
阿里P8熬了一个月肝出这份32W字Java面试手册,在Github标星31K+
互联网行业竞争越来越严峻,面试也是越来越难,一直以来我都想整理一套完美的面试宝典,奈何难抽出时间,这套1000+道的Java面试手册我整理了整整1个月,上传到Git上目前star数达到了30K+
|
监控 Java 测试技术
No.7 一篇文章讲清楚golang内存泄漏
No.7 一篇文章讲清楚golang内存泄漏
521 1
No.7 一篇文章讲清楚golang内存泄漏
|
Cloud Native Go 开发者
那些年,我们追过的Go BUG
那些年,我们追过的Go BUG
116 0
|
存储 Rust 供应链
编写完10万行代码,我发了篇长文吐槽Rust
编写完10万行代码,我发了篇长文吐槽Rust
181 0
|
开发工具 git
如何使用TortoiseGit指北,一篇讲清(下)
如何使用TortoiseGit指北,一篇讲清(下)
如何使用TortoiseGit指北,一篇讲清(下)
|
数据可视化 开发工具 git
|
Java 编译器 Go
字节跳动青训营Day04 - Go编译器优化
静态分析:不执行代码,推导程序的行为,分析程序的性质。 控制流:程序的执行流程 数据流:数据在控制流上的传递
233 0
字节跳动青训营Day04 - Go编译器优化