永州市网站建设_网站建设公司_SEO优化_seo优化
2025/12/22 15:55:22 网站建设 项目流程

一、一句话理解

CopyOnWriteArrayList是一个线程安全的 List,它通过“写时复制”(Copy-On-Write)策略实现并发控制:所有修改操作(add/set/remove 等)都会创建底层数组的一个全新副本,而读操作(get/iterator/size 等)直接访问当前快照,无需加锁。


二、核心设计思想

1.写时复制(Copy-On-Write)

  • 读操作无锁:因为底层数组是volatile的,读操作看到的是某个“瞬间快照”,天然线程安全。
  • 写操作加锁 + 复制
    • 使用ReentrantLock保证同一时间只有一个写操作。
    • 修改时,不改动原数组,而是:
      1. 拷贝一份新数组(Arrays.copyOf
      2. 在新数组上做修改
      3. array引用原子地指向新数组(volatile写)
publicbooleanadd(Ee){finalReentrantLocklock=this.lock;lock.lock();try{Object[]elements=getArray();// 旧数组Object[]newElements=Arrays.copyOf(elements,len+1);// 复制newElements[len]=e;// 修改副本setArray(newElements);// volatile 写,切换引用returntrue;}finally{lock.unlock();}}

2.弱一致性迭代器(Snapshot Iterator)

  • 调用iterator()时,会捕获当前array的引用(快照)。
  • 迭代过程中:
    • 不会抛出ConcurrentModificationException
    • 看不到之后的修改(因为用的是旧数组)
    • 不支持remove()/set()/add()→ 抛UnsupportedOperationException
publicIterator<E>iterator(){returnnewCOWIterator<E>(getArray(),0);// 传入当前 array 快照}

3.适用场景

读多写少(如监听器列表、配置项缓存)
遍历时不能加锁(避免死锁或性能瓶颈)
写操作频繁→ 每次复制数组开销大(O(n) 时间 + 内存)
实时性要求高→ 迭代器看不到最新修改


三、关键特性总结

特性说明
线程安全所有可变操作加锁,读操作无锁但可见性由volatile保证
内存一致性happens-before:写入前的操作对后续读取该元素的线程可见
允许 null 元素null被当作普通元素处理
fail-safe 迭代器基于快照,不抛ConcurrentModificationException
高写成本每次写都复制整个数组,适合小规模、低频修改
最终一致性读操作可能看到“过期”数据,但不会出错

四、与Vector/Collections.synchronizedList对比

CopyOnWriteArrayListVector/synchronizedList
读性能⭐⭐⭐ 极高(无锁)⭐ 需要获取锁
写性能⭐ 极低(复制整个数组)⭐⭐ 中等(只锁方法)
迭代行为快照,不阻塞写,不抛异常需手动同步,否则可能抛ConcurrentModificationException
内存占用高(写时双倍内存)

五、使用示例

// 典型场景:事件监听器列表publicclassEventBus{privatefinalList<Listener>listeners=newCopyOnWriteArrayList<>();publicvoidaddListener(Listenerl){listeners.add(l);// 安全}publicvoidfireEvent(Evente){// 遍历时其他线程可安全增删监听器for(Listenerl:listeners){l.onEvent(e);}}}

六、注意事项

  1. 不要用于大数据量列表:写操作 O(n) 复制,GC 压力大。
  2. 不要依赖迭代器实时性:它反映的是调用iterator()时的状态。
  3. 组合操作非原子:如if (!list.contains(x)) list.add(x)不是原子的,需外部同步。

七、源码亮点

  • volatile Object[] array:保证数组引用的可见性。
  • ReentrantLock lock:细粒度控制写操作。
  • COWIterator:实现快照语义。
  • addIfAbsent/addAllAbsent:提供“去重添加”语义,内部也基于快照判断。

总结

CopyOnWriteArrayList为高并发读、低频写场景量身定制的线程安全容器。它用空间换时间 + 最终一致性的思路,巧妙避免了读写冲突,是并发编程中“乐观锁”思想的经典体现。

如果你正在处理类似“观察者列表”、“白名单配置”等场景,它往往是比synchronizedList更优的选择。

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询