【摘 要】
：
通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不
【机 构】
：
贵州师范大学教育科学学院,大连理工大学软件工程学院,北京电子科技职业学院经济管理学院
【基金项目】
：
贵州省科学技术基金项目（龄科合协字师大LH字[2014]7040号）
论文部分内容阅读
通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML映射模型中的数据访问信息,将信息存储于数据竞争表示层。通过竞争图生成算法建立数据竞争有向图模型,利用拓扑排序检测数据竞争的具体位置,获取所有竞争序列。实验结果表明,该检测方法能够准确快速地发现多线程程序中的数据竞争并在源文件中进行准确定位。
其他文献
<正> 怎样正确认识微分和无限小?怎样正确理解马克思的微分理论和恩格斯有关无限的论述?这些问题无论从学习自然辩证法方面来看,还是从研究数学理论方面来看都具有十分重要的
人体慢性疲劳表情具有持续时间长、帧间位移小的特点,使快速、准确的识别比较困难。分析上述问题,相比相位、能量、特征匹配的计算方法,基于梯度的光流方法计算简单且得到较好的结果,因此对基于梯度的全局光流技术进行研究,使用全局光流技术在连续多帧间局部区域内进行计算,获得稠密光流,得到相隔多帧的两幅图像的运动变化,解决持续时间长和帧间小位移的问题。通过计算眼部区域和嘴部区域的点运动情况提取光流特征,使用光流
微胶囊化不仅可以很好地保持红花籽油的风味、增强其氧化稳定性,还可以起到缓释的作用,更充分合理地体现物质的营养价值。以同种壁材配方制备微胶囊乳液,分别进行喷雾干燥和
针对PBAS(pixel-based adaptive segmenter)算法存在的阈值更新不够灵活,难以消除鬼影,对阴影较为敏感的问题,提出一种改进的算法。采用非线性阈值调整机制,根据背景复杂度及时调整阈值;对像素被判定为前景点的次数进行控制,去除难以消失的鬼影点;对判定为前景的区域边界点进行二次对比,减少鬼影点;引入基于颜色不变量的阴影检测去除前景中的阴影区域,提高分割精度。在CDnet20
<正>塑料切粒机主要用于加工废旧塑料薄膜(工业包装膜、农业地膜、大棚膜、啤酒包、手提袋等)、编织袋、农用方便袋、盆、桶、饮料瓶、家具、日常用品等,适用于大部分常见的
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。
目的:回顾性研究青年人胃癌的临床与病理情况,为进一步诊治提供依据。方法:选青年人胃癌患者100例,对临床分型与病理分类进行统计。结果:100例青年胃癌中,早期胃癌25例,进展
<正>"大数据、用户体验、参与感、眼球经济"等互联网思维,以及"碎片化传播、泛在化关联、情感化共振"等网络传媒模式的新特点,可为银行业的声誉风险管理工作提供启示和借鉴。