ConcurrentHashMap

最新推荐文章于 2024-06-21 17:14:47 发布

Seven_97H

最新推荐文章于 2024-06-21 17:14:47 发布

阅读量755

点赞数 22

分类专栏： # Java集合 # Java并发文章标签： java 散列表

本文链接：https://blog.csdn.net/weixin_39774936/article/details/134706405

版权

Java并发同时被 2 个专栏收录

21 篇文章 0 订阅

订阅专栏

Java集合

6 篇文章 0 订阅

订阅专栏

HashMap为什么线程不安全

put的不安全

由于多线程对HashMap进行put操作，调用了HashMap的putVal()，具体原因：

假设两个线程A、B都在进行put操作，并且hash函数计算出的插入下标是相同的，当线程A执行完第六行由于时间片耗尽导致被挂起，而线程B得到时间片后在该下标处插入了元素，完成了正常的插入，然后线程A获得时间片，由于之前已经进行了hash碰撞的判断，所有此时不会再进行判断，而是直接进行插入，这就导致了线程B插入的数据被线程A覆盖了，从而线程不安全。
代码的第38行处有个++size，线程A、B，这两个线程同时进行put操作时，假设当前HashMap的zise大小为10，当线程A执行到第38行代码时，从主内存中获得size的值为10后准备进行+1操作，但是由于时间片耗尽只好让出CPU，线程B快乐的拿到CPU还是从主内存中拿到size的值10进行+1操作，完成了put操作并将size=11写回主内存，然后线程A再次拿到CPU并继续执行(此时size的值仍为10)，当执行完put操作后，还是将size=11写回内存，此时，线程A、B都执行了一次put操作，但是size的值只增加了1，所有说还是由于数据覆盖又导致了线程不安全。

1 final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
2                   boolean evict) {
3       Node<K,V>[] tab; Node<K,V> p; int n, i;
4        if ((tab = table) == null || (n = tab.length) == 0)
5            n = (tab = resize()).length;
6        if ((p = tab[i = (n - 1) & hash]) == null)//
            tab[i] = newNode(hash, key, value, null);
        else {
            Node<K,V> e; K k;
            if (p.hash == hash &&
                ((k = p.key) == key || (key != null && key.equals(k))))
                e = p;
            else if (p instanceof TreeNode)
                e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
            else {
                for (int binCount = 0; ; ++binCount) {
                    if ((e = p.next) == null) {
                        p.next = newNode(hash, key, value, null);
                        if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                            treeifyBin(tab, hash);
                        break;
                    }
                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
                        break;
                    p = e;
                }
            }
            if (e != null) { // existing mapping for key
                V oldValue = e.value;
                if (!onlyIfAbsent || oldValue == null)
                    e.value = value;
                afterNodeAccess(e);
                return oldValue;
            }
        }
        ++modCount;
38        if (++size > threshold)
            resize();
        afterNodeInsertion(evict);
        return null;
    }

扩容不安全

Java7中头插法扩容会导致死循环和数据丢失，Java8中将头插法改为尾插法后死循环和数据丢失已经得到解决，但仍然有数据覆盖的问题。

这是jdk7中存在的问题

void transfer(Entry[] newTable, boolean rehash) {
        int newCapacity = newTable.length;
        for (Entry<K,V> e : table) {
            while(null != e) {
                Entry<K,V> next = e.next;
                if (rehash) {
                    e.hash = null == e.key ? 0 : hash(e.key);
                }
                int i = indexFor(e.hash, newCapacity);
                e.next = newTable[i];
                newTable[i] = e;
                e = next;
            }
        }
    }

transfer过程如下：

对索引数组中的元素遍历
对链表上的每一个节点遍历：用 next 取得要转移那个元素的下一个，将 e 转移到新 Hash 表的头部，使用头插法插入节点。
循环2，直到链表节点全部转移
循环1，直到所有索引数组全部转移

注意 e.next = newTable[i] 和newTable[i] = e 这两行代码，就会导致链表的顺序翻转。

