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) 为信息不完整的 bug 提供临时补丁的组件。这项研究将有助于降低软件开发、故障诊断和错误修复的成本。它还将通过在广泛的平台上提供更快、更可靠的软件来改善软件用户的日常体验。