大话Java系列-ArrayList的线程安全问题，爆破专家金克丝，武器库管理系统，并发修改异常，数据不一致性，可见性问题-CSDN博客

本文链接：https://blog.csdn.net/qq_41089021/article/details/143291425

文章目录

故事背景

在英雄联盟的世界里，有一个名叫金克丝的爆破专家。她以其独特的技能和无畏的精神闻名于世。一天，金克丝接到了一个特殊任务——维护一座巨大的武器库。这座武器库中存放着各种各样的武器，需要用一个高效的系统来管理这些武器的出入库记录。

故事开始：武器库管理系统

金克丝决定使用 ArrayList 来存储武器库中的武器信息。她编写了一个简单的程序来模拟武器的出入库操作。然而，很快她就遇到了一系列并发安全问题。

1. 并发修改异常（ConcurrentModificationException）

问题描述：
在一个多线程环境中，金克丝发现当多个线程同时访问和修改 ArrayList 时，经常会抛出 ConcurrentModificationException 异常。这是因为 ArrayList 内部使用了一个叫做 modCount 的变量来记录结构化修改的次数。如果一个线程在迭代器遍历过程中修改了列表，迭代器会检测到 modCount 的变化并抛出异常。

故事片段：
金克丝正在测试她的武器管理系统，她启动了两个线程：一个线程负责遍历武器库中的武器，另一个线程负责添加新的武器。不久之后，系统崩溃了，抛出了 ConcurrentModificationException 异常。

解决方案：
金克丝决定使用 Collections.synchronizedList 来包装 ArrayList，使其变成线程安全的。

代码示例：

import java.util.ArrayList;
import java.util.Collections;
import java.util.List;

public class ConcurrentModificationSolution {
    public static void main(String[] args) {
        List<String> weapons = Collections.synchronizedList(new ArrayList<>());
        weapons.add("火箭筒");
        weapons.add("手枪");
        weapons.add("机枪");

        Thread t1 = new Thread(() -> {
            synchronized (weapons) {
                for (String weapon : weapons) {
                    System.out.println("检查武器: " + weapon);
                }
            }
        });

        Thread t2 = new Thread(() -> {
            synchronized (weapons) {
                weapons.add("狙击枪");
            }
        });

        t1.start();
        t2.start();
    }
}

2. 数据不一致性

问题描述：
在多线程环境下，如果多个线程同时读取和修改 ArrayList，可能会导致数据不一致的问题。例如，一个线程可能读取到部分更新的数据，而不是完整的最新状态。

故事片段：
金克丝发现，当多个线程同时对武器库进行出入库操作时，有时会出现武器数量不正确的情况。例如，一个线程添加了一把武器，但另一个线程在遍历时却看不到这把武器。

解决方案：
金克丝决定使用 CopyOnWriteArrayList 来替代 ArrayList。CopyOnWriteArrayList 在每次修改操作时都会创建一个新的副本，从而保证了线程安全。

代码示例：

import java.util.concurrent.CopyOnWriteArrayList;

public class DataInconsistencySolution {
    public static void main(String[] args) {
        CopyOnWriteArrayList<String> weapons = new CopyOnWriteArrayList<>();
        weapons.add("火箭筒");
        weapons.add("手枪");
        weapons.add("机枪");

        Thread t1 = new Thread(() -> {
            for (String weapon : weapons) {
                System.out.println("检查武器: " + weapon);
            }
        });

        Thread t2 = new Thread(() -> {
            weapons.add("狙击枪");
        });

        t1.start();
        t2.start();
    }
}

3. 可见性问题

问题描述：
在多线程环境下，一个线程对 ArrayList 的修改可能不会立即对其他线程可见。这是由于 JVM 的内存模型和缓存机制可能导致某些线程看到的是旧的数据副本。

故事片段：
金克丝发现，当一个线程添加了一把新的武器后，另一个线程在短时间内仍然无法看到这把武器。这导致了一些武器的出入库记录不准确。

解决方案：
金克丝决定使用 Vector 或者 Collections.synchronizedList 包装的 ArrayList，并在关键代码段中使用 synchronized 关键字来手动同步，确保同一时间只有一个线程可以访问共享资源。

代码示例：

import java.util.ArrayList;
import java.util.Collections;
import java.util.List;

public class VisibilityProblemSolution {
    public static void main(String[] args) {
        List<String> weapons = Collections.synchronizedList(new ArrayList<>());
        weapons.add("火箭筒");
        weapons.add("手枪");
        weapons.add("机枪");

        Thread t1 = new Thread(() -> {
            synchronized (weapons) {
                for (String weapon : weapons) {
                    System.out.println("检查武器: " + weapon);
                }
            }
        });

        Thread t2 = new Thread(() -> {
            synchronized (weapons) {
                weapons.add("狙击枪");
            }
        });

        t1.start();
        t2.start();
    }
}