由来和具体概念
从JDK5开始,JSR-133使用 happens-before 来实现变量的内存可见性问题。在JMM中,如果一个操作执行的结果需要对另外一个操作可见,那么二者必定要存在 happens-before 关系。
与开发人员密切相关的 happens-before 规则
1、程序顺序规则:一个线程中的每个操作,happens-before 于该线程中的其他任意后续操作。
2、监视器锁规则:对于一个锁的解锁,happens-before 于对该锁的加锁。(有锁才能解锁)
3、volatile 变量规则:对于一个 volatile 变量的写,happens-before 于任意后续对该变量的读
4、传递性:若 A happens-before B,B happens-before C,则 A happens-before C。
5、start()规则:如果线程 A 执行操作 ThreadB.start(启动B线程),那么 A 线程的ThreadB.start() 操作 happens-before 于线程 B 中的任意操作。
6、 join()规则:如果线程 A 执行操作 ThreadB.join() 成功返回,那么线程 B 中的任意操作 happens-before 于线程A从 ThreadB.join() 操作成功返回。
————————————————
版权声明:本文为CSDN博主「Σεαγαπώ℡」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/weixin_44449616/article/details/109755219