Using loop invariants to fight soft errors in data caches

Download: PDF.

“Using loop invariants to fight soft errors in data caches” by Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut Kandemir, and Feihui Li. In Asia and South Pacific Design Automation Conference, (Shanghai, China), January 18-21, 2005, pp. 1317-1320.

Abstract

Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicating instructions either in the spatial or temporal domain and then comparing the results to see whether they are different. This full duplication based scheme, though effective, is very expensive in terms of performance, power, and memory space. In this paper, we propose an alternate scheme based on loop invariants and present experimental results which show that our approach catches 62% of the errors caught by full duplication, when averaged over all benchmarks tested. In addition, it reduces the execution cycles and memory demand of the full duplication strategy by 80% and 4%, respectively.

Download: PDF.

BibTeX entry:

@inproceedings{NSKL2005,
   author = {Sri Hari Krishna Narayanan and Seung Woo Son and Mahmut
	Kandemir and Feihui Li},
   title = {Using loop invariants to fight soft errors in data caches},
   booktitle = {Asia and South Pacific Design Automation Conference},
   pages = {1317--1320},
   address = {Shanghai, China},
   month = {January~18--21,},
   year = {2005}
}

Back to Publications whose methodology uses invariant detection.