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

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

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.