[llvm-commits] CVS: llvm-www/pubs/2008-06-DSNPDS-ErrorDerating.html 2008-06-DSNPDS-ErrorDerating.pdf pubs.js
Chris Lattner
sabre at nondot.org
Sun Jun 28 09:03:32 PDT 2009
Changes in directory llvm-www/pubs:
2008-06-DSNPDS-ErrorDerating.html added (r1.1)
2008-06-DSNPDS-ErrorDerating.pdf added (r1.1)
pubs.js updated: 1.43 -> 1.44
---
Log message:
add "A characterization of instruction-level error derating and its implications for error detection"
---
Diffs of the changes: (+55 -0)
2008-06-DSNPDS-ErrorDerating.html | 48 ++++++++++++++++++++++++++++++++++++++
2008-06-DSNPDS-ErrorDerating.pdf | 0
pubs.js | 7 +++++
3 files changed, 55 insertions(+)
Index: llvm-www/pubs/2008-06-DSNPDS-ErrorDerating.html
diff -c /dev/null llvm-www/pubs/2008-06-DSNPDS-ErrorDerating.html:1.1
*** /dev/null Sun Jun 28 10:59:39 2009
--- llvm-www/pubs/2008-06-DSNPDS-ErrorDerating.html Sun Jun 28 10:59:26 2009
***************
*** 0 ****
--- 1,48 ----
+ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+ <html>
+ <head>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+ <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen">
+ <title>A characterization of instruction-level error derating and its implications for error detection</title>
+ </head>
+ <body>
+
+ <div class="pub_title">
+ A characterization of instruction-level error derating and its implications for error detection
+ </div>
+ <div class="pub_author">
+ Jeffrey J. Cook and Craig Zilles
+ </div>
+
+ <h2>Abstract:</h2>
+ <blockquote>
+ Instruction-level derating encompasses the mechanisms by which computation on incorrect values can result in correct computation. We characterize the instruction-level derating that occurs in the SPEC CPU2000 INT benchmarks, classifying it (by source) into six categories: value comparison, sub-word operations, logical operations, overflow/precision, lucky loads, and dynamically-dead values. We also characterize the temporal nature of this derating, demonstrating that the effects of a fault persist in architectural state long after the last time they are referenced. Finally, we demonstrate how this characterization can be used to avoid unnecessary error recoveries (when a fault will be masked by software anyway) in the context of a dual modular redundant (DMR) architecture.
+ </blockquote>
+
+ <h2>Published:</h2>
+ <blockquote>
+ "A characterization of instruction-level error derating and its implications for error detection"
+ <br>
+ Jeffrey J. Cook and Craig Zilles.
+ <br>
+ <i>
+ IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN'08)
+ </i>, June 2008.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+ <li><a href="2008-06-DSNPDS-ErrorDerating.pdf">
+ A characterization of instruction-level error derating and its implications for error detection
+ </a> (PDF)</li>
+ </ul>
+
+ <!-- *********************************************************************** -->
+ <hr>
+ <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
+ src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
+ <a href="http://validator.w3.org/check/referer"><img
+ src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+
+ </body>
+ </html>
Index: llvm-www/pubs/2008-06-DSNPDS-ErrorDerating.pdf
Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.43 llvm-www/pubs/pubs.js:1.44
--- llvm-www/pubs/pubs.js:1.43 Sun Jun 28 10:43:42 2009
+++ llvm-www/pubs/pubs.js Sun Jun 28 10:59:27 2009
@@ -259,6 +259,13 @@
month: 6,
year: 2008},
+ {url: '2008-06-DSNPDS-ErrorDerating.html',
+ title: "A characterization of instruction-level error derating and its implications for error detection",
+ author: "Jeffrey J. Cook and Craig Zilles",
+ published: "IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN'08)",
+ month: 6,
+ year: 2008},
+
{url: '2008-05-CoVaC.html',
title: 'CoVaC: Compiler Validation by Program Analysis of the Cross-Product',
author: 'Anna Zaks and Amir Pnueli',
More information about the llvm-commits
mailing list