Memory space conscious loop iteration duplication for reliable execution

G. Chen, M. Kandemir, M. Karakoy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Soft errors, a form of transient errors that cause bit flips in memory and other hardware components, are a growing concern for embedded systems as technology scales down. While hardware-based approaches to detect/correct soft errors are important, software-based techniques can be much more flexible. One simple software-based strategy would be full duplication of computations and data, and comparing the results of the corresponding original and duplicate computations. However, while the performance overhead of this strategy can be hidden during execution if there are idle hardware resources, the memory demand increase due to data duplication can be dramatic, particularly for array-based applications that process large amounts of data. Focusing on array-based embedded computing, this paper presents a memory space conscious loop iteration duplication approach that can reduce memory requirements of full duplication (of array data), without decreasing the level of reliability the latter provides. Our "in-place duplication" approach reuses the memory locations from the same array to store the duplicates of the elements of a given array. Consequently, the memory overhead brought by the duplicates can be reduced. Further, we extend this approach to incorporate "global duplication", which reuses memory locations from other arrays to store duplicates of the elements of a given array. This paper also discusses how our approach operates under a memory size constraint. The experimental results from our implementation show that the proposed approach is successful in reducing memory requirements of the full duplication scheme for twelve array-based applications.

Original languageEnglish (US)
Title of host publicationStatic Analysis - 12th International Symposium, SAS 2005, Proceedings
PublisherSpringer Verlag
Pages52-69
Number of pages18
ISBN (Print)3540285849, 9783540285847
DOIs
StatePublished - 2005
Event12th International Symposium on Static Analysis, SAS 2005 - London, United Kingdom
Duration: Sep 7 2005Sep 9 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3672 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other12th International Symposium on Static Analysis, SAS 2005
CountryUnited Kingdom
CityLondon
Period9/7/059/9/05

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Memory space conscious loop iteration duplication for reliable execution'. Together they form a unique fingerprint.

Cite this