java 鱼刺图_Java JSR-133 因果关系中 6.3.1的例子为什么会出现r1==r2==1呢？

JSL8 657页有说明。Since this program is correctly synchronized, the only behaviors we can allow are

sequentially consistent behaviors. However, there is an execution of this program that is

happens-before consistent, but not sequentially consistent:

r1 = x; // sees write of x = 1

y = 1;

r2 = y; // sees write of y = 1

x = 1;

This result is happens-before consistent: there is no happens-before relationship that

prevents it from occurring. However, it is clearly not acceptable: there is no sequentially

consistent execution that would result in this behavior. The fact that we allow a read to see a write that comes later in the execution order can sometimes thus result in unacceptable behaviors.

意思是说，hp约束并没有限制r1不能读取到x=1这个值。

所以在指令优化的时候，代码可能被优化成这样。

Thread 1 Thread 2

y = 1; x = 1;

r1 = x; r2 = y;

if (false); if (false);

因为在T1内部，y等于什么值和r1一点关系都没有，同理T2内部，x等于什么值和r2一点关系都没有。怎么执行都不违反hp约束。

java 鱼刺图_Java JSR-133 因果关系中 6.3.1的例子为什么会出现r1==r2==1呢？相关推荐

java 鱼刺图_使用java实现鱼刺图
刚毕业了,这是毕业设计的java web项目中的一个功能,使用鱼刺图进行辅助管理,在做的过程中,没有找到国内有公开的研究资料,不管是哪一种语言,所以就自己做了一个java的鱼刺图生成插件,虽然毕业设计 ...
java 解析括号_Java如何解析括号中的负数？
在金融应用中,负数通常用括号表示.在这篇文章中,我们将学习如何解析或转换括号中的负数以产生表示的数字值.要将文本/字符串解析为数字,我们可以使用java.text.DecimalFormat该类. 在 ...
java jfreechar鱼刺图_java使用jfreechar绘制饼型统计图
定义饼型图: public static JFreeChart createChart( PieDataset dataset ) { StandardChartTheme standardChart ...
java 类隔离_Java类装载体系中的隔离性
正文 Java中类的查找与装载出现的问题总是会时不时出现在Java程序员面前,这并不是什么丢脸的事情,相信没有一个Java程序员没遇到过ClassNotException,因此不要为被人瞅见自己也犯 ...
java io图_JAVA IO流结构图
InputStreamReader和OutputStreamWriter分别继承自java.io包中的Reader和Writer,对他们中的抽象的未实现的方法给出实现.如: public int re ...
java类图_java UML类图的使用-UML基础-火龙果软件工程
类图是用于描述系统中所包含的类以及它们之间的相互关系,帮助人们简化对系统的理解,它是系统分析和设计阶段的重要产物,也是系统编码和测试的重要模型依据.学习好类图的绘制,是一位合格的软件工程师应有的技能 ...
java折线图_Java系列：JFreeChart在线制作折线图
一.概述: JFreeChart是JAVA平台上的一个开放的图表绘制类库.它完全使用JAVA语言编写,是为applications, applets, servlets 以及JSP等使用所设计.JFr ...
java手机上网_Java也懂智能! 中低端手机上网小攻略
Java也懂智能! 中低端手机上网小攻略 2009年04月20日 04:18作者:Ken编辑:李博文章出处:泡泡网原创分享价格适中.操作快捷.功能合理,还带有一些如上网.游戏等便利的功能拓展,中低 ...
java 甘特图_Java报表软件--甘特图（Gantt chart）深度解析
什么是甘特图(Gantt chart) 一般对甘特图的解释是:以图示的方式通过活动列表和时间刻度形象地表示出任何特定项目的活动顺序与持续时间,即甘特图(Gantt chart)是将活动与时间联系起来的 ...

java 鱼刺图_Java JSR-133 因果关系中 6.3.1的例子为什么会出现r1==r2==1呢？

java 鱼刺图_Java JSR-133 因果关系中 6.3.1的例子为什么会出现r1==r2==1呢？相关推荐

最新文章

热门文章