Dependable multithreaded processing using runtime validation

Kaiyu Chen, Sharad Malik

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

Abstract

Modern processors face growing verification and reliability challenges posed by increasing micro-architecture complexity and aggressive technology scaling. While viable approaches have been proposed to address these challenges in the context of uniprocessors, little work has been done for emerging multithreaded processors. Multithreading raises new issues for validation due to inter-thread interactions and inherent complexity of the underlying hardware. We propose an extension of the DIVA approach [1], which employs a simple checker processor to effectively validate the complex superscalar processor, to perform instructionlevel runtime validation for both intra-thread and interthread correctness properties for multithreaded execution. We present the validation methodology using a representative simultaneous-multithreaded (SMT) architecture, and briefly discuss its general applicability to other forms of multithreading. Detailed timing simulation shows this solution has low performance penalty, while providing general robustness against both operational and functional errors with relatively small hardware overhead.

Original languageEnglish (US)
Title of host publicationProceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006
Pages275-284
Number of pages10
DOIs
StatePublished - Dec 1 2006
Event12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006 - Riverside, CA, United States
Duration: Dec 18 2006Dec 20 2006

Publication series

NameProceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006

Other

Other12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006
CountryUnited States
CityRiverside, CA
Period12/18/0612/20/06

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'Dependable multithreaded processing using runtime validation'. Together they form a unique fingerprint.

  • Cite this

    Chen, K., & Malik, S. (2006). Dependable multithreaded processing using runtime validation. In Proceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006 (pp. 275-284). [4041913] (Proceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006). https://doi.org/10.1109/PRDC.2006.24