【摘 要】
：
为了提高性能，Java内存模型允许编译器在优化过程中改变代码的执行顺序，同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中，这些代码乱序执行
【机 构】
：
湖南大学软件学院,湖南大学计算机与通信学院
【基金项目】
：
国家自然科学基金资助项目(60673155,90718008)
论文部分内容阅读
为了提高性能，Java内存模型允许编译器在优化过程中改变代码的执行顺序，同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中，这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此，本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型，并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题，更好地检测高可靠性要求的Java并发程序。
其他文献
摘要：在现在这个互联网发达的世界，互联网的快速使用和高速发展，正在改变着人们的工作、学习和生活方式。它不仅丰富了信息资源，而且提供了无限的空间和时间。当然现在很多家庭随着他们经济的不断增长，能够让孩子获得更好的教育，他们也在积极努力，很多家长也是为孩子购置了电脑，让学生运用网络学习知识、接收信息，网络已成为他们学习知识，获取信息、交流思想、休闲娱乐和创新思维的平台。随着现代信息技术的发展，我们也逐
应用ＥＬＩＳＡ方法检查妇科肿瘤患者血清肿瘤坏死因子，与健康供血者作对照，结果表明：子宫颈癌、子宫内膜癌、子宫肉瘤及良性卵巢囊肿血清ＴＮＦ－α无明显改变：卵巢癌患者血清ＴＮＦ－α明显升高，与卵巢癌症
摘要：随着课程改革的不断深入，小学语文教学越来越注重个性化教学，培养学生的学习兴趣，让小学生养成一种自主学习能力，提高语文素养，对于教学质量提升有着重要意义。基于此，对小学三年级语文的个性化阅读教学进行分析， 提出一定的教学策略，希望给相关人员提供一定借鉴。 关键词：小学三年级;语文教学;个性化;阅读 前言：从阅读的本质而言，其本身就是一种个性化行为，每个小学生经过不同的阅读，都会带来不同的感
1 临床资料①一般资料:1991年2月-2001年12月共收治肠梗阻病人468例,其中粘连性肠梗阻275例,男152例,女性123例,年龄16～76岁,平均为51.3岁.
在课堂教学中,特别是在倡导素质教育的情况下,培养学生的提问能力非常重要,培养学生的创新能力是各学科的教学目标之一,而学生创新能力的形成就需要培养他们的提问意识,发挥
美国<科学引文索引>是世界三大检索系统之一 ,我国对被<科学引文索引>收录的论文一直给予高度的重视.为了方便临床医生选刊,将 <科学引文索引>收录的妇产科学及儿科学期刊加
摘要：班主任工作是塑造学生良好品德和形成正确价值观的教育。班主任工作对良好班风的形成，起着关键性的作用，班主任工作要有策略，要注重细节，因人而异，好的班主任应当是学生良师益友，是开启学生心灵大门的钥匙。只有这样班主任才是班级班航向的舵手和引路人。 关键词：情绪应对、班委选定、制度体系、关注学生、管理措施、自身热爱 引言：班主任是落实学校工作的骨干力量，是联系学生和老师的纽带，是沟通学校，家庭的
本实验以不同刺激参数电刺激杏仁内侧核（ＭＡＮ），测定动脉血压和心率。高频、较大强度的电刺激（１００Ｈｚ，１２０￣１５０μＡ）可使大鼠的血压升高，心率减慢，同时伴有瞳孔扩大，胡须抖动。由静脉注射ＮＡ记录ＭＡＮ神经元单位放电
目的研究分析颅内血肿穿刺引流术治疗脑出血的护理方法与临床意义。方法回顾性分析100例颅内血肿穿刺引流术治疗脑出血的临床护理资料。结果本组100例,治愈52例,生活自理22例
“学思践悟”栏目一年来发表的文章，对党风廉政建设和反腐败工作进行深入探索，提出了一系列新观点和新思路，体现了中央全面从严治党的要求，反映了党风廉政建设的规律，在实践中发挥