1.说明
当把变量声明为 volatile类型后,编译器与运行时都会注意到这个变量是共享的,因此不会将该变量上的操作与其他内存操作一起重排序。volatile修饰的变量不会被缓存在寄存器或对其他处理器不可见的地方,因此在读取volatile类型变量时总会返回最新写入的值,是一种比sychronized关键字更轻量级的同步机制。
读取volatile变量相当于进入同步代码块,而写入volatile变量相当于退出同步代码块。
2.使用场景
仅当volatile变量能简化代码的实现以及对同步策略的验证时,才应该使用;如果在验证正确性时需要对可见性进行复杂的判断,则不建议使用。
说人话就是:
1.对变量的写入操作不依赖变量的当前值;
2.该变量不会和其他状态变量一起纳入不变性条件中;
3.在访问该变量时不需要加锁。
e.g. 检查某个状态标记以判断是否退出循环。
3.与加锁的区别
加锁既保证了可见性,又保证了原子性。 volatile只保证了可见性。
如:volatile不能确保count++操作的原子性(count++包含了‘读-改-写’一组操作),故可以使用原子变量来实现,如 AtomicInteger等。