Affiliation:
1. Technische Universität Dortmund
Abstract
Transient hardware faults in computer systems have become widespread as shrinking structures and low supply voltages reduce the amount of energy needed to trigger a fault. This paper describes the latest improvements of a software-based fault-tolerance mechanism called Generic Object Protection (GOP). It is based on Aspect-Orientied Programming in AspectC++ and has been used in a case study to harden the L4/Fiasco.OC microkernel. As a result, the improved GOP avoids 60% of kernel failures at an acceptable overhead of 19% code size and less than 1% runtime. The GOP improvements use static whole-program analysis and have been implemented in a prototypical manner. As an outlook, the paper presents envisioned language extensions providing whole-program control-flow and data-flow analyses in future AspectC++ versions.
Publisher
Association for Computing Machinery (ACM)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2023-06
2. AES High-Level SystemC Modeling using Aspect Oriented Programming Approach;Engineering, Technology & Applied Science Research;2021-02-06
3. SAVI objects: sharing and virtuality incorporated;Proceedings of the ACM on Programming Languages;2017-10-12
4. Towards a more reliable and robust Cloud Meta-Operating System based on heterogeneous kernels;Proceedings of the International Conference on Big Data and Advanced Wireless Technologies - BDAW '16;2016