扩容操作就是新生成一个新的容量的数组，然后对原数组的所有键值对重新进行计算和写入新的数组，之后指向新生成的数组。当多个线程同时检测到总数量超过门限值的时候就会同时调用resize操作，各自生成新的数组并rehash后赋给该map底层的数组table，结果最终只有最后一个线程生成的新数组被赋给table变量，其他线程的均会丢失。而且当某些线程已经完成赋值而其他线程刚开始的时候，就会用已经被赋值的table作为原始数组，这样也会有问题。

介绍

concurrentHashMap是一个支持高并发更新与查询的哈希表(基于HashMap)。

hashtable该类不依赖于synchronization去保证线程操作的安全。Collections.synchronizedMap()也可以将map转成线程安全的。而concurrentHashMap在保证安全的前提下，进行get不需要锁定。

put方法

回顾hashMap的put方法过程

计算出key的槽位
根据槽位类型进行操作(链表，红黑树)
根据槽位中成员数量进行数据转换,扩容等操作

如何高效的执行并发操作:根据上面hashMap的数据结构可以直观的看到，如果以整个容器为一个资源进行锁定，那么就变为了串行操作。而根据hash表的特性，具有冲突的操作只会出现在同一槽位，而与其它槽位的操作互不影响。
基于此种判断，那么就可以将资源锁粒度缩小到槽位上，这样热点一分散，冲突的概率就大大降低，并发性能就能得到很好的增强。

底层源码

final V putVal(K key, V value, boolean onlyIfAbsent) {
	// key和value如果为null，直接甩异常
    if (key == null || value == null) throw new NullPointerException();
	// 计算key的hash值，（通过hash值决定Entry存放到数组的哪个索引位置）
    int hash = spread(key.hashCode());
	// 暂时当做标识，值为0
    int binCount = 0;
	// 声明临时变量为tab，tab赋值了table，table就是当前HashMap的数组！这是个死循环
    for (Node<K,V>[] tab = table;;) {
	// 声明了一堆变量
		//f-当前索引位置的数据
		//n-数组长度
		//i-数据要存储的索引位置
		//fh-桶位置数据的hash值
        Node<K,V> f; int n, i, fh;
	// 如果tab为null，或者tab的长度为0
        if (tab == null || (n = tab.length) == 0)
		// 进来说明数组没有初始化，开始初始化，ConcurrentHashMap要避免并发初始化时造成的问题
            tab = initTable();
		
	// tabAt(数组，索引位置)，得到这个数组指定索引位置的值，f就是数组的下标位置的值 
	// 如果f == null
        else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
		// 进到这，说明索引位置没有值，基于CAS的方式将当前的key-value存储到这个索引位置
            if (casTabAt(tab, i, null,
                         new Node<K,V>(hash, key, value, null)))
			// 如果CAS成功，添加数据成功（添加到了数组上），如果走false，继续上述操作，尝试其他内容
                break;                   // no lock when adding to empty bin
        }
	// f是经过上述if得到的索引位置的值，当前key-value的hash是否为MOVED，如果相等，证明当前位置正在扩容
        else if ((fh = f.hash) == MOVED)//MOVED表示正在扩容
		// 如果正在扩容，帮你扩容（构建长度为原来2倍的数组，并且将老数组的值移动到新数组），帮助扩容的操作是迁移数据的操作
            tab = helpTransfer(tab, f);
        else {
		// 第一个判断：数组初始化了么？ 
		// 第二个判断：数组指定的位置有值么？ 
		// 第三个判断：现在正在扩容么？ 
		// 这个else就是第四个判断：是否需要将数据挂到链表上，或者添加到红黑树中？（出现了Hash冲突（碰撞））
            V oldVal = null;
			// 加个锁，锁的是f（f是数组的下标位置的值）,也就是在这，锁住了这个桶
            synchronized (f) {
				// 拿到i索引位置的数据，判断与锁住的f是不是同一个
                if (tabAt(tab, i) == f) {
					// 如果fh 大于等于 0（判断hash值是否大于等于0），说明是链表
                    if (fh >= 0) {
						// 将标识修改为1
                        binCount = 1;
						// 开始循环，为了将插入的值挂到链表的最后面
                        for (Node<K,V> e = f;; ++binCount) {
                            K ek;
                            if (e.hash == hash && // 判断指向的节点的key是否等于当前要插入的节点的key
                                ((ek = e.key) == key ||  // 判断指向的节点的key是否等于当前要插入的节点的key
                                 (ek != null && key.equals(ek)))) { // 指向的节点的key是否域当前的key相等
								 // 说明当前是修改操作
                                oldVal = e.val;
                                if (!onlyIfAbsent) // onlyIfAbsent如果为true，就什么事都不做
                                    e.val = value; // 修改值
                                break;
                            }
							// 是正常的添加操作
                            Node<K,V> pred = e;
							// 如果节点的next为null，说明到链表的最后一个节点了，添加到链表的末尾
                            if ((e = e.next) == null) {
								// 将当前值添加到链表的最后一个节点的next指向
                                pred.next = new Node<K,V>(hash, key,
                                                          value, null);
                                break;
                            }
                        }
                    }
					
					// 判断当前位置的桶数据是否是树
                    else if (f instanceof TreeBin) {
                        Node<K,V> p;
						// 标记修改为2
                        binCount = 2;
						// 调用putTreeVal扔到红黑树
                        if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
                                                       value)) != null) {
							// 进到if说明是覆盖操作
                            oldVal = p.val;
                            if (!onlyIfAbsent) // 根据判断决定，是否修改数据
                                p.val = value;
                        }
                    }
                }
            }
            if (binCount != 0) {
                if (binCount >= TREEIFY_THRESHOLD)//链表长度大等于8
                    treeifyBin(tab, i);//尝试转红黑树
                if (oldVal != null)
                    return oldVal;
                break;
            }
        }
    }
    addCount(1L, binCount);
    return null;
}

