Home

Ensuring Deterministic Concurrency through Compilation

Nalini Vasudevan; Stephen A. Edwards

Title:
Ensuring Deterministic Concurrency through Compilation
Author(s):
Vasudevan, Nalini
Edwards, Stephen A.
Date:
Type:
Articles
Department:
Computer Science
Permanent URL:
Book/Journal Title:
Proceedings of the 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and PhD Forum (IPDPSW): Atlanta, (Georgia) USA, April 19-23, 2010
Publisher:
IEEE
Publisher Location:
Piscataway, N.J.
Abstract:
Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does not depend merely on the input, but also on scheduling choices taken by the operating system. In this paper, we discuss and propose additional tools that provide determinism guarantees-compilers that generate deterministic code, libraries that provide deterministic constructs, and analyzers that check for determinism. Additionally, we discuss techniques to check for problems like deadlock that can result from the use of these deterministic constructs.
Subject(s):
Computer science
Publisher DOI:
http://dx.doi.org/10.1109/IPDPSW.2010.5470803
Item views:
104
Metadata:
View

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.