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

关于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。

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

 

相关文章:

  • 2022-12-23
  • 2021-09-29
  • 2022-12-23
  • 2021-07-27
  • 2021-06-03
  • 2021-07-22
  • 2022-12-23
  • 2022-12-23
猜你喜欢
  • 2021-10-09
  • 2022-12-23
  • 2021-05-16
  • 2022-12-23
  • 2021-06-13
  • 2021-08-13
  • 2021-07-20
相关资源
相似解决方案