JRS133为什么要增强volatile的语义?

Question

线程A的1和线程B和4并不满足happen before原则, 为什么要保证1和4的可见性呢?
而且即使通过禁止volatile读和普通变量读/写的重排序, 那由于1和4不满足happen before原则, 也可能出现4先执行1后执行的情况, 导致1的修改对于4来说不可见呀? 那么增强volatile的语义有什么用呢?

Answer 1

//线程1:context = loadContext(); //语句1inited = true; //语句2//线程2:while(!inited ){sleep()}doSomethingwithconfig(context);这里inited为volatile变量，如果非volatile变量和volatile之间可以重排，那么线程2执行的时候可能context还没有初始化。你不要把volatile放到非...变量前来使用，volatile保证他之前的语句一定执行完了，所以如果inited为true的话，context是一定被初始化了的。