Protecting the dynamic dispatch in C++ by dependability aspects
Abstract
Computer systems, especially devices with highly-miniaturized feature sizes, are unreliable. Data memory is susceptible to a number of physical effects that cause faults, which can be observed as spontaneous bit flips. Although in many application scenarios corrupt data is harmless (“almost” correct result often suffices), control-flow transitions are very sensitive to faults. Indirect jumps, such as the dynamic dispatch of virtual functions in C++, often crash the system in case of a single bit flip. This paper describes a suitable software-based fault-tolerance mechanism, which can be applied to arbitrary C++ software by source-to-source compilation. The overall cost for this mechanism is below 10 % for both runtime and memory overhead. Our evaluation results show that this approach eliminates 67.1 % of all irregular program terminations in a case study using an embedded weather-station software, whose entire data memory is corrupted by single-bit flips.
- Citation
- BibTeX
Borchert, C., Schirmeier, H. & Spinczyk, O.,
(2012).
Protecting the dynamic dispatch in C++ by dependability aspects.
In:
Goltz, U., Magnor, M., Appelrath, H.-J., Matthies, H. K., Balke, W.-T. & Wolf, L.
(Hrsg.),
INFORMATIK 2012.
Bonn:
Gesellschaft für Informatik e.V..
(S. 521-535).
@inproceedings{mci/Borchert2012,
author = {Borchert, Christoph AND Schirmeier, Horst AND Spinczyk, Olaf},
title = {Protecting the dynamic dispatch in C++ by dependability aspects},
booktitle = {INFORMATIK 2012},
year = {2012},
editor = {Goltz, Ursula AND Magnor, Marcus AND Appelrath, Hans-Jürgen AND Matthies, Herbert K. AND Balke, Wolf-Tilo AND Wolf, Lars} ,
pages = { 521-535 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Borchert, Christoph AND Schirmeier, Horst AND Spinczyk, Olaf},
title = {Protecting the dynamic dispatch in C++ by dependability aspects},
booktitle = {INFORMATIK 2012},
year = {2012},
editor = {Goltz, Ursula AND Magnor, Marcus AND Appelrath, Hans-Jürgen AND Matthies, Herbert K. AND Balke, Wolf-Tilo AND Wolf, Lars} ,
pages = { 521-535 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-602-2
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2012
Language:
(en)

Content Type: Text/Conference Paper
Collections
- P208 - INFORMATIK 2012 [169]