首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >面试时通过volatile关键字,全面展示线程内存模型的能力

面试时通过volatile关键字,全面展示线程内存模型的能力

作者头像
用户1153489
发布2021-01-26 15:52:04
2810
发布2021-01-26 15:52:04
举报

面试时,面试官经常会通过volatile关键字来考核候选人在多线程方面的能力,一旦被问题此类问题,大家可以通过如下的步骤全面这方面的能力。

1 首先通过内存模型说明volatile关键字的作用

先说明,用volatile修饰的变量,能直接修改内存内容,修改后的变量对其他线程是可见的。然后展开说明如下的内容。

多线程并发操作同一资源时,可能会出现最终结果和预期不同的情况,刚才我们也已经通过线程安全和不安全相关的案例,直观地看到了这一情况,这里我们将通过线程的内存结构来详细分析下造成“最终结果不一致”的原因。

如果某个线程要操作data变量,该线程会先把data变量装载到线程内部的内存中做个副本,之后线程就不再和在主内存中的data变量有任何关系,而是会操作副本变量的值,操作完成后,再把这个副本回写到主内存(也就是堆内存)中,这个过程如下图所示。

假设data的初始值是0,有100个线程并发地对它进行加1操作,预期的运行结果是100。但在实际的操作过程中,假设A线程和B线程并发地data,其中A读到的值是0,B读到的是1。当B在它的线程内部内存中完成加1操作(data变成2),会把data回写到主内存里,这时主内存里的data也是2。

但之后,A线程也完成了加1操作(此时A内部线程中的data副本是1),在之后的回写过程中,会把主内存中的data变量从2设置成1,这样就造成数据不一致的问题了。

但是,如果data变量被volatile变量修饰,那么A线程修改好的data变量,无需等到“”回写“”阶段,能直接写回到主内存里,这就能导致该变量对其它线程“立即可见”。

2 同时说明,volatile不能解决数据不一致的问题

如果某个变量之前加了volatile,线程在每次使用该变量时,都会从主内存中读取该变量最新的值,而且,某线程一旦修改了该变量,这个修改会立即回写到主内存里。

既然是在操作前会从主内存中读取变量最新的值,而且每次修改后都会立即回写到主内存,这样的话是否能解决多线程中数据不一致的问题呢?通过下面的VolilateDemo.java代码,我们来看下这个问题的答案。

1	public class VolilateDemo extends Thread {
2		//启动1000个线程,对这个被volatile修饰的变量进行加1操作
3	    public static volatile int cnt = 0;
4		public static void add() {
5			// 延迟1毫秒,增加多线程并发抢占的概率
6			try { Thread.sleep(1);}
7	        catch (InterruptedException e) {	}
8			cnt++;//加操作
9		}
10		public static void main(String[] args) {
11			// 同时启动1000个线程,去进行加操作
12			for (int i = 0; i < 1000; i++) {
13				new Thread(new Runnable() {
14					public void run() 
15	                 {VolilateDemo.add();	}
16				}).start();
17			}
18			System.out.println("Result is " + VolilateDemo.cnt);
19		}
20	}

在main函数的第12行里,通过for循环启动1000个线程。从第13到16行里,我们通过了Runnable类定义了线程的动作,每个线程启动后,会调用第15行的add方法对用volatile修饰的cnt变量进行加1操作。

多次运行的结果可能不一样,但在大多数情况下,最终cnt的值会小于1000,也就是说,用volatile修饰的变量不能保证数据一致性,换句话说,volatile不能当锁来用,因为它不能保证主内存的变量在同一时间段里只被一个线程操作。

3 然后说下volatile的作用

那么volatile有什么用呢?被volatile修饰的变量每次在使用时,不是从各线程的内部内存中拿,而是从主内存中拿。这样就能避免“创建副本”到“把副本回写到主内存中”等的操作,从而能提升效率。

但请注意,如果我们在多线程环境下,针对某个变量有读和写的操作,那么别把它修饰成volatile,因为为了解决数据不一致的问题,我们会给该变量加锁,这样该变量在一个时间段里只会有一个线程进行操作,这样就无法发挥出volatile的优势了。

请记住这个结论,如果某个变量在多线程环境下只有读或者是只有写的操作,建议把它设置成volatile,这样能提升多线程并发时的效率。

4 如果可以,再扩展到ConcurrentHashMap的底层代码

说好上述内容以后,其实大家已经可以能充分展示内存方面的技能了,不过大家还可以多说一句:我还看过ConcurrentHashMap的底层源码,其中用到了volatile关键字。

ConcurrentHashMap是支持并发的HashMap,说白了就当多个线程同时读写ConcurrentHashMap对象时,不会有问题。

该对象存储键值对的Node对象定义如下,其中表示值的val变量被volatile修饰,也就是说,A线程对该ConcurrentHashMap的操作,能立即回写到主内存,所以其它线程也能立即可见,所以能支持并发。

static class Node<K,V> implements Map.Entry<K,V> {
    final int hash;
    final K key;
    //可以看到这些都用了volatile修饰
    volatile V val;
    volatile Node<K,V> next;

    省略其它代码 
}

当大家从volatile关键字引申到ConcurrentHashmap底层源码后,面试官就会认识你很资深。我记得当初,我去面试一家比较大的互联网公司,就这样说了一通,然后就直接通过这轮技术面试了(不过还有后继部门经理的技术面试)。

本文参与 腾讯云自媒体分享计划,分享自作者个人站点/博客。
原始发表:2021-01-21 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
相关产品与服务
对象存储
对象存储(Cloud Object Storage,COS)是由腾讯云推出的无目录层次结构、无数据格式限制,可容纳海量数据且支持 HTTP/HTTPS 协议访问的分布式存储服务。腾讯云 COS 的存储桶空间无容量上限,无需分区管理,适用于 CDN 数据分发、数据万象处理或大数据计算与分析的数据湖等多种场景。
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档