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屏障