CopyOnWriteArrayList详细描述

CopyOnWriteArrayList详细描述

先把我们目的说下,首先我们自己做一个写时复制的线程安全List会怎么做,我们需要考虑以下几个问题:

  • 何时初始化list,初始化list元素个数为多少,list是有大小限制的吗?
  • 如何保证线程安全
  • 如何保证使用迭代器遍历list时的数据一致性?

在java并发包JUC中的List只有CopyOnWriteArrayList,它是一个线程安全的ArrayList,对其进行的修改操作都是在底层的一个复制数组(快照)上进行的,也就是写时复制策略,下面是大致的类图结构:
在这里插入图片描述

CopyOnWriteArrayList对象里面有一个array数组对象用来存放数据,ReentrantLock独占锁对象用来保证只有一个线程可以对array进行修改。

第一个问题,什么时候初始化,初始放多少元素,list的大小有限制吗? 我把源码贴过来:

public CopyOnWriteArrayList() {
   //初始时只放了一个元素
    this.setArray(new Object[0]);
}

public CopyOnWriteArrayList(Collection<? extends E> var1) {
    Object[] var2;
    if (var1.getClass() == CopyOnWriteArrayList.class) {
        var2 = ((CopyOnWriteArrayList)var1).getArray();
    } else {
        var2 = var1.toArray();
        if (var2.getClass() != Object[].class) {
            var2 = Arrays.copyOf(var2, var2.length, Object[].class);
        }
    }

    this.setArray(var2);
}

public CopyOnWriteArrayList(E[] var1) {
   //创建一个list,其内部元素是入参var1的副本
    this.setArray(Arrays.copyOf(var1, var1.length, Object[].class));
}



public boolean add(E var1) {
    //在写操作时进行了加锁,保证了线程写操作的安全问题
    ReentrantLock var2 = this.lock;
    var2.lock();

    boolean var6;
    try {
        Object[] var3 = this.getArray();
        int var4 = var3.length;
        
        //加一个元素是在当前数组长度加1,然后赋值一个数组
        //因为动态对数组加1,所以是无界的
        Object[] var5 = Arrays.copyOf(var3, var4 + 1);
        var5[var4] = var1;
        this.setArray(var5);
        var6 = true;
    } finally {
        var2.unlock();
    }

    return var6;
}

通过观看源码我们已经知道初始化大小,和大小限制问题,安全问题,下面还有个很重要的数据一致性问题,还是把源码贴出来

public ListIterator<E> listIterator(int var1) {
    Object[] var2 = this.getArray();
    int var3 = var2.length;
    if (var1 >= 0 && var1 <= var3) {
       //注意返回的是一个COWIterator对象
        return new CopyOnWriteArrayList.COWIterator(var2, var1);
    } else {
        throw new IndexOutOfBoundsException("Index: " + var1);
    }
}

static final class COWIterator implements ListIterator {
//这个就是操作的数组,也叫快照
private final Object[] snapshot;
//这个是要访问或写操作的索引
private int cursor;

    private COWIterator(Object[] var1, int var2) {
        this.cursor = var2;
        this.snapshot = var1;
    }

    public boolean hasNext() {
        return this.cursor < this.snapshot.length;
    }

    public boolean hasPrevious() {
        return this.cursor > 0;
    }

思考一下,copyonwriteArrayList读操作时是不加锁的,那如果A线程正在读着该list,这是B线程过来对list进行了写操作,把A线程即将要读的数据改了,那A线程是不是就读到了错误的数据?很明显不是,这要理解为什么说snapshot是快照呢?明明是指针传递的引用,如果在该线程使用返回的迭代器遍历元素的过程中,没有线程写操作对list进行增删改,那么snapshot就是array,如果读的时候有线程对list进行了写操作那么snapshot就是快照,写操作修改的数据并不影响读操作要读的数据,因为这时的读操作读的list已经不是写操作修改的list了,而是一个快照,可以说其他线程对list进行的增删改不可借,这就是弱一致性。

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值