面试题：HashMap & ConcurrentHashMap

Elson_6

已于 2022-10-26 09:09:20 修改

阅读量478

点赞数 1

分类专栏：数据结构和算法面试文章标签：数据结构

于 2022-10-25 14:50:30 首次发布

本文链接：https://blog.csdn.net/Love667767/article/details/127503962

版权

数据结构和算法同时被 2 个专栏收录

27 篇文章 0 订阅

订阅专栏

面试

14 篇文章 1 订阅

订阅专栏

文章目录

一、关联文章

二、Question List

HashMap 的实现原理是什么，JDK1.7和JDK1.8有什么区别？
HashMap 的 put 流程是什么？
HashMap 的 put 方法是否支持 key/value 传 Null ？
HashMap 在并发场景下是否线程安全？为什么？会产生什么问题？
如果要保证线程操作的安全，有其它方案吗？
HashTable 的锁机制是什么？
ConcurrentHashMap 和 HashTable 的效率哪个高，为什么？
ConcurrentHashMap 的实现原理是什么？
ConcurrentHashMap 在 JDK1.7 和 JDK1.8 的区别？
ConcurrentHashMap 的 put 流程是什么？
ConcurrentHashMap 的 get 流程是什么？
ConcurrentHashMap 的 get 流程需要加锁吗，为什么？如果不需要加锁，是如何保证线程安全的？
ConcurrentHashMap 的 put 方法是否支持 key/value 传 Null ？
ConcurrentHashMap 的并发度是什么？
ConcurrentHashMap 扩容时，如何保证可见性？
ConcurrentHashMap 中修饰 Node<K,V>[] table 的 volatile 关键字可以保证 Node.value 数据的可见性吗？为什么？

三、Answer List

1. HashMap 的实现原理是什么，JDK1.7和JDK1.8有什么区别？

数据结构：
JDK1.7：数组 + 链表
JDK1.8：数组 + 链表 + 红黑树 (链表长度超过8转红黑树)

查询效率：
JDK1.7：当某一hash值碰撞频繁时，会导致链表过长，从而降低了查询效率O(n)。
JDK1.8：为了优化上述的问题，JDK1.8 引入了红黑树来提高查询效率(logn)。

2. HashMap 的 put 流程是什么？

HashMap 源码分析

3. HashMap 的 put 方法是否支持 key/value 传 Null ？

HashMap 支持 key/value 传 Null，当传入的 key 为 Null 时，会将该值保存到 table[0] 的位置。

4. HashMap 在并发场景下是否线程安全？为什么？会产生什么问题？

HashMap 是线程不安全的容器。

JDK1.7 的 HashMap 链表采用头插法添加数据。在并发场景下，同一个 table[i] 处的链表容易形成环。
JDK1.8 的 HashMap 链表采用尾插法添加数据，虽然不会产生环，但是其它的操作也会产生安全问题。

5. 如果要保证线程操作的安全，有其它方案吗？

方案1：HashMap 替换成安全容器 HashTable、ConcurrentHashMap。
方案2：使用 Collections.synchronizedMap(Map map)，代理方式。

6. HashTable 的锁机制是什么？

使用 synchronized 关键字修饰每个操作方法，即同步方法。效果与 Collections.synchronizedMap(Map map) 类似。
线程操作安全，但是锁粒度大，并发度低。

7. ConcurrentHashMap 和 HashTable 的效率哪个高，为什么？

HashTable 容器一次只支持1个线程进行操作。而 ConcurrentHashMap 容器不管是哪个版本都支持多线程操作。

8. ConcurrentHashMap 的实现原理是什么？

JDK1.7

ConcurrentHashMap 是由 Segment 数组 + HashEntry 数组 + 链表组成。
ConcurrentHashMap 的线程安全性由 Segment 保证。Segment 继承自 ReentrantLock，所以 Segment 数组中每一个 Segment 都相当于一把锁，并发度就是 Segment 数组的长度。
Segment 数组创建好之后无法再次扩容。
Segment 内部的 HashEntry 数组可以实现扩容，所以 Segment 就类似于 HashMap。
用 volatile 修饰了 HashEntry 的数据 value 和下一个节点 next，保证了多线程环境下数据获取时的可见性。

JDK1.8

ConcurrentHashMap 有Node 数组 + 链表 + 红黑树组成。
ConcurrentHashMap 的线程安全性由 Node数组 +CAS + Synchronized 保证。
操作粒度比JDK1.7更细，并发度更高。
用 volatile 修饰了 Node数组和 Node 数据的 value 和下一个节点 next，保证了多线程环境下数据获取时的可见性。

9. ConcurrentHashMap 在 JDK1.7 和 JDK1.8 的区别？

数据结构不同：

JDK1.7：Segment 数组 + HashEntry 数组 + 链表。
JDK1.8：Node 数组+链表+红黑树。

扩容：

JDK1.7：Segment 数组创建好之后无法扩容，只能扩容Segment里面的数组，所以并发度不会改变。
JDK1.8：Node是数组可以实现扩容，并发度随之提高。

操作效率不同：

并发度不同。

10. ConcurrentHashMap 的 put 流程是什么？

ConcurrentHashMap 源码分析(JDK1.7)
ConcurrentHashMap 源码分析(JDK1.8)

11. ConcurrentHashMap 的 get 流程是什么？

ConcurrentHashMap 源码分析(JDK1.7)
ConcurrentHashMap 源码分析(JDK1.8)

JDK1.7 需要计算两次hash，一次计算Segment的位置，一次计算HashEntry的位置。
JDK1.8 只需要计算一次hash。

12. ConcurrentHashMap 的 get 流程需要加锁吗，为什么？如果不需要加锁，是如何保证线程安全的？

get 操作不需要加锁。通过 volatile 语义保证了操作的安全性。

JDK1.7

虽然Segment数组没有使用 volatile 修饰，但通过 UNSAFE.getObjectVolatile() 方法保持了和 volatile 同样的语义操作。

JDK1.8

因为 Node 的元素 value 和指针 next 是用 volatile 修饰的，在多线程环境下线程A修改节点的 value 或者新增节点的时候是对线程B可见的。这也是它比其他并发集合比如 Hashtable、用 Collections.synchronizedMap() 包装的 HashMap 效率高的原因之一。

13. ConcurrentHashMap 的 put 方法是否支持 key/value 传 Null ？

不支持key/value 传 Null。如果支持 key 为Null，则在取值时会出现二义性。

原因：

HashMap 支持 key 传 Null是因为它的操作是在单线程上进行的。当取出的 value 为 Null 时，存在key存在和不存在两种情况，此时我们可以通过 containsKey 方法来判断 key 的存在性，从而区分两种情况。但 ConcurrentHashMap 的操作是在多线程下进行的，无法区别是哪种情况(可能是在取值的过程中，其它线程删除了)，因此会出现二义性。