Java线程中synchronized和volatile关键字的区别详解

前言

提到synchronized和volatile这两个有关线程的关键字，那我们先来说一下Java的内存模型(JMM)。

Java内存模型(java Memory Model)描述了Java程序中各种变量(线程共享变量)的访问规则，以及在JVM中将变量存储到内存和从内存中读取出变量这样的底层细节。

首先了解两个概念:

1. 可见性: 一个线程对共享变量值的修改，能够及时地被其他线程看到。
2. 共享变量: 如果一个变量在多个线程的工作内存中都存在副本，那么这个变量就是这几个线程的共享变量。

共享变量可见性实现的原理

线程1对共享变量的修改要想被线程2及时看到，必须要经过以下两个步骤:

1. 在工作内存1中更新过的共享变量刷新到主内存中;
2. 将主内存中最新的共享变量的值更新到在工作内存2中

其中线程对共享变量的操作，遵循以下两个规则:

1. 线程对共享变量的所有操作都必须在自己的工作内存中进行，不能直接从主内存中读写;
2. 不同线程之间无法直接访问其他线程工作内存的变量，线程间变量值的传递需要通过主内存来完成。

可见性 

要实现共享变量的可见性，必须保证两点:

• 线程修改后的共享变量能够及时从工作内存刷新到主内存中
• 其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中

可见性的实现方式:

• synchronized
• volatile

synchronized实现可见性

• 线程解锁前，必须把共享变量的最新值刷新到主内存中;
• 线程加锁时，将清空工作内存中共享变量的值，从而使用共享变量时，需要从主内寻中重新读取最新的值(注意:加锁和解锁试一把锁)

注意:线程解锁前对共享变量的修改在下次加锁时对其他线程可见

线程执行互斥代码的过程:

• 获得互斥锁;
• 清空工作内存;
• 从主内存拷贝变量的最新副本到工作的内存;
• 执行代码;
• 将更改后的共享变量的值刷新到主内存;
• 释放互斥锁.

重排序:

代码书写的顺序与实际执行的顺序不同，指令重排序是编译器或处理器为了提高程序性能而做的优化

•  编译器优化的重排序(编译器优化)
• 指令级并行重排序(处理器优化)
• 内存系统的重排序(处理器优化)

volatile实现可见性

volatile通过加入内存屏障和禁止重排序优化来实现的

• 对volatile变量执行写操作时,会在写操作后加入一条store屏障指令
• 对volatile变量执行读操作时,会在读操作前加入一条load屏障指令

线程写volatile变量的过程:

1. 改变线程工作内存中volatile变量副本的值
2. 将改变后的副本的值从工作内存刷新到主内存 

线程读volatile变量的过程:

• 从主内存中读取volatile变量的最新值到线程的工作内存中;
• 从工作内存中读取volatile变量的副本; 

volatile不能保证volatile变量复合操作的原子性:

不是原子操作;

private int number = 0;
number ++ ;

加入synchronized，变为原子操作

synchronized(this){
  number++;
}

变为volatile变量，无法保障原子性

private volatile int number = 0;

解决方案:

保证number自增操作的原子性:

• 使用synchronized关键字
• 使用ReentrantLock(java.util.concurrent.locks包下)
• 使用AtomicInterger(java.util.concurrent.atomic包下)

    //Reentranlock
    public int increase(){
	lock.lock();
	try{
		number++;
	}finally{
		lock.unlock();
	}
	return number;
}

volatile适用场合

要在多线程中安全的使用volatile变量，必须同时满足:

• 对变量的写入操作不依赖其当前值;
  • 不满足:number++、count=count *5等
  • 满足：boolean变量、记录温度变化的变量等
• 该变量没有包含在具有其他变量的不变式中
  •  不满足： low<up

总结

synchronized和volatile的区别

volatile不需要加锁，比synchronized更轻量级，不会阻塞线程;从内存可见性角度，volatile读相当于加锁，volatile写相当于解锁;synchronzied既能够保障可见性，又能保证原子性，而volatile只能保证可见性，无法保证原子性。

到此这篇关于Java线程中synchronized和volatile关键字的区别详解的文章就介绍到这了,更多相关synchronized和volatile关键字内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

最新评论