volatile

  volatile被称为轻量型synchronized。用volatile修饰的成员变量在每次被线程访问时，都会从共享内存中重新读取该变量的值，当该成员变量变化时，强迫线程将变化后的值写入共享内存；效率较低；对volatile修饰的变量操作不会造成阻塞；对于变量改变，无法提供原子性保证

    当该变量已在同步代码块或者为final修饰时，不必使用；

    是一种轻型同步,具有可见性. 

 

 变量用volatile修饰如果想要安全: 必须 

对变量的写操作不依赖于当前值,(不存在i++,i--)这种操作，可以是cas的加减。并且该变量不能包含在具体其他变量的不变式

  例如 lower < upper, 一个上界和下界.  value不应该去和它们做比较
@NotThreadSafe
public class NumberRange {
    private int lower, upper;
 
    public int getLower() { return lower; }
    public int getUpper() { return upper; }
 
    public void setLower(int value) {
        if (value > upper)
            throw new IllegalArgumentException(...);
        lower = value;
    }
 
    public void setUpper(int value) {
        if (value < lower)
            throw new IllegalArgumentException(...);
        upper = value;
    }
}

 

. 这种方式限制了范围的状态变量，因此将 lower 和 upper 字段定义为 volatile 类型不能够充分实现类的线程安全；从而仍然需要使用同步。否则，如果凑巧两个线程在同一时间使用不一致的值执行 setLower和 setUpper 的话，则会使范围处于不一致的状态。

所以volatile不能用作线程安全计数器,因为无法提供原子性保证,并且++也需要依赖前值

 

为了实现volatile的内存语义，编译器在生成字节码时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。

 

JMM基于保守策略的JMM内存屏障插入策略：

1.在每个volatile写操作的前面插入一个StoreStore屏障

2.在每个volatile写操作的后面插入一个SotreLoad屏障

3.在每个volatile读操作的后面插入一个LoadLoad屏障

4.在每个volatile读操作的后面插入一个LoadStore屏障