CAREER: Scalable and Maximal Concurrency Debugging

职务名称：职业：可扩展和最大并发性检查并发性相关的软件缺陷在实践中是最昂贵和最危险的，并且已经成为安全关键系统和国家关键基础设施的可靠性和安全性的主要威胁。 这个项目的智力价值是开发新的理论和算法的进步，并建立实用的自动化工具，调试并发软件，这将使更多的并发错误更容易检测和理解，更安全，更快地修复。 该项目的更广泛的意义和重要性是帮助生产更可靠，安全和经济的软件系统和基础设施，消除并发相关的漏洞，并加强软件调试的STEM教育，这是当今软件工程教育的一个关键，但缺乏的方面。该项目将研究并发调试的四个主要研究问题的解决方案。 (1)再现：如何在长时间运行的并发程序中再现故障，同时使运行时干扰和开销最小？如何再现商品硬件上表现出松弛内存行为的并发程序中的故障？ (2)检测：如何最大限度地检测并发错误，即使在有限的观察下也不会出现错误警报，例如，当缺少日志事件时？ (3)理解：如何准确识别故障的根本原因？如何有效地简化并发bug并加速它们的复制？ (4)修复验证：如何修复并发错误而不引入死锁或不必要的性能下降？如何有效地验证修复的正确性？

Title: CAREER: Scalable and Maximal Concurrency DebuggingConcurrency related software defects are among the most expensive and dangerous in practice, and have become a major threat to the reliability and security of safety-critical systems and the nation's critical infrastructure. The intellectual merits of this project are to develop new theoretical and algorithmic advances, and to build practical automated tools for debugging concurrent software, which will enable more concurrency bugs easier to detect and understand, and safer and faster to fix. The project's broader significance and importance are to help produce more reliable, secure, and economical software systems and infrastructure, remove concurrency related vulnerabilities, and strengthen STEM education on software debugging, which is a critical, but lacking aspect of today's software engineering education.This project will investigate solutions to four major research questions on concurrency debugging. (1) Reproduction: How to reproduce failures in long running concurrent programs with minimal runtime perturbation and overhead? How to reproduce failures in concurrent programs running on commodity hardware exhibiting relaxed-memory behaviors? (2) Detection: How to detect concurrency bugs at the maximum ability and with no false alarm, even under limited observation, e.g., when missing log events? (3) Understanding: How to accurately identify the failure's root cause? How to effectively simplify concurrency bugs and speed up their reproduction? (4) Fixing & Validation: How to fix concurrency bugs without introducing deadlocks or unnecessary performance degradation? How to effectively validate the correctness of fixes?