XPS: FULL: CCA: Production-Run Failure Recovery Based Approach to Reliable Parallel Software

XPS：完整：CCA：基于生产运行故障恢复的可靠并行软件方法

• 批准号: 1439091
• 负责人: Shan Lu
• 金额: $ 75万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-08-01 至 2018-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1439091&HistoricalAwards=false
• 关键词: XPS; FULL; CCA; Production; Run

Title: XPS: FULL: CCA: Production-Run Failure Recovery Based Approach to Reliable Parallel SoftwareConcurrency bugs are a severe threat to system reliability in the multi-core era. Approaches to handling concurrency bugs and improving the reliability of production-run parallel software are sorely needed. This project aims to create a new parallel computing paradigm. The intellectual merits are that the project will pioneer treating run-time failure recovery as default for parallel programs, and reshaping every aspect of parallel-program development and maintenance. The project's broader significance and importance are that it will help lower the costs of software development, in-house testing, failure diagnosis, and bug repair, broadly benefiting society through better-performing parallel software.Specifically, the proposed framework will include five components: (1) a feather-weight run-time recovery framework that utilize natural program idempotence to obtain natural concurrency-bug failure recovery; (2) a new code-development system that guide developers to write software with improved recoverability; (3) a new in-house testing system, where the testing focus is shifted towards hard-to-recover code; (4) a new on-demand run-time monitoring system that leverages on-demand run-time monitoring for run-time recovery; (5) a new off-line failure diagnosis system that leverages the feedback from recovery for failure diagnosis and fixing. These five components will work together to significantly improve the reliability and lower the development cost of parallel software.

标题：XPS：完整：CCA：基于生产运行故障恢复的可靠并行软件方法并发错误是多核时代系统可靠性的严重威胁。迫切需要处理并发错误和提高生产运行并行软件可靠性的方法。该项目旨在创建一种新的并行计算范例。该项目的智力优点在于，它将率先将运行时故障恢复视为并行程序的默认设置，并重塑并行程序开发和维护的各个方面。该项目更广泛的意义和重要性在于，它将有助于降低软件开发、内部测试、故障诊断和错误修复的成本，通过性能更好的并行软件广泛造福社会。具体来说，拟议的框架将包括五个组成部分： (1)一个轻量级的运行时恢复框架，利用自然的程序幂等性来获得自然的并发-bug故障恢复； (2) 新的代码开发系统，指导开发人员编写具有更高可恢复性的软件； （3）新的内部测试系统，测试重点转向难以恢复的代码； （4）新的按需运行时监控系统，利用按需运行时监控进行运行时恢复； (5)新的离线故障诊断系统，利用恢复的反馈进行故障诊断和修复。这五个组件将协同工作，显着提高并行软件的可靠性并降低开发成本。