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