[llvm-commits] CVS: llvm-www/pubs/2009-04-SCOPES-SimulationOfInterruptsWithRollback.html 2009-04-SCOPES-SimulationOfInterruptsWithRollback.pdf pubs.js

Fri Jun 26 23:35:16 PDT 2009

Changes in directory llvm-www/pubs:

2009-04-SCOPES-SimulationOfInterruptsWithRollback.html added (r1.1)
2009-04-SCOPES-SimulationOfInterruptsWithRollback.pdf added (r1.1)
pubs.js updated: 1.17 -> 1.18
---
Log message:

add "Precise simulation of interrupts using a rollback mechanism"


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

 2009-04-SCOPES-SimulationOfInterruptsWithRollback.html |   64 +++++++++++++++++
 2009-04-SCOPES-SimulationOfInterruptsWithRollback.pdf  |    0 
 pubs.js                                                |    8 ++
 3 files changed, 72 insertions(+)


Index: llvm-www/pubs/2009-04-SCOPES-SimulationOfInterruptsWithRollback.html
diff -c /dev/null llvm-www/pubs/2009-04-SCOPES-SimulationOfInterruptsWithRollback.html:1.1
*** /dev/null	Sat Jun 27 01:34:26 2009

--- llvm-www/pubs/2009-04-SCOPES-SimulationOfInterruptsWithRollback.html	Sat Jun 27 01:34:16 2009
***************
*** 0 ****
--- 1,64 ----
+ <!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>Precise simulation of interrupts using a rollback mechanism</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+ Precise simulation of interrupts using a rollback mechanism
+ </div>
+ <div class="pub_author">
+   Florian Brandner
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ Instruction set simulation based on dynamic compilation is a popular approach that focuses on fast simulation of user-visible features according to the instruction-set-architecture abstraction of a given processor. Simulation of interrupts, even though they are rare events, is very expensive for these simulators, because interrupts may occur anytime at any phase of the programs execution. Many optimizations in compiling simulators can not be applied or become less beneficial in the presence of interrupts.<p>
+ 
+ We propose a rollback mechanism in order to enable effective optimizations to be combined with cycle accurate handling of interrupts. Our simulator speculatively executes instructions of the emulated processor assuming that no interrupts will occur. At restore-points this assumption is verified and the processor state reverted to an earlier restore-point if an interrupt did actually occur. All architecture dependent simulation functions are derived using an architecture description language that is capable to automatically generate optimized simulators using our new approach.<p>
+ 
+ We are able to eliminate most of the overhead usually induced by interrupts. The simulation speed is improved up to a factor of 2.95 and compilation time is reduced by nearly 30% even for lower compilation thresholds.
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+ "Precise simulation of interrupts using a rollback mechanism"<br>
+ Florian Brandner<br>
+ <i>
+ Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems (SCOPES'09)
+ </i>, Nice, France, April 2009.
+ </blockquote>
+ 
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2009-04-SCOPES-SimulationOfInterruptsWithRollback.pdf">
+   Precise simulation of interrupts using a rollback mechanism
+   </a> (PDF)</li>
+ </ul>
+ 
+ <h2>BibTeX Entry:</h2>
+ <pre>
+ @inproceedings{1543833,
+  author = {Brandner, Florian},
+  title = {Precise simulation of interrupts using a rollback mechanism},
+  booktitle = {SCOPES '09: Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems},
+  year = {2009},
+  isbn = {978-1-60558-696-0},
+  pages = {71--80},
+  location = {Nice, France}},
+  }
+ </pre>
+ 
+ <!-- *********************************************************************** -->
+ <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-04-SCOPES-SimulationOfInterruptsWithRollback.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.17 llvm-www/pubs/pubs.js:1.18
--- llvm-www/pubs/pubs.js:1.17	Sat Jun 27 01:20:02 2009
+++ llvm-www/pubs/pubs.js	Sat Jun 27 01:34:16 2009
@@ -41,6 +41,14 @@
    month: 5,
    year: 2009},
 
+  {url: '2009-04-SCOPES-SimulationOfInterruptsWithRollback.html',
+   title: 'Precise simulation of interrupts using a rollback mechanism',
+   author: 'Florian Brandner',
+   published: "Proc. of the 12th International Workshop on Software and Compilers for Embedded Systems (SCOPES'09)",
+   location: "Nice, France",
+   month: 4,
+   year: 2009},
+
   {url: '2009-03-CGO-ESoftCheck.html',
    title: 'ESoftCheck: Removal of Non-vital Checks for Fault Tolerance',
    author: 'Jing Yu, Maria Jesus Garzaran, Marc Snir',