计算hash值的spread方法

static final int spread(int h) {
	// (h ^ (h >>> 16))：与HashMap的散列算法一样，让高16位也参与运算
	// Entry存放的索引位置 = (数组长度 - 1) & hash 
	// & HASH_BITS的运算目的是为了保证等到的hash值，一定是正数，因为最高位符号位100%是0
	// HASH_BITS = 0x7fffffff
	// 因为hash值为负数时，有特殊的含义，
    return (h ^ (h >>> 16)) & HASH_BITS;
}

//hash值为负数时的特殊含义
static final int MOVED = -1; // 当前索引位置的数据正在扩容 
static final int TREEBIN = -2; // 当前索引位置下面不是链表，是红黑树 
static final int RESERVED = -3; // 当前索引位置被临时占用，compute方法会涉及

initTable方法

/* sizeCtl = -1：说明当前ConcurrentHashMap正在初始化！！！ 
sizeCtl = -N：说明当前ConcurrentHashMap正在扩容！！！ 
sizeCtl = 0：默认初始值，当前ConcurrentHashMap还没有初始化 
sizeCtl > 0：如果已经初始化过了，sizeCtl标识扩容的阈值， 如果没有初始化，sizeCtl标识数组的初始化容量 */

private final Node<K,V>[] initTable() {
	// 声明一些变量
    Node<K,V>[] tab; int sc;
	// tab变量是HashMap的数组， 数组长度为null，或者数组的长度为0，说明数组还没有初始化！
    while ((tab = table) == null || tab.length == 0) {
		// 将sizeCtl赋值给sc，如果进到if中，说明正在扩容或者正在初始化
        if ((sc = sizeCtl) < 0)
            Thread.yield(); // lost initialization race; just spin
			
		// 以CAS的方式，尝试将sizeCtl从之前oldValue替换为-1，为了标识我当前ConcurrentHashMap正在初始化
        else if (U.compareAndSwapInt(this, SIZECTL, sc, -1)) {
			// 开始扩容
            try {
				//DCL思想
				// table是不是还是null，或者长度还是0
                if ((tab = table) == null || tab.length == 0) {
					// 声明n，sc是sizeCtl，默认sizectl为0，但是现在正在初始化，我把sizeCtl改为了-1，但是sc还是0 
					// sc如果为0，不大于0，所以为DEFAULT_CAPACITY，16
                    int n = (sc > 0) ? sc : DEFAULT_CAPACITY;
                    @SuppressWarnings("unchecked")
					// 创建数组！！！
                    Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n];
					// 将初始化的nt数组赋值给ConcurrentHashMap的table
                    table = tab = nt;
					// 默认sc = 12，为扩容阈值
                    sc = n - (n >>> 2);
                }
            } finally {
				// 将阈值赋值给sizeCtl，到这初始化完毕
                sizeCtl = sc;
            }
            break;
        }
    }
    return tab;
}

