【真正的JAVA内存模型---翻译自Java语言规范】

最新推荐文章于 2024-08-12 15:45:48 发布

distinct_zZ

最新推荐文章于 2024-08-12 15:45:48 发布

阅读量283

点赞数

分类专栏： java 文章标签： java

本文链接：https://blog.csdn.net/u014698349/article/details/121436777

版权

11 篇文章 0 订阅

订阅专栏

Java 内存模型

给定一个程序和该程序的一串执行轨迹，内存模型描述了该执行轨迹是否是该程序的一次合法执行。对于Java，内存模型检查执行轨迹中的每次读操作，然后根据特
定规则，检验该读操作观察到的写是否合法。
内存模型的一个高级、非正式的概述显示其是一组规则，规定了一个线程的写操作何时会对另一个线程可见。

在顺序一致内存模型的基础上增加一些规则。规则主要分为两类，一类同步规则，一类传递规则

对象头的解锁一定要先于对对象头的加锁
monitorexit指令一定要先于monitorenter指令
同一个volatile变量，写该变量一定要先于该变量的读动作
thread.start()方法一定先于该线程中的第一个动作
线程内部变量的初始化一定要先于该线程内的第一个动作
线程T1的最后一个工作一定要先于线程T2的检测T1结束动作。检测结束动作包括t1.alive（）和t1.join()
线程T1打断线程T2，打断T2的动作一定先于所有线程内（包括T2）检测T2被打断的动作；检测动作包含抛异常interuptException以及thrad.isInterupt（）

在java语言规范中说的以上6点叫做同步关系边（synchronised-with edg）,根据我个人的理解是如下图
在这里插入图片描述

同步边的源端叫做一个release,目标端的操作可以叫做acquire

如果同一个线程中，x代码编写先于y.可以说x happens-before y 符号表示为hb(x,y)
对象的构造函数 happens-before对这个对象调用finalizer（）函数
如果动作a 同步边动作b，则一定存在hb(a,b)
如果hb(a,b) hb(b,c) 则一定有hb(a,c)
拥有happens-before不一定就不能排序，只要指令重排之后的结果是一个合法的执行结果
执行顺序满足 happens-before edg交易hanppens-before内存模型

Java内存模型就是happens-bofore的补充版。补充了happens-before的缺陷。即满足java内存模型一定满足happens-before规则，反之则不一定

初始值 x=y=0
T1                  T2
r1 = x;         r2 = y;
if (r1 != 0)     if (r2 != 0)
y = 1;          x = 1;

程序员编程,输入x,y=0则理想结果应该为r1=r2=0;
按照happens-before规则可能的结果为：r1=r2=1.由于以上程序不存在同步规则，底层可以任意调整指令顺序，只要满足单线程执行结果即可。

如下为指令调整内容：编译器假设x=1,T2 则y=1的时候x必然=1.因此之后的观察结果将证明x = 1的初始观察结果是合理的，这是循环推理。如果这是真的，那么x = y = 1将是一个合法的结果，JVM可以简单地替换两个线程中的代码来编写每个值

happens-before关系的定义只适用于显式同步的程序，不会禁止假设的循环推理，因此JMM显式提出了这个因果关系限制

所以JMM = happens-before + 禁止值凭空产生

//TODO
原文用公式理论详细描述了规范内容详情见JSR-133第7张，实在是看不懂，等大佬带飞

关注