|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
12th Pacific Rim International Symposium on Dependable Computing (PRDC'06)
Dependable Multithreaded Processing Using Runtime Validation
Riverside, California
December 18-December 20
ISBN: 0-7695-2724-8
| ASCII Text | x | ||
| Kaiyu Chen, Sharad Malik, "Dependable Multithreaded Processing Using Runtime Validation," Pacific Rim International Symposium on Dependable Computing, IEEE, pp. 275-286, 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/PRDC.2006.24, author = {Kaiyu Chen and Sharad Malik}, title = {Dependable Multithreaded Processing Using Runtime Validation}, journal ={Pacific Rim International Symposium on Dependable Computing, IEEE}, volume = {0}, year = {2006}, isbn = {0-7695-2724-8}, pages = {275-286}, doi = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2006.24}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Pacific Rim International Symposium on Dependable Computing, IEEE TI - Dependable Multithreaded Processing Using Runtime Validation SN - 0-7695-2724-8 SP275 EP286 A1 - Kaiyu Chen, A1 - Sharad Malik, PY - 2006 KW - null VL - 0 JA - Pacific Rim International Symposium on Dependable Computing, IEEE ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PRDC.2006.24
Modern processors face growing verification and reliability challenges posed by increasing microarchitecture 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.
Citation:
Kaiyu Chen, Sharad Malik, "Dependable Multithreaded Processing Using Runtime Validation," prdc, pp.275-286, 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.
