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

SHF：小型：自我修复多线程软件框架

• 批准号: 1217582
• 负责人: Benjamin Liblit
• 金额: $ 50万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-08-01 至 2017-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1217582&HistoricalAwards=false
• 关键词: SHF; Small; Framework; Self; Healing

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.

错误修复是耗时且容易出错的。在当前的多核时代，广泛存在的多线程软件和并发错误使情况变得更糟。开发人员很难及时发布并发错误的正确补丁。在检测并发错误方面已经取得了很大的进展。不幸的是，软件的可靠性并没有提高，直到检测到的错误实际上是固定的。这个项目的目的是建立一个自动化的错误修复框架，使自我愈合的多线程软件，通过结合并发错误检测，静态分析和多线程软件测试的优势。具体来说，拟议的框架将包括四个自动化组件：（1）测试和错误检测组件，帮助理解并发错误并设计修复策略;（2）静态分析和代码转换组件，将同步插入软件并生成高质量的补丁;（3）评估和改进补丁的组件;（4）为信息不完整的错误提供临时补丁的组件。该研究将有助于降低软件开发、故障诊断和错误修复的成本。它还将通过在广泛的平台上更快、更可靠的软件来改善软件用户的日常体验。