在Java内存模型中,允许编译器和处理器对指令进行重排序,但是重排序过程不会影响单线程执行的结果,会影响到多线程并发执行结果的正确性
volatile
,synchronized
,Lock
通过volatile
,synchronized
,Lock
保证一定的有序性,synchronized
,Lock
保证每一时刻只有一个线程可以执行同步代码块,相当于让线程顺序执行同步代码,从而保证有序性。另外,JVM具备一些先天的有序性,即不需要额外的手段就能保证有序性,即Happens-before原则,如果两个操作的执行次序,没有办法通过Happens-before原则推导出来,虚拟机进行随意的重排序,那么就不能保证有序性。
1.如果一个操作Happens-before
另外一个操作,那么第一个操作的执行结果相对第二个操作可见,并且第一个操作的执行顺序在第二个操作之前执行。
2.两个操作之间存在Happens-before
关系,并不意味着一定要按Happens-before
原则制定的顺序执行。如果重排序之后的执行结果与Happens-before
关系执行的结果一致,那么这种重排序就不非法。
Happens-before
的规则原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。
如有侵权,请联系 cloudcommunity@tencent.com 删除。
原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。
如有侵权,请联系 cloudcommunity@tencent.com 删除。