volatile, final, synchronized都可以实现可见性
首先就是volatile本质是在告诉JVM当前变量在寄存器中的值是不确定的,需要从主存中读取。而synchronized则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。
然后volatile它仅能使用在变量级别,synchronized则可以使用在变量,方法。
第三点就是volatile仅能实现变量的修改可见性,但不具备原子特性,而synchronized则可以保证变量的修改可见性和原子性。
第四点区别就是,volatile不会造成线程的阻塞,而synchronized可能会造成线程的阻塞。
最后就是volatile标记的变量不会被编译器优化,而synchronized标记的变量可以被编译器优化。
使用volatile要满足的条件: 1.运算结果不依赖于变量的当前值,或者保证只有一个线程修改变量的值。
2.不需要与其他状态变量参与不变约束
3.在访问变量不需要进行加锁
volatile的不变性:
1.将当前处理器缓存行的数据会写回到系统内存
2.这个写回内存的操作会引起在其他CPU里缓存了该内存地址的数据无效。
volatile变量在赋值后会有一个lock add指令,这个指令相当于内存屏障,重排序时不能把屏障后的指令重排序到屏障之前。
volatile禁止指令重排序:普通变量仅仅会保证在方法的执行过程中所有依赖赋值结果的地方都能获取到正确的结果,而不能保证变量赋值操作的顺序与程序代码中的执行顺序一致。
volatile保证可见性:add指令会使得其他工作线程的工作内存缓存的数据失效。