Using loop invariants to fight soft errors in data caches

N. Sri Hari Krishna, Seung Woo Son, Mahmut Kandemir, Feihui Li

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

3 Citations (Scopus)

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005
Pages1317-1320
Number of pages4
Volume2
StatePublished - 2005
Event2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005 - Shanghai, China
Duration: Jan 18 2005Jan 21 2005

Other

Other2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005
CountryChina
CityShanghai
Period1/18/051/21/05

Fingerprint

Data storage equipment
Embedded systems

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Cite this

Sri Hari Krishna, N., Son, S. W., Kandemir, M., & Li, F. (2005). Using loop invariants to fight soft errors in data caches. In Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005 (Vol. 2, pp. 1317-1320). [1466586]
Sri Hari Krishna, N. ; Son, Seung Woo ; Kandemir, Mahmut ; Li, Feihui. / Using loop invariants to fight soft errors in data caches. Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005. Vol. 2 2005. pp. 1317-1320
@inproceedings{a0c463706ffa43b88b6ef1f2eb75c384,
title = "Using loop invariants to fight soft errors in data caches",
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.",
author = "{Sri Hari Krishna}, N. and Son, {Seung Woo} and Mahmut Kandemir and Feihui Li",
year = "2005",
language = "English (US)",
isbn = "0780387368",
volume = "2",
pages = "1317--1320",
booktitle = "Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005",

}

Sri Hari Krishna, N, Son, SW, Kandemir, M & Li, F 2005, Using loop invariants to fight soft errors in data caches. in Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005. vol. 2, 1466586, pp. 1317-1320, 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005, Shanghai, China, 1/18/05.

Using loop invariants to fight soft errors in data caches. / Sri Hari Krishna, N.; Son, Seung Woo; Kandemir, Mahmut; Li, Feihui.

Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005. Vol. 2 2005. p. 1317-1320 1466586.

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

TY - GEN

T1 - Using loop invariants to fight soft errors in data caches

AU - Sri Hari Krishna, N.

AU - Son, Seung Woo

AU - Kandemir, Mahmut

AU - Li, Feihui

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=70449420161&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449420161&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:70449420161

SN - 0780387368

SN - 9780780387362

VL - 2

SP - 1317

EP - 1320

BT - Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005

ER -

Sri Hari Krishna N, Son SW, Kandemir M, Li F. Using loop invariants to fight soft errors in data caches. In Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005. Vol. 2. 2005. p. 1317-1320. 1466586