Java 经典面试题:聊一聊 JUC 下的 CopyOnWriteArrayList

简介:

Java 经典面试题:聊一聊 JUC 下的 CopyOnWriteArrayList

ArrayList 是我们常用的工具类之一,但是在多线程的情况下,ArrayList 作为共享变量时,并不是线程安全的。主要有以下两个原因:

1、 ArrayList 自身的 elementData、size、modCount 在进行操作的时候,都没有加锁;
2、这些变量没有被 volatile 修饰,在多线程的情况下,对这些变量操作可能会出现值被覆盖的情况;
如果我们想在多线程情况下使用 ArrayList 怎么办?有以下几种办法:

使用 Collections.SynchronizedList ;
使用 JUC 下的 CopyOnWriteArrayList;
先来看看 SynchronizedLis,Collections 其实就是对 ArrayList 进行了一个加锁包装,这个从源码中可以看出;

...部分源码,完整源码请查看 JDK 源码...
public void add(int index, E element) {

synchronized (mutex) {list.add(index, element);}

}
public E remove(int index) {

synchronized (mutex) {return list.remove(index);}

}
对于 Collections.SynchronizedList 比较简单,就是锁包装了一下,就不多说了~

CopyOnWriteArrayList 也是 JUC 下面的一个并发容器类。不知道你发现没有,但凡你常用的集合类,在 JUC 下基本上都可以找到一个并发类,比如 hashMap 有对应的 ConcurrentHashMap。

CopyOnWriteArrayList 跟 ArrayList 在整体架构上并没有什么区别,底层都是基于数组实现的。不同的地方大概有两点:

底层数组被 volatile 关键字修饰;
对数组进行数据变更时加锁;
CopyOnWriteArrayList 的加锁操作跟 Collections.SynchronizedList 简单的加锁还不一样,CopyOnWriteArrayList 中的加锁过程还是非常值得学习的。CopyOnWriteArrayList 的加锁过程,大概可以概括为以下四步:

1、加锁;
2、从原数组中拷贝出新数组;
3、在新数组上进行操作,并把新数组赋值给数组容器;
4、解锁;
结合源码来深入了解 CopyOnWriteArrayList 的并发实现,我们选择 ArrayList 最简单的将元素新增数组尾部的操作来分析实现过程,源码如下:

/**

  • Appends the specified element to the end of this list.
    *
  • @param e element to be appended to this list
  • @return {@code true} (as specified by {@link Collection#add})
    */

public boolean add(E e) {

// 获取锁,注意这是全局锁
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();
}

}
CopyOnWriteArrayList 就是通过加锁来说实现容器安全的,可能你会有疑问,为什么引入一个新数组,数组的拷贝还是消耗时间的,直接在原数组上操作不就好了吗?。主要原因有以下两点:

volatile 关键字修饰的是数组,如果我们简单的在原来数组上修改其中某几个元素的值,是无法触发可见性的,我们必须通过修改数组的内存地址才行,也就说要对数组进行重新赋值才行。
在新的数组上进行拷贝,对老数组没有任何影响,只有新数组完全拷贝完成之后,外部才能访问到,降低了在赋值过程中,老数组数据变动的影响。比如经典的 ConcurrentModificationException 异常问题。
其他的新增方法就自己去查看源码了,相差不多,基本上是一样的。对数组的删除跟新增都是差不多,不同的地方是在删除了时候,赋值给新数组时会出现不同的选择策略。我把源码贴上:

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

}
CopyOnWriteArrayList 还有其他的方法,在这里我就不过多介绍了。根据你们自己的疑问去扒一扒 CopyOnWriteArrayList 的源码就知道了,总体来说 CopyOnWriteArrayList 并不难,甚至感觉比 ArrayList 要简单。

总结一下:CopyOnWriteArrayList 是安全的并发容器,有以下两个特点:

1、对数组的写操作加锁,读操作不加锁;
2、通过加锁 + 数组拷贝+ volatile 来保证线程安全;
原文地址https://www.cnblogs.com/jamaler/p/12843126.html

