在多线程并发编程中,synchronize和volatile都扮演着很重要的角色,可以说,volatile是轻量级的synchronize,简单来讲,volatile的作用是在多线程中拥有着可见性。
每一个线程都有自己的单独内存空间,线程会将主线程中的共享变量copy一份到自己的线程内存中,当线程进行一些逻辑处理时,使用的是线程内存中的变量值。而volatile关键字则可以保证当此变量发生变化时,会强制将修改的值写入主内存,其他线程会及时发现主存数据的变化。
虽然volatile效率要高于synchronize,但是volatile却并不能代替synchronize,因为volatile不能保证操作的原子性。如:多个线程对同一个变量值进行自增操作,那么,如果用volatile关键字修饰,这个变量值只能保证每次取到的都是最新的数值,最终的变量值不会是所预期的操作值。
volatile关键字在一定程度上保证了有序性,当程序执行到volatile变量的读操作或者写操作时,在其前面的操作的更改肯定全部已经进行,且结果已经对后面的操作可见;在其后面的操作肯定还没有进行。在进行指令优化时,不能将在对volatile变量访问的语句放在其后面执行,也不能把volatile变量后面的语句放到其前面执行。