volatile关键字解析
volatile关键字与内存模型有关,那么什么是内存模型呢?
1.jvm中设定了8中原子操作
1.lock:将一个变量标识为被一个线程独占状态
2.unclock:将一个变量从独占状态释放出来,释放后的变量才可以被其他线程锁定
3.read:将一个变量的值从主内存传输到工作内存中,以便随后的load操作
4.load:把read操作从主内存中得到的变量值放入工作内存的变量的副本中
5.use:把工作内存中的一个变量的值传给执行引擎,每当虚拟机遇到一个使用到变量的指令时都会使用该指令
6.assign:把一个从执行引擎接收到的值赋给工作内存中的变量,每当虚拟机遇到一个给变量赋值的指令时,都要使用该操作
7.store:把工作内存中的一个变量的值传递给主内存,以便随后的write操作
8.write:把store操作从工作内存中得到的变量的值写到主内存中的变量
**概念:**内存模型就是在多线程中,操作共享变量时,会有一个主存区域和线程的本地工作区域(高速缓存区),线程操作一个变量,会先从主存中读变量到工作缓存中(通过read,load指令),然后进行操作(使用use指令),再存到本地缓存(assign指令),再刷新到主存中(通过store和write指令)
图片解析:
volatile的作用:
1.保证此变量对所有的线程的可见性,这里的“可见性”,当一个线程修改了这个变量的值,volatile 保证了新值能立即同步到主内存,以及每次使用前立即从主内存刷新,会使其他读取主从到本地工作缓存的 旧值失效,重新读取主从
2.**禁止指令重排序优化。**有volatile修饰的变量,赋值后多执行了一个“lock addl $0x0, (%esp)”操作,这个操作相当于一个内存屏障(指令重排序时不能把后面的指令重排序到内存屏障之前的位置),只有一个CPU访问内存时,并不需要内存屏障;
案例:
public class NoVisibility {
private static boolean ready;
private static int number;
private static class ReaderThread extends Thread {
@Override
public void run() {
while(!ready) {
Thread.yield();//使当前线程放弃cpu资源,让线程重新抢夺cpu执行权
}
System.out.println(number);
}
}
public static void main(String[] args) {
new ReaderThread().start();
//下面两段代码没什么关联,可能发生重排序,发生重排序会导致打印的结果是0或者程序死循环不打印
number = 42;
ready = true;
}
}
3.在32为的jvm中可以使读取Long和Double类型为原子性操作,因为Long和double都是64,32位的虚拟机只能分为两次读,在读的过程中如果有别的线程更改就会发生读取错误,使用volatie,就避免了读取错误。在读取过程中,如果被改变,那么将会重新读取,