并发编程的微观层面和宏观层面

关于Java内存模型的Happen-Before规则的一个示例：

线程A，B同时并发执行，A先执行了writer()方法，把v的值改成了true，

B线程执行reader()方法时看到了v的值为true，那么此时B线程看到的x的值是多少？

class VolatileExample {
    int x = 0;
    volatile boolean v = false;
    public void writer() {
        x = 42;
        v = true;
    }
    public void reader() {
        if (v == true) {

            System.out.println(x);
            // 在两个线程并发执行时，这里 x 会是多少呢？
        }
    }
}

 

==============

答案揭晓：42！

解析：

根据HB规则1：串行代码顺序执行，A在执行v=true设置前，x=42的操作已经执行完毕；

根据HB规则2：volatile关键字保证的多线程可见性，线程B可以看到v的值为true了，则说明A线程已经执行完成writer()方法了。

根据HB规则3：根据HB规则的传递性，x设值先于给v设值，给v设置先于读v的值，读v的值先于读x的值，得出：

                         x设置先于读x的值，所以x的值为42。