JMM-多线程先行发生原则happens-before

ゝ一世哀愁。 2024-02-21 10:14 33阅读 0赞

**5.6 JMM规范下多线程先行发生原则之happens-before**

在JVM中，如果一个操作执行的结果需要对另一个操作可见或者代码重排序，那么这两个操作之间

必须存在happens-before（先行发生）原则，逻辑上的先后关系。

![a87569976d6a45179190de0e89a64468.png][]

**5.6.2 先行并发原则说明**

![c3bbdfcade794272b62a0a77ad24352a.png][]

**5.6.3 happens-before总原则**

![40474b4c2dbf4d57be6c3b0321aa03cb.png][]**5.6.4 happens-before之8条**

![d5987e7829b4490dae491d53e83227cd.png][]

![92347966ac35453f812245c771cde91e.png][]

**5.6.5 happens-before总结**

![4c11ac36fde64d409130274102af9cac.png][]

**5.6.6 案例说明**

private int value =0;
    
    public int getValue(){
        return value;
    }
    
    public int setValue(){
        return ++value;
    }
    
    
    问题描述：假设存在线程A和B，线程A先（时间上的先后）调用了setValue()方法，
    然后线程B调用了同一个对象的getValue()方法，那么线程B收到的返回值是什么？
    
    答案：不一定
    分析happens-before规则（规则5，6，7，8可以忽略，和代码无关）
    1 由于两个方法由不同线程调用，不满足一个线程的条件，不满足程序次序规则
    2 两个方法都没有用锁，不满足锁定规则
    3 变量没有使用volatile修饰，所以不满足volatile变量规则
    4 传递规则肯定不满足
    综上：无法通过happens-before原则推导出线程A happens-before 线程B，虽然可以确定时间上线程A优于线程B，但就是无法确定线程B获得的结果是什么，所以这段代码不是线程安全的
    
    注意：
    如果两个操作的执行次序无法从happens-before原则推导出来，那么就不能保证他们的有序性，
    虚拟机可以随意对他们进行重排序

如何修复？

方法一：把getter/setter方法都定义为synchronized方法------->不好，重量锁，并发性下降

private int value =0;
    
    public synchronized int getValue(){
        return value;
    }
    
    public synchronized int setValue(){
        return ++value;
    }

方法二：把Value定义为volatile变量，由于setter方法对value的修改不依赖value的原值，满足

volatile关键字使用场景

![444b20fd91e845f58f1be40e2370a5a8.png][]

[a87569976d6a45179190de0e89a64468.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/21/bced89921bc5483d89ef3277f1547ad9.png
[c3bbdfcade794272b62a0a77ad24352a.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/21/7e9e4802375348dfa2d6fe7bff26ff42.png
[40474b4c2dbf4d57be6c3b0321aa03cb.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/21/5d14aad83a3f49c3b6fd3d64a1cfc4f2.png
[d5987e7829b4490dae491d53e83227cd.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/21/5f70c4488ef14a93b157a11869eebc2d.png
[92347966ac35453f812245c771cde91e.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/21/1a798c5c26f944a2a21c14cda426e8d0.png
[4c11ac36fde64d409130274102af9cac.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/21/2aa28b1802d8493ba92d26244aeccb76.png
[444b20fd91e845f58f1be40e2370a5a8.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/21/e5dbf57ca6914ef193293ccc5d9a0aa8.png