关于volatile修饰引用类型的疑惑

volatile修饰引用类型能否保证可见性似乎一直没有一个定论，有的书中说仅能保证引用本身的可见性，下面用两段代码来验证：流程基本为一个线程死循环读取某个引用类型的某个变量的值，另一个线程修改这个值，观察线程是否结束。

//volatile修饰类
public class TestVolatile implements Runnable{
    class Foo {
        boolean flag = true;
    }

    private volatile Foo foo = new Foo();  //

    public void stop(){
        foo.flag = false;
    }

    @Override
    public void run() {
        while (foo.flag){}
    }


    public static void main(String[] args) throws InterruptedException {
        TestVolatile test = new TestVolatile();
        Thread t = new Thread(test);
        t.start();

        Thread.sleep(1000);
        test.stop();
    }
}

//volatile修饰数组
public class TestVolatile2 implements Runnable{
    private int len = 1024*1024;
    volatile int[] arr = new int[len];  //
    {
        arr[len-1] = 1;
    }

    public void stop(){
        arr[len-1] = 0;
    }

    @Override
    public void run() {
        while (arr[len-1] == 1){}
    }


    public static void main(String[] args) throws InterruptedException {
        TestVolatile2 test = new TestVolatile2();
        Thread t = new Thread(test);
        t.start();

        Thread.sleep(1000);
        test.stop();
    }
}

上面两段代码在有volatile字段的时候可观察到程序停止运行，没有volatile字段的时候会一直运行下去。