转载自https://github.com/pzxwhc/MineKnowContainer/issues/11
概念
volatile 也是 多线程的解决方案之一。volatile 能够保证 可见性,但是不能保证原子性。它只能作用于变量,不能作用于方法。当一个变量被声明为 volatile 的时候,任何 对该变量的读写都会绕过 高速缓存,直接读取主内存的变量的值。个人理解为,读取的时候保证是最新的值,但是对写入则不保证
如何理解直接读写主内存的值:回到 多线程生成的原因(Java内存模型与i++操作解析) ,在 i++ 操作的时候,当 进行 执行引擎 对 变量 进行 + 1 之后,原来 是应该写入到 本地内存中,再由本地内存写入到主内存中,但是 由于 变量使用了 volatile 的修饰,所以 该值不会经过本地内存,而是直接写入到 主内存中去。 读取也是同样的道理。
使用volatile 有两点需要注意的地方:
- 运算结果并不依赖于当前值,或者能确保只有单一的线程能够修改变量的值。
- 变量不需要和其他的状态变量共同参与不变约束
对于第一点的理解:
public class Test {
public static volatile int i = 0;
public static void main(String args[]){
new Thread(new Runnable(){
public void run(){
for(int j = 0; j < 10000; j++)
i++;
System.out.println("Thread1 end...");
}
}).start();
new Thread(new Runnable(){
public void run(){
for(int j = 0; j < 10000; j++)
i++;
System.out.println("Thread2 end...");
}
}).start();
i++;
try {
Thread.sleep(500);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
System.out.println("i = " + i);
}
}
对于第二点的理解:
private Date start;
private Date end;
public void setInterval(Date newStart, Date newEnd) {
// 检查start<end是否成立, 在给start赋值之前不变式是有效的
start = newStart;
// 但是如果另外的线程在给start赋值之后给end赋值之前时检查start<end, 该不变式是无效的
end = newEnd;
// 给end赋值之后start<end不变式重新变为有效
}
最后,关于什么时候使用 volatile,一般是用来当做标记来使用。比如说,当shutdown() 方法被调用的时候,所有的 doWork() 方法都会停下来。