- 正确答案：ConcurrentHashMap在JDK 1.7和JDK 1.8中最大的区别在于底层数据结构和并发控制机制的不同。JDK 1.7采用分段锁（Segment）机制，基于ReentrantLock + HashEntry数组 + 链表实现；而JDK 1.8改用CAS + synchronized关键字对链表头节点或红黑树根节点加锁，底层结构变为Node数组 + 链表/红黑树，类似于优化后的HashMap。 - 解答思路：这个问题考察的是对Java并发容器的深入理解，特别是对不同JDK版本中性能优化演进的掌握。需要从数据结构、锁机制、并发性能三个维度进行对比分析。首先回顾1.7版本的Segment分段锁设计，再对比1.8中引入的CAS+synchronized轻量级锁机制，并解释为何这种改变提升了并发性能。 - 深度知识讲解：一、JDK 1.7中的ConcurrentHashMap 1. 数据结构：采用“分段锁”（Segment）机制，整个Map被分成多个Segment（默认16个），每个Segment是一个类似HashMap的结构（HashEntry数组 + 链表）。Segment继承自ReentrantLock，用于实现锁分离。 2. 并发控制：每个Segment独立加锁，不同线程访问不同Segment时可以并发执行，提高了并发度。最大并发度由Segment数量决定（默认16）。 3. 存储结构示意图： ConcurrentHashMap -> Segment[16] -> HashEntry[2^n] -> 链表 4. put操作流程： - 根据key的hash值定位到对应的Segment - 对该Segment加锁（ReentrantLock） - 在Segment内部根据hash找到HashEntry数组槽位，插入或更新 - 释放锁 5. 缺点： - Segment固定大小，无法动态扩展 - 内存占用高，每个Segment都有自己的HashEntry数组 - 锁粒度虽然比全局锁小，但仍不够细 - 不支持lambda表达式等新特性二、JDK 1.8中的ConcurrentHashMap 1. 数据结构：抛弃了Segment，直接使用Node数组（类似HashMap），当链表长度超过8且数组长度>=64时，链表转为红黑树（TreeBin）。 2. 并发控制：使用CAS + synchronized。对数组元素（Node）的头节点使用synchronized加锁，锁粒度更细（精确到桶级别）。同时大量使用volatile变量和CAS操作保证可见性和原子性。 3. 关键字段： - transient volatile Node[] table; // 主数组 - private transient volatile int sizeCtl; // 控制标识符，负数表示有线程在扩容 4. put操作流程（putVal方法核心逻辑）： - 计算key的hash值 - 如果table未初始化，则通过CAS竞争初始化 - 定位到table[i]，如果为空，用CAS插入新节点 - 如果该位置正在扩容，则当前线程协助扩容 - 否则对该位置头节点加synchronized锁，进行链表或红黑树插入 - 插入后判断是否需要转为红黑树 - 更新元素计数，并检查是否需要扩容 5. 优点： - 锁粒度更细，理论上每个桶可独立加锁 - 使用CAS减少锁竞争，提高并发性能 - 支持红黑树优化长链表查找性能（O(n) -> O(log n)） - 内存占用更低，无需维护多个Segment - 更好的GC友好性三、核心差异总结： | 维度 | JDK 1.7 | JDK 1.8 | |----------------|----------------------------------------|---------------------------------------------| | 数据结构 | Segment + HashEntry + 链表 | Node + 链表/红黑树 | | 锁机制 | ReentrantLock（分段锁） | synchronized（桶级锁）+ CAS | | 并发度 | 默认16（由Segment数决定） | 理论上等于数组长度 | | 初始化时机 | 构造时不立即初始化 | 延迟初始化（第一次put时） | | 扩容机制 | Segment内部扩容 | 全局数组扩容，多线程协助（transfer） | | 链表转树 | 不支持 | 支持（长度>8且数组长度>=64） | | 内存开销 | 高（每个Segment维护独立结构） | 低 | | 性能表现 | 中等，并发度受限 | 高，并发性能更好 | 四、为什么1.8改用synchronized？ - JVM对synchronized进行了大量优化（偏向锁、轻量级锁、自旋锁等），使其性能接近甚至超过ReentrantLock - synchronized代码更简洁，JIT更容易优化 - 锁粗化和锁消除等优化使得短临界区性能优异 - 减少内存开销（不需要维护AQS队列）五、重要源码片段对比（伪代码形式）： JDK 1.7 put 示例： ``` public V put(K key, V value) { Segment s; if (value == null) throw new NullPointerException(); int hash = hash(key); int j = (hash >>> segmentShift) & segmentMask; if ((s = (Segment)UNSAFE.getObject(segments, j * sizeof(Segment))) == null) s = ensureSegment(j); return s.put(key, hash, value, false); } final V put(K key, int hash, V value, boolean onlyIfAbsent) { lock(); // 获取Segment锁 try { HashEntry[] tab = table; int index = (tab.length - 1) & hash; HashEntry first = tab[index]; for (HashEntry e = first;;) { if (e != null) { if (e.hash == hash && key.equals(e.key)) { V oldValue = e.value; e.value = value; return oldValue; } e = e.next; } else { tab[index] = new HashEntry(key, hash, first, value); ++count; // 更新Segment内计数 unlock(); return null; } } } finally { unlock(); } } ``` JDK 1.8 putVal 示例（简化版）： ``` final V putVal(K key, V value, boolean onlyIfAbsent) { if (key == null || value == null) throw new NullPointerException(); int hash = spread(key.hashCode()); int binCount = 0; for (Node[] tab = table;;) { Node f; int n, i, fh; if (tab == null || (n = tab.length) == 0) tab = initTable(); // CAS初始化 else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) { if (casTabAt(tab, i, null, new Node(hash, key, value, null))) break; } else if ((fh = f.hash) == MOVED) tab = helpTransfer(tab, f); // 协助扩容 else { V oldVal = null; synchronized (f) { // 对头节点加锁 if (tabAt(tab, i) == f) { if (fh >= 0) { binCount = 1; for (Node e = f;; ++binCount) { K ek; if (e.hash == hash && ((ek = e.key) == key || (ek != null && key.equals(ek)))) { oldVal = e.val; if (!onlyIfAbsent) e.val = value; break; } Node pred = e; if ((e = e.next) == null) { pred.next = new Node(hash, key, value, null); break; } } } else if (f instanceof TreeBin) { // 红黑树插入逻辑 } } } if (binCount != 0) { if (binCount >= TREEIFY_THRESHOLD) treeifyBin(tab, i); // 转树 if (oldVal != null) return oldVal; break; } } } addCount(1L, binCount); return null; } ``` 六、扩展知识点： - sizeCtl的作用：初始为0；-1表示正在初始化；小于-1表示正在进行扩容（代表扩容线程数+1）；正数表示下次扩容阈值 - transfer过程：使用步长控制（stride），多线程协同迁移数据，避免单线程压力过大 - ForwardingNode：标记某个桶正在迁移，hash值为MOVED（-1），其nextTable指向新表 - CAS操作封装：使用Unsafe类提供的compareAndSwapObject等方法实现无锁编程七、面试建议： - 能清晰画出两种结构的内存布局图 - 理解CAS+AQS+synchronized在不同版本中的权衡 - 知道size()方法如何统计（1.7是各Segment之和；1.8是baseCount+CounterCell[]的累加） - 了解1.8中为何链表长度超过8才转红黑树（泊松分布概率极低）综上所述，ConcurrentHashMap从1.7到1.8的演变体现了Java并发编程从“显式锁”向“无锁+轻量级锁”方向的发展趋势，兼顾了高性能与代码可维护性。

科大讯飞一面

全站热榜

创作者周榜