[llvm-commits] [www-pubs] r98802 - in /www-pubs/trunk: 2010-03-ASPLOS-SpeculativeParallelization.html 2010-03-ASPLOS-SpeculativeParallelization.pdf pubs.js

Wed Mar 17 23:06:24 PDT 2010

Author: resistor
Date: Thu Mar 18 01:06:23 2010
New Revision: 98802

URL: http://llvm.org/viewvc/llvm-project?rev=98802&view=rev
Log:
Add a paper from this year's ASPLOS.

Added:
    www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.html
    www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.pdf   (with props)
Modified:
    www-pubs/trunk/pubs.js

Added: www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.html?rev=98802&view=auto
==============================================================================

--- www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.html (added)
+++ www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.html Thu Mar 18 01:06:23 2010
@@ -0,0 +1,49 @@
+<!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>Speculative Parallelization using Software Multi-Threaded Transactions</title>
+</head>
+<body>
+
+<div class="pub_title">
+  Speculative Parallelization using Software Multi-Threaded Transactions
+</div>
+<div class="pub_author">
+ Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August
+</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>
+  "Speculative Parallelization using Software Multi-Threaded Transactions"
+  <br>
+  Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August.
+  <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-03-ASPLOS-SpeculativeParallelization.pdf">
+  Speculative Parallelization using Software Multi-Threaded Transactions
+  </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>

Added: www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.pdf
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.pdf?rev=98802&view=auto
==============================================================================
Binary file - no diff available.

Propchange: www-pubs/trunk/2010-03-ASPLOS-SpeculativeParallelization.pdf
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=98802&r1=98801&r2=98802&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Thu Mar 18 01:06:23 2010
@@ -1,12 +1,19 @@
 // The array should be sorted reverse-chronologically, and will be displayed on
 // the page in the order listed.
 var PUBS = [
+  {url: "2010-03-ASPLOS-SpeculativeParallelization.html",
+   title: "Speculative Parallelization using Software Multi-Threaded Transactions",
+   published: "Proc. of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '10)",
+   author: "Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August",
+   location: "Pittsburgh, PA",
+   month: 3,
+   year: 2010},
   {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,
+   month: 3,
    year: 2010},
 
   {url: "2010-01-Wennborg-Thesis.html",



