java并发编程学习----volatile内存语义记录

class Example{

    int a = 0;
    volatile int b = 0;
    
    void write(){
        a = 1;//1
        b = 2;//2
    }

    void read(){
        if(2 == b){//3
            int i = a;//4
        }
    }
}

上面的例子中，线程A执行write，线程B执行read时，1 和2虽然在一个临界区域内，但是并不会发生重排序；3和4也不会发生重排序。1happens-before2，3happens-before4，同时happens-before具有传递性，所以1happens-before4，整个代码是同步的。

可能有人会觉得1 2会重排序，但是volatile的语义是这样的：

*当第二个操作是volatile写时，无论前一个操作是什么，两个指令都不会重排序

*当第一个操作是volatile读时，无论第二个操作是什么，两个指令都不会重排序

*当第一个操作是volatile写时，第二个是volatile读时，两个志龙都不会重排序

 

每个volatile写前面都加了storestore内存屏障

每个volatile写后面都加了storeload内存屏障

每个volatile读后面都加了loadload内存屏障

每个volatile读后面都加了loadstore内存屏障

-----读并发编程艺术

------------------更新-------------------

 

这本书前三章写的还可以，但是书中有多处拼写错误，这个不算什么，但是要命的是有重要的表格都是重复的这种低级错误，读的时候要小心，第四章之后就没有什么必要读了，几乎就是概念的堆砌了