java多线程指令重排序引发的脏读

如果A、B两个处理器同时有两个线程执行，可能会得到x=y=0这种结果，导致的原因时由于代码执行时进行了读、写指令重排序，即多线程中经常出现的脏读现象。正常程序执行为处理器A执行A1将值写入缓存区A，然后执行A3将值刷新到共享内存中，然后在执行A2读b值操作，即A1-A3-A2。但经过指令重排序后，可能会出现这种执行情况，A1-A2-A3,这样就会导致B处理器写入的b数据没有更新进共享内存而出现了脏读现象（B处理器同样）。这种现象产生的原因就是每个处理器的缓存区只对自己可见。
所以有了doug、li贡献的高并发包，用乐观锁一定程度上改善了之前synchronized等悲观锁的效率问题。