上一篇文章我们用图分析了JDK7中造成cpu100%的原因,下面分析JDK8中可能出现的数据覆盖问题:
JDK8中已经没有transfer()函数,数据的迁移都是在resize()中完成的,并且采用了尾插法,不会出现链表成环问题,当时当我们进行put操作时数据覆盖的问题仍然存在:
代码:
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
boolean evict) {
Node<K,V>[] tab; Node<K,V> p; int n, i;
if ((tab = table) == null || (n = tab.length) == 0)
n = (tab = resize()).length;
if ((p = tab[i = (n - 1) & hash]) == null) // 判断数组索引下标位置是否有值
tab[i] = newNode(hash, key, value, null);
else {
Node<K,V> e; K k;
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k))))
e = p;
else if (p instanceof TreeNode)
e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
else {
for (int binCount = 0; ; ++binCount) {
if ((e = p.next) == null) {
p.next = newNode(hash, key, value, null);
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
treeifyBin(tab, hash);
break;
}
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
p = e;
}
}
if (e != null) { // existing mapping for key
V oldValue = e.value;
if (!onlyIfAbsent || oldValue == null)
e.value = value;
afterNodeAccess(e);
return oldValue;
}
}
++modCount;
if (++size > threshold)
resize();
afterNodeInsertion(evict);
return null;
}
1.如果有两个线程同时进行put操作,并且通过他们的key获得的hash值和(n-1)相与得到的数组下标是相同的,当第一个线程执行到if ((p = tab[i = (n - 1) & hash]) == null)判断该位置上没有节点,可以直接添加新节点时,第二个线程抢占了cpu,并且也通过了上述判断成功添加了节点在此数组下标的位置上,这时又切换回第一个线程,由于之前已经通过了if判断,所以也会直接添加新节点在此数组下标的位置,这样一来就覆盖了线程二已经添加的节点。
2.在put方法中还存在size++操作(i++操作本身就是线程不安全的,i++会被分解成三个指令①getfield拿到原始值②执行iadd进行加一操作③putfield把累加后的值返回),如果两个线程同时执行size++操作,线程一先拿到了size的初始值12,然后线程二抢占了cpu,拿到了size的值为12,并进行了+1操作,变成了13,将修改写回size,线程一又继续在开始时拿到的值上执行+1操作,得到结果13,写回size,这就又造成了数据覆盖。
HashMap
的线程不安全主要体现在下面两个方面:
1.在JDK1.7中,当并发执行扩容操作时会造成环形链和数据丢失的情况。
2.在JDK1.8中,在并发执行put操作时会发生数据覆盖的情况。
如有问题欢迎指正
参考文章链接(原作者链接):JDK1.7和JDK1.8中HashMap为什么是线程不安全的?_张先森的博客-CSDN博客_hashmap为什么线程不安全