EAGER: HAWKEYE: A Cross-Layer Resilient Architecture to Tradeoff Program Accuracy and Resilience Overheads

EAGER：HAWKEYE：一种跨层弹性架构，可权衡程序准确性和弹性开销

• 批准号: 1550470
• 负责人: Omer Khan
• 金额: $ 25万
• 依托单位: University of Connecticut
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-08-15 至 2019-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1550470&HistoricalAwards=false
• 关键词: EAGER; HAWKEYE; Cross; Layer; Resilient

With semiconductor technology scaling to sub-nanometer scales, minute perturbations in lithography patterns and manufacturing processes make the computing hardware vulnerable to unpredictable deviations in functionality. Further, with increasingly strict power constraints, hardware designs are now reliant on dynamic voltage scaling between nominal and near-threshold regions, which exacerbates the reliability problem. These trends motivate the need for system resiliency without increasing power consumption. This project proposes a new method to achieve efficient resiliency, where hardware's coverage is bounded with certain guarantees, while computational efficiency is traded off at the cost of affecting program accuracy. The strategy focuses on data analytic applications since they naturally offer tradeoffs in program accuracy due to the unstructured nature of inputs, and the approximate algorithms used to solve these otherwise intractable problems. At the software level, the project is developing methods to classify crucial versus non-crucial code regions in a program: the crucial code affects program correctness and outcome, its functionality cannot be altered in any way; non-crucial code affects program accuracy, therefore it could tolerate errors. The hardware subsequently implements stronger resiliency methods (e.g., redundant execution) only for crucial code. For the non-crucial code, lightweight resiliency schemes ensure program correctness. If successful, this project will be a major step towards a new rigorous framework to reason and guarantee system resiliency alongside a program's performance, power, and accuracy of computation. The proposed research provides for significant broader impacts related to curriculum development and student training through integration of modules in existing computer architecture and system design courses, and outreach through established REU sites and enrichment programs. The project promises transparent resiliency guarantees and this will have a major societal impact: enterprises and mission agencies will be able to reason in a quantifiable way about the resiliency versus efficiency tradeoffs in their software and hardware infrastructure. This is a crucial step forward given the increased awareness of system reliability in many application domains, such as healthcare, defense, finance, transportation, and automotive.

随着半导体技术扩展到亚纳米尺度，光刻图案和制造过程中的微小扰动使得计算硬件容易受到功能上不可预测的偏差的影响。此外，随着越来越严格的功率约束，硬件设计现在依赖于标称和近阈值区域之间的动态电压缩放，这加剧了可靠性问题。这些趋势激发了在不增加功耗的情况下对系统弹性的需求。该项目提出了一种新的方法来实现有效的弹性，其中硬件的覆盖范围是有一定的保证，而计算效率是以影响程序准确性为代价的。该策略侧重于数据分析应用程序，因为它们自然会由于输入的非结构化性质而在程序准确性方面进行权衡，并且近似算法用于解决这些棘手的问题。在软件层面，该项目正在开发方法来分类程序中的关键代码区域和非关键代码区域：关键代码影响程序的正确性和结果，其功能不能以任何方式改变;非关键代码影响程序的准确性，因此它可以容忍错误。硬件随后实现更强的弹性方法（例如，冗余执行）仅用于关键代码。对于非关键代码，轻量级弹性方案可确保程序正确性。如果成功，这个项目将是迈向一个新的严格框架的重要一步，以推理和保证系统的弹性以及程序的性能，功率和计算的准确性。拟议的研究提供了显着的更广泛的影响，课程开发和学生培训，通过整合模块在现有的计算机体系结构和系统设计课程，并通过建立REU网站和丰富的节目推广。该项目承诺提供透明的弹性保证，这将产生重大的社会影响：企业和使命机构将能够以可量化的方式推理其软件和硬件基础设施中的弹性与效率权衡。这是向前迈出的关键一步，因为在许多应用领域，如医疗保健，国防，金融，运输和汽车，系统可靠性的认识不断提高。

项目成果

Breaking the Oblivious-RAM Bandwidth Wall

打破 Oblivious-RAM 带宽墙

• DOI: 10.1109/iccd.2018.00026
• 发表时间: 2018
• 期刊: 2018 IEEE 36th International Conference on Computer Design (ICCD
• 作者: Omar, Hamza;Haider, Syed Kamran;Ren, Ling;van Dijk, Marten;Khan, Omer
• 通讯作者: Khan, Omer

Declarative Resilience: A Holistic Soft-Error Resilient Multicore Architecture that Trades off Program Accuracy for Efficiency

声明式弹性：一种整体软错误弹性多核架构，以程序准确性换取效率

• DOI: 10.1145/3210559
• 发表时间: 2018
• 期刊: ACM Transactions on Embedded Computing Systems
• 影响因子: 2
• 作者: Omar, Hamza;Shi, Qingchuan;Ahmad, Masab;Dogan, Halit;Khan, Omer
• 通讯作者: Khan, Omer

Multicore Resource Isolation for Deterministic, Resilient and Secure Concurrent Execution of Safety-Critical Applications

多核资源隔离可实现安全关键应用程序的确定性、弹性和安全并发执行

• DOI: 10.1109/lca.2018.2874216
• 发表时间: 2018
• 期刊: IEEE Computer Architecture Letters
• 影响因子: 2.3
• 作者: Omar, Hamza;Dogan, Halit;Kahne, Brian;Khan, Omer
• 通讯作者: Khan, Omer