面向共享内存并行程序的测试技术

doi:10.3969/j.issn.1006-2475.2016.08.009

计算机与现代化

面向共享内存并行程序的测试技术

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

收稿日期:2016-01-27 出版日期:2016-08-18 发布日期:2016-08-11
作者简介:李婧(1982-)，女(土家族)，湖南常德人，长沙环境保护职业技术学院环境信息系讲师，硕士，研究方向：软件工程; 王建平(1966-)，男，教授，硕士，研究方向：软件工程。
基金资助:
湖南省教育厅科研项目(15C0017)

Testing Technique for Shared Memory Concurrent Programs

(Department of Environmental Information, Changsha Environmental Protection College, Changsha 410001, China)

Received:2016-01-27 Online:2016-08-18 Published:2016-08-11

摘要/Abstract

摘要： 随着并行编程越来越普及，并行程序的测试也变得越来越重要。本文面向共享内存的并行程序，研究一种新的并行程序测试技术，设计了工具CPTester，采用冗余分析方法避免重复的结果。和已有工作不同的是CPTester能够自动生成每一个并行bug的上下文信息，对程序员理解并修复一个并行bug具有重要意义。将CPTester在一些真实的并行程序上进行实验评测，结果显示CPTester能够有效地检测到程序中的并行bug，且每一个并行bug都有相应的上下文信息来描述该bug触发的根本原因。

关键词: 并行程序, 共享内存, 程序测试, 冗余分析, 上下文信息

Abstract: As programming concurrent programs becomes pervasive, testing concurrent programs is also becoming important. This paper focuses on the concurrent programs that are based on shared memory. A new concurrent program testing technique is researched, and a tool called CPTester is designed for concurrent programs. CPTester uses redundancy analysis approach to avoid repeated results. Different from previous work, CPTester can generate the context information for every concurrent bug automatically, which is useful for programmers to understand and fix the concurrent bug. CPTester is evaluated on a number of real concurrent programs. Results show that CPTester can effectively detect the concurrent bugs in concurrent programs. Also, the context information about the root cause of each concurrent bug can be described.

Key words: concurrent program, shared memory, program testing, redundancy analysis, context information

中图分类号:

TP311.5

李婧，王建平. 面向共享内存并行程序的测试技术[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2016.08.009.

LI Jing, WANG Jian-ping. Testing Technique for Shared Memory Concurrent Programs[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2016.08.009.

参考文献

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

[2] Gu Rui, Jin Guoliang, Song Linhai, et al. What change history tell us about thread synchronization[C]// Proceedings of the 10th Joint Meeting on Foundations of Software Engineering. 2015:426-438.

[3] Cai Yan, Wu Shangru, Chan W K. ConLock: A constraint-based approach to dynamic checking on deadlocks in multithreaded programs[C]// Proceedings of the 36th International Conference on Software Engineering. 2014:491-502.

[4] 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.

[5] Maiya P, Kanade A, Majumdar R. Race detection for Android applications[C]// Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014:316-325.

[6] Biswas S, Huang Jipeng, Sengupta A, et al. DoubleChecker: Efficient sound and precise atomicity checking[C]// Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014:28-39.

[7] 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.

[8] Huang J, Zhang C. Persuasive prediction of concurrency access anomalies[C]// Proceedings of the 2011 International Symposium on Software Testing and Analysis. 2011:144-154.

[9] 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.

[10] Wu Zhendong, Lu Kai, Wang Xiaoping, et al. Collaborative technique for concurrency bug detection[J]. International Journal of Parallel Programming, 2015,43(2):260-285.

[11] Lu Kai, Wu Zhendong, Wang Xiaoping, et al. RaceChecker: Efficient identification of harmful data races[C]// Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-based Processing. 2015:78-85.

[12] Kasikci B, Zamfir C, Candea G. RaceMob: Crowdsourced data race detection[C]// Proceedings of the 24th ACM Symposium on Operating Systems Principles. 2013:406-422.

[13] 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.

[14] Wu Zhendong, Lu Kai, Wang Xiaoping. Identifying repeated interleavings to improve the efficiency of concurrency bug detection[C]// Proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing. 2015:175-188.

[15] Park S, Harrold M J, Vuduc R. Griffin: Grouping suspicious memory-access patterns to improve understanding of concurrency bugs[C]// Proceedings of the 2013 International Symposium on Software Testing and Analysis. 2013:134-144.

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

[17] Liu Peng, Dolby J, Zhang C. Finding incorrect compositions of atomicity[C]// Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. 2013:158-168.

面向共享内存并行程序的测试技术

Testing Technique for Shared Memory Concurrent Programs

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics

本文评价