有序性：Java程序中天然的有序性可以总结为一句话：如果在本线程内观察，所有的操作都是有序的；如果在一个线程中观察另一个线程，所有的操作都是无序的。前半句指"线程内似表现为串行的语义"，后半句指"指令重排序"现象和"工作内存与主内存同步延迟"现象。（源自《https://wx.zsxq.com/mweb/views/weread/search.html?keyword=深入理解JAVA虚拟机-（第3版）》） 指令重排：编译器或处理器为优化程序性能和利用资源的一种优化策略，只能保证单线程指令安全，...
个人有一个疑问，就是happens-before原则是不是仅仅是一个给我们程序员进行判断【线程冲突是否存在】的规则而已，JMM本身并没有是基于happens-before原则而得出的模型？
有序性：Java程序中天然的有序性可以总结为一句话：如果在本线程内观察，所有的操作都是有序的；如果在一个线程中观察另一个线程，所有的操作都是无序的。前半句指"线程内似表现为串行的语义"，后半句指"指令重排序"现象和"工作内存与主内存同步延迟"现象。（源自《https://wx.zsxq.com/mweb/views/weread/search.html?keyword=深入理解JAVA虚拟机-（第3版）》） 指令重排：编译器或处理器为优化程序性能和利用资源的一种优化策略，只能保证单线程指令安全，...
个人有一个疑问，就是happens-before原则是不是仅仅是一个给我们程序员进行判断【线程冲突是否存在】的规则而已，JMM本身并没有是基于happens-before原则而得出的模型？