Debugging Concurrent Software: Advances and Challenges

详细信息    查看全文

• 作者：Jeff Huang ; Charles Zhang
• 关键词：debugging ; concurrency ; record and replay
• 刊名：Journal of Computer Science and Technology
• 出版年：2016
• 出版时间：September 2016
• 年：2016
• 卷：31
• 期：5
• 页码：861-868
• 全文大小：422 KB
• 刊物类别：Computer Science
• 刊物主题：Computer Science, general
  Software Engineering
  Theory of Computation
  Data Structures, Cryptology and Information Theory
  Artificial Intelligence and Robotics
  Information Systems Applications and The Internet
  Chinese Library of Science
  
• 出版者：Springer Boston
• ISSN：1860-4749
• 卷排序：31

文摘

Concurrency debugging is an extremely important yet challenging problem that has been hampering developer productivity and software reliability in the multicore era. We have worked on this problem in the past eight years and have developed several effective methods and automated tools for helping developers debugging shared memory concurrent programs. This article discusses challenges in concurrency debugging and summarizes our research contributions in four important directions: concurrency bug reproduction, detection, understanding, and fixing. It also discusses other recent advances in tackling these challenges.