多线程六同步容器&并发容器

同步容器(使用的是synchronized,并且不一定是百分百安全)

本篇续 -- 线程之间的通信 ,介绍java提供的并发集合,既然正确的使用wait和notify比较困难,java平台为我们提供了更高级的并发容器来替代

Vector&ArrayList

Vector虽然它的set和get方法都被Synchronized修饰,但是开启两条线程并发访问,一条线程拼命往里写,另一台循环往移除,这样并发访问不一定是百分百的线程安全的,很可能出现数组越界异常,而且现在基本已经不适用它了,它基本被ArrayList替代掉了
ArrayList是线程不安全的,并多线程并发访问的情况下会报 java.util.ConcurrentModificationException, 并发修改异常( 初始大小10, 每次扩容量都是扩容前的一倍, 使用native方法 Arrays.copyOf()方法)

将ArrayList转换成线程安全的

    ArrayList al = new ArrayList();
    
    Connections.syncchronizedList(al);

Map

效率低下的HashTable,同Vector类似,它被HashMap替代掉了
HashTable底层是通过synchronized关键字来实现的,虽然线程安全,但是在高并发的情况下,效率却超级低,因为当一个线程访问HashTable的同步方法时,其他线程拿不到锁,就访问不了它的同步方法,比如线程1使用HashTable的put方法,其他线程不仅不能使用put,就连get()也被阻塞不可以存储null键值
线程不安全的HashMap
在高并发访问的情况下,不会使用HashMap,线程不安全,但是可以存储null键值

将HashMap转换成线程安全的

    HashMap map = new HashMap<>();
    Map map1 = Collections.synchronizedMap(map);

并发容器J.U.C

并发List--CopyOnWriteArrayList

JUC之写时复制技术, 它是ArrayList 的一个线程安全的变体，其中所有可变操作（add、set 等等）都是通过对底层数组进行一次新的复制来实现的。

我们着重的关注点是啥呢? 可能会出现线程安全性问题的方法 set() add() remove()

基本的使用;

同样实现了List接口,那么其实它的使用和ArrayList完全一样的,只是内部的实现不一样

实现原理

分析add方法

    /**
     * Appends the specified element to the end of this list.
     *
     * @param e element to be appended to this list
     * @return {@code true} (as specified by {@link Collection#add})
     */
    public boolean add(E e) {
        final ReentrantLock lock = this.lock;  //获取锁ReentrantLock
        lock.lock();
        try {
            Object[] elements = getArray();  // 获取CopyOnWriteArrayList内部维护的数组
            int len = elements.length;      
            Object[] newElements = Arrays.copyOf(elements, len + 1);  // 复制该数组到 newElements数组里面  并扩容
            newElements[len] = e;  //在数组最后添加新的元素
            setArray(newElements); //让替换掉原来的数组 
            return true;    //添加成功
        } finally {
            lock.unlock();
        }
    }


  /**
     * {@inheritDoc}
     *
     * @throws IndexOutOfBoundsException {@inheritDoc}
     */
    public E get(int index) {
        return get(getArray(), index);
    }

可以看到,其实类似读写分离, add()可能会出现线程安全问题,因此给它一把锁,get()不会出现线程安全性问题,因此没有锁,如果非要给get也加上锁,那么在add的时候,就不能get了,因为它拿不到锁对象

如果是读取的话,直接在通过原数组的引用找到数组对象的位置进行读取

add()写的时候,其实不是往原array里面写,而是分如下几步

加锁
拷贝原数组,创建新的数组
添加新的元素
新数组替换原数组
释放锁

此外,CopyOnWriteArrayList底层维护的Object类型的数组被 volatile修饰

分析remove方法

public E remove(int index) {
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        Object[] elements = getArray();
        int len = elements.length;
        E oldValue = get(elements, index);
        int numMoved = len - index - 1;
        if (numMoved == 0) //移除最后一个
            setArray(Arrays.copyOf(elements, len - 1)); 
        else {      // 移除其它的,当前元素后面的需要往前移动
            Object[] newElements = new Object[len - 1];
            System.arraycopy(elements, 0, newElements, 0, index);
            System.arraycopy(elements, index + 1, newElements, index,
                             numMoved);
            setArray(newElements);
        }
        return oldValue;  // 移除谁,返回谁
    } finally {
        lock.unlock();
    }
}

总结一下

