Java并发编程之验证volatile指令重排-理论篇

        Java并发包下的类中大量使用了volatile关键字。通过之前文章介绍，大家已经知道了volatile的三大特性：共享变量可见性；不保证原子性；禁止指令重排后顺序性。通过前面两篇文章我们通过代码验证了前两个特性，本文我们就来验证禁止指令重排保证顺序性。

        指令重排序的生活例子

        去餐厅吃饭预定位置的的时候。假设要去A餐厅吃饭，A餐厅有前台B、服务员C以及老板D。如果就只有你一个人去吃饭的时候，你给前台或者给服务器或者给老板说一声把2号桌预定了，半小时后过来。餐厅在为了2小时内就你一个人去吃饭。那么OK，没问题，别说等半个小时，就是等一个小时，2号桌还是你的。

        但是，如果现在是吃饭高峰期，很多人来吃饭，你给前台说了，前台忙着没有及时给服务员或者没有给老板说，这个时候有个路人甲来吃饭，刚好看到2号桌没人，老板或者服务员就让他就坐2号桌吃饭了。那么，等你过来的时候，2号桌已经有人了。这个时候对于你来说，这个结果就不是你想要的了。

        上面案例，如果从计算机执行指令角度来分析的话，你要到2号桌吃饭，这是预期结果。餐厅A就相当于是处理器，前台B就相当于是编译器，服务员C和老板D就是指令和内存系统。如果你预定的时间点不是吃饭高峰期或者没有人去餐厅A吃饭。那么你就相当于是一个线程。就是单线程的。老板、前台、服务员怎么安排都可以。因为只有你一个2号桌肯定是你的。这是单线程情况下