Java 程序输出 - 并发

Question

这可能是一个愚蠢的问题，但是，这个程序的输出（它的方式）可以为零吗？

public class Test2{

    int a = 0;
    AtomicInteger b = new AtomicInteger();
    public static Test2  c = new Test2();

    public static void main(String[] args){

        Thread t1 = new Thread(new MyTest1());
        Thread t2 = new Thread (new Mytest2());

        t1.start();
        t2.start();
    }

}

class MyTest1 implements Runnable{

    public void run(){
        Test2.c.a = 1;
        Test2.c.b.compareAndSet(0,1);

    }
}

class Mytest2 implements Runnable{
    public void run(){
        int x = 0;

        if(Test2.c.b.get() == 1)
            x = Test2.c.a;

        System.out.println("Value of x = "+x);
    }

}

我问这个的原因是，虽然我使用的是 AtomicInteger，但 MyTest2 中的 if() 语句可能会先执行，然后 x 的值将为零..对吗？

还是我的想法不正确。

任何帮助将不胜感激。

Answer 1

这个程序的输出（它的方式）可以为零吗？

是的，这是可能的。该代码不以任何方式保证t1 将在t2 完成之前完成。如果这是您的意图，您可能会发现 CountdownLatch 或 CyclicBarrier 很有用。点击链接，他们的 javadocs 包含代码示例。

---

也就是说，我宁愿将 AtomicInteger 的引用作为两个可运行对象的构造函数参数传递，而不是以静态方式访问它。

Answer 2

只需稍作改动，您可以保证输出将是1：

public void run(){
    int x = 1;

    if(Test2.c.b.get() == 1)
        x = Test2.c.a;

    System.out.println("Value of x = "+x);
}

由于 volatile 读/写的顺序保证：

• x 最初是 1
• 唯一可以分配给x的其他值是Test2.c.a的值
• 仅当先前从 Test2.c.b 读取了 1 时，Test2.c.a 才能复制到 x
• 只有在将1 写入Test2.c.a 之后，1 才会写入Test2.c.b
• 因为Test2.c.b 是易失性的，任何读取它的线程也会观察到之前写入Test2.c.b 的同一线程对所有变量（易失性或非易失性）的所有写入。这意味着t2 也可以看到1 对Test2.c.a 的写入
• 如果测试失败（即读取Test2.c.b 返回的不是1），则x 保留其初始值1，因此输出仍为1。

我怀疑这就是这个程序的作者试图说明的内容，x 的默认值 0 是一个错字。