基于线程调度顺序控制的多线程程序测试

doi:10.3969/j.issn.1006-2475.2017.06.010

计算机与现代化

基于线程调度顺序控制的多线程程序测试

(长沙环境保护职业技术学院，湖南长沙 410001)

收稿日期:2016-10-31 出版日期:2017-06-23 发布日期:2017-06-23
作者简介:李婧(1982-)，女(土家族)，湖南常德人，长沙环境保护职业技术学院讲师，硕士，研究方向：软件工程。
基金资助:
湖南省教育厅科研项目(15C0017)

Multithreaded Program Testing Based on Controlling Sequence of Thread Schedule

(Changsha Environmental Protection College, Changsha 410001, China)

Received:2016-10-31 Online:2017-06-23 Published:2017-06-23

摘要/Abstract

摘要： 随着多核技术越来越普及，多线程程序的编程也越来越流行。但是多线程程序的正确性问题已经严重影响软件可靠性，且现有的测试技术不能很好地满足多线程程序的需求。本文重点研究多线程程序中最常见的一种bug，即数据竞争，提出一种基于线程调度顺序控制的测试方法。该方法混合静态方法和动态方法，能够有效地找到多线程程序中存在的数据竞争，且能够区分出哪些数据竞争是有害的，需要程序员优先修复。实验结果显示，对于数据竞争的触发概率，本文的方法使其平均从0.53%提高到79.2%，且本文所引入的运行时开销平均只有80%，与相关方法所引入370%的开销相比更优。

关键词: 多线程程序, 测试, 软件可靠性, 线程调度, 数据竞争

Abstract: As multi-core techniques become pervasive, programming multithreaded programs is becoming popular. However, the problem of correctness of multithreaded program has affected software reliability severely. Moreover, current testing techniques can not satisfy the requirements of multithreaded programs. This paper focuses on the most common type of bugs in multithread programs, which is called data race. We propose a testing approach based on controlling sequence of thread schedule, combining static approach with dynamic approach. The approach can effectively find the data races in multithreaded programs, and identify the harmful data races that are required to be fixed urgently. Experimental results show that our approach improves the probability of triggering data races significantly, from 0.53% to 79.2% averagely. Moreover, the runtime overhead imposed by our approach is on average 80%, and the overhead imposed by related approach is 370%, demonstrating our approach is better.

Key words: multithreaded program, testing, software reliability, thread schedule, data race

中图分类号:

TP302.8

李婧. 基于线程调度顺序控制的多线程程序测试[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2017.06.010.

LI Jing. Multithreaded Program Testing Based on Controlling Sequence of Thread Schedule[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2017.06.010.

参考文献

[1] Lee E A. The problem with threads[J]. Computer, 2006,39(5):33-42.

[2] Poulsen K. Software Bug Contributed to Blackout[DB/OL]. http://www.securityfocus.com/news/8016, 2004-02-11.

[3] Kasikci B, Pereira C, Pokam G, et al. Failure sketches: A better way to debug[C]// Proceedings of the 15th USENIX Conference on Hot Topics in Operating Systems. 2015: Article No. 5.

[4] Sen K. Race directed random testing of concurrent programs[C]// Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2008:11-21.

[5] Musuvathi M, Qadeer S, Ball T, et al. Finding and reproducing Heisenbugs in concurrent programs[C]// Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. 2008:267-280.

[6] Lu Shan, Park S, Seo E, et al. Learning from mistakes: A comprehensive study on real world concurrency bug characteristics[C]// Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems. 2008:329-339.

[7] Voung J W, Jhala R, Lerner S. RELAY: Static race detection on millions of lines of code[C]// Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2007:205-214.

[8] Savage S, Burrows M, Nelson G, et al. Eraser: A dynamic data race detector for multithreaded programs[J]. ACM Transactions on Computer Systems, 1997,15(4):391-411.

[9] Luk C-K, Cohn R, Muth R, et al. Pin: Building customized program analysis tools with dynamic instrumentation[C]// Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation. 2005:190-200.

[10] Lucia B, Devietti J, Strauss K, et al. Atom-aid: Detecting and surviving atomicity violations[C]// Proceedings of the 35th Annual International Symposium on Computer Architecture. 2008:277-288.

[11] Yu Jie, Narayanasamy S, Pereira C, et al. Maple: A coverage-driven testing tool for multithreaded programs[C]// Proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications. 2012:485-502.

[12] Woo S C, Ohara M, Torrie E, et al. The SPLASH-2 programs: Characterization and methodological considerations[C]// Proceedings of the 22nd Annual International Symposium on Computer Architecture. 1995:24-36.

[13] Sadowski C, Yi J. How developers use data race detection tools[C]// Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools. 2014:43-51.

[14] Kasikci B, Zamfir C, Candea G. Data races vs. data race bugs: Telling the difference with portend[C]// Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems. 2012:185-198.

[1]	李颖颖, 黄文培. 基于优化八叉树的场景视锥体裁剪算法[J]. 计算机与现代化, 2024, 0(01): 103-108.
[2]	燕嘉诚, 印凯欧. 基于NSGA-II的信息物理系统RESTful API测试套件最小化#br#[J]. 计算机与现代化, 2022, 0(11): 111-118.
[3]	冼进. Android应用性能测试与监控技术[J]. 计算机与现代化, 2022, 0(07): 103-109.
[4]	齐战硕, 高彦东. 面向消除通信时延的车辆轨迹多步预测方法[J]. 计算机与现代化, 2022, 0(05): 114-118.
[5]	王岩, 钱巨. 基于视觉特征的非侵入式用户界面输入项识别[J]. 计算机与现代化, 2021, 0(08): 46-51.
[6]	巫聪云, 刘斌, 李海勇, 徐晓峰. 继电保护信息系统终端设备智能测试系统[J]. 计算机与现代化, 2021, 0(07): 1-5.
[7]	江竞捷, 徐络, 李宁. 基于GAN的图像识别系统蜕变测试方法[J]. 计算机与现代化, 2021, 0(02): 24-29.
[8]	李海浩, 吴亚锋, 王晓强. 时间Petri网在渗透测试中的应用[J]. 计算机与现代化, 2020, 0(10): 110-115.
[9]	张骋, 苗新蕊, 牟雪曼. 高精地图车道的三维可视化[J]. 计算机与现代化, 2020, 0(08): 21-25.
[10]	晋文明, 颜硕彦, 钱巨, . 大规模负载生成客户端影响因素研究[J]. 计算机与现代化, 2020, 0(08): 76-81.
[11]	张志威, 甘刚. 基于遗传算法的Android系统服务漏洞挖掘[J]. 计算机与现代化, 2020, 0(08): 114-121.
[12]	李曈, 丁国富. 一种支持多线程程序的符号执行技术[J]. 计算机与现代化, 2020, 0(06): 60-.
[13]	雷建胜1,苏晓2,金明磊1. 一种分布式可持续集成自动化测试平台[J]. 计算机与现代化, 2020, 0(04): 14-.
[14]	李思雨 . 基于极限学习机的组合软件可靠性模型研究[J]. 计算机与现代化, 2019, 0(11): 44-.
[15]	孙溢1,阳小华1,刘杰1,余童兰1,吴志强2,陈智2. 基于布尔表达式约束的测试用例生成技术[J]. 计算机与现代化, 2019, 0(01): 86-.

基于线程调度顺序控制的多线程程序测试

Multithreaded Program Testing Based on Controlling Sequence of Thread Schedule

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价