ConcurrentHashMap(jdk1.7)源码学习

博客 分享
0 344
张三
张三 2022-02-19 14:55:33
悬赏:0 积分 收藏

ConcurrentHashMap (jdk1.7)源码学习

ConcurrentHashMap (jdk1.7)源码学习

一.介绍

1.Segment(分段锁)

1.1 Segment

  • 容器里有多把锁,每一把锁用于锁容器其中一部分数据,那么当多线程访问容器里不同数据段的数据时,线程间就不会存在锁竞争,从而可以有效的提高并发访问效率,这就是ConcurrentHashMap所使用的锁分段技术
  • 分段锁其实是一种锁的设计,并不是具体的一种锁,对于ConcurrentHashMap而言,其并发的实现就是通过分段锁的形式来实现高效的并发操作。
  • Segment 类继承于 ReentrantLock 类

  • 如图,ConcurrentHashMap定位一个元素的过程需要进行两次Hash操作。
    第一次Hash定位到Segment,第二次Hash定位到元素所在的链表的头部

    • 坏处

      这一种结构的带来的副作用是Hash的过程要比普通的HashMap要

    • 好处

      写操作的时候可以只对元素所在的Segment进行加锁即可,不会影响到其他的Segment,这样,在最理想的情况下,ConcurrentHashMap可以最高同时支持Segment数量大小的写操作(刚好这些写操作都非常平均地分布在所有的Segment上)。

  • 注:

    • 当需要put元素的时候,并不是对整个hashmap进行加锁,而是先通过hashcode来知道他要放哪一个分段中,然后对分段加锁,所以当多线程put的时候,只要不是放在一个分段这种,就实现了真正的并行插入
  • 但是,在统计size的时候,可就是获取hashmap全局信息的时候,就可能需要获取所有的分段锁才能统计。

    • 其中并发级别控制了Segment的个数,在一个ConcurrentHashMap创建后Segment的个数是不能变的,扩容过程过改变的是每个Segment的大小。

1.2 ReentrantLock

  • lock拿不到锁会一直等待。tryLock是去尝试,拿不到就返回false,拿到返回true。

    tryLock是可以被打断的,被中断 的,lock是不可以。

2.数据结构

在JDK1.7版本中,ConcurrentHashMap的数据结构是由一个Segment数组和多个HashEntry组成,如1.中图所示

3.CocurrentHashMap和HashMap异同

3.1 相同点:

  • 都实现了 Map 接口,继承了 AbstractMap 抽象类
  • jdk1.7都是数组 + 链表 ,1.8变成了数组 + 链表 + 红黑树

3.2 不同点

  • HashMap不支持并发操作,没有同步方法

4.CocurrentHashMap和HashTable的对比

  • Hashtable它把所有方法都加上synchronized关键字来实现线程安全。所有的方法都同步这样造成多个线程访问效率特别低。

  • HashTable的锁加在整个Hash表上,而ConcurrentHashMap将锁加在segment上(每个段上)

二.源码部分

1.基本属性

AbstractMap 是 Map 接口的的实现类之一,也是 HashMap, TreeMap, ConcurrentHashMap 等类的父类。

ConcurrentMap它是一个接口,是一个能够支持并发访问的java.util.map集合

Serializable :一个对象序列化的接口,一个类只有实现了Serializable接口,它的对象才能被序列化

1.1常用常量

