李鹏同学在blog里写了篇关于hashmap死锁模拟的文章: http://blog.csdn.net/madding/archive/2010/08/25/5838477.aspx 做个纠正,那个不是死锁问题,而是死循环。
在之前的邮件列表里,校长提出过这个问题,当时我没仔细看,不清楚这个问题究竟是对 hashmap的误用,还是hashmap的潜在问题, 当时感觉不太可能是hashmap自身的问题,否则问题大了。应该是属于在并发的场景下错误的 使用了hashmap。昨天看了李鹏的blog后,觉得这个事情还是应该搞清楚一下;虽然我推测是链表形成闭环,但 没有去证明过。从网上找了一下: http://blog.csdn.net/autoinspired/archive/2008/07/16/2662290.aspx 里面也有提到:
产生这个死循环的根源在于对一个未保护的共享变量 — 一个”hashmap”数据结构的操作。当在 所有操作的方法上加了”synchronized”后,一切恢复了正常。检查”hashmap”(java se 5.0)的源 码,我们发现有潜在的破坏其内部结构最终造成死循环的可能。在下面的代码中,如果我们使得 hashmap中的entries进入循环,那 么”e.next()”永远都不会为null。
不仅get()方法会这样,put()以及其他对外暴露的方法都会有这个风险,这算jvm的bug吗?应该说不是的,这个现象很早以前就报告出来了(详细见: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6423457)。sun的工程师并不认为这 是bug,而是建议在这样的场景下应用”concurrenthashmap”,在构建可扩展的系统时应将这点 纳入规范中。
这篇翻译提到了对<code>hashmap</code>的误用,但它没有点破<code>hashmap</code>内部结构在什么样误用情况下怎么被 破坏的;我想要一个有力的场景来弄清楚。再从李鹏的blog来看,用了2个线程来put就模拟出来了,最后堆栈是在 <code>transfer</code> 方法上(该方法是数据扩容时将数据从旧容器转移到新容器)。 仔细分析了一下里面的代码,基本得出了原因,证明了我之前的推测。
假设扩容时的一个场景如下(右边的容器是一个长度 2 倍于当前容器的数组) 单线程情况。
我们分析数据转移的过程,主要是链表的转移。
执行过一次后的状态:
最终的结果:
两个线程并发情况下,扩容时可能会创建出 2 个新数组容器
顺利的话,最终转移完可能是这样的结果
但并发情况下,出现死循环的可能场景是什么呢? 还要详细的分析一下代码,下面的代码中重点在 <code>do/while</code> 循环结构中(完成链 表的转移)。
2 个线程并发情况下, 当线程 1 执行到上面第 9 行时,而线程 2 已经完成了一 轮 do/while 操作,那么它的状态如下图:
(上面的数组时线程 1 的,已经完成了链表数据的转移;下面的是线程 2 的,它 即将开始进行对链表数据的转移,此时它记录 e1 和 e2 的首位已经被线程 1 翻 转了)
后续的步骤如下:
1) 插入 e1 节点,e1 节点的 next 指向新容器索引位置上的值(null 或 entry)
2) 插入 e2 节点,e2 的 next 指向当前索引位置上的引用值 e1
3)因为 next 不为 null,链表继续移动,此时 2 节点之间形成了闭环。造成了 死循环。
上面只是一种情况,造成单线程死循环,双核 cpu 的话占用率是 50%,还有导致 100%的情况,应该也都是链表的闭环所致。
最终,这并不是 hashmap 的问题,是使用场景的不当,在并发情况下选择非线程 安全的容器是没有保障的。