前言
前两节内容我们讲了cpu内存模型、java内存模型、以及并发编程的三个重要概念。同时也举了个例子引入了volatile大概的作用。那接下里这一讲我们就可以很好的理解volatile的作用了,也就相当于对volatile关键字做最后的总结
一、volatile关键字的作用以及缺陷
1、保证线程间的可见性
怎么保证可见性,相信大家都已经理解了。线程之间,如果有线程对共享变量进行了修改,那么其它线程缓存中的该变量的副本就无效。程序执行的过程中,访问这个共享变量,会到主内存中去取,保证拿到该变量改变后的值,这就保证了可见性。
2、禁止因为java优化而进行的重排序,也就是保证了有序性。
如果用volatile关键字修饰了某个变量,那么对该变量的操作语句的执行顺序不可能因为java优化进行的重排序而被放到更前,也不会被放到更后。同样,该语句之前的代码的执行顺序不可能发生在该语句之后的代码。这条语句相当于一个屏障,使得它自身前后的代码的执行顺序不可能颠倒。当然屏障之前的语句之间的顺序是可以被重排的,屏障之后的语句也一样。
如代码示例1,第一第二行代码的执行顺序肯定在屏障(第三行代码)之前执行。第四五六行代码的执行顺序肯定在屏障之后。同理,第一二行代码的执行顺序肯定在第四五六行代码之前。当然一二行代码的执行顺序还是可以变化的,第四、六行代码也可变。
3、volatile关键字并不能保证原子性。
volatile关键字修饰了int i = 0变量,同时开启两个线程进行++i运算。发现i的值不是从1一直加到100,中间出现了重复的值。比如出现了两次5的值。这就说明了volatile不能保证原子性。
二、例子
代码示例1
代码如下(示例):
int volatile boolean flag;
int i = 1; (1)
int j = 2; (2)
flag = true; (3)
int c = 9; (4)
int b = 0 (5)
while(flag) { (6)
b++
}
三、volatile关键字的使用场景
1、修饰标志位变量(利用volatile关键字保证可见性的特点。让标志位变量在多线程之间可见,保证线程安全)
2、当做屏障用(用来保证程序执行的有序性,以保证线程安全)