[llvm-commits] CVS: llvm-www/pubs/2009-03-CGO-ESoftCheck.html 2009-03-CGO-ESoftCheck.pdf pubs.js

Tue Mar 24 17:18:29 PDT 2009

Changes in directory llvm-www/pubs:

2009-03-CGO-ESoftCheck.html added (r1.1)
2009-03-CGO-ESoftCheck.pdf added (r1.1)
pubs.js updated: 1.8 -> 1.9
---
Log message:

Add ESoftCheck from CGO'09.


---
Diffs of the changes:  (+72 -0)

 2009-03-CGO-ESoftCheck.html |   66 ++++++++++++++++++++++++++++++++++++++++++++
 2009-03-CGO-ESoftCheck.pdf  |    0 
 pubs.js                     |    6 ++++
 3 files changed, 72 insertions(+)


Index: llvm-www/pubs/2009-03-CGO-ESoftCheck.html
diff -c /dev/null llvm-www/pubs/2009-03-CGO-ESoftCheck.html:1.1
*** /dev/null	Tue Mar 24 19:16:34 2009

--- llvm-www/pubs/2009-03-CGO-ESoftCheck.html	Tue Mar 24 19:16:23 2009
***************
*** 0 ****
--- 1,66 ----
+ <!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>ESoftCheck: Removal of Non-vital Checks for Fault Tolerance</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+ ESoftCheck: Removal of Non-vital Checks for Fault Tolerance
+ </div>
+ <div class="pub_author">
+   Jing Yu,
+   Maria Jesus Garzaran,
+   Marc Snir
+   <a href="http://www.cs.uiuc.edu/~vadve">Vikram Adve</a>
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ As semiconductor technology scales into the deep 
+ submicron regime the occurrence of transient or soft errors will 
+ increase. This will require new approaches to error detection. 
+ Software checking approaches are attractive because they require 
+ little hardware modiﬁcation and can be easily adjusted to ﬁt different reliability and performance requirements. Unfortunately, 
+ software checking adds a signiﬁcant performance overhead. 
+   
+ In this paper we present ESoftCheck, a set of compiler 
+ optimization techniques to determine which are the vital checks, 
+ that is, the minimum number of checks that are necessary to 
+ detect an error and roll back to a correct program state. ESoftCheck identiﬁes the vital checks on platforms where registers 
+ are hardware-protected with parity or ECC, when there are 
+ redundant checks and when checks appear in loops. ESoftCheck 
+ also provides knobs to trade reliability for performance based 
+ on the support for recovery and the degree of trustiness of the 
+ operations. Our experimental results on a Pentium 4 show that 
+ ESoftCheck can obtain 27.1% performance improvement without 
+ losing fault coverage.
+ 
+ </blockquote>
+ 
+ <h2>To Appear:</h2>
+ <blockquote>
+   "ESoftCheck: Removal of Non-vital Checks for Fault Tolerance"<br>
+   Jing Yu, Maria Jesus Garzaran, and Marc Snir<br>
+   Proceedings of the Seventh International Symposium on
+   Code Generation and Optimization (CGO '09), 
+   Seattle WA, March, 2009.
+ </blockquote>
+ 
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2009-03-CGO-ESoftCheck.pdf">ESoftCheck: Removal of Non-vital Checks for Fault Tolerance</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/2009-03-CGO-ESoftCheck.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.8 llvm-www/pubs/pubs.js:1.9
--- llvm-www/pubs/pubs.js:1.8	Wed Feb 25 22:30:33 2009
+++ llvm-www/pubs/pubs.js	Tue Mar 24 19:16:23 2009
@@ -1,6 +1,12 @@
 // The array should be sorted reverse-chronologically, and will be displayed on
 // the page in the order listed.
 var PUBS = [
+  {url: '2009-03-CGO-ESoftCheck.html',
+   title: 'ESoftCheck: Removal of Non-vital Checks for Fault Tolerance',
+   author: 'Jing Yu, Maria Jesus Garzaran, Marc Snir',
+   published: "Proceedings of the Sevent International Symposium on Code Generation and Optimization (CGO '09)",
+   month: 3,
+   year: 2009 },
   {url: '2009-03-ASPLOS-Recovery.html',
    title: 'Recovery Domains: An Organizing Principle for Recoverable Operating Systems',
    author: 'Andrew Lenharth, Samuel T. King, Vikram Adve',




