09并发容器篇(D2_其它容器(D1_CopyOnWriteArrayList))

目录

一、基本介绍

二、基本原理

三、优缺点

1. 优点

2. 缺点

四、源码分析

添加

删除

弱一致性的迭代器

五、ArrayList转为线程安全的方法


一、基本介绍

并发包中的并发List只有CopyOnWriteArrayList。

CopyOnWriteArrayList是一个线程安全的ArrayList,对其进行的修改操作都是在底层的一个复制的

数组(快照)上进行的,也就是使用了写时复制策略。

CopyOnWriteArraylist的类图结构如图:

在CopyOnWriteArrayList的类图中,每个CopyOnWriteArrayList对象里面有一个array数组对象用

来存放具体元素,ReentrantLock独占锁对象用来保证同时只有一个线程对array进行修改。

CopyOnWriteArrayList使用写时复制的策略来保证list的一致性,而获取 - 修改 - 写入三步操作并不

是原子性的,所以在增删改的过程中都使用了独占锁,来保证在某个时间只有一个线程能对list数

组进行修改。

另外CopyOnWriteArrayList提供了弱一致性的迭代器,从而保证在获取迭代器后,其他线程对list

的修改是不可见的,迭代器遍历的数组是一个快照。

二、基本原理

很多时候,我们的系统应对的都是读多写少的并发场景。

CopyOnWriteArrayList容器允许并发读,读操作是无锁的,性能较高。

至于写操作,比如向容器中添加一个元素,则首先将当前容器复制一份,然后在新副本上执行写操

作,结束之后再将原容器的引用指向新容器。

  • 线程安全的,多线程环境下可以直接使用,无需加锁;
  • 通过锁 + 数组拷贝 + volatile 关键字保证了线程安全;
  • 每次数组操作,都会把数组拷贝一份出来,在新数组上进行操作,操作成功之后再赋值回去。

从整体架构上来说,CopyOnWriteArrayList 数据结构和 ArrayList 是一致的,底层是个数组,只不

过CopyOnWriteArrayList 在对数组进行操作的时候,基本会分四步走:

  • 加锁;
  • 从原数组中拷贝出新数组;
  • 在新数组上进行操作,并把新数组赋值给数组容器;
  • 解锁

除了加锁之外,CopyOnWriteArrayList 的底层数组还被 volatile 关键字修饰,意思是一旦数组被修

改,其它线程立马能够感知到,代码如下:

private transient volatile Object[] array;

整体上来说,CopyOnWriteArrayList 就是利用锁 + 数组拷贝 + volatile 关键字保证了 List 的线程安

全。

三、优缺点

1. 优点

读操作(不加锁)性能很高,因为无需任何同步措施,比较适用于读多写少的并发场景。Java的

list在遍历时,若中途有别的线程对list容器进行修改,则会抛ConcurrentModificationException异

常。而CopyOnWriteArrayList由于其"读写分离"的思想,遍历和修改操作分别作用在不同的list容

器,所以在使用迭代器进行遍历时候,也就不会抛出ConcurrentModificationException异常了。

2. 缺点

一是内存占用问题,毕竟每次执行写操作都要将原容器拷贝一份。数据量大时,对内存压力较大,

可能会引起频繁GC;

二是无法保证实时性,因为CopyOnWrite的写时复制机制,所以在进行写操作的时候,内存里会同

时驻扎两个对象的内存,旧的对象和新写入的对象(注意:在复制的时候只是复制容器里的引用,

只是在写的时候会创建新对象添加到新容器里,而旧容器的对象还在使用,所以有两份对象内

存)。

四、源码分析

添加

    public boolean add(E e) {
        //ReentrantLock加锁,保证线程安全
        final ReentrantLock lock = this.lock;
        lock.lock();
        try {
            Object[] elements = getArray();
            int len = elements.length;
            //拷贝原容器,长度为原容器长度加一
            Object[] newElements = Arrays.copyOf(elements, len + 1);
            //在新副本上执行添加操作
            newElements[len] = e;
            //将原容器引用指向新副本
            setArray(newElements);
            return true;
        } finally {
            //解锁
            lock.unlock();
        }
    }

添加的逻辑很简单,先将原容器copy一份,然后在新副本上执行写操作,之后再切换引用。

当然此过程是要加锁的。

删除

    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)
                //如果要删除的是列表末端数据,拷贝前len-1个数据到新副本上,再切换引用
                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();
        }
    }

删除操作同理,将除要删除元素之外的其他元素拷贝到新副本中,然后切换引用,将原容器引用指

向新副本。同属写操作,需要加锁。

我们再来看看读操作,CopyOnWriteArrayList的读操作是不用加锁的,性能很高。

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

直接读取即可,无需加锁

     private E get(Object[] a, int index) {
        return (E) a[index];
    }

弱一致性的迭代器

所谓弱一致性是指返回迭代器后,其他线程对list的增删改查对迭代器是不可见的

