A compiler-based infrastructure for fault-tolerant co-design

Felipe Restrepo-Calle, A. Martínez-Álvarez, H. Guzmán-Miranda, F. R. Palomo, M. Aguirre, S. Cuenca-Asensi
{"title":"A compiler-based infrastructure for fault-tolerant co-design","authors":"Felipe Restrepo-Calle, A. Martínez-Álvarez, H. Guzmán-Miranda, F. R. Palomo, M. Aguirre, S. Cuenca-Asensi","doi":"10.1145/1811212.1811218","DOIUrl":null,"url":null,"abstract":"The protection of processor-based systems to mitigate the harmful effects of transient faults (hardening) is gaining importance as technology shrinks. Hybrid hardware/software hardening approaches are promising alternatives in the design of such fault tolerant systems. This paper presents a compiler-based infrastructure for facilitating the exploration of the design space between hardware-only and software-only fault tolerant techniques. The compiler design is based on a generic architecture that facilitates the implementation of software-based techniques, providing an uniform isolated-from-target hardening core. In this way, these methods can be implemented in an architecture independent way and can easily integrate new protection mechanisms to automatically produce hardened code. The infrastructure includes a simulator that provides information about memory and execution time overheads to aid the designer in the co-design decisions. The tool-chain is complemented by a hardware fault emulation tool that allows to measure the fault coverage of the different solutions running on the real system. A case study was implemented allowing to evaluate the flexibility of the infrastructure to fit the reliability requirements of the system within their memory and performance restrictions.","PeriodicalId":375451,"journal":{"name":"Software and Compilers for Embedded Systems","volume":"103 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Software and Compilers for Embedded Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1811212.1811218","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

The protection of processor-based systems to mitigate the harmful effects of transient faults (hardening) is gaining importance as technology shrinks. Hybrid hardware/software hardening approaches are promising alternatives in the design of such fault tolerant systems. This paper presents a compiler-based infrastructure for facilitating the exploration of the design space between hardware-only and software-only fault tolerant techniques. The compiler design is based on a generic architecture that facilitates the implementation of software-based techniques, providing an uniform isolated-from-target hardening core. In this way, these methods can be implemented in an architecture independent way and can easily integrate new protection mechanisms to automatically produce hardened code. The infrastructure includes a simulator that provides information about memory and execution time overheads to aid the designer in the co-design decisions. The tool-chain is complemented by a hardware fault emulation tool that allows to measure the fault coverage of the different solutions running on the real system. A case study was implemented allowing to evaluate the flexibility of the infrastructure to fit the reliability requirements of the system within their memory and performance restrictions.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
用于容错协同设计的基于编译器的基础结构
随着技术的发展,保护基于处理器的系统以减轻瞬态故障(硬化)的有害影响变得越来越重要。混合硬件/软件加固方法是设计此类容错系统的有希望的替代方法。本文提出了一种基于编译器的基础结构,用于探索纯硬件和纯软件容错技术之间的设计空间。编译器的设计基于通用架构,该架构有助于实现基于软件的技术,提供统一的与目标隔离的强化核心。通过这种方式,这些方法可以以独立于体系结构的方式实现,并且可以轻松地集成新的保护机制来自动生成强化的代码。该基础设施包括一个模拟器,该模拟器提供有关内存和执行时间开销的信息,以帮助设计人员进行协同设计决策。工具链由硬件故障仿真工具补充,该工具允许测量在实际系统上运行的不同解决方案的故障覆盖率。实现了一个案例研究,以评估基础设施的灵活性,以便在内存和性能限制范围内满足系统的可靠性需求。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Scalable DFA Compilation for High-Performance Regular-Expression Matching Temporal analysis model extraction for optimizing modal multi-rate stream processing applications A parallelizing compiler for multicore systems Optimal general offset assignment Improving ESL power models using switching activity information from timed functional models
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1