多线程环境下，HashMap 为什么会出现死循环？

2401_84419325

于 2024-06-18 13:30:59 发布

阅读量841

点赞数 18

文章标签： java 开发语言 spring 后端 mysql

本文链接：https://blog.csdn.net/2401_84419325/article/details/139770746

版权

引言：HashMap作为一个常用的键值对存储结构，其内部实现在不同的JDK版本中有所演变，但其基本原理始终是通过哈希算法和数组来实现快速查找和存储。我们将探讨HashMap在多线程环境下出现死循环的根本原因，深入分析其中的数据结构特点以及并发修改可能带来的风险。同时，我们将提供解决这些问题的最佳实践和方法，包括使用线程安全的替代品如ConcurrentHashMap以及显式的同步控制策略。

题目

多线程环境下，HashMap 为什么会出现死循环？

其他补充

鱼聪明 AI 的回答：

鱼聪明 AI 地址：https://www.yucongming.com/

ConcurrentHashMap 的版本演变

JDK 1.5 - Segment 分段锁

初始版本的 ConcurrentHashMap 使用了 Segment 分段锁的策略。具体特点包括：
- 内部结构：采用了数组 + 链表的形式，每个 Segment 是一个独立的 HashMap，相当于把整个存储空间分成多个小的 HashMap，每个 Segment 都独享一把锁。
- 并发控制：每个 Segment 内部使用了 synchronized 关键字来保证线程安全，不同的 Segment 之间可以并发执行，提高了并发度。
- 扩容：每个 Segment 都可以独立进行扩容，减少了扩容时的锁竞争。
JDK 1.8 - CAS 和 synchronized 的组合

JDK 1.8 对 ConcurrentHashMap 进行了优化，主要改进包括：
- 数据结构：内部仍然采用 Segment 数组，但链表结构进行了优化，引入了红黑树来替代链表，提高了查找性能。
- 并发控制：引入了 CAS（Compare and Swap）操作来代替 synchronized，对于绝大多数操作，只有在必要时才会使用 synchronized 进行同步，减少了锁竞争的频率，提高了并发性能。
- 扩容：整体上也采用了更高效的扩容机制，减少了扩容时的线程阻塞时间。
JDK 10+ - 数组扩容优化

在后续的 JDK 版本中，ConcurrentHashMap 进一步优化了数组的扩容机制，使得扩容过程更加平滑和高效，减少了扩容操作对整体性能的影响。

ConcurrentHashMap 的插入数据过程

ConcurrentHashMap 的插入操作涉及到并发控制和数据结构的维护，整个过程可以简要描述如下：

计算哈希值和确定 Segment：
- 根据键的哈希值计算出要插入的 Segment 的索引位置。
获取锁：
- 使用 CAS 操作或者 synchronized 关键字获取对应 Segment 的锁。在 JDK 1.8 及之后的版本中，大多数情况下会使用 CAS 操作来尝试获取锁，只有在冲突或必要时才会使用 synchronized 来确保线程安全。
插入操作：
- 在获取到锁之后，执行插入操作。这包括将键值对添加到对应的链表或红黑树中，根据当前桶中元素的数量决定是否进行链表转换为红黑树的操作。
- 如果插入操作需要扩容 HashMap，会触发扩容操作，但在扩容时仍然会保持对 Segment 的锁定，以确保在扩容期间数据的一致性和线程安全性。
释放锁：
- 插入完成后，释放对应 Segment 的锁，允许其他线程对该 Segment 进行操作。

总体来说，ConcurrentHashMap 通过分段锁（JDK 1.5）或者更细粒度的并发控制（JDK 1.8 及之后版本）来保证在高并发场景下的线程安全性和性能。它的插入数据过程结合了哈希计算、并发控制和数据结构优化，确保在多线程环境下能够高效地处理插入操作，并且不会出现数据错乱或不一致的问题。