java语言提供了一种稍弱的同步机制,即volatile变量,用来确保变量的更新操作的通知到其他的线程.
当把变量声明为volatile类型后,编译器与运行时都会注意到这个变量是共享的,因此不会将改变量上的操作与其他内存操作一起重排序.volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方,因此读取volatile类型的变量总会返回最新输入的值.
在访问volatile变量是不会执行加锁操作,因此也就不会执行线程阻塞,因此volatile变量是一种比sychronized关键字更轻量级的同步机制.
volatile变量的一种典型用法:检查某个状态标记以判断是否退出循环.
volatile boolean asleep;
...
while (!asleep){
countSomeSheep();
}
只用asleep用volatile修饰时,当asleep被另一个线程修改时,执行判断的线程可以拿到最新的asleep的值,保证了asleep更新操作的可见性,用锁也可以实现但是代码变得更加复杂.
虽然volatile变量很方便,但有一定的局限性,volatile变量通常用作某个操作完成,发生中断或者状态的标志.
volatile不能保证原子性,比如count++,使用volatile不能保证,除非能确保只有一个线程对变量执行写的操作.
volatile只能保证可见性,不能保证原子性.
当满足以下条件时,才应该使用volatile变量:
- 对变量的写入操作不依赖变量的当前值,或着能确保只有单个线程更新变量的值;
- 该变量不会与其他状态变量一起纳入不变性条件中
- 在访问变量时不需要加锁
