彻底理解volatile
7月23日 封了心投稿 volatile原理
在Java并发编程中synchronized和volatile扮演者重要的角色,volatile是轻量级的synchronized,它在多处理器开发中保证了共享变量的可见性和程序执行的有序性。如果volatile使用恰当的话,它比synchronized的使用和执行成本更低,因为它不会引起线程上下文切换和调度。我们了解一下计算机,例如在我们工作当中大多数都是多核,由于CPU和物理主存速度不一致问题,为了解决CPU读取内存指令和数据效率问题,诞生了CPU高速缓存。
privatevolatileinstancenewSingleton();
在生成汇编代码时会在volatile修饰的共享变量进行写操作的时候会多出Lock前缀的指令,Lock前缀指令在多核处理器下会发生两件事。将当前处理器缓存行的数据写回系统内存;这个写回内存的操作会使得其他CPU里缓存了该内存地址的数据无效
为了提高处理器速度,首先处理器不直接和内存进行通信,而是先将系统内存的数据读到高速缓存(L1,L2,L3)后再进行操作,但是操作何时会写到内存,如果对声明volatile的变量进行写操作,JVM就会向处理器发送一条Lock前缀的指令,将这个变量所在缓存行的数据写到系统内存。但是就算写到内存,如果其他处理器存在的值还是旧的,再执行计算操作就会有问题。所以,在多处理器下,为了保证各处理器的缓存是一致的,就会实现缓存一致性协议,每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了,当处理器发现自己缓存行对应的内存地址别修改,就会将当前处理器的缓存行设置为无效状态,当处理器对这个数据进行修改操作的时候,会重新从系统内存中把数据读到处理器缓存里。因此,我们得出一下结论:Lock前缀的指令会引起处理器缓存写回内存;一个处理器的缓存回写到内存会导致其他处理器的缓存失效;当处理器发现本地缓存失效后,就会从内存中重读该变量数据,即可以获取当前最新值。
这样针对volatile变量通过这样的机制就使得每个线程都能获得该变量的最新值,即可见性。可见性
那么下面我们通过代码证明volatile如何保证可见性?保证不同线程对这个变量进行操作时的可见性,即变量一旦改变所有线程立即可以看到保证可见性publicclassResourceData{voliate关键字能保证变量的可见性,多个线程修改同一个变量时,一个线程修改完,另一个线程获取到的是修改之后的值。privatevolatileintnumber0;publicvoidadd(){this。number10;}publicstaticvoidmain(String〔〕args){ResourceDataresourceDatanewResourceData();newThread((){System。out。println(Thread。currentThread()。getName()comein);try{TimeUnit。SECONDS。sleep(3);resourceData。add();System。out。println(Thread。currentThread()。getName()updatenumbervalueresourceData。number);}catch(InterruptedExceptione){e。printStackTrace();}},AA)。start();第二个线程是mainwhile(resourceData。number0){}System。out。println(Thread。currentThread()。getName()missionisover,maingetnumbervalue:resourceData。number);}}AAcomeinAAupdatenumbervalue10
如果共享变量不加volatile,没有可见性,程序无法停止,加了volatile保证可见性,程序可以停止。
原理解释:没有添加volatile关键字,线程A对共享变量改变了以后将number修改为10,主线程(线程B)访问number的值还是0,这就是不可见。添加volatile之后,线程A对共享数据进行了改变以后,那么main线程再次访问,number的值就是改变之后的number10原子性
不保证原子性,代码实现:不保证原子性publicclassResourceData2{volatile关键字不能保证变量的原子性,当多个线程修改一个变量的时候可能回出现写丢失的情况。如何保证数据的原子性呢privatevolatileintnumber0;AtomicInteger包装类可以保证变量的原子性AtomicIntegeratomicIntegernewAtomicInteger();publicvoidaddAtomic(){atomicInteger。getAndIncrement();}publicvoidadd(){}publicstaticvoidmain(String〔〕args){ResourceData2resourceDatanewResourceData2();for(inti0;i20;i){newThread((){for(intj0;j1000;j){resourceData。add();resourceData。addAtomic();}},String。valueOf(i))。start();}等待上面的线程全部计算完,再通过main线程获取最终的结果while(Thread。activeCount()2){指main和GcThread。yield();}System。out。println(Thread。currentThread()。getName()finallynumbervalue:resourceData。numberfinallyatomicIntegervalue:resourceData。atomicInteger);}}mainfinallynumbervalue:19778finallyatomicIntegervalue:20000
预期结果是:20000,但是实际结果是:19778,那么是什么原因导致的呢?首先对于一读一写操作,不会有数据问题,因为假设主内存的共享变量number1,需要对主内存的number处理,对于两个线程T1、T2如果是一读一写的操作是不会有数据丢失的情况,某一时刻,t1抢到CPU的执行权,将共享数据读回T1的工作内存,进行number的操作,这个时候number2,将2从工作内存写回到主内存中。写回后马上通知T2线程,将number2读到T2的工作线程,所以不会造成数据丢失问题。对于两个写,会出现数据问题,假设主内存的共享变量number0,需要对主内存进行10次的number处理,最终的结果就是10,对于两个线程T1、T2如果是两个写的操作会造成数据丢失的情况,T1和T2将主内存的共享数据读取到各自的工作内存去,某一时刻,T1线程抢到CPU的执行权,进行number的处理,将工作内存中的number1写回到主内存中,就在这一刻,T2也抢到CPU执行权,进行number的处理,这个时候number后的结果也等于1,T1将number1写回到主内存中去,并通知T2线程,将主内存中的number1读到T2的工作内存中去,这个时候对于T2,它之前也进行了一次number的操作将会无效,回重新进行一次number的操作。这也数据也就写丢了一次,那么10次number后的结果也就不会等于10。禁止指令重排
重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段,有时候会改变程序语句的先后顺序(不存在数据依赖关系,可以重排序;存在数据依赖关系,禁止重排序)重排序的分类和执行流程编译器优化的重排序:编译器在不改变单线程串行语义的前提下,可以重新调整指令的执行顺序指令级并行的重排序:处理器使用指令级并行技术来将多条指令重叠执行,若不存在数据依赖性,处理器可以改变语句对应机器指令的执行顺序内存系统的重排序:由于处理器使用缓存和读写缓冲区,这使得加载和存储操作看上去可能是乱序执行
数据依赖性:若两个操作访问同一变量,且这两个操作中有一个为写操作,此时两操作间就存在数据依赖性(存在数据依赖关系,会禁止重排序,因为会导致程序运行结果不同),如果不存在依赖关系,可以重新排序。
如果本文对你有帮助的话,欢迎点赞,非常感谢,欢迎关注公众号:阿福聊编程