深入解析 `CopyOnWriteArrayList` 的实现原理与应用

Ρause

于 2024-06-28 16:09:23 发布

阅读量743

点赞数 29

文章标签： python java 前端

本文链接：https://blog.csdn.net/qq_44624290/article/details/140046183

版权

什么是 `CopyOnWriteArrayList`

CopyOnWriteArrayList 是 Java 并发包（java.util.concurrent）中的一个线程安全的变体列表。其核心理念是“写时复制”，即每次对列表进行修改（如添加、删除或更新元素）时，都会复制整个底层数组，从而确保在修改期间不会影响其他线程的读操作。

这种设计使得 CopyOnWriteArrayList 特别适用于读多写少的场景，因为它在读操作上不需要加锁，从而提高了读取的并发性和效率。

`CopyOnWriteArrayList` 的工作原理

CopyOnWriteArrayList 通过维护一个内部的不可变数组来实现线程安全。当有写操作时，它会创建一个新的数组并进行修改，然后将这个新的数组替换为原来的数组。这种方式确保了在写操作进行时，读操作依旧可以访问旧的数组，不受干扰。

这种“写时复制”的机制带来了一些明显的特点：

读操作非常快速，因为没有加锁。
写操作较为昂贵，因为每次写操作都会复制整个数组。

内部结构与核心方法

内部结构

CopyOnWriteArrayList 内部使用一个 volatile 修饰的数组来存储元素：

private transient volatile Object[] array;

volatile 关键字确保了内存可见性，即所有线程都能看到最新的数组引用。

核心方法

以下是一些关键的核心方法及其实现原理：

添加元

在 add 方法中，首先获取当前数组，然后创建一个新数组并复制现有元素。最后将新元素添加到新数组中，并将新数组设置为当前数组。

获取元素

public E get(int index) {
    return get(getArray(), index);
}

final Object[] getArray() {
    return array;
}

get 方法直接返回指定索引处的元素，因为数组是不可变的，所以无需加锁。

删除元素

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

在 remove 方法中，先锁定当前数组，然后创建一个新的数组，将指定索引前后的元素复制到新数组中，并设置为当前数组。

线程安全机制

CopyOnWriteArrayList 通过以下机制实现线程安全：

不可变性：通过维护一个不可变的数组，使读操作无须加锁。
ReentrantLock：使用重入锁（ReentrantLock）确保写操作的原子性，防止并发写操作的冲突。
volatile 关键字：确保所有线程能够看到最新的数组引用。

这种设计确保了在多线程环境下，读操作不会阻塞写操作，写操作也不会影响读操作。

性能分析

读操作

由于内部数组是不可变的，读操作非常高效，无需加锁，直接读取即可。因此，在读操作占多数的场景中，CopyOnWriteArrayList 能提供很高的性能。

写操作

写操作由于需要复制整个数组，开销较大。特别是在数组较大时，写操作的性能会受到较大影响。因此，CopyOnWriteArrayList 适用于读多写少的场景。

内存消耗

每次写操作都会创建一个新数组，这意味着在高频写操作的场景中，内存消耗会增加。因此，CopyOnWriteArrayList 在写操作频繁的情况下可能会导致较大的内存开销。

适用场景

CopyOnWriteArrayList 适用于以下场景：

读多写少：如缓存、白名单/黑名单列表等，读操作远多于写操作。
遍历操作频繁：由于遍历操作不需要加锁，因此在需要频繁遍历的场景中表现良好。
要求线程安全且读操作高效：如配置项读取、状态监控等。

优缺点分析

优点

线程安全：通过不可变数组和重入锁实现线程安全。
读操作高效：读操作无需加锁，性能高。
无锁遍历：遍历操作无需加锁，不会影响并发性。

缺点

写操作昂贵：每次写操作都会复制整个数组，性能较低。
内存消耗大：频繁写操作会导致较高的内存消耗。
不适合写多读少的场景：在写操作频繁的情况下，性能和内存消耗问题明显。

示例代码

以下是一个 CopyOnWriteArrayList 的示例代码，展示其基本用法：

import java.util.concurrent.CopyOnWriteArrayList;

public class CopyOnWriteArrayListExample {
    public static void main(String[] args) {
        // 创建 CopyOnWriteArrayList
        CopyOnWriteArrayList<String> list = new CopyOnWriteArrayList<>();

        // 添加元素
        list.add("A");
        list.add("B");
        list.add("C");

        // 遍历元素
        for (String s : list) {
            System.out.println(s);
        }

        // 删除元素
        list.remove("B");

        // 再次遍历元素
        for (String s : list) {
            System.out.println(s);
        }
    }
}

在这个示例中，我们创建了一个 CopyOnWriteArrayList，并进行了添加、遍历和删除操作，展示了其基本的用法。

总结

CopyOnWriteArrayList 是 Java 并发编程中一种重要的线程安全集合，特别适用于读多写少的场景。其“写时复制”的设计确保了读操作的高效性，但同时也带来了写操作的高开销和内存消耗问题。在使用 CopyOnWriteArrayList 时，需要根据具体应用场景权衡其优缺点，以便充分发挥其优势。

希望通过本文，您能够更好地理解和应用 CopyOnWriteArrayList，在实际项目中提升并发编程的效率和性能。如需进一步了解并发编程相关内容，可以参考 Java 并发编程实战一书。祝您在并发编程的旅程中取得成功！