剑指Offer——线程同步volatile与synchronized详解

举报
SHQ5785 发表于 2020/12/30 01:43:27 2020/12/30
【摘要】  (转)Java面试——线程同步volatile与synchronized详解 0. 前言     面试时很可能遇到这样一个问题:使用volatile修饰int型变量i,多个线程同时进行i++操作,这样可以实现线程安全吗?提到线程安全、线程同步,我们经常会想到两个关键字:volatile和synchronized,那么这两者有什么区别呢? 1. volatile与syn...

 (转)Java面试——线程同步volatile与synchronized详解

0. 前言

    面试时很可能遇到这样一个问题:使用volatile修饰int型变量i,多个线程同时进行i++操作,这样可以实现线程安全吗?提到线程安全、线程同步,我们经常会想到两个关键字:volatile和synchronized,那么这两者有什么区别呢?

1. volatile与synchronized介绍

    volatile是变量修饰符,其修饰的变量具有可见性(可见性也就是说一旦某个线程修改了该被volatile修饰的变量,它会保证修改的值会立即被更新到物理内存,当有其他线程需 要读取时,可以立即获取修改之后的值)。在Java中为了加快程序的运行效率,对一些变量的操作通常是在寄存器或是CPU缓存上进行的,之后才会同步到物理内存中,而加了volatile修饰符的变量则是直接读写物理内存。

   例子请查看下面的3.1,帮助理解。

    volatile可以禁止进行指令重排,什么是指令重排序?一般来说,处理器为了提高程序运行效率,可能会对输入代码进行优化,它不保证程序中各个语句的执行先后顺序同代码中的顺序一致,但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。指令重排序不会影响单个线程的执行,但是会影响到线程并发执行的正确性。

   但是volatile可以保证有序性。程序执行到volatile变量的读操作或者写操作时,在其前面的语句中,更改操作肯定已经完成,且结果已经对后面的操作可见,在其后面的操作肯定还没有进行。

   例子请查看下面3.2,帮助理解。

    synchronized则作用于一段代码或方法,使用了该修饰符既可以保证可见性(通过synchronized和Lock也能够保证可见性,synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码,并且在释放锁之前会将对变量的修改刷新到物理内存中。因此可以保证可见性),也能够保证原子性(原子性表现在要么不执行,要么执行到底)。有时候必须使用synchronized,而不能使用volatile。

   例子请查看下面3.3,帮助理解。

2. 总结

 (1)从而我们可以看出volatile虽然具有可见性但是并不能保证原子性。

 (2)synchronized关键字是防止多个线程同时执行一段代码,那么就会影响程序执行效率,而volatile关键字在某些情况下性能要优于synchronized,但是要注意volatile关键字是无法替代synchronized关键字的,因为volatile关键字无法保证操作的原子性。

3. volatile与synchronized的使用场景举例(结合第1部分进行理解学习)

3.1 volatile的使用举例

 


  
  1. class MyThread extends Thread {
  2. private volatile boolean isStop = false;
  3. public void run() {
  4. while (!isStop) {
  5. System.out.println("do something");
  6. }
  7. }
  8. public void setStop() {
  9. isStop = true;
  10. }
  11. }

 

   线程执行run()的时候我们需要在线程中不停的做一些事情,比如while循环,那么这时候该如何停止线程呢?如果线程做的事情不是耗时的,那么只需要使用一个标志即可。如果需要退出时,调用setStop()即可。这里就使用了关键字volatile,这个关键字的目的是如果修改了isStop的值,那么在while循环中可以立即读取到修改后的值。

   如果线程做的事情是耗时的,那么可以使用interrupt方法终止线程。

3.2 volatile的使用举例

 


  
  1. //线程1:
  2. context = loadContext(); //语句1 context初始化操作
  3. inited = true; //语句2
  4. //线程2:
  5. while(!inited ){
  6. sleep()
  7. }
  8. doSomethingwithconfig(context);

 

   因为指令重排序,有可能语句2会在语句1之前执行,可能导致context还没被初始化,而线程2中就使用未初始化的context去进行操作,导致程序出错。

这里如果用volatile关键字对inited变量进行修饰,就不会出现这种问题了,因为当执行到语句2时,必定能保证context已经初始化完毕。

3.3 必须使用synchronized而不能使用volatile的场景

 


  
  1. public class Test {
  2. public volatile int inc = 0;
  3. public void increase() {
  4. inc++;
  5. }
  6. public static void main(String[] args) {
  7. final Test test = new Test();
  8. for(int i=0;i<10;i++){
  9. new Thread(){
  10. public void run() {
  11. for(int j=0;j<1000;j++)
  12. test.increase();
  13. };
  14. }.start();
  15. }
  16. while(Thread.activeCount()>1) //保证前面的线程都执行完
  17. Thread.yield();
  18. System.out.println(test.inc);
  19. }
  20. }

 

   例子中用new了10个线程,分别去调用1000次increase()方法,每次运行结果都不一致,都是一个小于10000的数字。自增操作不是原子操作,volatile 是不能保证原子性的。回到文章一开始的例子,使用volatile修饰int型变量i,多个线程同时进行i++操作。比如有两个线程A和B对volatile修饰的i进行i++操作,i的初始值是0,A线程执行i++时刚读取了i的值0,就切换到B线程了,B线程(从内存中)读取i的值也为0,然后就切换到A线程继续执行i++操作,完成后i就为1了,接着切换到B线程,因为之前已经读取过了,所以继续执行i++操作,最后的结果i就为1了。同理可以解释为什么每次运行结果都是小于10000的数字。

   但是使用synchronized对部分代码进行如下修改,就能保证同一时刻只有一个线程获取锁然后执行同步代码。运行结果必然是10000。

 


  
  1. public int inc = 0;
  2. public synchronized void increase() {
  3. inc++;
  4. }

注:本文转载地址 http://blog.csdn.net/seu_calvin/article/details/52370068

美文美图

 

文章来源: shq5785.blog.csdn.net,作者:No Silver Bullet,版权归原作者所有,如需转载,请联系作者。

原文链接:shq5785.blog.csdn.net/article/details/52386422

【版权声明】本文为华为云社区用户转载文章,如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。