1 单线程程序。单线程程序不会出现内存可见性问题。编译器,runtime,处理器会共同确保单线程程序的执行结果与该线程在顺序一致性模型中的执行结果相同。
2 正确同步的多线程程序。 正确同步的多线程程序执行将具有顺序一致性。也就是说,正确同步的多线程程序结果与在顺序一致性模型中执行的结果相同。JMM通过限制编译器,处理器对指令顺序的重排序(内存屏障)来确保内存可见性。
3 未正确同步的多线程程序。JMM为多线程程序提供最小的安心性保障:线程执行时读取到的值,要么是之前某个线程写入的值,要么是默认的值(0,null,false)
最小安全性保证对象默认初始化之后(设置成员域为0,null,false),才会被任意线程使用。因此,最小安全性保障发生在“对象”使用之前。
最小安全性并不保证线程读取到的值一定是某个线程写到的值。只是保证某个线程读取到的值不是无中生有,而且也不保证读取到的值一定是正确的。
JMM的内存可见性保证
最新推荐文章于 2022-11-30 15:18:54 发布