集合类之安全失败（Safe-Fail）

集合类之安全失败（Safe-Fail）

1.什么是安全失败机制？

Fail-Safe 机制主要是针对线程安全的集合类（如 ConcurrentHashMap，CopyOnWriteArrayList），其的出现的目的是为了解决 fail-fast 抛出异常处理起来不方便的问题。

2.原理

并发容器的 iterator() 方法返回的迭代器内部都是保存了该集合对象的一个快照副本，并且在next()等移动指针的方法中没有 modCount 等数值做检查。这也造成了并发容器迭代器读取的数据是某个时间点的快照版本。你可以并发读取，不会抛出异常，但无法不保证遍历读取的值和当前集合对象的状态是一致的。 同时创建集合拷贝还需要时间和空间上的额外开销

3.分析

以CopyOnWriteArrayList为例（以jdk1.7中代码为例）：

（1）当我们向CopyOnWriteArrayList中添加元素时，会先加上ReentrantLock可重入锁，保证写一致性，并且在写之前，将原来的数组copy一份，得到长度比原来多一的新数组，并在新数组上进行添加操作，添加完成后，将CopyOnWriteArrayList对象内数组对象array的引用指向新数组（当再次通过getArray()获取时，获取到的就是更新后新的数组对象了）

public boolean add(E e) {
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        Object[] elements = getArray();
        int len = elements.length;
        Object[] newElements = Arrays.copyOf(elements, len + 1);
        newElements[len] = e;
        setArray(newElements);
        return true;
    } finally {
        lock.unlock();
    }
}

（2）若此时有其他线程通过集合的iterator()方法，来遍历集合时，会返回一个传入了原数组对象array的COWIterator迭代器对象

public Iterator<E> iterator() {
    return new COWIterator<E>(getArray(), 0);
}

（3）COWIterator迭代器对象实现了ListIterator接口，并且内部有一个snapshot属性，来保存拿到的原数组对象

private static class COWIterator<E> implements ListIterator<E> {
    /** Snapshot of the array */
    private final Object[] snapshot;
    /** Index of element to be returned by subsequent call to next.  */
    private int cursor;

    private COWIterator(Object[] elements, int initialCursor) {
        cursor = initialCursor;
        snapshot = elements;
    }
    .......
    }

（4）在调用next方法时，可以看到，已经没有比较modCount的操作了

@SuppressWarnings("unchecked")
public E next() {
    if (! hasNext())
        throw new NoSuchElementException();
    return (E) snapshot[cursor++];
}

4.总结

对于CopyOnWriteArrayList对象，一旦有线程来对其进行添加，修改，删除等操作，那么此时通过getArray()获取到的就是旧的数组对象了

如有问题欢迎指正…

原文链接：https://blog.csdn.net/adminpd/article/details/123171501