常见线程安全的并发容器

1.常见线程安全的并发容器

CopyOnWriteArrayList
CopyOnWriteArraySet
ConcurrentHashMap

CopyOnWriteArrayList CopyOnWriteArraySet采用写时复制实现线程安全

CopyOnWriteArrayList的add源码

解释下这段代码
lock加锁,然后try里面
获取数组,创建新数组,添加元素,调用setArray的方法替换旧数组,最后解锁,
这种写时复制方式保证了线程的安全

ConcurrentHashMap实现原理

在JDK1.7中ConcurrentHashMap采用了数组+Segment+分段锁的方式实现。
在JDK1.8中ConcurrentHashMap参考了JDK1.8HashMap的实现，采用了数组+链表+红黑树的实现方式来设计，内部大量采用CAS操作.
从JDK1.7版本的ReentrantLock+Segment+HashEntry，
到JDK1.8版本中synchronized+CAS+HashEntry+红黑树

ConcurrentHashMap的put方法

static final int MOVED     = -1; // hash for forwarding nodes
static final int TREEBIN   = -2; // hash for roots of trees
static final int RESERVED  = -3; // hash for transient reservations
static final int HASH_BITS = 0x7fffffff; // usable bits of normal node hash

......

final V putVal(K key, V value, boolean onlyIfAbsent) {
        if (key == null || value == null) throw new NullPointerException();
        //1.根据 Key 计算出 hash值
        int hash = spread(key.hashCode());
        int binCount = 0;
        for (Node<K,V>[] tab = table;;) {
        //2. 判断是否需要初始化
            Node<K,V> f; int n, i, fh;
            if (tab == null || (n = tab.length) == 0)
                tab = initTable();//第一次put的时候table没有初始化,所以初始化table
            else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
            //3.1如果为null, 则通过cas的方式尝试添加
                if (casTabAt(tab, i, null,
                             new Node<K,V>(hash, key, value, null)))
                    break;                   // no lock when adding to empty bin
            }
            //3.2如果f.hash = MOVEd = -1,说明其他线程在扩容,参与一起扩容
            else if ((fh = f.hash) == MOVED)
                tab = helpTransfer(tab, f);
            //3.3如果都不满足,synchronized锁住f节点,判断是链表还是红黑树,遍历插入
            else {
                V oldVal = null;
                synchronized (f) {
                    if (tabAt(tab, i) == f) {
                        if (fh >= 0) {
                            binCount = 1;
                            for (Node<K,V> e = f;; ++binCount) {
                                K ek;
                                if (e.hash == hash &&
                                    ((ek = e.key) == key ||
                                     (ek != null && key.equals(ek)))) {
                                    oldVal = e.val;
                                    if (!onlyIfAbsent)
                                        e.val = value;
                                    break;
                                }
                                Node<K,V> pred = e;
                                if ((e = e.next) == null) {
                                    pred.next = new Node<K,V>(hash, key,
                                                              value, null);
                                    break;
                                }
                            }
                        }
                        else if (f instanceof TreeBin) {
                            Node<K,V> p;
                            binCount = 2;
                            if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
                                                           value)) != null) {
                                oldVal = p.val;
                                if (!onlyIfAbsent)
                                    p.val = value;
                            }
                        }
                    }
                }
                if (binCount != 0) {
                //4.当链表长度达到8的时候,扩容或者链表转换为红黑树
                    if (binCount >= TREEIFY_THRESHOLD)
                        treeifyBin(tab, i);
                    if (oldVal != null)
                        return oldVal;
                    break;
                }
            }
        }
        addCount(1L, binCount);//计数
        return null;
    }

HashMap线程不安全的，在多线程环境下，使用Hashmap进行put操作会引起死循环，导致CPU利用率接近100%，所以在并发情况下不能使用HashMap。

HashTable和HashMap的实现原理几乎一样，差别无非是HashTable不允许key和value为null
HashTable是线程安全的,
但是HashTable线程安全的策略实现代价却太大了，简单粗暴，get/put所有相关操作都是synchronized的，这相当于给整个哈希表加了一把大锁。多线程访问时候，只要有一个线程访问或操作该对象，那其他线程只能阻塞，相当于将所有的操作串行化，在竞争激烈的并发场景中性能就会非常差。