假如说多线程并发的应用中,绝大部分都是读操作,那么,CopyOnWriteArrayList效率明显高,因为他是读写分离,读没有锁,是在原数组上进行的,写也是线程安全的(加了lock),其中有一点就是它虽然能保证数据的最终是同步的,但是却保证不了实时同步性
假如说绝大部分操作是写操作,可以看到,还是挺吃内存的,数组过大,他的效率可能就不一定比同步容器高,在不知道往里面存储多少数据的情况下,慎用.在高并发的互联网环境下这种操作分分钟就导致故障

并发Set

和List步调一致的是,java平台为set集合提供了CopyOnWriteArraySet,它实现了set接口,底层完全依赖CopyOnWriteArrayList因此,它的特性和CopyOnWriteArrayList一致,同样在读多写少的高并发环境下,拥有很高的效率
同样,在写多读少的高并发环境下,我们可以考虑下面的转换

 Set<Object> set = Collections.synchronizedSet(new HashSet<>());

并发Map

同样可以使用Collections获取到一个同步Map,但是这个Map的性能依然不是最优的

  Collections.synchronizedMap();

jdk同样提供了一个高效同步Map,ConcurrentHashMap 他不允许空值

jdk1.7中ConcurrentHashMap内部实行了锁分离,分段式存储数据,然后每一段数据都会加上不同步的锁,所以当其中一条线程访问其中一段数据的时候,其他数据仍然可以被别的线程访问,同时,它的get()方法也是无锁的

jdk1.8中ConcurrentHashMap内部抛弃了锁分离而使用红黑树实现

并发Queue

在并发队列上,java提供了两套实现,一个是ConcurrentLinkedQueue的非阻塞型的队列,另一个是BlockingQueue接口,阻塞队列,同样他们继承了Queue接口

ConcurrentLinkedQueue 非阻塞队列

保证了在高并发的情况下,对link底层维护的链表的增删改各个节点的安全性

API和LinkedList等完全一样...

实现原理

它通过无锁的方法,底层使用的是UNSAFE实现(保证线程的安全性)
入队offer

/**
 * Inserts the specified element at the tail of this queue.
 * As the queue is unbounded, this method will never return {@code false}.
 *
 * @return {@code true} (as specified by {@link Queue#offer})
 * @throws NullPointerException if the specified element is null
 */
public boolean offer(E e) {
    checkNotNull(e);  // 检查新添加的内容是否为空
    final Node<E> newNode = new Node<E>(e); // 将其放入新节点

    for (Node<E> t = tail, p = t;;) {  // 整个一个for循环, 循环遍历链表,寻找适当的位置,插入新节点
        Node<E> q = p.next;
        if (q == null) {
            // p is last node
            if (p.casNext(null, newNode)) {
                // Successful CAS is the linearization point
                // for e to become an element of this queue,
                // and for newNode to become "live".
                if (p != t) // hop two nodes at a time
                    casTail(t, newNode);  // Failure is OK. //可以看到,在这种会出现线程安全性问题的地方,使用的是cas进行操作,保证了线程的安全性
                return true;
            }
            // Lost CAS race to another thread; re-read next
        }
        else if (p == q)
            // We have fallen off list.  If tail is unchanged, it
            // will also be off-list, in which case we need to
            // jump to head, from which all live nodes are always
            // reachable.  Else the new tail is a better bet.
            p = (t != (t = tail)) ? t : head;
        else
            // Check for tail updates after two hops.
            p = (p != t && t != (t = tail)) ? t : q;
    }
}
    // 可以看到,casXXX 底层使用的是UNSAFE实现(保证线程的安全性)    
       private boolean casTail(Node<E> cmp, Node<E> val) {
        return UNSAFE.compareAndSwapObject(this, tailOffset, cmp, val);
    }

    private boolean casHead(Node<E> cmp, Node<E> val) {
        return UNSAFE.compareAndSwapObject(this, headOffset, cmp, val);
    }

出队

