浅谈fail-fast和fail-safe

引言

前几天刷视频,看到一位程序员好像叫”建国“,他写了一段代码,不出意外,这位叫”建国“的同学又要挨批了。

   ArrayList<Integer> list1=new ArrayList<>();
        for (int i = 0; i < 10; i++) {
            list1.add(i);
        }

        Iterator<Integer> iterator = list1.iterator();
        while (iterator.hasNext()) {
            System.out.println(iterator.next());
            if (iterator.next()==3)
            {
                list1.remove(0);
            }
        }

 这段代码开始没有什么违和感,但是在多线程情况下就会抛出Concurrent Modification Exception。也就是fail-fast。

fail-fast

原因:用迭代器遍历集合石,线程a遍历过程中,线程b对集合对象内容进行了增删,会抛出Concurrent Modification Exception。

原理:集合在遍历期间会检测expectedmodCount与modCount的值是否相等,相同的话就继续遍历,否则抛出异常。java.util 包下的集合类都是快速失败的,不能在多线程下发生并发修改(迭代过程中被修改),比如 ArrayList 类。

例如以下多线程场景。

 

package udpDemo;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.concurrent.CopyOnWriteArrayList;

public class demo1 {
    static ArrayList<Integer> list1=new ArrayList<>();
    public static void main(String[] args) throws InterruptedException {
      
        for (int i = 0; i < 10; i++) {
            list1.add(i);
        }

      
        t1 t1 = new t1();
        t2 t2 = new t2();
        Thread thread1 = new Thread(t1);
        Thread thread2 = new Thread(t2);
        thread2.start();
        thread1.start();
        Thread.sleep(3000);
        System.out.println("list1的大小"+list1.size());
    }
    public static class t1 implements Runnable{

        @Override
        public void run() {
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                throw new RuntimeException(e);
            }
            for (int i = 0; i < 10; i++) {
                    if (list1.get(i)==5)
                    {
                        list1.remove(4);
                    }
                }
        }
    }
    public static class t2 implements Runnable{
        @Override
        public void run() {
            Iterator<Integer> iterator = list1.iterator();
            int a=0;
            while (iterator.hasNext()) {
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
                a++;
                System.out.println(iterator.next());
            }
            System.out.println("迭代器输出了"+a+"次");
        }
    }
}

会抛出以下异常

      

解决方案:使用CopyOnWitreArrayList

CopyOnWriteArrayList 采用了一种读写分离的并发策略。CopyOnWriteArrayList 容器允许并发读,读操作是无锁的,性能较高。至于写操作,比如向容器中添加一个元素,则首先将当前容器复制一份,然后在新副本上执行写操作,结束之后再将原容器的引用指向新容器。

fail-safe

原理:遍历时不直接在结合内容上访问,先复制原集合内容,遍历拷贝的集合。所以不会触发 Concurrent Modification Exception

缺点:修改原集合,迭代器是不会发现的。

java.util.concurrent 包下的容器都是安全失败,可以在多线程下并发使用,并发修改,比如 CopyOnWriteArrayList 类。

例如下面的多线程场景:

package udpDemo;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.concurrent.CopyOnWriteArrayList;

public class demo1 {
    static  CopyOnWriteArrayList<Integer> list1 = new CopyOnWriteArrayList<>();

    public static void main(String[] args) throws InterruptedException {

        for (int i = 0; i < 10; i++) {
            list1.add(i);
        }


        t1 t1 = new t1();
        t2 t2 = new t2();
        Thread thread1 = new Thread(t1);
        Thread thread2 = new Thread(t2);
        thread2.start();
        thread1.start();
        Thread.sleep(3000);
        System.out.println("list1的大小"+list1.size());
    }
    public static class t1 implements Runnable{

        @Override
        public void run() {
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                throw new RuntimeException(e);
            }
            for (int i = 0; i < 10; i++) {
                    if (list1.get(i)==5)
                    {
                        list1.remove(4);
                    }
                }
        }
    }
    public static class t2 implements Runnable{
        @Override
        public void run() {
            Iterator<Integer> iterator = list1.iterator();
            int a=0;
            while (iterator.hasNext()) {
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
                a++;
                System.out.println(iterator.next());
            }
            System.out.println("迭代器输出了"+a+"次");
        }
    }
}

查看控制台