// 演示多线程下迭代器的弱一致性结果
public class copylist {
    private static volatile CopyOnWriteArrayList<String> arrayList = new CopyOnWriteArrayList<>();
    public static void main(String[] args) throws InterruptedException {
        arrayList.add("hello");
        arrayList.add("alibaba");
        arrayList.add("welcome");
        arrayList.add("to");
        arrayList.add("hangzhou");
 
        Thread threadOne = new Thread(new Runnable() {
            @Override
            public void run() {
                // 修改list中下标为1的元素为ali
                arrayList.set(1, "ali");
                // 删除元素
                arrayList.remove(2);
                arrayList.remove(3);
            }
        });
        // 保证在修改线程启动前获取迭代器
        Iterator<String> itr = arrayList.iterator();
        // 启动线程
        threadOne.start();
        // 等待子线程执行完毕
        threadOne.join();
        while(itr.hasNext()) {
            System.out.println(itr.next());
        }
    }
}

执行程序:

hello
alibaba
welcome
to
hangzhou

Process finished with exit code 0

执行程序:

hello
alibaba
welcome
to
hangzhou

Process finished with exit code 0

从输出结果我们知道,在子线程里面进行的操作一个都没有生效,这就是迭代器弱一致性的体现。

需要注意的是,获取迭代器的操作必须在子线程操作之前进行。

五、ArrayList转为线程安全的方法

List list = Collections.synchronizedList(new ArrayList());

Java并发(java.util.concurrent)常用类及使用场景 1、locks包中的锁(如ReentrantLock等),提供更灵活的锁机制,替代 synchronized。 ● ReentrantLock 可重入锁,支持公平锁和非公平锁,可中断、可限时等待。 ● ReentrantReadWriteLock 读写分离锁,允许多个读线程同时访问,写线程独占资源。 ● StampedLock (Java 8+)支持乐观读锁,适用于读多写少场景,性能优于 ReentrantReadWriteLock。 ● Condition 替代 Object.wait()/notify(),实现更精细的线程等待/唤醒机制。 2、atomic包下的原子类:如AtomicInteger、AtomicLong、LongAdder等,原子类提供无锁线程安全操作,基于CAS(Compare and Swap)实现,适用于计数器、状态标志等场景。 3、提供了线程安全的集合类,支持高并发读写。 ● ConcurrentHashMap:使用节点锁的思想,即采用“CAS+synchronized”的机制来保证线程安全。 ● CopyOnWriteArrayList/CopyOnWriteArraySet:核心机制是写时复制(Copy-On-Write,简称 COW机制),读操作无锁,写操作复制新数组,适合读多写少的场景。 ● BlockingQueue(接口):实现类有ArrayBlockingQueue、LinkedBlockingQueue、PriorityBlockingQueue、SynchronousQueue。都是阻塞式队列,支持生产者-消费者模型。 ● ArrayBlockingQueue:基于数组的有界队列。 ● LinkedBlockingQueue:基于链表的无界队列(默认最大为 Integer.MAX_VALUE)。 ● PriorityBlockingQueue:支持优先级的无界队列。 ● SynchronousQueue:无缓冲队列,直接传递任务给消费者。 4、Executor线程池框架,管理线程的生命周期和任务调度。 ExecutorService(接口),实现有ThreadPoolExecutor、ScheduledThreadPoolExecutor,用于执行异步任务,支持定时/延迟任务。 Future/FutureTask,用于获取异步任务执行结果。 5、Executors线程池工具类,内部通过调用ThreadPoolExecutor构造函数来实现,通过该类提供的静态方法可以快速创建一些常用线程池。 ThreadPoolExecutor类是线程池类,可以通过ThreadPoolExecutor类手动创建线程池。 6、Fork/Join框架:是jdk7中新增的并行执行任务的框架,通过 递归任务拆分 和 工作窃取算法,充分利用多核处理器的计算能力。 ForkJoinPool是执行Fork/Join任务的线程池;ForkJoinTask是要执行的任务的基类,常用的有RecursiveAction(无返回值的任务)和RecursiveTask(有返回值的任务)。 7、CompletableFuture实现对多线程进行编排,CompletableFuture提供了非常强大的Future的扩展功能,可以帮助我们简化异步编程的复杂性,提供了函数式编程的能力。 8、AQS(AbstractQueuedSynchronizer抽象排队同步器)是用于构建锁和同步器的核心框架。几乎所有 Java 并发工具类(如 ReentrantLock、Semaphore、CountDownLatch 、CyclicBarrier 等)的底层实现都依赖于 AQS。它通过一个双向队列(CLH 变体)和状态变量,实现了线程的排队、阻塞与唤醒机制。 9、同步工具类(如Semaphore信号量、CountDownLatch(倒计时门闩)、CyclicBarrier循环屏障、Phaser(阶段器)、Exchanger(交换器)),协调多线程的执行顺序或状态。 ● Semaphore(信号量),用于控制资源访问并发数,可以用在限流等场景。 ● CountDownLatch(倒计时门闩)让主线程等待一组子线程完成任务(一次性)。用于并行任务完成后汇总结果(如多线程加载数据后启动系统)。 ● CyclicBarrier(循环屏障),用于一组线程相互等待,到达屏障后统一执行后续操作(可重复使用),例如分阶段数据处理后合并。 ● Phaser(阶段器):与CyclicBarrier类似,也是一种多线程同步工具,但是支持更灵活的栅栏操作,可以动态地注册和注销参与者,并可以控制各个参与者的到达和离开(复杂版CyclicBarrier)。 ● Exchanger(交换器):两个线程在特定点交换数据,例如生产者-消费者模式中的缓冲区交换。 生成思维导图
最新发布
05-10
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

CodingW丨编程之路

你的鼓励是我创作最大的动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值