什么是volatile关键字
在C语言和Java中,它是一种特殊的类型修饰符,用来告诉编译器该变量可能会被意外地改变。这样,每次存取该变量时,编译器都不会对其进行缓存优化,而是直接从内存中读取或写入,提供了对特殊地址的稳定访问。在Java中,volatile提供了一种比synchronized更轻量级的同步机制,因为它不会引起线程上下文的切换和调度。但相较于synchronized,它的同步性较差,使用时需谨慎以避免出错。
用处
线程都有自己的工作内存,对一个共享变量的修改可能不会立即对其他线程可见。使用volatile关键字可以确保当一个线程修改了一个volatile变量的值,这个改变会立即被其他线程看到,从而保证了不同线程间对该变量操作的可见性。此外,编译器在优化代码时可能会进行指令重排序,这在一些情况下会导致程序运行行为不符合预期。声明为volatile的变量在赋值后会立即刷新到主内存,并且在读取前会从主内存中重新加载,这样可以防止指令重排序,确保程序执行的顺序符合预期。
场景
关于volatile关键字的使用场景,它适用于:
- 多线程并发访问的共享变量,确保变量值的改变对所有线程立即可见。
- 双重检查锁定模式中,声明单例实例为volatile,以保证线程安全。
- 防止指令重排序,确保程序的正确执行顺序。
- 线程间的通信,通过修改volatile变量来实现。
注意事项
需要注意的是,虽然volatile可以保证单个共享变量的读写操作的可见性,但它不能保证原子性。也就是说,它无法保证复合操作的原子性,因此如果需要保证某个操作的原子性,应当使用其他的同步机制,如synchronized关键字或原子类。