[llvm-commits] [www-pubs] r118857 - in /www-pubs/trunk: 2010-10-OSDI-BypassingRaces.html 2010-10-OSDI-BypassingRaces.pdf 2010-10-OSDI-DeterministicMT.html 2010-10-OSDI-DeterministicMT.pdf pubs.js
Chris Lattner
sabre at nondot.org
Thu Nov 11 15:38:49 PST 2010
Author: lattner
Date: Thu Nov 11 17:38:49 2010
New Revision: 118857
URL: http://llvm.org/viewvc/llvm-project?rev=118857&view=rev
Log:
add two more OSDI papers using LLVM.
Added:
www-pubs/trunk/2010-10-OSDI-BypassingRaces.html
www-pubs/trunk/2010-10-OSDI-BypassingRaces.pdf (with props)
www-pubs/trunk/2010-10-OSDI-DeterministicMT.html
www-pubs/trunk/2010-10-OSDI-DeterministicMT.pdf (with props)
Modified:
www-pubs/trunk/pubs.js
Added: www-pubs/trunk/2010-10-OSDI-BypassingRaces.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-10-OSDI-BypassingRaces.html?rev=118857&view=auto
==============================================================================
--- www-pubs/trunk/2010-10-OSDI-BypassingRaces.html (added)
+++ www-pubs/trunk/2010-10-OSDI-BypassingRaces.html Thu Nov 11 17:38:49 2010
@@ -0,0 +1,52 @@
+<!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>Bypassing Races in Live Applications with Execution Filters</title>
+</head>
+<body>
+
+<div class="pub_title">
+ Bypassing Races in Live Applications with Execution Filters
+</div>
+<div class="pub_author">
+ Jingyue Wu, Heming Cui, Junfeng Yang
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+<p>
+Deployed multithreaded applications contain many races because these applications are difficult to write, test, and debug. Worse, the number of races in deployed applications may drastically increase due to the rise of multicore hardware and the immaturity of current race detectors.</p>
+
+<p>LOOM is a "live-workaround" system designed to quickly and safely bypass application races at runtime. LOOM provides a flexible and safe language for developers to write execution filters that explicitly synchronize code. It then uses an evacuation algorithm to safely install the filters to live applications to avoid races. It reduces its performance overhead using hybrid instrumentation that combines static and dynamic instrumentation.</p>
+
+<p> We evaluated LOOM on nine real races from a diverse set of six applications, including MySQL and Apache. Our results show that (1) LOOM can safely fix all evaluated races in a timely manner, thereby increasing application availability; (2) LOOM incurs little performance overhead; (3) LOOM scales well with the number of application threads; and (4) LOOM is easy to use.
+</p>
+</blockquote>
+
+<h2>Published:</h2>
+<blockquote>
+ "Bypassing Races in Live Applications with Execution Filters"<br>
+ Jingyue Wu, Heming Cui, Junfeng Yang<br>
+<i>In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10),</i>
+Vancouver, BC, Canada, Oct 2010
+</blockquote>
+
+<h2>Download:</h2>
+<h3>Paper:</h3>
+<ul>
+ <li><a href="2010-10-OSDI-BypassingRaces.pdf">
+ Bypassing Races in Live Applications with Execution Filters
+ </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-10-OSDI-BypassingRaces.pdf
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-10-OSDI-BypassingRaces.pdf?rev=118857&view=auto
==============================================================================
Binary file - no diff available.
Propchange: www-pubs/trunk/2010-10-OSDI-BypassingRaces.pdf
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Added: www-pubs/trunk/2010-10-OSDI-DeterministicMT.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-10-OSDI-DeterministicMT.html?rev=118857&view=auto
==============================================================================
--- www-pubs/trunk/2010-10-OSDI-DeterministicMT.html (added)
+++ www-pubs/trunk/2010-10-OSDI-DeterministicMT.html Thu Nov 11 17:38:49 2010
@@ -0,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>Stable Deterministic Multithreading through Schedule Memoization</title>
+</head>
+<body>
+
+<div class="pub_title">
+ Stable Deterministic Multithreading through Schedule Memoization
+</div>
+<div class="pub_author">
+ Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+<p>
+A deterministic multithreading (DMT) system eliminates nondeterminism in thread scheduling, simplifying the development of multithreaded programs. However, existing DMT systems are unstable; they may force a program to (ad)venture into vastly different schedules even for slightly different inputs or execution environments, defeating many benefits of determinism. Moreover, few existing DMT systems work with server programs whose inputs arrive continuously and nondeterministically.</p>
+
+<p>TERN is a stable DMT system. The key novelty in TERN is the idea of schedule memoization that memoizes past working schedules and reuses them on future inputs, making program behaviors stable across different inputs. A second novelty in TERN is the idea of windowing that extends schedule memoization to server programs by splitting continuous request streams into windows of requests. Our TERN implementation runs on Linux. It operates as user-space schedulers, requiring no changes to the OS and only a few lines of changes to the application programs. We evaluated TERN on a diverse set of 14 programs (e.g., Apache and MySQL) with real and synthetic workloads. Our results show that TERN is easy to use, makes programs more deterministic and stable, and has reasonable overhead.
+</p>
+</blockquote>
+
+<h2>Published:</h2>
+<blockquote>
+ "Stable Deterministic Multithreading through Schedule Memoization"<br>
+ Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang<br>
+<i>In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10),</i>
+Vancouver, BC, Canada, Oct 2010
+</blockquote>
+
+<h2>Download:</h2>
+<h3>Paper:</h3>
+<ul>
+ <li><a href="2010-10-OSDI-DeterministicMT.pdf">
+ Stable Deterministic Multithreading through Schedule Memoization
+ </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-10-OSDI-DeterministicMT.pdf
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-10-OSDI-DeterministicMT.pdf?rev=118857&view=auto
==============================================================================
Binary file - no diff available.
Propchange: www-pubs/trunk/2010-10-OSDI-DeterministicMT.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=118857&r1=118856&r2=118857&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Thu Nov 11 17:38:49 2010
@@ -9,6 +9,24 @@
month: 10,
year: 2010
},
+
+ [{ url: "2010-10-OSDI-DeterministicMT.html",
+ title: "Stable Deterministic Multithreading through Schedule Memoization",
+published: "Proc. of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)",
+location: "Vancouver, BC, Canada",
+ author: "Heming Cui and Jingyue Wu and Chia-che Tsai and Junfeng Yang",
+ month: 10,
+ year: 2010
+ },
+
+ [{ url: "2010-10-OSDI-BypassingRaces.html",
+ title: "Bypassing Races in Live Applications with Execution Filters",
+published: "Proc. of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)",
+location: "Vancouver, BC, Canada",
+ author: "Jingyue Wu, Heming Cui, Junfeng Yang",
+ month: 10,
+ year: 2010
+ },
{url: "2010-09-HASKELLSYM-LLVM-GHC.html",
title: "An LLVM Backend for GHC",
More information about the llvm-commits
mailing list