Java内存模型与volatile关键字
Java内存模型与volatile关键字
一)、并发程序开发
并行程序的开发要涉及多线程、多任务间的协作和数据共享问题。
常用的并发控制:内部锁、重入锁、读写锁、信号量。
二)、线程的特点
线程的特点:
1).每一个线程都有一块工作内存区,存放所有线程共享的主内存中变量值的拷贝。
2).当程序执行时,它在自己的工作内存中操作这些变量。
3).线程操作,先获取锁定并清除它的工作内存,重新将共享内存区正确的装入线程
的工作内存区。
4).线程解锁,将线程工作内存区的值重新写回共享内存中。
注:线程的内存操作围绕着线程工作内存区和共享内存区。
三)、线程的操作
线程中java的内存模型:
线程引擎
线程工作内存
主内存
一个线程可以执行的操作
use: 将变量在线程工作内存中的拷贝传送给线程执行引擎。
assign: 将值赋给线程工作内存对应的变量
load: 把read操作从主内存读取的值放入线程工作内存空间
store: 将线程工作区内存的变量内容传送到主内存
lock:
unlock:
主内存可以执行的操作:
read: 把主内存中变量的拷贝内容传送到线程工作内存。
write: 把store操作从线程中得到的值放入主内存的变量拷贝。
lock: 主内存的lock操作使线程获得一个独占锁。
unlock: 主线程的unlock操作使线程释放一个独占锁。
注意事项:
1).use、assign、lock、unlock操作都是线程的执行引擎和线程工作内存的原子操
作:
2).主内存和线程工作内存间的数据传送并不满足原子性:
i: 将主内存的数据复制到工作内存区,需要进行两个动作
首先,通过read操作,将主内存中变量的拷贝内容输入到工作内存中,再通过
load操作,将读取都内如写到工作内存区中。
ii: 从线程工作主内存中写入数据到主内存
首先,通过store操作将线程工作内存中变量的内容输入到主内存中,再通过
write操作,将输入的数据写入到主内存。
3).主内存和线程工作内存之间的数据传送需要一定的时间,且消耗的时间不同:
当线程对变量a进行赋值,再给变量b赋值,在另一个线程中,可能先在主内存中
先看见b 的更新,再看见变量a的更新,此时,出现了变量改变,主内存的值更
新不及时的情况。
原因:主线程和工作区的数据传送需要一定的时间,且所需时间不同,当变量做
出了改变,不能很快的将改变的值反应到主内存中,线程中共享变量的值
都是从主内存中取出的。
4).线程的每一个read操作都跟随着一个load操作,每一个store操作都跟着一个
write操作。
四)、double和long类型的非原子变量处理
double 和 long类型的特点:
在变量进行write和read操作时,主内存把它当做两个32位的read或write操作处理,且这两个操作在时间上是分开的,对第一个32位进行操作后,还有其它的操作介于它们之间。
举例:
两个并发的线程对共享的double或long型变量赋不同的值,最后变量得到的值可能
不等于任何一个线程所赋的值,而可能是依赖于具体应用的两个线程所赋值的混合
赋值分析:
第一个同步线程对double的第一个32位进行赋值,输入到线程工作内存,中间隔着一系列操作,此时第一个32位可能已经写入了主内存,随着第二个32位也完成了赋值,但未写入都主内存,紧着这第二个线程获取到锁,对同一个变量进行操作,开始第一个32位的赋值操作,并将这个32位写入主内存,此时,double能量的值是两个同步线程所赋值的混合。
改进:必须对double或long进行同步,使用volatile关键字。
五)、 Volatile关键字
为什么要使用volatile关键字?
每个线程都有自己的工作区,当一个线程改变自己工作内存中的数据时,对其他线程来说是不可见的,使用volatile关键字,迫使所有的线程均读写主内存中对应变量,从而使得volatile变量在多线程间可见。
volatile的作用:
1).其他线程对变量的修改,可以及时反应在当前线程中。
原因:使用volatile标识变量,迫使所有线程均读写主内存中对应的变量
2).确保当前线程对volatile变量的修改,能及时写回共享主内存中,并被其他线程
所见。
3).使用volatile声明的变量,编译器保证其有序性。
六)、使用例子来说明Volatile关键字的作用
构建两个线程,操作同一个VolatileTest02的变量isExist,一个线程根据 isExist == !isExist来判断程序是否执行退出操作,另一个不断切换isExist值的。
Boolean is isExist = false;
tryExist()
swapExist()
import org.junit.Test;
/**
* 使用一个boolena型变量,isExist来验证Volatile
*
*
*/
public class VolatileTest02 {
private Boolean isExist = false;
/**
* 尝试退出线程
* 读取非Volatile修饰的变量,从当前的工作线程空间读取,不能及时的发现另一个线程对变量值isExist的修改
*
*/
public void tryExist(){
if(isExist == !isExist){
System.out.println("2");
System.exit(0);
}
}
/**
* 更改isExist的值
* 当isExist的值修改时,被写入主内存中。
* 此时,mainThread线程的线程工作内存未能及时的读取isExist的更改,没有将改变值load入线程工作内存,isExist == !isExist很难成立
*
*/
public void swapVlaue(){
isExist = !isExist;
}
/**
* 创建两个线程,一个线程用于不断的执行是否退出操作,另一个线程不断的更改isExist的值
*/
@Test
public void test() throws InterruptedException {
final VolatileTest02 volObj = new VolatileTest02();
Thread mainThread = new Thread(){
@Override
public void run(){
//不断判断isExist的值,如果isExist = !isExist,程序退出
System.out.println("mainThread start");
//线程不断的尝试退出
while(true){
volObj.tryExist();
}
}
};
mainThread.start();
Thread swapThread = new Thread(){
public void run() {
System.out.println("swapThread start");
//线程不断的修改isExist的值
while (true) {
volObj.swapVlaue();
System.out.println(1);
}
}
};
swapThread.start();
Thread.sleep(1000);
}
}
案例分析:
mainThread线程:
开启该线程,判断isExist == !isExist, 因为读取isExist变量是从当前线程的工作内存中读取,虽然使用tryExist()不断改变isExist的值,但不是对mainThread线程立即可见的,期间还要经历read/load过程。
swapThread线程:
开启改线程,tryExist(),isExist = !isExist,不断改变isExist的值,将值写入到主内存
当该线程的isExist被修改时,不能及时的反应到mainThread中。
使用volatile关键字:
线程直接从主内存中读取数据,isExist == !isExist, 当读取等式的左边数据后,右边数据前,isExist值及有可能已经被修改,此时isExist == !isExist成立。
volatile关键字的作用:
1).确保当前线程对volatile的更改,能及时的写回共享主内存。
2).其他线程对变量的修改,可以及时反映在当前线程中。
3).使用volatile声明的变量,保证其有序性
int number = 0;
int stop = false;
未使用volatile可能会先将stop的值写入到,再将number值写入