【摘 要】
：
原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法
【基金项目】
：
核高基项目(2012ZX01039-004);中国科学院知识创新工程项目(KGCX2-YW-125)
论文部分内容阅读
原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间。通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率。
其他文献
文章从企业所得税制度演进过程、所得税基本税制要素和税前扣除制度对大陆和台湾的企业所得税制度进行比较,进而得出海峡两岸所得税制度的差异及对我国企业所得税制度的借鉴
<正> 一、我国流通领域改革的必由之路连锁店是当今零售业最先进的经营方式和组织形式,它采用大工业分工协作的生产机理,实施规范化经营,实现规模效益,以群体的力量增强竞争
目的观察复方珍珠散促进低位肛瘘术后创面愈合的临床疗效。方法 50例低位肛瘘术后患者随机分成2组,治疗组25例予复方珍珠散涂敷创面,对照组25例予凡士林纱条敷于创面。对2组
<正> 《周易》是中国古代重要的典籍之一,被称为“中国文化的第一篇章”,“群言之祖”,它所反映出的审美意识一直影响至今.《周易》一书包括两个部分:一是经,二是传.经的部分
目的解决严重降解（低于300bp）DNA检验问题，提高降解DNA的检出率。方法重新设计引物，减小扩增产物片段长度，用荧光标记短片段STR复合扩增体系进行DNA检验，扩增结果与用Identifiler试
组织工程全层皮肤在一定程度上克服了原有的皮肤供区不足、二次表皮移植、免疫排斥、传播疾病等问题,在临床应用中已经取得了一定的疗效,但移植成功率低,也不具备完整的皮肤
<正>2013年5月12日及13日,在青海省循化县孟达国家级自然保护区内的彩虹瀑布路口(35°48’18″N,102°41’05″E,海拔2449 m)以及距离天池约200 m山路边的树林中(35°47’47
<正> "世贸组织不是聚宝盆,也非万丈深渊,我国加入WTO,机遇与挑战并存。关键是要抓住机遇,迎接挑战,趋利避害,发展自己。"在宁波举行的2000浙江省投资贸易洽谈会上,国务院发
本文从三岛由纪夫的婚恋小说入手,试着从绚烂诡异的变态爱情、纯洁唯美的神圣爱情以及有缘无分的平凡爱情等三种婚恋类型来分析其笔下的女性形象。
红色毛癣菌是重要的浅表感染真菌。世界范围内,60%的浅部真菌病由该菌引起。本文构建了红色毛癣菌BMU01672的cDNA文库,并进行大规模测序。通过聚类分析获得了10188条无冗余基