一、什么是`volatile`
在Java中,`volatile`是一个类型修饰符(type specifier),它用于修饰被不同线程访问和修改的变量。`volatile`的主要作用是确保变量的可见性和有序性,但它并不保证原子性。
- 可见性:当一个线程修改了`volatile`变量的值时,这个新值对于其他线程来说是立即可见的。这是通过将变量的修改直接写入主存(main memory),并使得其他线程读取变量时直接从主存中读取,而不是从缓存(cache)中读取来实现的。
- 有序性:`volatile`禁止了指令重排序(Instruction Reordering)中可能影响到`volatile`变量读写操作顺序的重排序。这确保了程序在执行时,`volatile`变量的操作将按照代码中的顺序来执行。
二、`volatile`的特性
1. 内存可见性:如上所述,`volatile`确保了变量的修改对所有线程都是可见的。这是通过“锁定”该变量在内存中的位置来实现的,使得每次读取或写入都直接针对主存,而不是缓存。
2. 防止指令重排序:编译器和处理器可能会对代码进行优化,以提高执行效率,这包括指令重排序。然而,当存在`volatile`变量时,