为什么要用ConcurrentHashMap?
ConcurrentHashMap
是JUC包下的一个线程安全的HashMap
类,我们都知道多线程的场景下要用ConcurrentHashMap
来代替HashMap
使用,有没有想过为什么不能用HashMap
,为什么能用ConcurrentHashMap
呢?下面我通过走源码的方式,带大家看一看其中的一些细节!
HashMap
map
数组的一种,JDK1.8
中的HashMap
以数组+链表/红黑树的形式存在,这里不做过多解释
当我们在执行多线程任务时,若是操作的资源为HashMap
类型时就可能会导致程序出现并发异常,如图
点到nextNode
这个方法中去看源码,原因很明显,如图
那么,if判断中的两个变量是干什么的呢,为什么这俩变量不相同就要抛出一个异常?
首先,我们看一下我们从创建Hashmap
变量到抛出异常这段时间内都做了些什么事情
整个流程的代码如下
public static void main(String[] args) {HashMap<String,String> map = new HashMap<>();for (int i = 0;i < 20; i++){new Thread(()-> {map.put(Thread.currentThread().getName(),new Date().toString());System.out.println(map);},String.valueOf(i)).start();}}
我们点进HashMap
的方法中的构造方法能看到,这里只给了loadFactor
这个变量一个初始值,也就是我们熟知的加载因子0.75
我们再去看一下put方法都干了些什么
put
->putVal
点开后发现,这不就是我们上面看到的if判断中的第一个变量吗?我们点到这个变量的定义的地方可以看到,这是一个int类型的且并未赋值
我们通过这点能得到一个初步的结论,当我们每执行一次put方法的时候,这个值就会进行一次+1的操作
大家可以看到下面还有一个叫afterNodeInsertion
的方法,我们点开后发现是一个空方法,再看上边的注释,大概意思是给LinkedHashMap
提供的回调的方法,LinkedHashMap
是HashMap
的一个子类,我们不必理会
然后我们点开println
方法
println->valueOf->toString
找到我们HashMap
重写的toString
方法,我们发现在HashMap
中并没有找到被重写的toString
方法,那么我们直接去搜一下他的父类
搜查过程中,如果用Ctrl+f搜索整个类,会看到有一条toString查询记录,此处为HashMap的内部类Node的方法,并非HashMap的
发现AbstractMap
类中果然重写了toString
方法
此处我们终于看到了迭代器,我们再返回HashMap
类去看一下entrySet
方法都干了啥
因为我们走过了put方法,所以此时HashMap
中的entrySet
是有内容的,可以看到这里是直接把entrySet
返回了
entrySet
实际上就是一个Set集合,将我们HashMap
中的存储单元Entry放到了里面(HashMap.put)
然后我们通过泛型找到实现集合接口中迭代器方法的位置,又是一个HashMap
的内部类,EntrySet
发现又一个没见过的类,我们顺势点开
点开nextNode
方法后发现,哎,这不是报错的地儿吗,到现在我们modCount
也有了,报错的节点也找到了,还差一个expectedModCount
没找到呢,于是在一通检查后,突然想到,会不会在某个构造方法中,回去看了一下EntryIterator
也没有自己写构造方法呀,于是打开了他的父类,一下子豁然开朗,直接看图吧
到这,这俩哥们总算找齐了,那么这里问题又来了,给expectedModCount
赋的就是modCount
的值呀,这俩哥们咋还能不一样呢
答案也浮出水面了,单线程下肯定是不会出问题,可是我们是多线程操作呀,如果A线程刚给完值,B线程跑putVal
方法去了,跑完modCount
+1了,然后A线程紧接着走到了nextNode
方法中,一对比就不对了,然后就抛异常了
所以说HashMap
在并发场景下还是很容易出问题的
ConcurrentHashMap
HashMap
在多线程的场景下不能用了,不安全呀,于是适配多线程的线程安全的HashMap:ConcurrentHashMap
应运而生
然后我们把原代码中的HashMap
换成ConcurrentHashMap
public static void main(String[] args) {ConcurrentHashMap<String,String> map = new ConcurrentHashMap<>();for (int i = 0;i < 20; i++){new Thread(()-> {map.put(Thread.currentThread().getName(),new Date().toString());System.out.println(map);},String.valueOf(i)).start();}}
执行了N遍,确实不报错了,每次循环都能打印成功,如此神奇的东西,让我们看看为什么他不报错了
首先点开这个类进去看看
发现这个类也继承了AbstractMap
类,说明与HashMap
是师出同门的呀,然后我们再去找上边那俩兄弟的时候发现,不见了,然后去找迭代器和next方法的时候发现,完全换了一套,所以自然不会像这样报错,那么他是怎么处理多线程操作的场景的呢
ConcurrentHashMap
是通过synchronized
+ CAS
算法来实现线程安全的
如果去看源码的话,你会发现ConcurrentHashMap
里面有很多Unsafe.compareAndSwap
+数据类型的写法,这种写法就是利用CAS算法实现无锁化的修改值操作,此算法可以很大程度的减少加锁过程中造成的性能损耗
这个算法大概就是不断地去用内存中的变量值与代码预期的变量值是否相同,如果是一样的就会修改成功,如果不一样就会拒绝执行修改,用这种方式去判断当前线程中是否是最新的值,若不是则可能会覆盖其他线程的结果
正因此算法的判断方式,如果某个线程将值修改然后又改回去了,该算法仍然会认为这是最新值没有被改过
而通过观察源码发现,在操作Node
相关对象时,会用synchronized
将对象锁住