[llvm-commits] CVS: llvm-www/pubs/2010-04-ASPLOS-DeterministicCompiler.html 2010-04-ASPLOS-DeterministicCompiler.pdf pubs.js

Tue Dec 22 14:13:37 PST 2009

Changes in directory llvm-www/pubs:

2010-04-ASPLOS-DeterministicCompiler.html added (r1.1)
2010-04-ASPLOS-DeterministicCompiler.pdf added (r1.1)
pubs.js updated: 1.84 -> 1.85
---
Log message:

Add a publication to appear in ASPLOS'10.


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

 2010-04-ASPLOS-DeterministicCompiler.html |   50 ++++++++++++++++++++++++++++++
 2010-04-ASPLOS-DeterministicCompiler.pdf  |    0 
 pubs.js                                   |    8 ++++
 3 files changed, 58 insertions(+)


Index: llvm-www/pubs/2010-04-ASPLOS-DeterministicCompiler.html
diff -c /dev/null llvm-www/pubs/2010-04-ASPLOS-DeterministicCompiler.html:1.1
*** /dev/null	Tue Dec 22 16:12:39 2009

--- llvm-www/pubs/2010-04-ASPLOS-DeterministicCompiler.html	Tue Dec 22 16:12:25 2009
***************
*** 0 ****
--- 1,50 ----
+ <!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>CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution
+ </div>
+ <div class="pub_author">
+  Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, and Dan Grossman
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ <p>The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in the execution of multithreaded programs. This severely complicates many tasks, including debugging, testing, and automatic replication. In this work, we avoid these complications by eliminating their root cause: we develop a compiler and runtime system that runs arbitrary multithreaded C/C++ POSIX Threads programs deterministically.</p>
+ 
+ <p>A trivial non-performant approach to providing determinism is simply deterministically serializing execution. Instead, we present a compiler and runtime infrastructure that ensures determinism but resorts to serialization rarely, for handling interthread communication and synchronization. We develop two basic approaches, both of which are largely dynamic with performance improved by some static compiler optimizations. First, an ownership-based approach detects interthread communication via an evolving table that tracks ownership of memory regions by threads. Second, a buffering approach uses versioned memory and employs a deterministic commit protocol to make changes visible to other threads. While buffering has larger single-threaded overhead than ownership, it tends to scale better (serializing less often). A hybrid system sometimes performs and scales better than either approach individually.</p>
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+   "CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution"
+   <br>
+   Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, and Dan Grossman.
+   <br>
+ <i>
+ Proc. of the 15th international conference on Architectural Support for Programming Languages and Operating Systems
+ </i>, Pittsburgh, PA, March 2010.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2010-04-ASPLOS-DeterministicCompiler.pdf">
+   CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution
+   </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/2010-04-ASPLOS-DeterministicCompiler.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.84 llvm-www/pubs/pubs.js:1.85
--- llvm-www/pubs/pubs.js:1.84	Sun Nov  8 16:03:24 2009
+++ llvm-www/pubs/pubs.js	Tue Dec 22 16:12:25 2009
@@ -1,6 +1,14 @@
 // The array should be sorted reverse-chronologically, and will be displayed on
 // the page in the order listed.
 var PUBS = [
+  {url: "2010-04-ASPLOS-DeterministicCompiler.html",
+   title: "CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution",
+   published: "Proc. of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '10)",
+   author: "Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, and Dan Grossman",
+   location: "Pittsburgh, PA",
+   month: 4,
+   year: 2010},
+
   {url: "2009-10-TereiThesis.html",
    title: "Low Level Virtual Machine for Glasgow Haskell Compiler",
    published: "Bachelor's Thesis, Computer Science and Engineering Dept., The University of New South Wales",




