说到这个 volatile 这个关键字,阿粉觉得看过阿粉文章的,肯定都对这个关键字那是非常的熟悉的,因为做Java开发的,在面试的时候,如果涉及到多线程,那么面试官有不少人会询问关于 volatile 这个关键字的使用,以及他的作用,今天阿粉就来说说这个 volatile 关键的的作用,以及他的一些特性。
volatile 是 Java 中的一个相对来说比较重要的关键字,主要就是用来修饰会被不同线程访问和修改的变量。
而这个变量只能保证两个特性,一个是保证有序性,另外一个则是保证可见性。
那么什么是有序性,什么又是可见性呢?
那么什么是有序性呢?
其实程序执行的顺序按照代码的先后顺序执行,禁止进行指令重排序。
看似理所当然,其实并不是这样,指令重排序是JVM为了优化指令,提高程序运行效率,在不影响单线程程序执行结果的前提下,尽可能地提高并行度。
但是在多线程环境下,有些代码的顺序改变,有可能引发逻辑上的不正确。
而 volatile 就是因为有这个特性,所以才被大家熟知的。
volatile 又是如何保证有序性的呢?
有很多小伙伴就说,网上说的是 volatile 可以禁止指令指令重排序,这就保证了代码的程序会严格按照代码的先后顺序执行。这就保证了有序性。被 volatile 修饰的变量的操作,会严格按照代码顺序执行,就是说当代码执行到 volatile 修饰的变量时,其前面的代码一定执行完毕,后面的代码一定没有执行。
如果这时候,面试官不再继续深挖下去的话,那么恭喜你,可能这个问题已经回答完了,但是如果面试官继续往下深挖,为什么会禁止指令重排,什么又是指令重排呢?
在从源码到指令的执行,一般是分成了三种重排,如图所示:
我们接下来就得看看 volatile 是如何禁止指令重排的。
我们直接用代码来进行验证。
复制
public class ReSortDemo {int a = 0;boolean flag = false;public void mehtod1(){a = 1;flag = true;}public void method2(){if(flag){a = a +1;System.out.println("最后的值: "+a);}}}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
如果有人看到这段代码,肯定会说,那这段代码出来的结果会是什么呢?
有些人说是 2,是的, 如果你只是单线程调用,那结果就是 2,但是如果是多线程调用的时候,最后的输出结果不一定是我们想象到的 2,这时就要把两个变量都设置为 volatile。
如果大家对单例模式了解比较多的话,肯定也是关注过这个 volatile,为什么呢?
大家看看如下代码:
复制
class Singleton { // 不是一个原子性操作 //private static Singleton instance; //改进,Volatile 可以保持可见性,不能保证原子性,由于内存屏障,可以保证避免指令重排的现象产生! private static volatile Singleton instance; // 构造器私有化 private Singleton() { } // 提供一个静态的公有方法,加入双重检查代码,解决线程安全问题, 同时解决懒加载问题,同时保证了效率, 推荐使用 public static Singleton getInstance() { if (instance == null) { synchronized (Singleton.class) {if (instance == null) { instance = new Singleton();} } } return instance; }}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
上面的单例模式大家熟悉么?
是的,这就是 **双重检查(DCL 懒汉式) **
有人会说,因为有指令重排序的存在,双端检索机制也也不一定是线程安全的呀,对呀,所以阿粉用到了 synchronized 关键字,让他变成了线程安全的了。
其实可见性就是,在多线程环境中,对共享变量的修改对于其他线程是否立即可见的问题。
那么他的可见性一般都会表现在什么地方呢?用在什么地方呢?
其实在阿粉的感知中,一般用这个变量,很多都是为了保证他的可见性,就比如定义的一个全局变量,在其中有个循环来判断这个变量的值,有一个线程修改了这个参数的时候,这个循环会停止,跳转到之后去执行。
我们来看看没有使用volatile修饰代码实现:
复制
public class Test {private static boolean flag = false;public static void main(String[] args) throws Exception{new Thread(new Runnable() {@Override public void run() {System.out.println("线程A开始执行:");for (;;){if (flag){System.out.println("跳出循环");break;}}}}).start();Thread.sleep(100);new Thread(new Runnable() {@Override public void run() {System.out.println("线程B开始执行");flag = true;System.out.println("标识已经变更");}}).start();}}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
结果大家肯定是可想而知。
运行结果肯定是:
复制
线程A开始执行:线程B开始执行 标识已经变更
1.
2.
3.
确实,就是这样的。
如果我们用 volatile 呢,那么这个代码的执行结果就会不一样呢?
我们来试一下:
复制
public class Test {private static volatile boolean flag = false;public static void main(String[] args) throws Exception{new Thread(new Runnable() {@Override public void run() {System.out.println("线程A开始执行:");for (;;){if (flag){System.out.println("跳出循环");break;}}}}).start();Thread.sleep(100);new Thread(new Runnable() {@Override public void run() {System.out.println("线程B开始执行");flag = true;System.out.println("标识已经变更");}}).start();}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
这样我们就能看到另外一个执行结果,在循环当中的输出语句是可以被执行的。
也就是说,在线程B 中,我们去修改这个被修饰的变量,那么最终,在线程A中,就能顺利读取到我们的数据信息了。
不能,我们来看一点代码,被volatile修饰的变量;
复制
public class Test {// volatile不保证原子性// 原子性:保证数据一致性、完整性 volatile int number = 0;public void addPlusPlus() {number++;}public static void main(String[] args) {Test volatileAtomDemo = new Test();for (int j = 0; j < 20; j++) {new Thread(() -> {for (int i = 0; i < 1000; i++) {volatileAtomDemo.addPlusPlus();}}, String.valueOf(j)).start();}// 后台默认两个线程:一个是main线程,一个是gc线程 while (Thread.activeCount() > 2) {Thread.yield();}// 如果volatile保证原子性的话,最终的结果应该是20000 // 但是每次程序执行结果都不等于20000 System.out.println(Thread.currentThread().getName() +" final number result = " + volatileAtomDemo.number);}}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
如果能够保原子性,那么最终的结果应该是20000,但是每次的最终结果并不能保证就是20000,比如:
复制
main final number result = 17114main final number result = 20000main final number result = 19317
1.
2.
3.
三次执行,都是不同的结果。
为什么会出现这种呢?这就和number++有关系了。
number++被拆分成3个指令:
执行GETFIELD拿到主内存中的原始值number。
执行IADD进行加1操作。
执行PUTFIELD把工作内存中的值写回主内存中。
当多个线程并发执行PUTFIELD指令的时候,会出现写回主内存覆盖问题,所以才会导致最终结果不为 20000,所以 volatile 不能保证原子性。
所以,你知道怎么回答了么?