public class ConcurrentHashMap<K, V> extends AbstractMap<K, V>        implements ConcurrentMap<K, V>, Serializable {    //serialVersionUID 用来表明实现序列化类的不同版本间的兼容性    private static final long serialVersionUID = 7249069246763182397L;    /**     * The default initial capacity for this table,该表的默认初始容量     * used when not otherwise specified in a constructor.在构造函数中未指定时使用     */    static final int DEFAULT_INITIAL_CAPACITY = 16;    /**     * The default load factor for this table, used when not otherwise specified in a constructor.     * 该表的默认加载因子,在构造函数中未指定时使用。     */    static final float DEFAULT_LOAD_FACTOR = 0.75f;    /**     * The default concurrency level for this table, used when not otherwise specified in a constructor.     * 此表的默认并发级别,在构造函数中未指定时使用。     */    static final int DEFAULT_CONCURRENCY_LEVEL = 16;    /**     * The maximum capacity, used if a higher value is implicitly specified by either of the constructors with arguments.  MUST     * be a power of two <= 1<<30 to ensure that entries are indexable     * using ints.     * 最大容量     */    static final int MAXIMUM_CAPACITY = 1 << 30;    /**     * The minimum capacity for per-segment tables.  Must be a power     * of two, at least two to avoid immediate resizing on next use     * after lazy construction.     * 每个段表的最小容量。必须是2的幂,至少为2,以避免在延迟构造后再次使用时立即调整大小。     */    static final int MIN_SEGMENT_TABLE_CAPACITY = 2;    /**     * The maximum number of segments to allow; used to bound     * constructor arguments. Must be power of two less than 1 << 24.     * 允许的最大段数;用于绑定构造函数参数。     */    static final int MAX_SEGMENTS = 1 << 16; // slightly conservative    /**     * Number of unsynchronized retries in size and containsValue     * methods before resorting to locking. This is used to avoid     * unbounded retries if tables undergo continuous modification     * which would make it impossible to obtain an accurate result.     * 在使用锁定之前,在size和containsValue方法上的未同步重试次数。如果表经历了连续的修改,从而无法获得准确的结果,这可以用来避免无边界重试。     * 在size方法和containsValue方法,会优先采用乐观的方式不加锁,直到重试次数达到2,才会对所有Segment加锁     * 这个值的设定,是为了避免无限次的重试。后边size方法会详讲怎么实现乐观机制的。     */    static final int RETRIES_BEFORE_LOCK = 2;
/** * Mask value for indexing into segments. The upper bits of a key's hash code are used to choose the segment. * 用于索引段的掩码值,用于根据元素的hash值定位所在的 Segment 下标 */final int segmentMask;/** * Shift value for indexing within segments. * 在段内索引的移位值 */final int segmentShift;/** * The segments, each of which is a specialized hash table. *  Segment 组成的数组,每一个 Segment 都可以看做是一个特殊的 HashMap */final Segment<K,V>[] segments;

1.2内部类

/** * ConcurrentHashMap list entry. Note that this is never exported out as a user-visible Map.Entry. * ConcurrentHashMap列表条目。注意,这永远不会导出为用户可见的Map.Entry。 * HashEntry,存在于每个Segment中,它就类似于HashMap中的Node,用于存储键值对的具体数据和维护单向链表的关系 */static final class HashEntry<K,V> {    final int hash;    final K key;    //value和next都用 volatile 修饰,用于保证内存可见性和禁止指令重排序    volatile V value;    volatile HashEntry<K,V> next;    HashEntry(int hash, K key, V value, HashEntry<K,V> next) {        this.hash = hash;        this.key = key;        this.value = value;        this.next = next;    }
static final class Segment<K,V> extends ReentrantLock implements Serializable {        private static final long serialVersionUID = 2249069246763182397L;        /**         * The maximum number of times to tryLock in a prescan before possibly blocking on acquire in preparation for a locked         * segment operation. On multiprocessors, using a bounded         * number of retries maintains cache acquired while locating         * nodes.         * 在为锁定段操作做准备而可能阻塞之前,在预扫描中尝试lock的最大次数。在多处理器上,使用有限的重试次数来维护在定位节点时获取的缓存。         */        static final int MAX_SCAN_RETRIES =            Runtime.getRuntime().availableProcessors() > 1 ? 64 : 1;        /**         * The per-segment table. Elements are accessed via         * entryAt/setEntryAt providing volatile semantics.         * 每个segment中的键值对数组         */        transient volatile HashEntry<K,V>[] table;        /**         * The number of elements. Accessed only either within locks         * or among other volatile reads that maintain visibility.         * Segment中的元素个数         */        transient int count;        /**         * The total number of mutative operations in this segment.         * Even though this may overflows 32 bits, it provides         * sufficient accuracy for stability checks in CHM isEmpty()         * and size() methods.  Accessed only either within locks or         * among other volatile reads that maintain visibility.         * 每次 table 结构修改时,modCount增加1         */        transient int modCount;        /**         * The table is rehashed when its size exceeds this threshold.         * 当表的大小超过这个阈值时,表将被重新散列。         * (The value of this field is always <tt>(int)(capacity *         * loadFactor)</tt>.)         * segment扩容的阈值         */        transient int threshold;        /**         * The load factor for the hash table.  Even though this value         * is same for all segments, it is replicated to avoid needing         * links to outer object.         * @serial         * 加载因子         */        final float loadFactor;         //构造函数        Segment(float lf, int threshold, HashEntry<K,V>[] tab) {            this.loadFactor = lf;            this.threshold = threshold;            this.table = tab;        }

2.构造函数

/** * Creates a new, empty map with a default initial capacity (16), * load factor (0.75) and concurrencyLevel (16). * 创建一个新的空映射,具有默认的初始容量(16),负载因子(0.75)和并发级别(16)。 */public ConcurrentHashMap() {    this(DEFAULT_INITIAL_CAPACITY, DEFAULT_LOAD_FACTOR, DEFAULT_CONCURRENCY_LEVEL);}
/** * Creates a new, empty map with the specified initial capacity, * and with default load factor (0.75) and concurrencyLevel (16). * 使用指定的初始容量创建一个新的空映射,以及默认的负载因子(0.75)和并发级别(16)。 * @param initialCapacity the initial capacity. The implementation * performs internal sizing to accommodate this many elements. * @throws IllegalArgumentException if the initial capacity of * elements is negative. */public ConcurrentHashMap(int initialCapacity) {    this(initialCapacity, DEFAULT_LOAD_FACTOR, DEFAULT_CONCURRENCY_LEVEL);}
/** * Creates a new, empty map with the specified initial capacity * and load factor and with the default concurrencyLevel (16). * 使用指定的初始容量,负载因子和默认的concurrencyLevel (16)创建一个新的空映射 * @param initialCapacity The implementation performs internal * sizing to accommodate this many elements. * @param loadFactor  the load factor threshold, used to control resizing. * Resizing may be performed when the average number of elements per * bin exceeds this threshold. * @throws IllegalArgumentException if the initial capacity of * elements is negative or the load factor is nonpositive * * @since 1.6 */public ConcurrentHashMap(int initialCapacity, float loadFactor) {    this(initialCapacity, loadFactor, DEFAULT_CONCURRENCY_LEVEL);}
/** * Creates a new map with the same mappings as the given map. * 使用与给定映射相同的映射创建一个新映射。 * The map is created with a capacity of 1.5 times the number * of mappings in the given map or 16 (whichever is greater), * and a default load factor (0.75) and concurrencyLevel (16). * 容量为原map * 1.5倍 和 16 中大的那个,加载因子为0.75,concurrencyLevel为16 * @param m the map */public ConcurrentHashMap(Map<? extends K, ? extends V> m) {    //构建新的table    this(Math.max((int) (m.size() / DEFAULT_LOAD_FACTOR) + 1,                  DEFAULT_INITIAL_CAPACITY),         DEFAULT_LOAD_FACTOR, DEFAULT_CONCURRENCY_LEVEL);    //将原映射put进去    putAll(m);}
/** * Creates a new, empty map with the specified initial capacity, load factor and concurrency level. * 使用指定的初始容量、负载因子和并发级别创建一个新的空映射。 * 所有的构造函数最终都会调用这个构造函数 * @param initialCapacity the initial capacity. The implementation * performs internal sizing to accommodate this many elements. * @param loadFactor  the load factor threshold, used to control resizing. * Resizing may be performed when the average number of elements per * bin exceeds this threshold. * @param concurrencyLevel the estimated number of concurrently * updating threads. The implementation performs internal sizing * to try to accommodate this many threads. * @throws IllegalArgumentException if the initial capacity is * negative or the load factor or concurrencyLevel are * nonpositive. */@SuppressWarnings("unchecked")public ConcurrentHashMap(int initialCapacity,                         float loadFactor, int concurrencyLevel) {    //如果加载因子<=0,初始容量为负,并发级别<=0,则抛出异常    if (!(loadFactor > 0) || initialCapacity < 0 || concurrencyLevel <= 0)        throw new IllegalArgumentException();    //并发级别不能大于16    if (concurrencyLevel > MAX_SEGMENTS)        concurrencyLevel = MAX_SEGMENTS;    // Find power-of-two sizes best matching arguments 找到2次幂大小的最佳匹配参数    //偏移量    //默认concurrencyLevel = 16, 所以ssize在默认情况下也是16,此时 sshift = 4    int sshift = 0;    //segmen的大小    int ssize = 1;    //找到>concurrencyLevel的最小2次幂    //sshift相当于ssize从1向左移的次数    while (ssize < concurrencyLevel) {        ++sshift;        ssize <<= 1;    }    //段偏移量,默认值28    this.segmentShift = 32 - sshift;    //掩码    this.segmentMask = ssize - 1;    //对初始容量再进行判断    if (initialCapacity > MAXIMUM_CAPACITY)        initialCapacity = MAXIMUM_CAPACITY;    //计算一个segment中数组的数量    int c = initialCapacity / ssize;    //向上取整    if (c * ssize < initialCapacity)        ++c;    //最小分段为2    int cap = MIN_SEGMENT_TABLE_CAPACITY;    //同样地,将segment容量取到大于实际需要的最小2次幂    while (cap < c)        cap <<= 1;    // create segments and segments[0]    //创建segment数组,并初始化segmen[0]    Segment<K,V> s0 =        new Segment<K,V>(loadFactor, (int)(cap * loadFactor),                         (HashEntry<K,V>[])new HashEntry[cap]);    //创建ssize大小的数组    Segment<K,V>[] ss = (Segment<K,V>[])new Segment[ssize];//将obj对象的偏移量为offset的位置修改为value,因为Java中没有内存操作,而Unsafe的这个操作正好补充了内存操作的不足。也可以用于数组操作,比如ConcurrentHashMap中就大量用到了该操作    UNSAFE.putOrderedObject(ss, SBASE, s0); // ordered write of segments[0]    this.segments = ss;}

3. put()

/** * Maps the specified key to the specified value in this table. * 将指定的键映射到该表中的指定值。 * Neither the key nor the value can be null. * 键和值都不能为空。 * <p> The value can be retrieved by calling the <tt>get</tt> method * with a key that is equal to the original key. * 可以通过调用get方法检索该值,该方法具有与原始键相等的键 * @param key key with which the specified value is to be associated * @param value value to be associated with the specified key * @return the previous value associated with <tt>key</tt>, or *         <tt>null</tt> if there was no mapping for <tt>key</tt> * @throws NullPointerException if the specified key or value is null *///告诉编译器忽略警告。不用在编译完成后出现警告@SuppressWarnings("unchecked")public V put(K key, V value) {    Segment<K,V> s;    //如果指定的值为空,抛出异常    if (value == null)        throw new NullPointerException();    int hash = hash(key);    //一个键值对在Segment数组中下标    int j = (hash >>> segmentShift) & segmentMask;    //这里是用Unsafe类的原子操作找到Segment数组中j下标的 Segment 对象    if ((s = (Segment<K,V>)UNSAFE.getObject          // nonvolatile; recheck         (segments, (j << SSHIFT) + SBASE)) == null) //  in ensureSegment        //返回segment类型,如果不存在则初始化        s = ensureSegment(j);    //将键值对通过segment中put方法put,返回值为:    return s.put(key, hash, value, false);}
final V put(K key, int hash, V value, boolean onlyIfAbsent) {    //这里通过tryLock尝试加锁,如果加锁成功,返回null,否则执行 scanAndLockForPut方法    HashEntry<K,V> node = tryLock() ? null :        scanAndLockForPut(key, hash, value);    //保存旧value    V oldValue;    try {        HashEntry<K,V>[] tab = table;        //二次哈希计算,求hashentry数组下标        int index = (tab.length - 1) & hash;        //找到下标的头结点        HashEntry<K,V> first = entryAt(tab, index);        //遍历操作        for (HashEntry<K,V> e = first;;) {            //当首结点不为空的时候            if (e != null) {                K k;                if ((k = e.key) == key ||                    (e.hash == hash && key.equals(k))) {                    oldValue = e.value;                    if (!onlyIfAbsent) {                        e.value = value;                        ++modCount;                    }                    break;                }                e = e.next;            }            else {                //当首结点为空,或者遍历晚时,以下                //node值不为空时,说明调用scanAndLockForPut()方法时,遍历没有找到该节点,创建了新结点给node,“预热”                if (node != null)                    //直接头插法                    node.setNext(first);                else                    //新建结点,头插法                    node = new HashEntry<K,V>(hash, key, value, first);                count加1                int c = count + 1;                //当c大于阈值且table长度没达到最大值的时候扩容                if (c > threshold && tab.length < MAXIMUM_CAPACITY)                    rehash(node);                else                    //否则,将结点插到数组下标为index的位置                    setEntryAt(tab, index, node);                //增加修改次数                ++modCount;                //count也++                count = c;                //因为没有旧的value所以设置为null                oldValue = null;                break;            }        }    } finally {        unlock();    }    //返回oldvalue    return oldValue;}

4.get()

/** * Returns the value to which the specified key is mapped, * or {@code null} if this map contains no mapping for the key. * 返回指定键映射到的值,或是null * <p>More formally, if this map contains a mapping from a key * {@code k} to a value {@code v} such that {@code key.equals(k)}, * then this method returns {@code v}; otherwise it returns * {@code null}.  (There can be at most one such mapping.) * * @throws NullPointerException if the specified key is null */public V get(Object key) {    Segment<K,V> s; // manually integrate access methods to reduce overhead 手动集成访问方法以减少开销    HashEntry<K,V>[] tab;    //计算hash值    int h = hash(key);    //从主存中取出最新的结点    long u = (((h >>> segmentShift) & segmentMask) << SSHIFT) + SBASE;    //如果若Segment不为空,且链表也不为空,则遍历查找节点    if ((s = (Segment<K,V>)UNSAFE.getObjectVolatile(segments, u)) != null &&        (tab = s.table) != null) {        for (HashEntry<K,V> e = (HashEntry<K,V>) UNSAFE.getObjectVolatile                 (tab, ((long)(((tab.length - 1) & h)) << TSHIFT) + TBASE);             e != null; e = e.next) {            K k;            //找到结点,返回value            if ((k = e.key) == key || (e.hash == h && key.equals(k)))                return e.value;        }    }    //无,返回空    return null;}

5. ensureSegment()

/** * Returns the segment for the given index, creating it and recording in segment table (via CAS) if not already present. * 返回给定索引的段,创建它并(通过CAS)在段表中记录(如果不存在)。 * @param k the index * @return the segment */@SuppressWarnings("unchecked")////k为 (hash >>> segmentShift) & segmentMask 计算出的segment下标private Segment<K,V> ensureSegment(int k) {    final Segment<K,V>[] ss = this.segments;    ////u代表 k 的偏移量,用于通过 UNSAFE 获取主内存最新的实际 K 值    long u = (k << SSHIFT) + SBASE; // raw offset    Segment<K,V> seg;    //从内存中取到最新的下标位置的 Segment 对象,判断是否为空    if ((seg = (Segment<K,V>)UNSAFE.getObjectVolatile(ss, u)) == null) {        //如果为空,则按照ss[0]为原型来建造segment        Segment<K,V> proto = ss[0]; // use segment 0 as prototype        //容量为ss[0]的长度        int cap = proto.table.length;        //加载因子也为ss[0]的        float lf = proto.loadFactor;        //算出阈值        int threshold = (int)(cap * lf);        //再创建Segment 对应的 HashEntry 数组        HashEntry<K,V>[] tab = (HashEntry<K,V>[])new HashEntry[cap];        if ((seg = (Segment<K,V>)UNSAFE.getObjectVolatile(ss, u))            == null) { // recheck 再次从内存中取到最新的下标位置的 Segment 对象,判断是否为空            //创建segment对象            Segment<K,V> s = new Segment<K,V>(lf, threshold, tab);            //循环检查 u下标位置的 Segment 是否为空            while ((seg = (Segment<K,V>)UNSAFE.getObjectVolatile(ss, u))                   == null) {                //不为空,说明有其他线程已经创建对象,则用seg保存                //若为空,则当前下标的Segment对象为空,就把它替换为最新创建出来的 s 对象                if (UNSAFE.compareAndSwapObject(ss, u, null, seg = s))                    break;            }        }    }    //返回segment    return seg;}

6.scanAndLockForPut()

/** * Scans for a node containing given key while trying to * acquire lock, creating and returning one if not found. Upon * return, guarantees that lock is held. UNlike in most * methods, calls to method equals are not screened: Since * traversal speed doesn't matter, we might as well help warm * up the associated code and accesses as well. * put()方法第一步抢锁失败之后,就会执行此方法 * @return a new node if key not found, else null */private HashEntry<K,V> scanAndLockForPut(K key, int hash, V value) {    //找到HashEntry数组的下标的首结点    HashEntry<K,V> first = entryForHash(this, hash);    HashEntry<K,V> e = first;    HashEntry<K,V> node = null;    //初始化重试次数,为-1    int retries = -1; // negative while locating node    //一直尝试抢锁    while (!tryLock()) {        HashEntry<K,V> f; // to recheck first below        //        if (retries < 0) {            //首结点为空,预先创建一个新的结点,在hashentry数组上,retries++            if (e == null) {                if (node == null) // speculatively create node                    node = new HashEntry<K,V>(hash, key, value, null);                retries = 0;            }            //如果first有值,并且相对应,则也把retries = 0            else if (key.equals(e.key))                retries = 0;            else                //不对应的话,就从判断语句开始            //同样的如果空,就新建结点,否则找到该结点,最后retries = 0                e = e.next;        }        else if (++retries > MAX_SCAN_RETRIES) {            //lock拿不到锁会一直等待。tryLock是去尝试,拿不到就返回false,拿到返回true。            lock();            break;        }        //retries为偶数的时候&1为0,检查在这段时间内first结点是否有改变        else if ((retries & 1) == 0 &&                 (f = entryForHash(this, hash)) != first) {            e = first = f; // re-traverse if entry changed如果条目改变了,重新遍历            retries = -1;        }    }    return node;}
  • scanAndLockForPut 这个方法可以确保返回时,当前线程一定是获取到锁的状态。

7.rehash()

  • 当 put 方法时,发现元素个数超过了阈值,则会扩容

  • 但是segment互相之间并不影响

/** * Doubles size of table and repacks entries, also adding the given node to new table * 将表的大小增加一倍并重新打包条目,还将给定节点添加到新表中 */@SuppressWarnings("unchecked")private void rehash(HashEntry<K,V> node) {    /*     * Reclassify nodes in each list to new table.  Because we     * are using power-of-two expansion, the elements from     * each bin must either stay at same index, or move with a     * power of two offset. We eliminate unnecessary node     * creation by catching cases where old nodes can be     * reused because their next fields won't change.     * Statistically, at the default threshold, only about     * one-sixth of them need cloning when a table     * doubles. The nodes they replace will be garbage     * collectable as soon as they are no longer referenced by     * any reader thread that may be in the midst of     * concurrently traversing table. Entry accesses use plain     * array indexing because they are followed by volatile     * table write.     */    HashEntry<K,V>[] oldTable = table;    //oldCapacity为原表的长度    int oldCapacity = oldTable.length;    //新容量为原来的2倍    int newCapacity = oldCapacity << 1;    //再计算新的阈值    threshold = (int)(newCapacity * loadFactor);    //创建新容量的hashentry    HashEntry<K,V>[] newTable =        (HashEntry<K,V>[]) new HashEntry[newCapacity];    //哈希表大小掩码 用于计算索引值    int sizeMask = newCapacity - 1;    //遍历原表    for (int i = 0; i < oldCapacity ; i++) {        //// e 为链表的第一个结点        HashEntry<K,V> e = oldTable[i];        //如果首结点不为空        if (e != null) {            //保存e的next结点            HashEntry<K,V> next = e.next;            //重新计算e的index            int idx = e.hash & sizeMask;            //如果next为null,说明此位置没发生哈希冲突,直接将e插入            if (next == null)   //  Single node on list                newTable[idx] = e;            else { // Reuse consecutive sequence at same slot 重复使用同一槽位的连续序列                HashEntry<K,V> lastRun = e;                int lastIdx = idx;                //遍历列表                for (HashEntry<K,V> last = next;                     last != null;                     last = last.next) {                    //计算当前遍历到的节点的新下标                    int k = last.hash & sizeMask;                    //若 k 不等于 lastIdx,则把last更新                    if (k != lastIdx) {                        lastIdx = k;                        lastRun = last;                    }                }                //新表的lastidx位置放入和lastrun index相同的结点                newTable[lastIdx] = lastRun;                // Clone remaining nodes 克隆剩余节点                for (HashEntry<K,V> p = e; p != lastRun; p = p.next) {                    //通过遍历建立新结点的方式                    V v = p.value;                    int h = p.hash;                    int k = h & sizeMask;                    HashEntry<K,V> n = newTable[k];                    newTable[k] = new HashEntry<K,V>(h, p.key, v, n);                }            }        }    }    //添加新节点,put方法传入的结点    int nodeIndex = node.hash & sizeMask; // add the new node    node.setNext(newTable[nodeIndex]);    newTable[nodeIndex] = node;    table = newTable;}

8.remove()

/** * Remove; match on key only if value null, else match both. */final V remove(Object key, int hash, Object value) {    //抢锁    if (!tryLock())        scanAndLock(key, hash);    V oldValue = null;    try {        HashEntry<K,V>[] tab = table;        //找到哈希表对应下标的头结点        int index = (tab.length - 1) & hash;        HashEntry<K,V> e = entryAt(tab, index);        HashEntry<K,V> pred = null;        //如果首结点不为null        while (e != null) {            K k;            //记录next            HashEntry<K,V> next = e.next;            if ((k = e.key) == key ||                (e.hash == hash && key.equals(k))) {                V v = e.value;                if (value == null || value == v || value.equals(v)) {                    if (pred == null)                    /**                     * static final <K,V> void setEntryAt(HashEntry<K,V>[] tab, int i,                     *                                        HashEntry<K,V> e) {                     *                      UNSAFE.putOrderedObject(tab, ((long)i << TSHIFT) + TBASE, e);                     *  putOrderedObject: 将这个方法名拆成 put ordered Object                     */                        setEntryAt(tab, index, next);                    else                        pred.setNext(next);                    ++modCount;                    --count;                    oldValue = v;                }                break;                //用的Unsafe的方法直接替换数组对应的值(此时的数组对应的空,所以可以直接插入),然后就是解锁,返回旧的值了。            }            pred = e;            e = next;        }    } finally {        unlock();    }    return oldValue;}

9.size()

/** * Returns the number of key-value mappings in this map. * 返回此映射中的键-值映射的数量。 * If the map contains more than <tt>Integer.MAX_VALUE</tt> elements, returns * <tt>Integer.MAX_VALUE</tt>. * * @return the number of key-value mappings in this map */public int size() {    // Try a few times to get accurate count. On failure due to    // continuous async changes in table, resort to locking.    //试几次,得到准确的数字。如果由于表中的连续异步更改而导致失败,则使用锁定。    final Segment<K,V>[] segments = this.segments;    int size;    boolean overflow; // true if size overflows 32 bits    long sum;         // sum of modCounts 的和    long last = 0L;   // previous sum    int retries = -1; // first iteration isn't retry 重试次数    try {        for (;;) {            //如果超过重试次数,则不再重试,而是把所有Segment都加锁,再统计 size            if (retries++ == RETRIES_BEFORE_LOCK) {                for (int j = 0; j < segments.length; ++j)                    ensureSegment(j).lock(); // force creation            }            sum = 0L;            size = 0;            overflow = false;            //遍历所有Segment            //先不都锁上,每个段统计count,并记录modcount            //最后如果modcount不相等,则重新循环,直到超出最大重试次数            //则强制锁上所有segment,然后统计次数返回            for (int j = 0; j < segments.length; ++j) {                Segment<K,V> seg = segmentAt(segments, j);                if (seg != null) {                    sum += seg.modCount;                    int c = seg.count;                    if (c < 0 || (size += c) < 0)                        overflow = true;                }            }            if (sum == last)                break;            last = sum;        }    } finally {        if (retries > RETRIES_BEFORE_LOCK) {            for (int j = 0; j < segments.length; ++j)                segmentAt(segments, j).unlock();        }    }    return overflow ? Integer.MAX_VALUE : size;}

三.总结

1. ConcurrentHashMap中变量使用final和volatile修饰有什么用呢?

  • final :HashEntry里面除了value值不是final修饰的,其他都被final修饰了,所以在HashEntry链表里面添加HashEntry的时候,只能添加到头节点,不能添加到尾节点,因为HashEntry里面的next值是被final修饰的,不能修改。

  • volatile:来保证某个变量内存的改变对其他线程即时可见,在配合CAS可以实现不加锁对并发操作的支持。

    如:get操作可以无锁是由于Node的元素val和指针next是用volatile修饰的,在多线程环境下线程A修改结点的val或者新增节点的时候是对线程B可见的

2. 什么是哈希算法?

  • 是一种将任意内容的输入转换成相同长度输出的加密方式,其输出被称为哈希值。

3. 为什么用两次hash?

  • 构造分离锁,操作的时候不会锁住整个表,提高并发能力

4. hashmap在多线程下的隐患是什么?可以用用什么代替

  • jdk1.7版本存在put操作时存在丢失数据的情况

    jdk1.8版本虽然解决了死循环问题,但是也有数据覆盖问题

  • 可用ConcurrentHashMap代替HashMap

5. 并发问题分析

ConcurrentHashMap的get操作时候,新增,修改,删除都是要考虑并发问题的

。。。

6. segmentShift、segmentMask、sshift、ssize和SBASE关系

  • 一个键值对在Segment数组中下标为:

    (hash >>> segmentShift) & segmentMask

  • 其中,

    • segmentShift = 32 - sshift
    • segmentMask = ssize - 1
    • 其中,
      • 2^sshif=ssize
      • ssize为concurrencyLevel的最小2次幂
posted @ 2022-02-19 13:58 ftfty 阅读(0) 评论(0) 编辑 收藏 举报
回帖
    张三

    张三 (王者 段位)

    821 积分 (2)粉丝 (41)源码

     

    温馨提示

    亦奇源码

    最新会员