为什么key 和 value 不允许为 null

HashMap中，null可以作为键或者值都可以。而在ConcurrentHashMap中，key和value都不允许为null。

ConcurrentHashMap的作者——Doug Lea的解释如下：

主要意思就是说：

ConcurrentMap（如ConcurrentHashMap、ConcurrentSkipListMap）不允许使用null值的主要原因是，在非并发的Map中（如HashMap)，是可以容忍模糊性（二义性）的，而在并发Map中是无法容忍的。

假如说，所有的Map都支持null的话，那么map.get(key)就可以返回null，但是，这时候就会存在一个不确定性，当你拿到null的时候，你是不知道他是因为本来就存了一个null进去还是说就是因为没找到而返回了null。

在HashMap中，因为它的设计就是给单线程用的，所以当我们map.get(key)返回null的时候，我们是可以通过map.contains(key)检查来进行检测的，如果它返回true，则认为是存了一个null，否则就是因为没找到而返回了null。

但是，像ConcurrentHashMap，它是为并发而生的，它是要用在并发场景中的，当我们map.get(key)返回null的时候，是没办法通过map.contains(key)(ConcurrentHashMap有这个方法，但不可靠)检查来准确的检测，因为在检测过程中可能会被其他线程锁修改，而导致检测结果并不可靠。

所以，为了让ConcurrentHashMap的语义更加准确，不存在二义性的问题，他就不支持null。

计算size

ConcurrentHashMap的size()操作中没有加任何锁，那么它是如何在多线程环境下线程安全的计算出Map的size的？

查看源码，可以看出size()使用sumCount()方法计算。

public int size() {
        long n = sumCount();
        return ((n < 0L) ? 0 :
                (n > (long)Integer.MAX_VALUE) ? Integer.MAX_VALUE :
                (int)n);
    }

final long sumCount() {
        CounterCell[] as = counterCells; 
		// CAS修改baseCount失败后，使用CounterCell用来统计那个线程要修改的
		CounterCell a;
		// 当没有并发竞争的时候，只使用baseCount统计map的size。
        long sum = baseCount;
		// 遍历counterCells，将CounterCell数组中元素的 value 累加 到 sum变量上。
        if (as != null) {
            for (int i = 0; i < as.length; ++i) {
                if ((a = as[i]) != null)
                    sum += a.value;
            }
        }
		
		// 这个数字可能是不准确的,所以ConCurrentHashMap的size是一个参考值，并不是实时确切值。
        return sum;
    }

ConCurrentHashMap的大小 size 通过 baseCount 和 counterCells 两个变量维护：
- 在没有并发的情况下，使用一个volatile修饰的 baseCount 变量即可；
- 当有并发时，CAS 修改 baseCount 失败后，会使用 CounterCell 类，即创建一个CounterCell对象，设置其volatile修饰的 value 属性为 1，并将其放在ConterCells数组的随机位置；
最终在sumCount()方法中通过累加 baseCount和CounterCells数组里每个CounterCell的值得出Map的总大小Size。
然而返回的值是一个估计值；如果有并发插入或者删除操作，和实际的数量可能有所不同。
另外size()方法的最大值是 Integer 类型的最大值，而 Map 的 size 有可能超过 Integer.MAX_VALUE，所以JAVA8 建议使用 mappingCount()。

总结

ConcurrentHashMap的主要使用CAS 加 volatile 或者 synchronized 的方式来保证线程安全。

synchronized锁住桶，以及大量的CAS操作

Seven_97H

关注

22
点赞
踩
27

收藏

觉得还不错? 一键收藏
0
评论
ConcurrentHashMap

concurrentHashMap是一个支持高并发更新与查询的哈希表(基于HashMap)。hashtable该类不依赖于synchronization去保证线程操作的安全。Collections.synchronizedMap()也可以将map转成线程安全的。而concurrentHashMap在保证安全的前提下，进行get不需要锁定。ConcurrentHashMap的主要使用CAS 加 volatile 或者 synchronized 的方式来保证线程安全。
复制链接

扫一扫