1. volatile关键字有什么用?
就我理解的而言,被volatile修饰的共享变量,就具有了以下两点特性:
-
保证了不同线程对该变量操作的内存可见性;
-
禁止指令重排序
2.什么是内存课件?重排序又是怎么回事?
Java虚拟机规范试图定义一种Java内存模型(JMM),来屏蔽掉各种硬件和操作系统的内存访问差异,让Java程序在各种平台上都能达到一致的内存访问效果。
我们
知道JMM规定所有的变量都是存储在主内存中,而每个线程都有自己的工作内存,内个线程的操作都以自己的工作内存为主,他们都只能访问自己的主内存,而且工作前后都要把值同步回主内存,参考一下下面的图片:
在线程执行时,首先会从主内存中read变量值,然后load到工作内存的副本中,然后再传递内处理器执行,处理器执行完毕再给工作内存中的副本赋值,随后工作内存再把值传回给主内存,这时主内存的值才更新。
举个例子:
i = i + 1
这个步骤交给两个线程处理,底层可能会出现这种情况:
线程1:从主内存中加载 i
i + 1 //此时i=1
线程2:从主内存中加载 i
i + 1 //此时i=1
线程1:同步i从工作内存到主内存
线程2:同步i从工作内存到主内存
按照以上的执行步骤,最后的i值为1,不是2。
这个就明显是属于线程之间缓存不一致而导致的问题,JMM主要就是围绕着如何在并发过程中如何处理原子性、可见性和有序性这三个特征来建立的,通过解决这三个问题,可以解除缓存不一致的问题。而volatile跟可见性和有序性都有关。
3.原子性、可见性、有序性
(1)原子性: Java中,对基本数据类型的读取和赋值操作是原子性操作,所谓原子性操作就是指这些操作是不可中断的,要做一定做完,要么就没有执行。例如:
i = 2;
j = i;
i++;
i = i + 1;
上面四个操作中只有i=2是原子操作,其他的都不是,因此JMM为了实现基本的原子性操作像i++,必须借助synchronized或者Lock来保证整块代码的原子性,线程在释放锁之前,必然会把i的值刷回到主内存中。
(2)可见性: Java就是使用volatile来提供可见性。
当一个变量被volatile修饰,对他的修改就会被立刻刷到主内存,当其他线程需要读取该变量的时候,回去内存中读取新值。
实际上synchronized个Lock也能保证可见性,线程在释放锁之前,会把共享变量值刷会内存,但是synchronized和Lock的开销都太大。
(3)有序性: