期刊文献+

并行程序错误调试技术研究综述

Survey and Analysis of Debugging Concurrecy Bug
下载PDF
导出
摘要 随着多核设备的普及,主流软件系统的构建模式已经由单线程串行转为多线程的并行方式.然而,由于并行程序的不确定性,使得调试并行程序错误要比串行程序的错误困难很多.因此,如何高效地调试并行程序错误成为了亟待解决的问题.对并行错误调试技术做了全面的研究与分析.在此基础上,进一步讨论了不同调试技术的优劣,也对并行调试技术可能的发展方向进行展望. The popularity of multiple-core devices has made parallel programming a necessity to harness the abundant hardware resources. However, due to the non-determinism of parallel software, writing robust parallel Software is notoriously hard. Therefore, how to debug concurrency bugs efficiently has become an issue that needs to be urgently deal with. In this paper, we have surveyed the parallel debugging technologies systematically. Further, based on the survey, we have made classifications and comparisons. At last, we have presented the prospects of the possible development direction of concurrency bug debugging approaches.
出处 《计算机系统应用》 2014年第10期1-10,共10页 Computer Systems & Applications
基金 国家自然科学基金(6137081) 国家高技术研究发展计划(863)(2012AA010901)
关键词 多核设备 并行程序 调试技术 错误检测 测试调度 multicore parallel software concurrency bug debugging bug detection test schedule
  • 相关文献

参考文献28

  • 1Lu S, Park S, Seo E, et al. Learning from mistakes: A comprehensive study on real world concurrency bug characteristics. Operating Systems Review, 2008, 42(2): 329- 339.
  • 2Visser W, Havelund K, Brat G, Park S, Lerda F. Model checking programs. Automated Sottware Engineering, 2003, 10(2): 203-232.
  • 3King JC. Symbolic execution and program testing. Communications of the ACM, 1976, 19(7): 385-394.
  • 4Engler D, Ashcraft K. RacerX: effective, static detection of race conditions and deadlocks. Proc. of the 19th ACM Symposium on Operating Systems Principles (SOSP'03). ACM. New York, NY, USA. 2003. 237-252.
  • 5Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7): 558-565.
  • 6Savage S, Burrows M, Nelson G, et al. Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. on Computer Systems (TOCS), 1997, 15(4): 391-411.
  • 7Flanagan C, Freund SN. FastTrack: efficient and precise dynamic race detection. ACM Sigplan Notices. ACM, 2009, 44(6): 121-133.
  • 8Serebryany K, Iskhodzhanov T. ThreadSanitizer: data race detection in practice. Proc. of the Workshop on Binary Instrumentation and Applications. ACM, 2009. 62-71.
  • 9Sack P, Bliss B E, Ma Z, et al. Accurate and efficient filtering for the intel thread checker race detector. Proc. of the 1st Workshop on Architectural and System Support for Improving Software Dependability. ACM, 2006. 34-41.
  • 10Marino D, Musuvathi M, Narayanasamy S. LiteRace: effective sampling for lightweight data-race detection. ACM Sigplan Notices. ACM, 2009, 44(6): 134-143.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部