Java中易失性变量和普通变量的显示区别

Question

我正在尝试创建一个示例来显示易失性变量和普通变量之间的区别，例如：

package main;

public class TestVolatile extends Thread {

    public int l = 5;
    public volatile int m = -1;

    public TestVolatile(String str) {
        super(str);
    }

    public void run() {
        int i = 0;
        while ((l > 1) && (l < 10)) {
            if (m >= 0) {
                m++;
            }
            i++;
            l = 5;
            System.out.println("5=" + i + " m=" + m);
        }

    }

    public static void main(String[] args) throws InterruptedException {
        TestVolatile tva = new TestVolatile("ThreadA");

        tva.start();
        sleep(5);
        synchronized (tva) {
            tva.m = 5;
            tva.l = 10;
        }
    }

}

所以 m 是易失性的，l 不是。我认为退出 while 循环取决于 l 的值。
因为 l 的值不是易失性的 - 在 l 被分配 5 后，m 将至少增加 1 次。但我已经运行了编码 10 次并且始终 m==5。
所以我想我错了。如何解决这个问题？谢谢。

感谢您的回答，但并非所有都运行良好。 我设置如下：

volatile int x = 0;
volatile int y = 0;

所以现在变量必须相同！但事实并非如此。

x: 346946234 y: 346946250
x: 346946418 y: 346946422
x: 346946579 y: 346946582
x: 346946742 y: 346946745
x: 346946911 y: 346946912

Answer 1

您正在同步主线程和测试线程。因此，Java 保证使其他线程执行的任何更改可见。

顺便说一句，不可能构建一个确定性地显示易失性和非易失性之间差异的示例。您所能希望的最好结果就是获得一个能够以相当高的概率显示差异的程序。如果线程在同一核心上交错运行。你根本无法表现出任何差异。

以下程序在我的计算机上显示了易失性变量和非易失性变量之间的区别。

public class ShowVolatile {

    final static int NUM_THREADS = 1;

    int x = 0;
    volatile int y = 0;

    public static void main(String... args) {

        final ShowVolatile sv = new ShowVolatile();

        for (int i=0; i< NUM_THREADS; i++) {
            new Thread(new Runnable() {
                public void run() {
                    while (true) {
                        sv.x += 1;    
                        sv.y += 1;    
                    }
                }
            }).start();
        }


        while (true) {
            System.out.println("x: " + sv.x + " y: " + sv.y);
        }
    }

}

如果增加线程数，您将看到更多的同步丢失。但线程数为 1 就足够了。至少在我的硬件上是四核 i7。

Answer 2

让多个线程对 易失性变量执行并发非同步 ++ 应该会有所帮助。然而，它永远不会是确定性的。它还可能取决于底层操作系统和 CPU。