[llvm-commits] CVS: llvm-www/pubs/2009-03-ASPLOS-DMP.html 2009-03-ASPLOS-DMP.pdf pubs.js
Chris Lattner
sabre at nondot.org
Sat Jun 27 00:07:53 PDT 2009
Changes in directory llvm-www/pubs:
2009-03-ASPLOS-DMP.html added (r1.1)
2009-03-ASPLOS-DMP.pdf added (r1.1)
pubs.js updated: 1.20 -> 1.21
---
Log message:
add DMP: deterministic shared memory multiprocessing @ ASPLOS'09
---
Diffs of the changes: (+68 -11)
2009-03-ASPLOS-DMP.html | 49 ++++++++++++++++++++++++++++++++++++++++++++++++
2009-03-ASPLOS-DMP.pdf | 0
pubs.js | 30 ++++++++++++++++++-----------
3 files changed, 68 insertions(+), 11 deletions(-)
Index: llvm-www/pubs/2009-03-ASPLOS-DMP.html
diff -c /dev/null llvm-www/pubs/2009-03-ASPLOS-DMP.html:1.1
*** /dev/null Sat Jun 27 02:06:54 2009
--- llvm-www/pubs/2009-03-ASPLOS-DMP.html Sat Jun 27 02:06:44 2009
***************
*** 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>DMP: deterministic shared memory multiprocessing</title>
+ </head>
+ <body>
+
+ <div class="pub_title">
+ DMP: deterministic shared memory multiprocessing
+ </div>
+ <div class="pub_author">
+ Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin
+ </div>
+
+ <h2>Abstract:</h2>
+ <blockquote>
+ Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input, they can produce a different output. This frustrates debugging and limits the ability to properly test multithreaded code, becoming a major stumbling block to the much-needed widespread adoption of parallel programming.<p>
+ In this paper we make the case for fully deterministic shared memory multiprocessing (DMP). The behavior of an arbitrary multithreaded program on a DMP system is only a function of its inputs. The core idea is to make inter-thread communication fully deterministic. Previous approaches to coping with nondeterminism in multithreaded programs have focused on replay, a technique useful only for debugging. In contrast, while DMP systems are directly useful for debugging by offering repeatability by default, we argue that parallel programs should execute deterministically in the field as well. This has the potential to make testing more assuring and increase the reliability of deployed multithreaded software. We propose a range of approaches to enforcing determinism and discuss their implementation trade-offs. We show that determinism can be provided with little performance cost using our architecture proposals on future hardware, and that software-only approaches can be utilize!
d on existing systems.
+
+
+ </blockquote>
+
+ <h2>To Appear:</h2>
+ <blockquote>
+ "DMP: deterministic shared memory multiprocessing"<br>
+ Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin.<br>
+ Proceedings of the Fourteenth International Conference on
+ Architectural Support for Programming Languages and Operating Systems (ASPLOS '09),
+ Washington DC, March, 2009.
+ </blockquote>
+
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+ <li><a href="2009-03-ASPLOS-DMP.pdf">
+ DMP: deterministic shared memory multiprocessing</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-ASPLOS-DMP.pdf
Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.20 llvm-www/pubs/pubs.js:1.21
--- llvm-www/pubs/pubs.js:1.20 Sat Jun 27 01:48:16 2009
+++ llvm-www/pubs/pubs.js Sat Jun 27 02:06:44 2009
@@ -4,7 +4,7 @@
{url: '2009-08-12-UsenixSecurity-SafeSVAOS.html',
title: 'Memory Safety for Low-Level Software/Hardware Interactions',
author: 'John Criswell, Nicolas Geoffray, and Vikram Adve',
- published: "Proceedings of the Eighteenth Usenix Security Symposium",
+ published: "Proc. of the Eighteenth Usenix Security Symposium",
location: "Montreal, Canada",
month: 8,
year: 2009},
@@ -68,20 +68,28 @@
{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 Seventh International Symposium on Code Generation and Optimization (CGO '09)",
+ published: "Proc. of the Seventh International Symposium on Code Generation and Optimization (CGO '09)",
month: 3,
year: 2009 },
+
+ {url: '2009-03-ASPLOS-DMP.html',
+ title: 'DMP: deterministic shared memory multiprocessing',
+ author: 'Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin',
+ published: "Proc. of the Fourteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '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',
- published: "Proceedings of the Fourteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '09)",
+ published: "Proc. of the Fourteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '09)",
month: 3,
year: 2009},
{url: '2009-01-VMCAI-ScalableMemoryModel.html',
title: 'A Scalable Memory Model for Low-Level Code',
author: 'Zvonimir Rakamaric and Alan J. Hu',
- published: 'Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009)',
+ published: 'Proc. of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009)',
location: 'Savannah, GA, USA',
month: 1,
year: 2009},
@@ -89,7 +97,7 @@
{url: '2009-01-ASP-DAC-Automatic_Instrumentation.html',
title: 'Automatic Instrumentation of Embedded Software for High Level Hardware/Software Co-Simulation',
author: 'Aimen Bouchhima, Patrice Gerin, Frederic Petrot',
- published: "Proceedings of the 14th Asia South Pacific Design Automation Conference (ASP-DAC'09)",
+ published: "Proc. of the 14th Asia South Pacific Design Automation Conference (ASP-DAC'09)",
location: 'Yokohama, Japan',
month: 1,
year: 2009},
@@ -237,7 +245,7 @@
{url: '2007-SOSP-SVA.html',
title: 'Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems',
author: 'John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve',
- published: "Proceedings of the Twenty First ACM Symposium on Operating Systems Principles (SOSP '07)",
+ published: "Proc. of the Twenty First ACM Symposium on Operating Systems Principles (SOSP '07)",
award: 'Received an SOSP 2007 Audience Choice Award',
location: 'Stevenson, WA',
month: 10,
@@ -325,7 +333,7 @@
{url: '2006-09-SOC-Synthesis.html',
title: 'Platform-Based Behavior-Level and System-Level Synthesis',
author: 'J. Cong, Y. Fan, G. Han, W. Jiang, and Z. Zhang',
- published: "Proceedings of IEEE International SOC Conference",
+ published: "Proc. of IEEE International SOC Conference",
location: 'pp. 199-202, Austin, Texas',
month: 9,
year: 2006},
@@ -333,7 +341,7 @@
{url: '2006-DSN-DanglingPointers.html',
title: 'Efficiently Detecting All Dangling Pointer Uses in Production Servers',
author: 'Dinakar Dhurjati and Vikram Adve',
- published: "Proceedings of the International Conference on Dependable Systems and Networks (DSN '06)",
+ published: "Proc. of the International Conference on Dependable Systems and Networks (DSN '06)",
location: 'Philadelphia, Pennsylvania',
year: 2006},
@@ -347,14 +355,14 @@
{url: '2006-06-12-PLDI-SAFECode.html',
title: 'SAFECode: Enforcing Alias Analysis for Weakly Typed Languages',
author: 'Dinakar Dhurjati, Sumant, Kowshik, and Vikram Adve',
- published: "Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)",
+ published: "Proc. of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)",
location: 'Ottawa, Canada',
year: 2006},
{url: 'http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html',
title: 'Backwards-Compatible Array Bounds Checking for C with Very Low Overhead',
author: 'Dinakar Dhurjati and Vikram Adve',
- published: "Proceedings of the 28th International Conference on Software Engineering (ICSE '06)",
+ published: "Proc. of the 28th International Conference on Software Engineering (ICSE '06)",
location: 'Shanghai, China',
year: 2006},
@@ -444,7 +452,7 @@
{url: '2005-07-IDEAS-PerfEstimation.html',
title: 'Practical Techniques for Performance Estimation of Processors',
author: 'Abhijit Ray, Thambipillai Srikanthan and Wu Jigang',
- published: "Proceedings of the 9th International Database Engineering & Application Symposium (IDEAS'05)",
+ published: "Proc. of the 9th International Database Engineering & Application Symposium (IDEAS'05)",
month: 7,
year: 2005},
More information about the llvm-commits
mailing list