云南高校图书馆联盟文献共享服务平台- 张晓东

张晓东: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：西安交通大学电子与信息工程学院智能网络与网络安全教育部重点实验室更多>>; 发文主题：多线程程序多线程数据竞争更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机工程与科学》更多>>; 所获基金：中央高校基本科研业务费专项资金长江学者和创新团队发展计划国家自然科学基金国家科技支撑计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

多线程程序数据竞争检测与证据生成方法被引量：1: 《计算机工程与科学》2014年第11期2047-2053,共7页张晓东郑庆华刘烃俞乐晨刘沛杨子江; 国家自然科学基金资助项目(91118005;91218301;61221063;61203174);国家863计划资助项目(2012AA011003);国家科技支撑计划(2012BAH16F02);教育部创新团队资助项目(IRT13035);中央高校基本科研业务费专项资金资助项目; 数据竞争是多线程程序最为常见的问题之一。由于线程交织导致状态空间爆炸,多线程程序数据竞争引起的错误检测难度大、成本高、精度低;此外,即使检测到数据竞争,由于线程调度难以控制、执行过程难以复现,错误难以复现和定位。提出了一...; 关键词：多线程程序测试数据竞争约束求解证据生成