【摘 要】
：
多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误·因此,提出了一个精确有效的静态检测框
【机 构】
：
中国科学技术大学计算机科学与技术系,中国科学院软件研究所计算机科学实验室
【基金项目】
：
国家自然科学基金项目(60173049,60421001);国家杰出青年科学基金项目(60125207)~~
论文部分内容阅读
多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误·因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示·检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果·
其他文献
目的：临床分析舒适护理对产科患者临床依从性的影响。方法：在我院2015年5月-2016年5月产科接收的患者中随机选取20例,依照患者临床护理方式将其分成两组,其中对照组患者实施常
中国历史上的散乐与百戏往往被认为是一个乐种,近期一些学者提出质疑,本文对上两种观点进行深入剖析,并运用史料、考古、图像等多种手段,从出现时间,音乐地域差别、演出方式,
中国移动通信集团作为全球通信行业的领军企业,秉承着网络覆盖广、业务品牌丰富、通信质量高、服务好等优势成为我国消费者满足通信需求的首选品牌,其用户规模已达到8.8亿户
研究课题“导弹结构计算机仿真系统”是航天支撑基金资助项目，该研究的目的是要提高导弹的设计性能，为高效率地进行导弹研制提供支持。该研究的核心是实现CAD、CAE系统的集成。
为探讨北太平洋鱿鱼（Todarodes pacificus）缠卵腺酶解寡肽的制备和抗氧化活性,以北太平洋鱿鱼缠卵腺为原料,选择碱性蛋白酶进行酶解,以水解度和DPPH自由基清除率为指标,经单因
目的建立同时测定五味护肝胶囊中五味子醇甲、五味子甲素和五味子乙素含量的高效液相色谱法。方法采用高效液相色谱法,色谱柱为Waters sunfire TM C18柱(150 mm×4.6 mm5,μm
我们用文化来教育人,但任何一个人显然不可能掌握全部的文化.一个人可以掌握一门或几门文化学科,但永远不可能掌握所有的学科,甚至在一门学科内也不可能掌握其所有的内容或其
随着经济的发展,孕产妇对保健服务需求较前有显著提高,作为保健服务的重点对象之一,对其关注度应进一步提高。分析新时期孕产妇保健需求特征,从供需理论视角对孕产妇保健服务
公司合并时应注意保护职工的合法权益.被合并公司职工的原劳动合同应由合并后的公司承继,合并公司在合并完成后不能随意解雇被合并公司的职工,应遵守拟制解雇和整理解雇法理.
<正>基地化训练是后备力量军事训练的基本模式,训练基地是基地化训练的物质技术依托。要着眼确保后备力量训练有效落实,按照"综合集成、资源共享、贴近实战、注重质量"的思路