论文部分内容阅读
针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法。通过计算共享变量间的距离,推测变量之间的相关性,利用相关联的变量关系检测原子性违例错误,确定原子区域的挖掘方法。实验结果表明,该算法能有效挖掘程序中的相关变量,并检测程序中涉及到的多变量原子性违例错误。
基于距离挖掘的多变量原子性违例检测
【摘 要】
：
针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法。通过计算共享变量间的距离,推测变量之间的相关性,利用相关联的变量关系检测原子性违例错误,确
【机 构】
：
上海交通大学软件学院
【出 处】
：
计算机工程
【发表日期】
：
2012年13期
【基金项目】
：
国家自然科学基金资助项目（60970009）
其他文献
目的探究药品合理分类及药品监管制度在医院西药房管理中的应用效果。方法以2017年6—12月为对照阶段,医院西药房实施常规管理,2018年1—6月为观察阶段,在常规管理基础上,实
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文将英语、日语与汉语比较,探讨了概念相同的词在不同语言中的词义引申情况,指出其引申义的差异,部分揭示了同一语词产生不同引申义的原因。
This article compares Engli
目的分析超声诊断在急性阑尾炎病理分型中的应用价值。方法回顾性分析经超声诊断为急性阑尾炎后行手术治疗有病理结果的86例右下腹痛患者阑尾区的检查情况,着重分析团块内部
针对三维水声传感器网络中因节点或链路故障导致的路由性能低下问题，提出一种多径容错路由协议。该协议通过为每个节点设计一种称为后备箱的数据结构，并利用节点的路由表和后备
北京市统计局、市发展改革委、市水务局联合发布《2016年北京市能耗水耗公报》。数据显示，2016年，在经济平稳增长的同时，北京市节能降耗取得显著成效，能源利用效率继续领跑全国，极
为简化传统公钥密码系统中的证书管理过程，消除基于身份公钥密码系统中的密钥托管隐患，提出一种新的无证书盲签名方案，在随机预言模型中对适应性选择消息及身份攻击是存在性不可
基于裂痕故障块的二维网格自适应容错路由算法是一种有效的容错算法，不仅能够解决活锁问题，而且克服了传统故障块模型中状态良好的节点不能参与路由的缺陷，但同时具有明显的缺点
青年是就业市场的生力军,其就业状况直接影响经济发展和社会稳定。目前青年就业形势严峻。中国工会在国家政治经济中的地位决定了其在青年就业及就业安全的作用不可或缺,诸如
从2000年我国政府正式提出企业“走出去”战略至今,经过近些年的迅速发展,目前我国对外直接投资有了一定的规模。而伴随着对外直接投资规模的提升,对母国的经济效应开始显现,