前言
此文是笔者学习了慕课网《细说Java多线程之内存可见性》教程而记录的,若想学习该课程请走传送门
学习目标:
- 共享变量在线程间的可见性
- synchronized实现可见性
- volatile实现可见性
- 指令重排序
- as-if-serial语义
- volatile使用注意事项
- synchronized 和volatile比较
JMM--Java内存模型
共享变量可见性实现原理
线程1对共享变量的修改要想被线程2及时看到,必须要经过一下2个步骤:
- 把工作内存1中更新过的共享变量刷新到主内存中
- 将主内存中最新的共享变量的值更新到工作内存2中
可见性
可见性:一个线程对共享变量值的修改,能够及时地被其他线程看到
共享变量:如果一个变量在多个线程的工作内存中存在副本,那么这个变量就是这几个线程的共享变量。
Java内存模型(Java Memory Modal)描述了java程序中各种变量(线程共享变量)的访问规则,以及在JVM中将变量存储到内存中和从内存中读取出变量这些底层的细节。针对共享变量而规范起来。
- 所以的变量都存储在主内存中
- 每个线程都有自己独立的工作内存,里面保存该线程使用到的变量的副本(主内存中该变量的一份拷贝)
两条规定:
- 线程对共享变量的所以操作都必须在自己工作内存中进行,不能直接从主内存中读写
- 不同线程之间无法直接访问其他线程工作内存中的变量,线程间变量的值传递需要通过主内存来完成。
要实现共享变量的可见性,必须保证两点:
- 线程修改后的共享变量值能及时从工作内容刷新到主内存中
- 其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中
重排序
重排序:代码书写的顺序与实际执行的顺序不同,指令重排序是编译器或处理器为了提高程序性能而做的优化,具有数据依赖的程序段,不会进行重排序
- 编辑器优化的重排序(编译器优化)
- 指令级并行中排序(处理器优化)
- 内存系统的重排序(处理器优化)
as-if-serial
int num1 = 1; // 第一行代码
int num2 = 2; // 第二行代码
int sum = num1 + num2; // 第三行代码
单线程:第1,2行的顺序可以重排,但第3行不行
重排序不会给单线程带来内存可见性问题
多线程中程序交错执行时,重排序可能会造成内存可见性问题
可见性分析
// 共享变量
private boolean ready = false;
private int result = 0;
private int number = 1;
// 写操作
public void write() {
ready = true; // 1.1
number = 2; // 1.2
}
// 读操作
public void read() {
if (ready) { // 2.1
result = number * 3; // 2.2
}
System.out.println("result的值为:" + result);
}
/**
执行顺序:1.2 --> 2.1 --> 2.2 --> 1.1
输出的结果为:result的值为:0
**
导致共享变量在线程间不可见的原因:
- 线程的交叉执行
- 重排序结合线程交叉执行
- 共享变量更新后的值没有在工作内存与主内存间及时更新
synchronized实现可见性
Java语言层面支持的可见性实现方式:
- synchronized
- volatile
synchronized能够实现:
- 原子性(同步)
- 可见性 JMM关于synchronized的两条规定:
- 线程解锁前,必须把共享变量的最新值刷新到主内存中
- 线程加锁时,将清空工作内存中的共享变量的值,从而使用共享变量时需要从主内存中重新读取最新值(注意:加锁与解锁需要是同一把锁)
synchronized实现可见性时,线程执行互斥代码的过程:
- 获得互斥锁
- 清空工作内存
- 从主内存拷贝变量的最新副本到工作内存中
- 执行代码
- 将更改后的共享变量的值刷新到主内存
- 释放互斥锁
线程解锁前对共享变量的修改在下次加锁时对其他线程可见
编译器在不使用synchronized也可以实现变量的可见性,但不能完全确保
volatile实现可见性
volatile关键字:
- 能够保证volatile变量的可见性
- 不能保证volatile变量复合操作的原子性
volatile如何实现内存可见性
深入来说:通过加入内存屏障和禁止重排序优化来实现。
- 对volatile变量执行写操作时,会在写操作后加入一条store屏障指令
- 对volatile变量执行读操作时,会在读操作前加入一条load屏障指令 通俗地讲:volatile变量在每次被线程访问时,都强迫从主内存中重读该变量的值,而当该变量发生变化时,又会强迫线程将最新的值刷新到主内存中。这样任何时刻,不同的线程总能看到该变量的最新值。
线程写volatile变量的过程:
- 改变线程工作内存中volatile变量副本的值
- 将改变后副本的值从工作内存刷新到主内存
线程读volatile变量的过程
- 从主内存中读取volatile变量的最新值到线程的工作内存中
- 从工作内存中读取volatile变量的副本
volatile不能保证volatile变量复合操作的原子性:
private int number = 0;
number ++; // 不是原子操作
/**
1.读取numbere的值
2.将number的值加1
3.写入最新的number的值
**/
//加入synchronized,变为原子操作
synchronized(this) {
number ++;
}
//变量volatile变量,无法保证原子性
private volatile int number = 0;
保证原子性的解决方案
程序分析
private volatile int number = 5;
- 线程A读取number的值
- 线程B读取number的值
- 线程B执行加1操作
- 线程B写入最新的number的值
- 线程A执行加1操作
- 线程A写入最新的number值
最后:两次number++只增加了1
保证number自增操作的原子性:
- 使用synchronized关键字
- 使用ReentrantLock(java.until.concurrent.locks包下)
- 使用AtomicInterger(java.util.concurrent.atomic包下)
volatile的使用场景
要在多线程中安全使用volatile变量,必须满足:
- 对变量的写入操作不依赖当前值
- 不满足:number ++ ,count = count * 5 等
- 满足:boolean变量,记录温度变化的变量
- 该变量没有包含在具有其他不变式中
- 不满足:不变式 low < up
synchronized 和 volatile比较
- volatile不需要锁,比synchronized更轻量级,不会阻塞线程
- 从内存可见性角度将,volatile读相当于加锁,volatile写相当于解锁
- synchronized即保证可见性,又能保证原子性,而volatile只能保证可见性,无法保证原子性
synchronized类,在类中并没有使用synchronized加锁,因此会打印出不一样的结果。
public class Synchronized {
//共享变量
private boolean ready = false;
private int result = 0;
private int number = 1;
//写操作
public void write(){
ready = true; //1.1
number = 2; //1.2
}
//读操作
public void read(){
if(ready){ //2.1
result = number*3; //2.2
}
System.out.println("result的值为:" + result);
}
//内部线程类
private class ReadWriteThread extends Thread {
//根据构造方法中传入的flag参数,确定线程执行读操作还是写操作
private boolean flag;
public ReadWriteThread(boolean flag){
this.flag = flag;
}
@Override
public void run() {
if(flag){
//构造方法中传入true,执行写操作
write();
}else{
//构造方法中传入false,执行读操作
read();
}
}
}
public static void main(String[] args) {
Synchronized synDemo = new Synchronized();
//启动线程执行写操作
synDemo.new ReadWriteThread(true).start();
//启动线程执行读操作
synDemo.new ReadWriteThread(false).start();
}
}
使用了Lock实现了共享变量的原子性和可见性
public class VolatileDemo {
private Lock lock = new ReentrantLock();
private int number = 0;
public int getNumber(){
return this.number;
}
public void increase(){
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
lock.lock();
try {
this.number++;
} finally {
lock.unlock();
}
}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
final VolatileDemo volDemo = new VolatileDemo();
for(int i = 0 ; i < 500 ; i++){
new Thread(new Runnable() {
@Override
public void run() {
volDemo.increase();
}
}).start();
}
//如果还有子线程在运行,主线程就让出CPU资源,
//直到所有的子线程都运行完了,主线程再继续往下执行
while(Thread.activeCount() > 1){
Thread.yield();
}
System.out.println("number : " + volDemo.getNumber());
}
}