SHF: Small: Enhancing Memory System Dependability by Integrity Checking

SHF：小型：通过完整性检查增强内存系统的可靠性

• 批准号: 1618104
• 负责人: Arun Somani
• 金额: $ 43.85万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-07-01 至 2021-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1618104&HistoricalAwards=false
• 关键词: SHF; Small; Enhancing; Memory; System

Memory system dependability is increasingly a concern as memory cell density and total capacity continue to increase. Recent field studies have shown that memory error rates are rising and memory errors have demonstrated correlation patterns. With these two trends, current memory error protection schemes are no longer sufficient for server computers. This project explores a unique error protection scheme called MemGuard, which is based on memory integrity checking, to enhance memory error protections for server computers as well as to provide a cost- and energy-efficient solution for personal and mobile computers. The research may significantly improve the dependability of computer systems without incurring high cost or energy overhead. The education and outreach activities will encourage minority and women students to get involved in the research, and will include interactions with middle/high school students and teachers.The MemGuard scheme checks the consistency between memory reads and memory writes using hash-based signatures to detect memory errors. It can detect memory cell errors with a negligible rate of false negative. Compared to SECDED (single error correcting double error detection) ECC and SDDC (single data device correction) schemes, it is much stronger in multi-bit error detection and with negligible cost and energy overhead. It does not correct errors immediately as the other two schemes do; instead, it may reply on OS checkpointing or program restarting for error recovery. The project will fully investigate the design of MemGuard, evaluate the strength of MemGuard with realistic DRAM error modes, extend it to multiprocessors and I/O rich environments, develop a similar integrity-based scheme for processor/memory communication error protection, and combine MemGuard with existing error protection schemes. The project will also optimize the design and implementation of the hash functions of MemGuard, combine MemGuard with selection error protection, and explore efficient checkpointing strategies for improved efficiency.

随着存储单元密度和总容量的不断增加，存储系统的可靠性越来越受到关注。最近的实地研究表明，内存错误率正在上升，并且内存错误已表现出相关模式。鉴于这两种趋势，当前的内存错误保护方案对于服务器计算机来说不再足够。该项目探索了一种名为 MemGuard 的独特错误保护方案，该方案基于内存完整性检查，以增强服务器计算机的内存错误保护，并为个人和移动计算机提供经济高效的解决方案。该研究可以显着提高计算机系统的可靠性，而不会产生高成本或能源开销。教育和推广活动将鼓励少数族裔和女学生参与研究，并将包括与初中/高中学生和教师的互动。MemGuard 方案使用基于哈希的签名来检查内存读取和内存写入之间的一致性，以检测内存读取和内存写入之间的一致性。内存错误。 它可以检测存储单元错误，误报率可以忽略不计。与SECDED（单纠错双检错）ECC和SDDC（单数据设备纠错）方案相比，它在多位错误检测方面要强大得多，并且成本和能源开销可以忽略不计。它不像其他两种方案那样立即纠正错误；相反，它可能会回复操作系统检查点或程序重新启动以进行错误恢复。该项目将全面研究MemGuard的设计，通过真实的DRAM错误模式评估MemGuard的强度，将其扩展到多处理器和I/O丰富的环境，开发类似的基于完整性的处理器/内存通信错误保护方案，并结合MemGuard与现有的错误保护方案。该项目还将优化MemGuard哈希函数的设计和实现，将MemGuard与选择错误保护相结合，并探索高效的检查点策略以提高效率。