面试官:谈谈happens-before?

约定不等于承诺〃 2022-01-20 12:41 230阅读 0赞

Java内存模型中的happens-before是什么？为什么会有这东西的存在？

其实我们学习的初期或者时间很急迫的时候我们都是死记硬背，没有理解这东西背后的含义和为什么需要这东西。

没办法比如项目赶，一个新东西肯定是上手先，但是等我们空下来回过头来，我们还是需要去理解这些知识，只有这样我才能深刻的记住，并且运用熟练。

今天我们来说说happens-before。

happens-before字面翻译过来就是先行发生，A happens-before B 就是A 先行发生于B？

不准确！在Java内存模型中，happens-before 应该翻译成：前一个操作的结果可以被后续的操作获取。讲白点就是前面一个操作把变量a赋值为1，那后面一个操作肯定能知道a已经变成了1。

我们再来看看为什么需要这几条规则？

因为我们现在电脑都是多CPU,并且都有缓存，导致多线程直接的可见性问题。详情可以看我之前的文章[并发的bug源头][bug]

所以为了解决多线程的可见性问题，就搞出了happens-before原则，让线程之间遵守这些原则。编译器还会优化我们的语句，所以等于是给了编译器优化的约束。不能让它优化的不知道东南西北了！

咱们来看看这几条规则

**程序次序规则**：在**一个线程内**一段代码的**执行结果是有序的**。就是还会指令重排，但是随便它怎么排，结果是按照我们代码的顺序生成的不会变！

**管程锁定规则**：就是无论是在单线程环境还是多线程环境，对于**同一个锁**来说，一个线程对这个锁解锁之后，另一个线程获取了这个锁都能看到前一个线程的操作结果！(管程是一种通用的同步原语,synchronized就是管程的实现）

**volatile变量规则**：就是如果一个线程先去写一个volatile变量，然后一个线程去读这个变量，那么这个写操作的结果一定对读的这个线程可见。

**线程启动规则**：在主线程A执行过程中，启动子线程B，那么线程A在启动子线程B之前对共享变量的修改结果对线程B可见。

**线程终止规则**：在主线程A执行过程中，子线程B终止，那么线程B在终止之前对共享变量的修改结果在线程A中可见。

**线程中断规则**：对线程interrupt()方法的调用先行发生于被中断线程代码检测到中断事件的发生，可以通过Thread.interrupted()检测到是否发生中断。

**传递规则**：这个简单的，就是happens-before原则具有传递性，即A happens-before B , B happens-before C，那么A happens-before C。

**对象终结规则**：这个也简单的，就是一个对象的初始化的完成，也就是构造函数执行的结束一定 happens-before它的finalize()方法。

这几条规则就是面向我们这些开发人员的，掌握了这几条规则能让我们更好的开发出符合我们预期的并发程序的代码！

--------------------

**如果有错误欢迎指正！更多知识的分享请关注我的个人公众号:yes的练级攻略**

[bug]: https://link.juejin.im?target=https%3A%2F%2Fwww.toutiao.com%2Fi6668237153845117451%2F%3Fgroup_id%3D6668237153845117451

发表评论取消回复

表情：

评论列表（有 0 条评论，230人围观）

还没有评论，来说两句吧...

相关阅读

相关面试官：谈谈数据库连接池的原理

![format_png][] 来源：https://dwz.cn/oUF6pKOW 这次我们采取技术演进的方式来谈谈数据库连接池的技术出现过程及其原理，以及当下最流行的开

一时失言乱红尘/ 2023年10月06日 11:15/ 0 赞/ 6 阅读

相关面试官：谈谈你是怎么理解缓存的？

![format_png][] > 下面我结合自己使用缓存的历程，谈谈我对缓存的认识。 > 01 本地缓存 1. 页面级缓存我使用缓存的时间很早，2010年左右

╰半夏微凉°/ 2022年12月27日 01:26/ 0 赞/ 236 阅读

相关面试官：谈谈你对BFC的理解？

![5742017054dbdd2373f29a7f367b5a64.png][] 一、是什么我们在页面布局的时候，经常出现以下情况：这个元素高度怎么没了？

深藏阁楼爱情的钟/ 2022年11月16日 10:45/ 0 赞/ 258 阅读

相关面试官：请你谈谈ConcurrentHashMap

![268a46f60f8556572a4292507f133e47.gif][] 点击上方蓝字，关注我们 ![c666f8b2da76f3a843068e3ea1828e

电玩女神/ 2022年11月12日 11:59/ 0 赞/ 221 阅读

相关面试官：谈谈分布式事务异步消息补偿？

![182396bfaee08a64eeb5e0bea025f828.png][]1、MQ发送方发送远程事务消息到MQ Server; 2、MQ Server给予响应, 表

朴灿烈づ我的快乐病毒、/ 2022年11月05日 00:46/ 0 赞/ 183 阅读

相关面试官：谈谈 JavaScript 中的类型转换机制

![format_png][] 一、概述 `JS`中有六种简单数据类型：`undefined`、`null`、`boolean`、`string`、`number`、`

冷不防/ 2022年10月28日 03:59/ 0 赞/ 123 阅读

相关面试官:"谈谈分库分表吧？"

> 面试官：“有并发的经验没？” > > 应聘者：“有一点。” > > 面试官：“那你们为了处理并发，做了哪些优化？” > > 应聘者：“前后端分离啊，限流啊，

野性酷女/ 2022年03月27日 01:49/ 0 赞/ 321 阅读

相关阿里面试官：“谈谈你对 Spring 的理解”

认识 Spring 框架 Spring 框架是 Java 应用最广的框架，它的成功来源于理念，而不是技术本身，它的理念包括 IoC (Inversion of Contr

╰+攻爆jí腚メ/ 2022年01月28日 01:25/ 0 赞/ 357 阅读

相关面试官:谈谈happens-before?

Java内存模型中的happens-before是什么？为什么会有这东西的存在？其实我们学习的初期或者时间很急迫的时候我们都是死记硬背，没有理解这东西背后的含义和为什么需要

约定不等于承诺〃/ 2022年01月20日 12:41/ 0 赞/ 231 阅读

相关杂谈：随记谈谈最近的面试 --面试官角度

首先先自我介绍一下，LZ是13年西北大学毕业的，学历很菜就不介绍了，技术也很菜，最近一直也很忙，没时间记录。本次是作为面试官来谈谈最近面试的感想，也奉劝大家既然想着软件

布满荆棘的人生/ 2021年12月12日 23:29/ 0 赞/ 253 阅读