你可知HashMap为什么是线程不安全的

 更新时间:2022年10月12日 15:56:23   作者:桐花思雨  
这篇文章主要介绍了你可知HashMap为什么是线程不安全的,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教

 

 

HashMap 的线程不安全

HashMap 的线程不安全主要体现在下面两个方面

  • 在 jdk 1.7 中,当并发执行扩容操作时会造成环形链和数据丢失的情况
  • 在 jdk 1.8 中,在并发执行 put 操作时会发生数据覆盖的情况

对于 jdk 1.7 中 HashMap 的线程不安全,暂且不谈了,我们主要看看 jdk 1.8 中的

HashMap 中的 put() 方法

该 put() 方法是 jdk 1.8 中的

public V put(K key, V value) {
	return putVal(hash(key), key, value, false, true);
}

final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
    Node<K,V>[] tab; Node<K,V> p; int n, i;
    // 判断 table[] 是否为空,如果是空的就创建一个 table[],并获取他的长度n
    if ((tab = table) == null || (n = tab.length) == 0)
    	n = (tab = resize()).length;	
    // 如果单链表节点 Node<K,V> p == tab[i = (n - 1) & hash]) == null,
    // 就直接 put 进单链表中,说明此时并没有发生 Hash 冲突
    if ((p = tab[i = (n - 1) & hash]) == null)
    	tab[i] = newNode(hash, key, value, null);
    else {
		// 说明索引位置已经放入过数据了,已经在单链表处产生了Hash冲突
        Node<K,V> e; K k;
		// 判断 put 的数据和之前的数据是否重复
        if (p.hash == hash &&
            // 进行 key 的 hash 值和 key 的 equals() 和 == 比较,如果都相等,则初始化数组 Node<K,V> e
            ((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 {
			// 如果不是红黑树,就遍历每个节点,判断单链表长度是否大于等于 7,
			// 如果单链表长度大于等于 7,数组的长度小于 64 时,会优先选择扩容
			// 如果单链表长度大于等于 7,数组的长度大于 64 时,才会选择单链表--->红黑树
            for (int binCount = 0; ; ++binCount) {
            	if ((e = p.next) == null) {
            		// 采用尾插法,在单链表中插入数据
                	p.next = newNode(hash, key, value, null);
                	// 如果 binCount >= 8 - 1
                    if (binCount >= TREEIFY_THRESHOLD - 1) 
                    	treeifyBin(tab, hash);
                        break;
                }
				// 判断索引每个元素的key是否可要插入的key相同,如果相同就直接覆盖
                if (e.hash == hash &&
					((k = e.key) == key || (key != null && key.equals(k))))
                    break;
                 p = e;
			}
		}
		// 说明数组或者单链表中有相同的key,因此只需要将value覆盖,并将oldValue返回即可
        if (e != null) { 
        	V oldValue = e.value;
            if (!onlyIfAbsent || oldValue == null)
            	e.value = value;
                afterNodeAccess(e);
              	return oldValue;
        }
	}
	// 说明没有key相同,因此要插入一个key-value,并记录内部结构变化次数
    ++modCount;
    // 判断是否扩容
    if (++size > threshold)
    	resize();
    afterNodeInsertion(evict);
    return null;
}

数据的覆盖一

第 13 行代码是判断是否出现 hash 冲突的,假设两个线程 A、B 都在进行 put 操作,并且它们 put 数据的 key 的 hash 值是相同的,同时它们 keyA == keyB 为 true 或者 keyA.equals(keyB) 为 true,也就是说它们 put 数据的 value 是不相同的

当线程 A 执行完第 13 行代码后由于时间片耗尽导致被挂起,而线程 B 得到时间片后在该单链表处插入了元素,完成了正常的插入

然后线程 A 获得时间片,由于之前已经进行了 hash 冲突的判断,所有此时不会再进行判断,而是直接进行插入覆盖,这就导致了线程 B 插入的数据被线程 A 覆盖了,从而发生了线程不安全

数据的覆盖二

第 58 行处有个 ++size,我们这样想,还是线程 A、B,这两个线程同时进行 put 操作时,假设当前 HashMap 的 size 大小为 10

当线程 A 执行到第 58 行代码时,从主内存中获得 size 的值为 10 后准备进行 +1 操作,但是由于时间片耗尽只好让出 CPU

于是线程 B 得到 CPU 调度,还是从主内存中拿到 size 的值 10 进行 +1 操作,完成了 put 操作,并将 size = 11 写回了主内存

然后线程 A 再次得到 CPU 调度,并继续执行(此时 size 的值仍为10),当执行完 put 操作后,还是将 size = 11 写了回内存。

此时,线程 A、B 都执行了一次 put 操作,但是 size 的值只增加了 1,所有说还是由于数据覆盖又导致了线程不安全

// HashMap 中 size 变量
transient int size;

以上为个人经验,希望能给大家一个参考,也希望大家多多支持脚本之家。

相关文章

  • Java的Channel通道之FileChannel类详解

    Java的Channel通道之FileChannel类详解

    这篇文章主要介绍了Java的Channel通道之FileChannel类详解,FileChannel类是Java NIO中的一个重要类,用于在文件中进行读写操作,它提供了一种高效的方式来处理大文件和随机访问文件的需求,需要的朋友可以参考下
    2023-10-10
  • Java使用Statement接口执行SQL语句操作实例分析

    Java使用Statement接口执行SQL语句操作实例分析

    这篇文章主要介绍了Java使用Statement接口执行SQL语句操作,结合实例形式详细分析了Java使用Statement接口针对mysql数据库进行连接与执行SQL语句增删改查等相关操作技巧与注意事项,需要的朋友可以参考下
    2018-07-07
  • Java9中对集合类扩展的of方法解析

    Java9中对集合类扩展的of方法解析

    这篇文章主要介绍了Java9 中对集合类扩展的of方法,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2021-09-09
  • Java LinkedHashSet集合的底层原理和TreeSet集合

    Java LinkedHashSet集合的底层原理和TreeSet集合

    LinkedHashSet保证元素有序且唯一,底层通过双链表实现,TreeSet元素不重复且可排序,底层使用红黑树实现排序,自定义类型排序可通过实现Comparable接口或提供Comparator来定义排序规则,适用于需要大量元素快速检索的场景
    2024-10-10
  • java.io.File的renameTo方法移动文件失败的解决方案

    java.io.File的renameTo方法移动文件失败的解决方案

    这篇文章主要介绍了java.io.File的renameTo方法移动文件失败的解决方案,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2021-07-07
  • Java基础之堆内存溢出的解决

    Java基础之堆内存溢出的解决

    这篇文章主要介绍了Java基础之堆内存溢出的解决,文中有非常详细的图文示例及代码示例,对正在学习java的小伙伴们有很好地帮助,需要的朋友可以参考下
    2021-05-05
  • IntelliJ IDEA弹出“IntelliJ IDEA License Activation”的处理方法

    IntelliJ IDEA弹出“IntelliJ IDEA License Activation”的处理方法

    这篇文章主要介绍了IntelliJ IDEA弹出“IntelliJ IDEA License Activation”的处理方法,本文给出解决方法,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2020-09-09
  • Java实现作业调度的示例代码

    Java实现作业调度的示例代码

    这篇文章主要为大家详细介绍了如何利用Java实现SJF算法调度,要求测试数据可以随即输入或从文件中读入,文中的示例代码讲解详细,需要的可以参考一下
    2023-04-04
  • Java Spring分别实现定时任务方法

    Java Spring分别实现定时任务方法

    这篇文章主要为大家详细介绍了Java与Spring设置动态定时任务的方法,定时任务的应用场景十分广泛,如定时清理文件、定时生成报表、定时数据同步备份等
    2022-07-07
  • 使用@CacheEvict清除指定下所有缓存

    使用@CacheEvict清除指定下所有缓存

    这篇文章主要介绍了使用@CacheEvict清除指定下所有缓存,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2021-12-12

最新评论