相关文章
|
14天前
|
缓存 Java 关系型数据库
【Java面试题汇总】ElasticSearch篇(2023版)
倒排索引、MySQL和ES一致性、ES近实时、ES集群的节点、分片、搭建、脑裂、调优。
【Java面试题汇总】ElasticSearch篇(2023版)
|
10天前
|
安全 Java API
JAVA并发编程JUC包之CAS原理
在JDK 1.5之后,Java API引入了`java.util.concurrent`包(简称JUC包),提供了多种并发工具类,如原子类`AtomicXX`、线程池`Executors`、信号量`Semaphore`、阻塞队列等。这些工具类简化了并发编程的复杂度。原子类`Atomic`尤其重要,它提供了线程安全的变量更新方法,支持整型、长整型、布尔型、数组及对象属性的原子修改。结合`volatile`关键字,可以实现多线程环境下共享变量的安全修改。
|
14天前
|
设计模式 Java 关系型数据库
【Java笔记+踩坑汇总】Java基础+JavaWeb+SSM+SpringBoot+SpringCloud+瑞吉外卖/谷粒商城/学成在线+设计模式+面试题汇总+性能调优/架构设计+源码解析
本文是“Java学习路线”专栏的导航文章,目标是为Java初学者和初中高级工程师提供一套完整的Java学习路线。
157 37
|
14天前
|
设计模式 安全 算法
【Java面试题汇总】设计模式篇(2023版)
谈谈你对设计模式的理解、七大原则、单例模式、工厂模式、代理模式、模板模式、观察者模式、JDK中用到的设计模式、Spring中用到的设计模式
【Java面试题汇总】设计模式篇(2023版)
|
14天前
|
存储 关系型数据库 MySQL
【Java面试题汇总】MySQL数据库篇(2023版)
聚簇索引和非聚簇索引、索引的底层数据结构、B树和B+树、MySQL为什么不用红黑树而用B+树、数据库引擎有哪些、InnoDB的MVCC、乐观锁和悲观锁、ACID、事务隔离级别、MySQL主从同步、MySQL调优
【Java面试题汇总】MySQL数据库篇(2023版)
|
14天前
|
存储 缓存 NoSQL
【Java面试题汇总】Redis篇(2023版)
Redis的数据类型、zset底层实现、持久化策略、分布式锁、缓存穿透、击穿、雪崩的区别、双写一致性、主从同步机制、单线程架构、高可用、缓存淘汰策略、Redis事务是否满足ACID、如何排查Redis中的慢查询
【Java面试题汇总】Redis篇(2023版)
|
14天前
|
缓存 前端开发 Java
【Java面试题汇总】Spring,SpringBoot,SpringMVC,Mybatis,JavaWeb篇(2023版)
Soring Boot的起步依赖、启动流程、自动装配、常用的注解、Spring MVC的执行流程、对MVC的理解、RestFull风格、为什么service层要写接口、MyBatis的缓存机制、$和#有什么区别、resultType和resultMap区别、cookie和session的区别是什么?session的工作原理
【Java面试题汇总】Spring,SpringBoot,SpringMVC,Mybatis,JavaWeb篇(2023版)
|
14天前
|
缓存 Java 数据库
【Java面试题汇总】Spring篇(2023版)
IoC、DI、aop、事务、为什么不建议@Transactional、事务传播级别、@Autowired和@Resource注解的区别、BeanFactory和FactoryBean的区别、Bean的作用域,以及默认的作用域、Bean的生命周期、循环依赖、三级缓存、
【Java面试题汇总】Spring篇(2023版)
|
14天前
|
存储 缓存 监控
【Java面试题汇总】JVM篇(2023版)
JVM内存模型、双亲委派模型、类加载机制、内存溢出、垃圾回收机制、内存泄漏、垃圾回收流程、垃圾回收器、G1、CMS、JVM调优
【Java面试题汇总】JVM篇(2023版)
|
3天前
|
消息中间件 NoSQL Java
Java知识要点及面试题
该文档涵盖Java后端开发的关键知识点,包括Java基础、JVM、多线程、MySQL、Redis、Spring框架、Spring Cloud、Kafka及分布式系统设计。针对每个主题,文档列举了重要概念及面试常问问题,帮助读者全面掌握相关技术并准备面试。例如,Java基础部分涉及面向对象编程、数据类型、异常处理等;JVM部分则讲解内存结构、类加载机制及垃圾回收算法。此外,还介绍了多线程的生命周期、同步机制及线程池使用,数据库设计与优化,以及分布式系统中的微服务、RPC调用和负载均衡等。