java内存模型的happens-before语义顺序问题

问题描述

问 题

注意,两个操作之间具有 happens-before 关系,并不意味着前一个操作必须要在后一个操作之前执行!happens-before 仅仅要求前一个操作(执行的结果)对后 一个操作可见,且前一个操作按顺序排在第二个操作之前(the first is visible to and ordered before the second)。happens- before 的定义很微妙,后文会具 体说明 happens-before 为什么要这么定义。

——引用自《深入理解JAVA内存模型》

这本书后边有一个重排序的例子，说明没有依赖关系的两个语句可以重排，所以并不意味着前一个操作必须要在后一个操作之前执行。那且前一个操作按顺序排在第二个操作之前这句话的含义又是什么呢

黑色斜体两段字所要表明的意思区别究竟在哪，感觉这两句话是矛盾的呢？能否举例说明一下

解决方案

可以反着理解一下，hf是指物理上按照顺序的两条指令第一个对第二个可见，但是不是一定第一条先执行的呢，不一定，因为可能发生重拍，顺序上第一条不一定先执行

这篇关于java内存模型的happens-before语义顺序问题的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！