0

易失性写入是否确保在一个线程中发生的任何写入（非易失性/易失性写入）对其他线程都是可见的？

以下给定代码是否总是90,80作为输出产生？

public class MyClass
{
    private boolean flag = false;
    private volatile int volatileInt = 0;
    private int nonVolatileInt = 0;
    public void initVariables()
    {
        nonVolatileInt = 90; // non-volatile write
        volatileInt = 80; // volatile write
        flag = true; // non-volatile write
    }
    public void readVariables()
    {
        while (flag == false)
        {}
        System.out.println(nonVolatileInt + ","+ volatileInt);
    }
    public static void main(String st[])
    {
        final MyClass myClass = new MyClass();
        Thread writer = new Thread( new Runnable()
        {
            public void run()
            {
                myClass.initVariables();
            }
        });
        Thread reader = new Thread ( new Runnable()
        {
            public void run()
            {
                myClass.readVariables();
            }
        });
        reader.start();writer.start();
    }
}

我关心的是方法 initVariables()。JVM是否可以自由地以下列方式重新排序代码块？：

flag = true;
nonVolatileInt = 90 ; 
volatileInt = 80;

因此，我们得到阅读器线程的输出为： 0,0
或者，它们可以按以下方式重新排序：

nonVolatieInt = 90;
flag = true;
volatileInt = 80;

因此，我们得到阅读器线程的输出：90,0

4

1 回答 1

5

易失性写入确保已执行的写入不会出现在此写入之后。但是，为了确保您看到这一点，您需要先执行易失性读取。

因此，我们得到阅读器线程的输出：90,0

正确的。但是，如果您正确执行读取，您将无法获得0, 80

0, 0 - ok
90, 0 - ok
90, 80 - ok
0, 80 - breaks happens before.

但是，您的读取并不能确保在行为之前发生，因为它不会首先执行易失性读取。

System.out.println(nonVolatileInt + ","+ volatileInt);

这首先读取非易失性字段，因此您可以看到非易失性字段的旧版本和易失性字段的新版本。

注意：实际上，您极不可能看到问题。这是因为缓存一次使整个缓存行无效，如果这些字段位于同一个 64 字节块中，您不应该看到不一致。

更可能出现问题的是这个循环。

 while (flag == false)
    {}

问题是; JIT 可以看到您的线程从不写入，flag因此它可以内联该值。即它永远不需要读取值。这可能导致无限循环。

http://vanillajava.blogspot.co.uk/2012/01/demonstrating-when-volatile-is-required.html

于 2014-05-05T11:04:19.930 回答