现在的位置: 首页 > 编程语言 > 正文

Java内存模型的指令重排

2019年12月30日 编程语言 ⁄ 共 805字 ⁄ 字号 评论关闭

  JMM是内存模型规范在Java语言中的体现。JMM保证了在多核CPU多线程编程环境下,对共享变量读写的原子性、可见性和有序性。

  指令重排

  在说有序性之前,我们必须先来聊下指令重排,因为如果没有指令重拍的话,也就不存在有序性问题了。

  指令重排是指编译器和处理器在不影响代码单线程执行结果的前提下,对源代码的指令进行重新排序执行。这种重排序执行是一种优化手段,目的是为了处理器内部的运算单元能尽量被充分利用,提升程序的整体运行效率。

重排序分为以下几种:

  编译器优化的重排序。

  编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序。

  指令级并行的重排序。

  现代处理器采用了指令级并行技术来将多条指令重叠执行。如果不存在数据依赖性,处理器可以改变语句对应机器指令的执行顺序。

  内存系统的重排序。

  由于处理器使用缓存和读/写缓冲区,这使得加载和存储操作看上去可能是在乱序执行。

  通过指令重排的定义可以看出:指令重拍只能保证单线程执行下的正确性,在多线程环境下,指令重排会带来一定的问题(一个硬币具有两面性,指令重排带来性能提升的同时也增加了编程的复杂性)。下面我们就来展示一个列子,看看指令重排是怎么影响程序执行结果的。

  对于上面的代码,假如我们开启一个线程调用startSystem,再开启一个线程不断调用checkStartes方法,我们并不能保证代码执行到“关注点”处,var变量的值一定是3。因为在startSystem方法中的两个赋值语句并不存在依赖关系,所以在编译器进行代码编译时可能进行指令重排。

  也就是先执行started=true;执行完这个语句后,线程立马执行checkStartes方法,此时value值还是1,那么最后在关注点处的var值就是2,而不是我们想象中的3。

  结束语:以上就是关于Java内存模型的指令重排的全部内容,更多内容请关注学步园。

  

抱歉!评论已关闭.