volatile两大作用
1.保证内存可见性。
2.禁止指令重排序。
内存可见性产生的原因
上图为Java内存模型,由上图可知共享变量是保存在主内存中的,当一个线程需要操作共享变量时,需要从主内存拷贝一份共享变量的副本到本地内存,此时如果线程修改了共享变量,则会把修改后的值写回到本地内存,但该变量由本地内存写回主内存的时间是不可控的,只要没有写回主内存后续线程就无法读取到该变量的最新值,这是其一。其二如果其他线程的本地内存中已经包含了该变量的副本,那么即使该线程把最新值写回到主内存,其他线程由于已经有副本了,所以重新去主内存读取该变量的时间也不可控。
指令重排序产生的原因
程序运行时,在保证单线程执行逻辑不变的前提下,机器会根据当前上下文对指令的执行顺序进行调整来达到更高效的执行速度。指令排序带来问题:
volatile如何解决这两个问题
被volatile修饰的变量在编译成字节码文件时会产生多个lock指令,该指令在执行过程中会生成相应的内存屏障,以此来解决可见性跟重排序的问题。
1.在有内存屏障的地方,会禁止指令重排序,即屏障下面的代码不能跟屏障上面的代码交换执行顺序。
2.在有内存屏障的地方,线程修改完共享变量以后会马上把该变量从本地内存写回到主内存,并且让其他线程本地内存中该变量副本失效