1.happens-before
JMM使用happens-before概念来定制两个操作之间的顺序,这两个操作可以使同一个线程以内,也可以是不同线程之间。JMM通过happens-before关系向程序员提供跨线程的内存可见性保证。
(1)如果一个操作happens-before另一个操作,那么第一个操作的结果将对第二个操作可见。
(2)如果两个操作存在happens-before关系,并不意味着java平台的具体实现一定要按照happens-before指定顺序执行,如果重排序之后的执行结果,与按happens-before执行结果一直,JMM也允许这样的重排序。
总结,如果A happens-before B,那么A对内存上做的所有操作对B都是可见的,不管,A、B有没有在同一个线程。
2.天然的happens-before规则:
(1)程序顺序规则:线程执行顺序存在happens-before规则。
(2)监视器锁规则;
(3)volatile变量规则;
(4)传递性;
(5)start()规则;
(6)join规则
JMM的happens-before规则
最新推荐文章于 2022-11-27 11:09:23 发布