java - 可变实例对象的可见性

Question

根据《Java并发实践》一书，当ready为true时，下面的代码可能会永远执行，或者number的值可能仍然为0，建议将变量定义为 volatile 。然而，即使在我多次尝试之后，下面列出的程序似乎总是返回正确的值(42)而不是过时的值。这种现象很少发生吗？

public class NoVisibility {
    private static boolean ready;
    private static int number;

    private static class ReaderThread extends Thread{
        public void run(){
            System.out.println("Thread started =" + ready + " " + number);
            while(!ready){
                Thread.yield();
            }
            System.out.println("value is" + number);
        }
    }

    public static void main(String[] args) throws InterruptedException {
        new ReaderThread().start();
        Thread.sleep(10000);
        number = 42;
        ready = true;
    }
}

Answer 1

Is this a phenomenon that occurs very rarely

是的，很少见。然而，考虑到计算机每秒执行数十亿次的操作，罕见的情况很常见。

每当跨线程访问资源时，您必须地址 thread-safety 。否则，您的应用程序在部署中将会遇到零星的错误，这些错误即使不是不可能解决也是非常困难的。

按照同样的逻辑，测试并发错误是出了名的困难，正如您在问题中所看到的。

始终尽可能避免使用线程代码。例如，利用 immutable objects或defensive copies .

必读:Java Concurrency in Practice作者:Brian Goetz 等人。