老师新年好，在复习多线程这块时，看到一个程序的运行让人很疑惑，结合之前学的知识没法解释。程序如下：

package ...

import java.util.ArrayList;
import java.util.List;
import java.util.concurrent.TimeUnit;

public class Test_00_monitor_list_to_five_issue {

    // 1
    volatile List lists = new ArrayList();

    public void add(Object o) {
        lists.add(o);
    }

    public int size() {
        return lists.size();
    }

    public static void main(String[] args) {
        Test_00_monitor_list_to_five_issue c = new Test_00_monitor_list_to_five_issue();

        new Thread(() -> {
            for (int i = 0; i < 10; i++) {
                c.add(new Object());
                System.err.println("add " + i); // 2
//                sleepMilliSeconds(500); // 3
            }
        }, "t1").start();

        new Thread(() -> {
            while (true) {
                if (c.size() == 5) {
                    break;
                }
            }
            System.err.println("t2 结束");
        }, "t2").start();
    }
    // 为了让调用处不用捕获异常，使得代码更简洁
    public static void sleepMilliSeconds(int s) {
        try {
            TimeUnit.MILLISECONDS.sleep(s);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
}

我试了下不同的处理方式：

1. 1处不加volatile，不管2、3两处是否放开注释，t2线程都不会结束
2. 1处加volatile，2、3放开一处的注释，t2都能正常结束
3. 即使1处加了volatile，2、3两处都注释掉的情况下，t2线程也不能结束

令我疑惑的是，volatile一般都修饰值类型，修饰引用类型，引用始终没改变，改变的只是内部的属性，在某些情况下（这里2、3放开一处的注释）其中的size字段可见了，这是什么原理？另外第三个操作volatile为啥又失效了？2、3两处的代码对volatile修饰的ArrayList中的size字段可见性有什么影响？
实在整懵了，向老师求救/(ㄒoㄒ)/~~