java1.8hashmap源码_ConcurrentHashMap基于JDK1.8源码剖析

前言

本篇文章将会带大家分析 ConCurrentHashMap 的源码

一、ConCurrentHashMap剖析

ConCurrentHashMap 是 Java 中比较重要的一个类，也是面试经常会问到的一个类。

1.1初识ConCurrentHashMap

ConCurrentHashMap的底层是：散列表+红黑树，与HashMap是一样的。

我简单翻译了一下的注释：

根据上面注释我们可以简单总结：

JDK1.8底层是散列表+红黑树

ConCurrentHashMap 支持高并发的访问和更新，它是线程安全的

检索操作不用加锁，get 方法是非阻塞的

key和value都不允许为null

1.2JDK1.7底层实现

上面指明的是JDK1.8底层是：散列表+红黑树，也就意味着，JDK1.7的底层跟JDK1.8是不同的~

JDK1.7的底层是：segments+HashEntry数组：

Segment继承了ReentrantLock,每个片段都有了一个锁，叫做“锁分段”

大概了解一下即可~

1.3有了Hashtable为啥需要ConCurrentHashMap

Hashtable是在每个方法上都加上了 Synchronized 完成同步，效率低下。

ConcurrentHashMap 通过在部分加锁和利用CAS算法来实现同步。

1.4CAS算法和volatile简单介绍

在看 ConCurrentHashMap 源码之前，我们来简单讲讲 CAS 算法和 volatile 关键字

CAS(比较与交换，Compare and swap) 是一种有名的无锁算法

CAS有3个操作数

内存值V

旧的预期值A

要修改的新值B

当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做- 当多个线程尝试使用CAS同时更新同一个变量时，只有其中一个线程能更新变量的值(A和内存值V相同时，将内存值V修改为B)，而其它线程都失败，失败的线程并不会被挂起，而是被告知这次竞争中失败，并可以再次尝试(否则什么都不做)

看了上面的描述应该就很容易理解了，先比较是否相等，如果相等则替换(CAS算法)

接下来我们看看volatile关键字，在初学的时候也很少使用到volatile这个关键字。反正我没用到，而又经常在看Java相关面试题的时候看到它，觉得是一个挺神秘又很难的一个关键字。其实不然，还是挺容易理解的~

volatile经典总结：volatile仅仅用来保证该变量对所有线程的可见性，但不保证原子性

我们将其拆开来解释一下：

保证该变量对所有线程的可见性 在多线程的环境下：当这个变量修改时，所有的线程都会知道该变量被修改了，也就是所谓的“可见性”

不保证原子性 修改变量(赋值)实质上是在JVM中分了好几步，而在这几步内(从装载变量到修改)，它是不安全的。

1.5ConCurrentHashMap域

域对象有这么几个：

我们来简单看一下他们是什么：

1.6ConCurrentHashMap构造方法

ConcurrentHashMap的构造方法有5个：

具体的实现是这样子的：

可以发现，在构造方法中有几处都调用了 tableSizeFor() ，我们来看一下他是干什么的：

点进去之后发现，啊，原来我看过这个方法，在HashMap的时候.....

它就是用来获取大于参数且最接近2的整次幂的数...

赋值给sizeCtl属性也就说明了：这是下次扩容的大小~

1.7put方法

终于来到了最核心的方法之一：put方法啦~~~~

我们先来整体看一下put方法干了什么事：

接下来，我们来看看初始化散列表的时候干了什么事： initTable()

只让一个线程对散列表进行初始化！

1.8get方法

从顶部注释我们可以读到，get方法是不用加锁的，是非阻塞的。

我们可以发现，Node节点是重写的，设置了volatile关键字修饰，致使它每次获取的都是最新设置的值

二、总结

上面简单介绍了ConcurrentHashMap的核心知识，还有很多知识点都没有提及到，有兴趣进入的同学可到下面的链接继续学习。

下面简单总结一下ConcurrentHashMap的核心要点：

底层结构是散列表(数组+链表)+红黑树，这一点和HashMap是一样的。

Hashtable是将所有的方法进行同步，效率低下。而ConcurrentHashMap作为一个高并发的容器，它是通过部分锁定+CAS算法来进行实现线程安全的。CAS算法也可以认为是乐观锁的一种~

在高并发环境下，统计数据(计算size...等等)其实是无意义的，因为在下一时刻size值就变化了。

get方法是非阻塞，无锁的。重写Node类，通过volatile修饰next来实现每次获取都是最新设置的值

ConcurrentHashMap的key和Value都不能为null