java - 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 方法的线程被调度程序中断。
另一种不太可能的情况是，如果列表被频繁写入，当当前线程试图锁定它时，锁实际上被另一个线程锁定了，所以它必须等到另一个线程完成它的操作(这可以向列表中添加一个元素)并解锁锁，然后才能锁定锁本身。