public E poll() {
    restartFromHead:
    for (;;) {
        for (Node<E> h = head, p = h, q;;) {
            E item = p.item;

            if (item != null && p.casItem(item, null)) {
                // Successful CAS is the linearization point
                // for item to be removed from this queue.
                if (p != h) // hop two nodes at a time
                    updateHead(h, ((q = p.next) != null) ? q : p);
                return item;
            }
            else if ((q = p.next) == null) {
                updateHead(h, p);
                return null;
            }
            else if (p == q)
                continue restartFromHead;
            else
                p = q;
        }
    }

阻塞队列BlockingQueue

阻塞队列的性质

如果阻塞队列为空, 再有新的线程想从阻塞队列里面获取元素就会被阻塞
如果队列满了, 再有线程想往里面put元素就会被阻塞

常见的阻塞队列

ArrayBlockingQueue : 底层是一个基于数组结果的有界阻塞队列, 有FIFO特性
LinkedBlockingQeque: 底层是基于链表存储结构实现的阻塞队列, 它有界,但是界限是Integer.MAXVALUE, 故容器产生OOM异常
PriorityBlockingQueue: 带优先级的阻塞队列
SynchronousQueue : 是一个不存储元素的阻塞队列, 每次的插入操作都必须等待另一个线程将元素移除出队列
LinkedBlockingDueue : 是基于一个双向的链表，可以先进先出（队列），也可以先进后出（栈）不允许插入null，基本原理和方法都和LinkedBlockingQueue差不多
DelayQueue: 在指定时间才能获取队列元素的功能，队列头元素是最接近过期的元素。没有过期元素的话，使用poll()方法会返回null值，超时判定是通过getDelay(TimeUnit.NANOSECONDS)方法的返回值小于等于0来判断。延时队列不能存放空元素。

核心方法

方法类型	抛出异常	boolean	阻塞	超时
插入	add(e)	offer(e)	put(e)	offer(e,time,unit)
移除	remove()	poll()	take()	poll(time,unit)
检查	element()	peek()

主要应用场景:

生产者和消费者模式

BlockingQueue是一个接口,因此我们学习ArrayBlockingQueue,它的底层维护着一个数组的阻塞队列

一个由数组支持的有界阻塞队列。此队列按 FIFO（先进先出）原则对元素进行排序。队列的头部是在队列中存在时间最长的元素。队列的尾部是在队列中存在时间最短的元素。新元素插入到队列的尾部，队列获取操作则是从队列头部开始获得元素。

此类支持对等待的生产者线程和使用者线进行排序的可选公平策略。默认情况下，不保证是这种排序。然而，通过将公平性 (fairness) 设置为 true 而构造的队列允许按照 FIFO 顺序访问线程。公平性通常会降低吞吐量，但也减少了可变性和避免了“不平衡性”。

此类及其迭代器实现了 Collection 和 Iterator 接口的所有可选方法。

既然叫阻塞队列,也就是说,他支持在多线程的条件下,多线程并发添加移除数组的元素,会被阻塞等待,而不会抛出空值异常或者报错,且数组的长度不可变

两种情况发生阻塞
- 队列满的时候,进行入队操作,也就是说,队列满了,但是有一个线程往队列里面put的时候,他会被阻塞,除非有别的线程做了take的操作
- 队列为空,进行出队操作

可阻塞方法	描述
put	将指定元素插入此队列中，将等待可用的空间（如果有必要）。
take	获取并移除此队列的头部，在元素变得可用之前一直等待（如果有必要）。

可以直接使用它,实现消费者生产者模式,他的底层是用Condition ReentrantLock实现的--,方法被lock()和unlock()锁住, 数组满就await , 出队后signal

不发生阻塞	描述
add	将指定元素插入此队列中（如果立即可行且不会违反容量限制），成功时返回 true，如果当前没有可用的空间，则抛出 IllegalStateException
remove	从此队列中移除指定元素的单个实""（如果存在）。同样会抛异常

不发生阻塞	描述
offer	将指定元素插入此队列中（如果立即可行且不会违反容量限制），成功时返回 true，如果当前没有可用的空间，则返回 false。
poll	获取并移除此队列的头部，在指定的等待时间前等待可用的元素（如果有必要）。没有元素,返回null

五 .并发Deque

jdk1.6开始java提供的双端队列Deque(Double Ended Queue)允许在队列的头部或者尾部进行入队或者出队的操作.
他是是实现类:

ArrayDeque
- 使用数组实现了双端队列,拥有更好的随机访问性,但是当队列的增大时,他需要重新分配内存,然后进行数组的复制
LinkedList
- 使用链表实现了双端队列,因此它相对于ArrayDeque来说,没有了内存调整,数组复制的负担

无论是ListedList还是ArrayDeque,都是线程不安全的

LinkedBlockingDeque

线程安全,但是它没有进行读写分离,也就说,同一时间,只允许一条线程对其操作,因此在并发中,它的性能,远远底于ConcurrentLinkQueue

参考博文
你不就像风一样

多线程六 同步容器&并发容器

同步容器(使用的是synchronized,并且不一定是百分百安全)

Vector&ArrayList

Map

并发容器J.U.C

并发List--CopyOnWriteArrayList

基本的使用;

实现原理

并发Set

并发Map

并发Queue

ConcurrentLinkedQueue 非阻塞队列

实现原理

阻塞队列BlockingQueue

阻塞队列的性质

常见的阻塞队列

核心方法

主要应用场景:

五 .并发Deque

多线程六同步容器&并发容器