CopyOnWriteArrayList#addIfAbsent的来源问题，为什么需要再次获取数组

Question

我正在学习java并发包。
看完CopyOnWriteArrayLis的源码后，我有一个问题。

private boolean addIfAbsent(E e, Object[] snapshot) {
        final ReentrantLock lock = this.lock;
        // Here is my question.
        lock.lock();
        try {
            Object[] current = getArray();
            int len = current.length;
            if (snapshot != current) {
                // Optimize for lost race to another addXXX operation
                int common = Math.min(snapshot.length, len);
                for (int i = 0; i < common; i++)
                    if (current[i] != snapshot[i] && eq(e, current[i]))
                        return false;
                if (indexOf(e, current, common, len) >= 0)
                        return false;
            }
            Object[] newElements = Arrays.copyOf(current, len + 1);
            newElements[len] = e;
            setArray(newElements);
            return true;
        } finally {
            lock.unlock();
        }
    }

我的问题是为什么需要优化？
当然，我已经用谷歌搜索了自己，答案总是在其他线程可能添加了新元素时正确处理。

但是如何解释lock.lock()呢？当一个线程获得锁后，其他线程如何添加新元素？

我知道这可能是一个愚蠢的问题，但我真的对此感到困惑。

Answer 1

如你所见，快照是用这种方法拍摄的

public boolean addIfAbsent(E e) {
        Object[] snapshot = getArray();
        return indexOf(e, snapshot, 0, snapshot.length) >= 0 ? false :
            addIfAbsent(e, snapshot);
    }

最后调用您在问题中提出的方法。

因此，如果在拍摄快照和当前线程锁定的锁之间存在对数组的操作，则必须正确处理它们。
在这两个时间点之间发生这种操作的方式有很多种，例如调用addIfAbsent方法的线程被调度器中断。
另一种不太可能的情况，如果列表被频繁写入，当当前线程试图锁定它时，锁实际上被另一个线程锁定，所以它必须等到另一个线程完成它的操作（这可以在列表中添加一个元素）并解锁锁，然后才能锁定锁本身。