SHF: Small: A Framework for Self-Healing Multi-Threaded Software

修复错误既耗时又容易出错。在当前的多核时代，广泛存在的多线程软件和并发错误让事情变得更糟。开发人员努力按时发布针对并发错误的正确补丁。在检测并发错误方面已经取得了很大进展。不幸的是，在实际修复检测到的错误之前，软件可靠性不会得到提高。该项目的目标是构建一个自动修复错误的框架，通过结合并发错误检测、静态分析和多线程软件测试的优点来实现多线程软件的自我修复。具体地说，该框架将包括四个自动化组件：(1)帮助理解并发错误并设计修复策略的测试和错误检测组件；(2)将同步插入软件并生成高质量补丁的静态分析和代码转换组件；(3)评估和改进补丁的组件；(4)为不完全信息的错误提供特别补丁的组件。这项研究将有助于降低软件开发、故障诊断和错误修复的成本。它还将通过在各种平台上运行更快、更可靠的软件来改善软件用户的日常体验。

Bug fixing is time-consuming and error-prone. In the current multi-core era, widespread multi-threaded software and concurrency bugs make things even worse. Developers struggle to release correct patches for concurrency bugs on time. Much progress has been made in detecting concurrency bugs. Unfortunately, software reliability does not improve until the detected bugs are actually fixed.This project aims to build an automated bug-fixing framework that enables self-healing multi-threaded software by combining the strengths of concurrency-bug detection, static analysis, and multi-threaded software testing. Specifically, the proposed framework will include four automated components: (1) a testing and bug-detection component that helps understand concurrency bugs and designs fix strategies; (2) a static analysis and code transformation component that inserts synchronization into software and generates high-quality patches; (3) a component that evaluates and refines patches; (4) a component that provides ad-hoc patches for bugs with incomplete information. This research will help lower the costs of software development, failure diagnosis, and bug repair. It will also improve software users everyday experience through faster and more reliable software on a wide spectrum of platforms.