SHF: Small: Compiler and Architectural Techniques for Soft Error Resilience

SHF：小型：软错误恢复能力的编译器和架构技术

• 批准号: 1527463
• 负责人: Changhee Jung
• 金额: $ 45万
• 依托单位: Virginia Polytechnic Institute and State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-07-01 至 2018-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1527463&HistoricalAwards=false
• 关键词: SHF; Small; Compiler; Architectural; Techniques

Due to technology scaling, electronic circuits are becoming more susceptible to radiation-induced soft errors also known as transient faults. Soft errors may lead to application crash or even worse, silent data corruptions (SDC) that are not caught by the error detection logic but may cause the application to produce incorrect output. Another serious problem is the rise of detected unrecoverable errors (DUE) that often directly impact the reliability of any computer applications. The challenge is to achieve soft error resilience in a way that does not significantly increase the performance overhead, power consumption, and complexity of underlying hardware. To this end, this project designs and develops low-cost hardware/software cooperative techniques for soft error resilience. The resulting artifacts and technologies are expected to contribute to the nation's competitiveness by addressing the challenge of building reliable computing systems in the presence of soft errors.This research involves three intermediate research goals: design novel microarchitecture, that dynamically verifies the correctness of the processor core execution based on sensor-based soft error detection, to achieve soft error resilience at low cost; design a compiler that forms verifiable and recoverable regions in the presence of soft errors and provides relevant program analysis techniques; and design and develop compiler optimization and microarchitectural techniques that significantly reduce the verification overhead. This project will create tools and technologies for realization of soft error resilient computing systems, contributing fundamentally to the fault tolerance research community. Adoption of the resulting compiler and microarchitectural techniques will impact a broad range of any disciplines that need correct computation results thus requiring reliable computing systems, covering from mobile devices to high-performance large-scale computing systems. Consequently, use of the resulting technologies will make the execution of current and emerging applications much more reliable, and therefore directly affect our way of life.

由于技术缩放，电子电路变得越来越容易受到辐射引起的软误差的影响，也称为瞬态断层。软错误可能会导致应用程序崩溃，甚至更糟，无声数据损坏（SDC）并未被错误检测逻辑捕获，但可能会导致应用程序产生不正确的输出。另一个严重的问题是检测到的未恢复错误的兴起（应得）通常直接影响任何计算机应用程序的可靠性。面临的挑战是以一种不会显着增加基础硬件的性能开销，功耗和复杂性的方式实现软误差弹性。为此，该项目设计并开发了低成本/软件合作技术，以实现软弹性弹性。预计所产生的工件和技术将通过解决存在软错误的构建可靠计算系统的挑战来促进美国的竞争力。这项研究涉及三个中间研究目标：设计新型的微结构，该研究动态验证了基于传感器核心执行的正确性验证，以基于传感器核心执行的正确性，以实现柔软错误的偏差，以实现低廉的误差成本；设计一个编译器，该编译器在存在软错误的情况下形成可验证和可回收区域的编译器，并提供相关的程序分析技术；设计和开发编译器优化和微构造技术，可显着减少验证开销。该项目将创建工具和技术，以实现软错误弹性计算系统，从根本上促进了容忍度研究社区。采用最终的编译器和微体系式技术将影响任何需要正确计算结果的学科，从而需要可靠的计算系统，从而涵盖从移动设备到高性能的大型计算系统。因此，使用所得技术将使当前和新兴应用程序的执行更加可靠，因此直接影响我们的生活方式。