比如双重锁的单例模式
synchronized只保证了代码的有序性,但是变量的赋值操作依旧可以被编译器优化,此时会发生指令重排序; 而volatile就是为了防止编译器指令重排序的。具体可以看一下之前这个回答:指令重排序
import java.util.concurrent.locks.Lock; import java.util.concurrent.locks.ReentrantLock; public class Setting { private static Setting setting; private static Lock lock = new ReentrantLock(); private Setting(){ } public static Setting get() { if(setting != null) { // tag 1 return setting; } lock.lock(); if(setting == null) { setting = new Setting(); } lock.unlock(); return setting; } }
锁只能保证: 访问临界区时的原子性, 可见性, 有序性. 然而在tag 1那一行, 并不是在临界区中, 不受锁的保护, 因此即使在双重检查时加锁并初始化, 也不能保证其他线程能够看到这个初始化后的单例. 因此, 需要在单例前面加volatile, 保证实例的可见性.
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
暂无简介
文章 0 评论 0
接受
发布评论
评论(2)
synchronized只保证了代码的有序性,但是变量的赋值操作依旧可以被编译器优化,此时会发生指令重排序; 而volatile就是为了防止编译器指令重排序的。
具体可以看一下之前这个回答:指令重排序
锁只能保证: 访问临界区时的原子性, 可见性, 有序性. 然而在tag 1那一行, 并不是在临界区中, 不受锁的保护, 因此即使在双重检查时加锁并初始化, 也不能保证其他线程能够看到这个初始化后的单例. 因此, 需要在单例前面加volatile, 保证实例的可见性.