Java集合 ArrayList 多线程下报错ArrayIndexOutOfBoundsException

问题描述

java ArrayList多线程下java.util.concurrent.CompletionException: java.lang.ArrayIndexOutOfBoundsException异常

ArrayList 报错 java.lang.ArrayIndexOutOfBoundsException:如果是在多线程场景下进行操作,基本上是 线程安全问题导致

ArrayList 是 非线程安全 的,在并发读写时,是多个线程同时 add/remove/get 元素时,可能导致内部结构(尤其是 elementData[] 数组)混乱,抛出 ArrayIndexOutOfBoundsException 异常。

case代码

我遇到的case,是多线程在操作list.addAll()

java 复制代码
SyncTask<UserDataLog> syncTask = new SyncTask<>(executorService);
List<User> userList = get();

List<List<User>> taskList = Lists.partition(userList, 10);
syncTask.addTask(
        taskList,
        tasks -> {
            tasks.forEach(
                    user -> {
                        List<UserDataLog> logList = checkUserDataByOne(operator, user);
                        if (CollectionUtils.isNotEmpty(logList)) {
                            returnPos.addAll(logList);
                        }
                    });
        });
syncTask.sync();

源码分析

ArrayList 底层是数组 Object[] elementData。在 add() 时会涉及两个非原子操作:

java 复制代码
public boolean addAll(Collection<? extends E> c) {
    Object[] a = c.toArray();
    int numNew = a.length;
    // 判断数组容量是否足够,如果不足,进行扩容
    ensureCapacityInternal(size + numNew);
    System.arraycopy(a, 0, elementData, size, numNew);
    size += numNew;
    return numNew != 0;
}

private static int calculateCapacity(Object[] elementData, int minCapacity) {
    if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
        return Math.max(DEFAULT_CAPACITY, minCapacity);
    }
    return minCapacity;
}

private void ensureCapacityInternal(int minCapacity) {
    ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}

private void ensureExplicitCapacity(int minCapacity) {
    modCount++;

    // overflow-conscious code
    if (minCapacity - elementData.length > 0)
        grow(minCapacity);
}

问题出在以下几点:

  1. ensureCapacityInternal()多线程同时执行到这里判断size都符合不扩容条件

    多个线程在同时走到代码行4时,都判断当前数组容量够,然后都尝试写入,造成数据覆盖或越界。

  2. 多个线程同时修改 size,导致写入同一个位置

    size += numNew; 不是原子操作,会出现数据覆盖或 size 失效,进而造成越界。

  3. System.arraycopy 写入的范围不正确

    线程 A 和线程 B 在同一时间调用 addAll(),都以旧的 size 为基础写入,会出现错位或越界。

正确做法

  1. 使用CopyOnWriteArrayList
  2. Collections.synchronizedList()
相关推荐
用户2018792831674 分钟前
Java序列化之幽灵船“Serial号”与永生契约
android·java
用户2018792831675 分钟前
“对象永生”的奇幻故事
android·java
周某某~9 分钟前
Rabbit MQ的消息模式-Java原生代码
java·分布式·rabbitmq
天天摸鱼的java工程师14 分钟前
如何实现一个分布式锁?——来自 Java 老兵的实战总结 🚀🔐
java·后端·面试
LZQqqqqo16 分钟前
C# XML 文件
xml·java·c#
big_eleven1 小时前
JVM入门基础
java·后端·面试
微笑听雨2 小时前
全面解读 ConcurrentHashMap:Java 中的高效并发数据结构
java·后端
微笑听雨2 小时前
深入解析 Java HashMap 的高性能扩容机制与树化优化
java·后端
未既2 小时前
java设计模式 -【责任链模式】
java·设计模式·责任链模式
云和数据.ChenGuang2 小时前
k8s-master03加入集群失败解决方法之一
java·容器·kubernetes