Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2012 P-208, 521-535 (2012).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Protecting the dynamic dispatch in C+ + by dependability aspects

Christoph Borchert , Horst Schirmeier and Olaf Spinczyk


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.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-602-2

Last changed 20.02.2014 12:58:05