volatile关键字
volatile关键字是什么
在上一章我们讲到了并发的的三个概念,那么今天在讲解下在java中可以保证可见性和有序性的一个关键字。
volatile关键字 :当变量的值被该关键字修饰后该值任何读写操作对于其他线程是立即可见的。并且被关键字修饰后的变量被禁止重排序。
volatile原理解析
在定义中我们可以看到volatile关键字有2个特性,可见性和有序性,那么volatile是如何保证这个可见性和有序性的呢?那他为什么不能保证原子性呢?
首先volatile通过加入内存屏障和禁止指令重排序优化来实现的
可见性
写操作
对volatile 变量进行写操作时,会在写操作后添加一个Store Memory Barrier屏障指令将工作内存中的变量写入主内存中。该指令会优先执行在缓冲区所有该变量的相关操作。相当于手动刷新到主内存。
读操作
对volatile变量进行读操作时,会在读操作之前添加一个Load Memory Barrier屏障指令,从主内存读取共享变量。该指令会将失效队列中所有的指令执行,让其他cpu对该变量的改动全部生效,并且刷新回主内存,然后在读取该主内存中的值。相当于手动刷新该变量的最新值。
有序性
- StoreStore屏障 该指令之前的写操作不能和该指令之后的写操作重排序.
- StoreLoad屏障 该指令之前的写操作和该指令之后的读操作重排序.
- LoadLoad屏障 该指令之前的读操作不能和该指令之后的读操作重排序.
- LoadStore屏障 该指令之前的读操作不能和该指令之后的写操作重排序。
写操作
在volatile写和普通写不能交换位置。也就能保证volatile写的值是最新的值。
volatile写以及后来的读不能交换位置,也就是后来的读必须在volatile之后执行。
读操作
而在volatile读不能与在volatile读之后的读操作和写操作交换位置。也就是说volatile读之后的读写操作都必须在volatile读之后完成。
注意:Memory Barrier 可以参看CPU缓存一致性协议MESI-硬件内存模型
volatile适用场景
例子一
@Slf4j
public class UnsafeExample {
private static final int CLIENT_TOTAL = 30000;
private static final int THREAD_TOTAL = 300;
private static volatile int count = 0;
public static void main(String[] args) throws InterruptedException {
//模拟并发
ExecutorService executorService = Executors.newCachedThreadPool();
CountDownLatch countDownLatch = new CountDownLatch(CLIENT_TOTAL);
Semaphore semaphore = new Semaphore(THREAD_TOTAL);
for(int i = 0;i<CLIENT_TOTAL;i++){
executorService.execute(()->{
try{
semaphore.acquire();
add();
semaphore.release();
}catch (Exception e){
e.printStackTrace();
log.error(e.getMessage(),e);
}
countDownLatch.countDown();
});
}
countDownLatch.await();
System.out.println("统计次数:"+count);
}
private static void add(){
count++;
}
}
通过测试得出volatile并不能保证上述demo的线程安全。也就是说依赖当前值来决定下一个值的场景并不适合volatile。
通过上述描述可以总结出两点使用场景。
- 对该变量的操作不依赖当前值。(读自己 写自己)
- 该变量没有包含在具有其他变量的不变式中。 (读别人 写自己)
举个简单的例子
//这种volatile的使用就是错误的 违反了第一条
volatile int x = x+1;
int a = 1;
//这种volatile使用场景是错误的 违反了第二条
volatile int b = a + 1;
实际上,这些条件表明,可以被写入 volatile 变量的这些有效值独立于任何程序的状态,包括变量的当前状态。
因此特别适合作为状态标记量。
使用场景
1.状态标记
重新举一下在上一章中的例子
@Slf4j
public class SimpleHappenBefore {
private static int a = 0;
private static boolean flag = false;
public static void main(String[] args) throws InterruptedException {
for (int i = 0; i < 1000; i++) {
ThreadA threadA = new ThreadA();
ThreadB threadB = new ThreadB();
threadA.start();
threadB.start();
threadA.join();
threadB.join();
a = 0;
flag = false;
}
}
static class ThreadA extends Thread {
@Override
public void run() {
a = 1;
flag = true;
}
}
static class ThreadB extends Thread {
@Override
public void run() {
if (flag) {
a = a * 1;
}
if (a == 0) {
System.out.println("ha,a==0");
}
}
}
}
上面的例子中可以看出flag的改变与其他状态 和他自己本身的状态完全没有关系。所以这里使用volatile关键字是合格的。
2.线程安全的单例对象发布
双重检查单例模式方式发布对象
单例模式-懒汉单例
public class LazySingleton {
private static volatile LazySingleton lazySingleton;
private LazySingleton() {
}
public static LazySingleton getInstance() {
if (lazySingleton == null) {
synchronized(LazySingleton.class) {
if (lazySingleton == null) {
lazySingleton = new LazySingleton();
}
}
}
return lazySingleton;
}
}
3.独立观察(independent observation)
比如论坛常用的统计最后一个注册的用户。
public class UserRegister {
public volatile String lastRegisterUser;
public void registerUser(String user, String password) {
User u = new User();
u.setUser(user);
u.setPassword(password);
userService.registerUser(u);
lastRegisterUser = user;
}
}
4.开销较低的读-写锁策略
读操作使用volatile 写操作使用synchronzied
public class Counter {
private volatile int value;
public int getValue() { return value; }
public synchronized int increment() {
return value++;
}
}
总结
volatile关键字是一个保证可见性和有序性的关键字。该关键字修饰的变量操作与该变量本身状态以及其他变量状态无关的情况下使用才可以保证其并发安全性。顺便吐槽一下(该变量没有包含在具有其他变量的不变式中)这句话,楼主理解这句话理解了很久,后面突然就顿悟了。对于语言文字的理解能力真的很重要。