【摘 要】
：
数据竞争是并行程序中常见的一类问题,由于并行程序的时序不确定性而导致数据竞争难以检测.传统的基于Lockset的检测算法速度快,但检测结果中包含较多误报,影响了算法的实用
【机 构】
：
中国科学技术大学计算机科学与技术学院,安徽省计算与通信软件重点实验室
论文部分内容阅读
数据竞争是并行程序中常见的一类问题,由于并行程序的时序不确定性而导致数据竞争难以检测.传统的基于Lockset的检测算法速度快,但检测结果中包含较多误报,影响了算法的实用性.为了降低Lockset算法的误报率,本文提出一种将Lockset算法与模型检查相结合的方法,充分利用模型检查的高准确性的特点,逐个验证Lockset算法报出的潜在数据竞争.在模型选择上,本文选择使用Petri网,并且提出了Petri网验证数据竞争的算法.此外,还介绍了我们基于此方法实现的检测工具PeserX,通过对SPLASH2测试集
其他文献
混凝土因为收缩导致干裂的问题目前是混凝土结构物裂缝控制中的难点及重点内容,在社会不断发展的过程中,人们使用低水胶比与硅灰、磨细矿渣及粉煤灰等轻骨料相互结合,通过高
传统建筑行业对石油化工资源的使用较多,石化资源具有较强的污染性,同时石油作为不可再生资源,其存储量越来越少,因此为了有效保护环境,减少对资源的消耗,绿色建筑发展模式势
以温和地区气候特征为基础，人的热舒适性指标为目的，通过海埂会堂建筑遮阳设计，展示了遮阳的社会属性和自然科学属性，分析了建筑遮阳是温和地区尊重、顺应自然，利用、享受自然的重
伴随着持续性增加的疾控工作档案信息,办公自动化、无纸化的体系建设需求也日益加大,当前必须借助于计算机的科学管理才能较好的推行疾控档案管理工作,以信息技术导入到疾控
从生物多样性保护的重要组成部分,品种改良和新品种选育的基础,全国生态环境建设的需要,草地畜牧业持续发展的物质基础,打破湖南缺乏专业收集研究牧草种质资源基地的局面五个
近年来,电厂建设规模不断扩大,其中设计到众多电气设备.对于二次设备而言,电气二次设备安装需要科学性安装技术进行有效指导,使得电厂运行更为高效,达到为社会提供不竭生产与
结合生产实例,介绍了φ3.8 m×13 m水泥磨加辊压机技术改造的效果.
据有关资料披露,到2000年止,我国的电线电缆行业有生产企业3,000余家,从业人员近40万。由于电线电缆行业迅猛发展,从业人员不断增多,技术素质参差不齐,以及个体、小集体企业
4月中旬，本刊编辑部成员对国内主要的大宗淡水鱼类如草鱼、鲤鱼、鲫鱼、罗非鱼等四个品种，其核心养殖区域市场在一季度的饲料市场表现情况做了简单汇总。