Proceedings Article10.1109/DSN.2013.6575308
Generative software-based memory error detection and correction for operating system data structures
Christoph Borchert,Horst Schirmeier,Olaf Spinczyk +2 more
- 24 Jun 2013
- pp 1-12
47
TL;DR: A software-based memory error protection approach is presented, which is used to harden the eCos operating system in a case study and exploits the object-oriented program structure of eCos to identify well-suited code locations for the insertion of generative fault-tolerance measures.
read more
Abstract: Recent studies indicate that the number of system failures caused by main memory errors is much higher than expected In contrast to the commonly used hardware-based countermeasures, for example using ECC memory, software-based fault-tolerance measures are much more flexible and can exploit application knowledge, such as the criticality of specific data structures This paper presents a software-based memory error protection approach, which we used to harden the eCos operating system in a case study The main benefits of our approach are the flexibility to choose from an extensible toolbox of easily pluggable error detection and correction schemes as well as its very low runtime overhead, which totals in a range of 009-17 % The implementation is based on aspect-oriented programming and exploits the object-oriented program structure of eCos to identify well-suited code locations for the insertion of generative fault-tolerance measures
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K
Characterizing Application Memory Error Vulnerability to Optimize Datacenter Cost via Heterogeneous-Reliability Memory
Yixin Luo,Sriram Govindan,Bikash Sharma,Mark Santaniello,Justin Meza,Aman Kansal,Jie Liu,Badriddine Khessib,Kushagra Vaid,Onur Mutlu +9 more
- 23 Jun 2014
TL;DR: The key insight is that there exists a diverse spectrum of tolerance to memory errors in new data-intensive applications, and that traditional one-size-fits-all memory reliability techniques are inefficient in terms of cost.
Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors
Horst Schirmeier,Christoph Borchert,Olaf Spinczyk +2 more
- 22 Jun 2015
TL;DR: This paper analyzes the process of evaluating programs, which are hardened by software-based hardware fault-tolerance mechanisms, under a uniformly distributed soft-error model, and demonstrates that the fault coverage metric must be abolished for comparing programs.
77
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance
Horst Schirmeier,Martin Hoffmann,Christian Dietrich,Michael Lenz,Daniel Lohmann,Olaf Spinczyk +5 more
- 07 Sep 2015
TL;DR: FAIL* is presented, an open and versatile architecture-level fault-injection (FI) framework for the continuous assessment and quantification of fault tolerance in an iterative software development process and its application to the development process of safety-critical software.
Operating system support for redundant multithreading
Björn Döbel,Hermann Härtig,Michael Engel +2 more
- 07 Oct 2012
TL;DR: Romain is presented, a framework that provides transparent redundant multithreading1 as an operating system service for hardware error detection and recovery and minimizes the complexity added to the operating system for the sake of replication.
References
Error detecting and error correcting codes
TL;DR: The author was led to the study given in this paper from a consideration of large scale computing machines in which a large number of operations must be performed without a single error in the end result.
Aspect-oriented programming
Gregor Kiczales,Erik Hilsdale +1 more
- 01 Sep 2001
TL;DR: This tutorial shows how to use AOP to implement crosscutting conerns in a concise modular way and includes a description of their underlying model, in terms of which a wide range of AOP languages can be understood.
5.6K
Error detecting and error correcting codes
Neha Chauhan,Pooja Yadav,Preeti Kumari +2 more
- 01 Jan 2014
TL;DR: In this paper all error detecting and error correcting mechanisms are studied and best mechanism on the basis of accuracy, complexity and power consumption is selected.
3.5K
•Book
Generative Programming: Methods, Tools, and Applications
Krzysztof Czarnecki,Ulrich W. Eisenecker +1 more
- 16 Jun 2000
TL;DR: This chapter discusses Domain Engineering and Object-Oriented Analysis and Design, and main development steps in Generative Programming, as well as Static versus Dynamic Parameterization, and a Fresh Look at Polymorphism.
2.9K
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K