Java Copy-On-Write机制

Copy-On-Write机制往往用于在程序中往内存写数据的时候，在高并发环境下，读写需要保证线程安全，就会耗费一部分性能用来保证数据安全，java读写锁是一种优化手段，读和读并发不需要竞争，读和写，写和写才需要竞争，这样在大量读的环境下是有很大优化余地的，另外一种优化手段就是Copy-On-Write机制，当要写数据时，将原数据对象拷贝一份，在副本上进行写入，原数据对象依然可以进行读取，等到写入完成将数据对象引用修改到副本上，这也是一种读写分离思想，但是是用空间来交换的效率，java中有提供Copy-On-Write机制的容器：CopyOnWriteArrayList和CopyOnWriteArraySet，需要注意的是，这个并不是任意情况下都是线程安全的，

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();
    }
}

public void add(int index, E element) {
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        Object[] elements = getArray();
        int len = elements.length;
        if (index > len || index < 0)
            throw new IndexOutOfBoundsException("Index: "+index+
                                                ", Size: "+len);
        Object[] newElements;
        int numMoved = len - index;
        if (numMoved == 0)
            newElements = Arrays.copyOf(elements, len + 1);
        else {
            newElements = new Object[len + 1];
            System.arraycopy(elements, 0, newElements, 0, index);
            System.arraycopy(elements, index, newElements, index + 1,
                             numMoved);
        }
        newElements[index] = element;
        setArray(newElements);
    } finally {
        lock.unlock();
    }
}

多线程环境下add和remove确实是线程安全的，但是这个引用转移操作发生在其他线程操作两次访问前后，就会导致异常，比如：

String content = list.get(list.size() - 1);

这里list.size()和list.get()的两个list就可能不一样，有可能产生越界异常，所以使用的时候需要控制好业务逻辑。