Java：volatile如何保证这段代码中“数据”的可见性？

Question

Class Future
{
    private volatile boolean ready;
    private Object data;
    public Object get()
    {
        if(!ready) return null;
        return data;
    }

    public synchronized void setOnce(Object o)
    {
        if(ready) throw...;
        data = o;
        ready = true;
    }
}

它说“如果一个线程读取数据，则从写入到读取存在一个先发生边缘，以保证数据的可见性”

我从我的学习中知道：

1. volatile 确保每次读/写都在内存中，而不仅仅是在缓存或寄存器中；
2. volatile 确保重新排序：即在 setOnce() 方法中 data = o 只能安排在 if(ready) throw... 之后，并且在 ready = true 之前；这保证如果在 get() ready = true 中，数据必须为 o。

我的困惑是

1. 有没有可能当线程1在setOnce()中时，到达data = o之后的那个点；准备好之前=真；同时线程2运行get()，read ready为false，返回null。并且 thead 1 继续准备好 = true。 在这种情况下，即使数据已在线程 1 中分配了新值，线程 2 也没有看到新的“数据”。

2. get() 未同步，这意味着同步锁无法保护 setOnce()，因为线程 1 调用 get() 无需获取锁即可访问变量就绪数据。所以线程不能保证看到最新的数据值。我的意思是锁只保证同步块之间的可见性。即使一个线程正在运行同步块 setOnce()，另一个线程仍然可以进入 get() 并在不阻塞的情况下访问就绪和数据，并且可能会看到这些变量的旧值。

3. 在 get() 中，如果 ready = true，数据必须为 o？我的意思是这个线程可以保证看到数据的可见性？我认为 data 不是 volatile 也不是 get() 同步的。这个线程是否可以看到缓存中的旧值？

谢谢！

Answer 1

volatile 确保每次读/写都在内存中，而不仅仅是在缓存或寄存器中；

不。它只是确保它对其他线程可见。在现代硬件上，这不需要访问内存。 （这是好事，主存很慢。）

volatile 确保重新排序：即在 setOnce() 方法中 data = o 只能安排在 if(ready) throw... 之后，并且在 ready = true 之前；这保证了如果在 get() ready = true 中，数据必须是 o。

没错。

有没有可能当线程1在setOnce()中时，到达data = o之后的那个点；准备好之前=真；同时线程2运行get()，read ready为false，返回null。并且 thead 1 继续准备好 = true。在这种情况下，线程 2 看不到新的“数据”，即使数据已在线程 1 中分配了新值。

是的，但如果这是一个问题，那么你不应该使用这样的代码。据推测，此代码的 API 将保证 get 在 setOnce 返回后调用时可以看到结果。显然，你不能保证get 在我们完成之前就能看到结果。

get() 不是同步的，这意味着同步锁不能保护 setOnce()，因为线程 1 调用 get() 不需要获取锁来访问变量准备好的数据。所以线程不能保证看到最新的数据值。我的意思是锁只保证同步块之间的可见性。即使一个线程正在运行同步块 setOnce()，另一个线程仍然可以进入 get() 并无阻塞地访问就绪和数据，并且可能会看到这些变量的旧值。

没有。如果这是真的，同步将几乎不可能使用。例如，一种常见的模式是创建一个对象，然后获取集合上的锁并将对象添加到集合中。如果获取集合上的锁并不能保证创建对象所涉及的写入是可见的，那么这将不起作用。

在get()中，如果ready = true，数据必须是o？我的意思是这个线程可以保证看到数据的可见性？我认为 data 不是 volatile 也不是 get() 同步的。这个线程可能会看到缓存中的旧值吗？

Java 的volatile 操作是这样定义的，这样可以保证看到对一个更改的线程可以看到所有其他内存更改，该线程在线程看到的更改之前进行了更改。这在其他语言（例如 C 或 C++）中是不正确的。这可能会使 Java 的 volatile 在某些平台上变得更加昂贵，但幸运的是在典型平台上不会。

另外，请不要谈论“在缓存中”。这与缓存无关。这是一个常见的误解。它与可见性有关，而不是缓存。大多数缓存提供对缓存的完全可见性（将“MESI 协议”插入您最喜欢的搜索引擎以了解更多信息），并且不需要任何特殊的东西来确保可见性。