java - 线程填充集合和Java内存模型

Question

我注意到，如果让线程填充集合，则在join之后的线程末尾，我将按预期填充集合。
关于Java内存模型，是否总是保证会发生这种情况？
如果线程将对象的引用存储在cpu缓存的列表中怎么办？
在这种情况下，加入线程后，加入线程将必须保证看到更改？

final ArrayList<Person> persons = new ArrayList();
Thread myThread = new MyThread(persons);
myThread.start();
myThread.join();

// persons ?

线

public class MyThread extends Thread {
    
    ArrayList<Person> persons;

    public MyThread(ArrayList<Person> persons){
     this.persons = persons;
    }

    public void run(){
      persons.add(new Person(...))
      // add more
    }
  }

Answer 1

是的，它由内存模型保证。

在start()调用与子线程的run()方法的第一个操作之间发生了之前的情况。

在子线程的最后一个 Action (任何形式)与在父线程中返回的join()之间发生了之前的情况。

在 JLS 17.4.5中指定
这些足以确保子线程在 join()之后看到正确初始化的列表，而父线程在列表中看到正确填充的列表。