Модифицируя ArrayList одним потоком и повторяя его другим потоком, он бросает ConcurrentModificationException

Question

Я пытался под кодом ниже.

public class IteratorFailFastTest { 

    private List<Integer> list = new ArrayList<>(); 

    public IteratorFailFastTest() { 
     for (int i = 0; i < 10; i++) { 
      list.add(i); 
     } 
    } 

    public void runUpdateThread() { 
     Thread thread2 = new Thread(new Runnable() { 

      public void run() { 
       for (int i = 10; i < 20; i++) { 
        list.add(i); 

       } 
      } 
     }); 

     thread2.start(); 
    } 


    public void runIteratorThread() { 
     Thread thread1 = new Thread(new Runnable() { 

      public void run() { 
       ListIterator<Integer> iterator = list.listIterator(); 

       while (iterator.hasNext()) { 
       Integer number = iterator.next(); 
       System.out.println(number); 
       } 

      } 
     }); 

     thread1.start(); 
    } 
    public static void main(String[] args) { 
     // TODO Auto-generated method stub 
     IteratorFailFastTest tester = new IteratorFailFastTest(); 

     tester.runIteratorThread(); 
     tester.runUpdateThread(); 
    } 

} 

Он бросает ConcurrentModificationException иногда и время от времени работает успешно.

Что я не понимаю, так как существует два разных метода, каждый из которых содержит один поток. Они будут выполняться один за другим. Когда один поток заканчивает изменение списка, Thread 2 начнет повторение.

Я также ссылался на эту ссылку (Why no ConcurrentModificationException when one thread iterating (using Iterator) and other thread modifying same copy of non-thread-safe ArrayList), но это другой сценарий.

Итак, почему это бросает это исключение? Это из-за потоков?

Может ли кто-нибудь объяснить?

Answer 1

Вы начинаете два потока и не выполняете дальнейших синхронизаций.

Иногда оба потока будут работать в одно и то же время, и вы получите CME. В других случаях первый поток завершается до того, как второй поток начнет выполняться. В этом сценарии не будет CME.

Причина, по которой вы получаете вариацию, вполне может опуститься до таких вещей, как нагрузка на вашу систему. Или это просто может быть связано с тем, что планировщик потоков не является детерминированным.

Ваши потоки фактически выполняют небольшое количество работ по сравнению с накладными расходами на создание/запуск потока. Поэтому неудивительно, что один из них может быстро вернуться из своего метода run().