<think>嗯,用户想了解Javafail-safefail-fast迭代器的区别以及它们的工作原理。我需要先回忆一下这两个概念。根据之前的引用内容,Fail-FastFail-Safe主要与集合的并发修改有关。 首先,Fail-Fast迭代器可能在检测到并发修改时立即抛出异常。比如,当使用ArrayList的迭代器时,如果在遍历过程中集合被修改,就会抛出ConcurrentModificationException。引用[1]提到过Fail-Fast的机制,可能在修改次数(modCount)期望值不一致时触发。那它的实现原理应该是通过一个计数器来记录修改次数,迭代器保存这个值的副本,每次操作前检查是否一致。 然后是Fail-Safe迭代器,比如在并发包里的CopyOnWriteArrayList。引用[2]指出,fail-safe的迭代器在遍历时不会抛出异常,因为它们基于数据快照工作。也就是说,迭代器创建时会复制原集合的数据,之后即使原集合被修改,迭代器看到的还是旧的数据。但这样可能会读到过期的数据,不过避免了异常。 需要区分两者的应用场景。Fail-Fast适用于单线程环境,快速失败有助于尽早发现错误,而Fail-Safe适合多线程并发,避免迭代过程中因修改而中断。引用[3]中可能提到,Fail-Safe的缺点包括内存开销弱一致性,因为复制数据需要额外空间,且无法保证实时性。 用户可能还想知道具体例子,比如哪些集合属于哪种类型。比如,ArrayList的迭代器是Fail-Fast的,而ConcurrentHashMap的迭代器是Fail-Safe的。另外,Fail-Safe的实现方式除了复制数据,可能还有其他的机制,比如使用并发控制来允许修改同时不影响迭代。 可能还要比较两者的优缺点,Fail-Fast的响应速度快但线程不安全,Fail-Safe更安全但资源消耗大。需要确保解释清晰,让用户明白在何种情况下选择哪种机制。</think>### JavaFail-SafeFail-Fast迭代器的区别及原理 #### 1. **Fail-Fast(快速失败)迭代器** - **核心机制**:在遍历集合时,如果检测到集合内容被修改(例如增删元素),**立即抛出$ConcurrentModificationException$**,终止遍历[^1][^3]。 - **实现原理**: - 集合内部维护一个`modCount`(修改计数器),每次修改操作(如`add`、`remove`)会递增该值。 - 迭代器初始化时记录当前的`modCount`,每次遍历时检查是否与当前`modCount`一致。若不一致则触发异常。 - **特点**: - 适用于单线程环境,强调“快速暴露错误”。 - 无法保证多线程并发修改下的安全性。 - **示例集合**:`ArrayList`、`HashMap`的默认迭代器。 #### 2. **Fail-Safe(安全失败)迭代器** - **核心机制**:允许在遍历过程中修改集合,**不会抛出异常**,但可能读取到过时数据(弱一致性)[^2]。 - **实现原理**: - 基于集合的**数据快照**:迭代器创建时复制原集合的数据(如`CopyOnWriteArrayList`)或通过并发控制(如`ConcurrentHashMap`的分段锁)[^2]。 - 遍历操作基于快照进行,与原集合的实际修改无关。 - **特点**: - 适用于多线程并发场景,避免遍历中断。 - 可能消耗更多内存(复制数据)且数据非实时。 - **示例集合**:`CopyOnWriteArrayList`、`ConcurrentHashMap`的迭代器。 --- #### **对比表格** | 特性 | Fail-Fast迭代器 | Fail-Safe迭代器 | |---------------------|--------------------------------|--------------------------------| | **异常触发** | 检测到修改立即抛出异常 | 不抛出异常 | | **数据一致性** | 强一致性(遍历时锁定原集合) | 弱一致性(基于快照或并发控制) | | **内存消耗** | 低 | 可能较高(需复制数据) | | **适用场景** | 单线程环境 | 多线程并发环境 | | **典型集合** | `ArrayList`, `HashMap` | `CopyOnWriteArrayList`, `ConcurrentHashMap` | --- #### **工作原理示例** 1. **Fail-Fast场景**: ```java List<Integer> list = new ArrayList<>(Arrays.asList(1, 2, 3)); Iterator<Integer> it = list.iterator(); list.add(4); // 修改原集合 it.next(); // 抛出ConcurrentModificationException ``` 2. **Fail-Safe场景**: ```java List<Integer> list = new CopyOnWriteArrayList<>(Arrays.asList(1, 2, 3)); Iterator<Integer> it = list.iterator(); list.add(4); // 修改原集合 it.forEachRemaining(System.out::print); // 输出1,2,3(不包含新增的4) ``` ---
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值