ConcurrentHashMap底层原理

最新推荐文章于 2024-09-02 21:23:59 发布

Jchgen

最新推荐文章于 2024-09-02 21:23:59 发布

阅读量607

点赞数

分类专栏： JAVA 多线程文章标签： java 多线程数据结构

本文链接：https://blog.csdn.net/Mercycpp/article/details/115054943

版权

JAVA 同时被 2 个专栏收录

18 篇文章 0 订阅

订阅专栏

多线程

2 篇文章 0 订阅

订阅专栏

ConcurrentHashMap

一、简介

出自JDK5新引进的Concurrent包，ConcurrentHashMap主要解决了两个问题：

相较于只使用synchronized的HashTable提高了性能，根据具体场景进行不同的设计，尽量避免了重量级锁。
不同于HashMap，采用了 fail-safe 弱一致性迭代器，再迭代器使用过程中，可以对元素进行更新操作。

简单说就是可以一个可以并发操作保证安全性并且性能不差的HashMap。

二、HashMap，HashTable，ConcurrentHashMap对比

在这里插入图片描述

可以看到HashTable基本上被淘汰，因为synchronized效率很低。ConcurrentHashMap可以做到读取数据不加锁，并且在写操作的时候能将锁粒度尽可能的小，关键在于使用了锁分离技术，对不同部分进行加锁操作。

三、实现原理

jdk1.8版本下实现原理：

    static class Node<K,V> implements Map.Entry<K,V> {
        final int hash;
        final K key;
        volatile V val;
        volatile Node<K,V> next;

读操作基于volatile保证了线程安全。volatile保证可见性，使得每次读取都是直接从内存读取。

再看put操作。这里只截取到他正常put元素时的部分，不关注其他操作。

else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
                if (casTabAt(tab, i, null,
                             new Node<K,V>(hash, key, value, null)))
                    break;                   // no lock when adding to empty bin
            }

这是当hash函数计算出来的存放下标为null（没有元素时），会调用casTabAt,继续跟踪。

    static final <K,V> boolean casTabAt(Node<K,V>[] tab, int i,
                                        Node<K,V> c, Node<K,V> v) {
        return U.compareAndSwapObject(tab, ((long)i << ASHIFT) + ABASE, c, v);
    }

//U是Unsafe对象
private static final sun.misc.Unsafe U;

发现最终是调用Unsafe类下的compareAndSwapObject。

            else {
                V oldVal = null;
                synchronized (f) {
                    if (tabAt(tab, i) == f) {
                        if (fh >= 0) {
                            binCount = 1;
                            for (Node<K,V> e = f;; ++binCount) {

else逻辑就是当计算出来的存放下标不为null的情况下，当前很多细节暂时不关注。f是这里下标位置的链表头元素，对该对象上锁，保证了线程安全。

通过阅读源码，jdk1.8的ConcurrentHashMap总结如下：

底层数据结构和HashMap一样。
支持并发的实现原理是：CAS+synchronized
put操作时，通过key对象的hashcode计算出存放数组的下标，如果没有Node，则使用CAS操作尝试插入元素，失败则自旋到插入成功为止；如果存在Node，则使用synchronized锁住该Node对象，再进行插入操作。
value使用volatile保证可见性，保证了读操作的线程安全。