ConcurrentHashMap讲解

在 Java 并发编程中ConcurrentHashMap是高频使用的线程安全 Map 实现也是面试中几乎必问的核心知识点。它完美解决了 HashMap 线程不安全、Hashtable 性能极差的痛点在高并发场景下实现了安全与性能的平衡。本文将从设计背景、JDK1.7/JDK1.8 底层实现、核心方法、扩容机制到面试高频考点一站式讲透 ConcurrentHashMap帮你轻松应对面试与实际开发。一、为什么需要 ConcurrentHashMap在多线程环境下我们常用的 Map 实现各有缺陷HashMap线程不安全JDK1.7 扩容会出现链表成环死循环多线程 put 会导致数据覆盖、丢失绝对不能用于并发场景。Hashtable通过给整个方法加synchronized全局锁保证安全但所有线程竞争同一把锁并发吞吐量极低性能拉胯。而 ConcurrentHashMap 的设计目标就是保证线程安全的同时最大化提升并发吞吐量是高并发场景下的首选 Map 实现。二、底层实现JDK1.7 与 JDK1.8 核心对比ConcurrentHashMap 在 JDK1.8 经历了颠覆性重构从分段锁升级为 CAS 细粒度锁结构与性能全面优化这也是面试最核心的考点。2.1 JDK1.7分段锁Segment HashEntry 链表核心结构采用Segment 数组 HashEntry 数组 链表的双层数组结构Segment 继承自ReentrantLock可重入锁每个 Segment 独立管理一段哈希表。线程安全机制分段锁锁粒度为Segment 分段不同分段的操作互不干扰只有同一分段才会竞争锁。默认 16 个 Segment最大并发度为 16相比 Hashtable 全局锁并发性能大幅提升。get 操作无锁通过volatile修饰 value 保证可见性直接遍历链表取值。缺陷锁粒度仍偏粗同一 Segment 下多线程会阻塞双层数组结构复杂维护成本高仅支持单个 Segment 独立扩容整体效率低。2.2 JDK1.8CAS synchronized桶级锁核心结构抛弃 Segment采用与 HashMap1.8 一致的Node 数组 链表 红黑树结构更简洁。Node 节点的 value、next 指针用volatile修饰保证多线程可见性与有序性链表长度≥8 且数组长度≥64 时转为红黑树查询复杂度从 O (n) 降为 O (logn)新增ForwardingNode扩容标记节点引导线程访问新数组。线程安全机制面试必背桶为空时通过CAS 无锁插入节点避免锁开销桶不为空时对桶头节点加 synchronized 锁锁粒度细化到单个桶结合 volatile 保证数据可见性杜绝指令重排序问题。JDK1.8 核心优化锁粒度从分段升级为桶并发度理论无上限移除 Segment 层结构简化查询与扩容效率更高支持多线程并发扩容解决单线程扩容瓶颈红黑树优化长链表查询性能适配大数据量场景。三、核心方法原理面试高频追问3.1 put 方法JDK1.8计算 key 哈希值二次散列减少冲突CAS 初始化 Node 数组未初始化时定位桶下标桶空则 CAS 插入节点失败自旋重试桶非空则锁住头节点遍历链表 / 红黑树key 存在则替换 value不存在则尾插插入后判断链表长度达标则转红黑树检查元素数量达到阈值触发扩容。3.2 get 方法无锁设计计算哈希定位桶下标头节点为空直接返回 null遍历链表 / 红黑树匹配 key返回 volatile 修饰的 value。面试考点get 全程无锁依赖 volatile 保证可见性节点结构稳定无需加锁性能与 HashMap 持平。3.3 size 方法JDK1.7遍历所有 Segment 并加全局锁效率低JDK1.8通过baseCountcounterCells分散计数CAS 重试累加避免全局锁允许短暂计数偏差最终保证准确。四、扩容机制多线程协同扩容扩容触发条件元素数量达到数组长度 × 0.75负载因子且为链表节点时触发扩容后数组长度变为原来 2 倍保持 2 的幂。JDK1.8 并发扩容逻辑创建新的 2 倍容量 Node 数组通过transferIndex标记迁移范围多线程 CAS 领取迁移任务对原桶加锁将节点迁移到新数组对应位置迁移完成后原桶标记为ForwardingNode引导线程访问新数组全桶迁移完毕替换为新数组扩容结束。核心优势多线程协同迁移无死循环风险解决了 HashMap 单线程扩容的性能瓶颈。五、面试高频考点汇总直接背诵5.1 三大 Map 核心对比对比维度HashMapHashtableConcurrentHashMapJDK1.8线程安全不安全安全全局锁安全CAS 桶级锁并发性能高极低高底层结构数组 链表 红黑树数组 链表数组 链表 红黑树null 键值支持不支持不支持扩容单线程易死循环单线程多线程并发扩容5.2 必问原理题JDK1.8 如何保证线程安全桶空用 CAS 无锁插入桶非空锁住头节点volatile 保证可见性扩容用 ForwardingNode 避免冲突。为什么取消分段锁分段锁粒度粗同一 Segment 并发阻塞CAS 成熟后桶级锁更细性能更优结构也更简洁。为什么不支持 null 键 / 值多线程下 get 返回 null 无法区分 “key 不存在” 和 “value 为 null”containsKey与get存在并发修改风险直接禁止更安全。get 为什么无锁value 用 volatile 修饰保证可见性链表仅尾插 / 删除结构稳定无需加锁即可安全读取。5.3 场景选型单线程优先 HashMap性能最高多线程必选 ConcurrentHashMap兼顾安全与性能Hashtable仅遗留项目维护新代码禁止使用。六、总结ConcurrentHashMap 是 Java 并发集合的巅峰设计之一核心思路是用细粒度并发控制替代全局锁JDK1.7 靠分段锁实现基础并发安全JDK1.8 升级为 CAS synchronized 桶级锁搭配红黑树与并发扩容成为高并发首选。