volatile 和 synchronized 都可以实现可见性。
volatile 关键字可以保证变量会直接从主内存中读取,在写入的时候也是直接写入到主内存。
volatile 是基于 Memory Barrier (内存屏障)来实现的,也就是可以禁止指令重排序。如果一个变量是由 volatile 修饰的,那么 Java 内存模型(JMM)在写入这个变量之后会插入一条 writer-barrier 指令,同样地在读取这个变量之前也会插入一条 read-barrier 指令,这样可以保证:
- 一个线程写入一个变量a之后,其它任何线程访问该变量都可以拿到最新值。
- 在写入变量a之前的所有写入操作对于其它线程也是可见的。
synchronized 关键字可以阻止其它线程获取当前对象的监控锁,这样可以保证被 synchronized 关键字修饰的代码块无法被其它线程访问。
更重要的是,synchronized 关键字还会创建一个内存屏障,内存屏障指令保证了所有CPU操作结果都会直接刷到主存中,从而保证了操作的内存可见性,同时也使得先获得这个锁的线程的所有操作,都happens-before于随后获得这个锁的线程的操作。
volatile和synchronized的区别?
- volatile本质是在告诉jvm当前变量在寄存器(工作内存)中的值是不确定的,需要从主存中读取; synchronized 则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。
- volatile 仅能使用在变量级别;synchronized则可以使用在变量、方法、和类级别。
- volatile仅能实现变量的修改可见性,不能保证原子性;而synchronized则可以保证变量的修改可见性和原子性
- volatile不会造成线程的阻塞;synchronized可能会造成线程的阻塞。
- volatile标记的变量不会被编译器优化(禁止重排序);synchronized标记的变量可以被编译器优化。