Data-Race Detection in TransactionsEverywhere Parallel Programming

Data-Race Detection in TransactionsEverywhere Parallel Programming (2003)

Cached

Download Links

[supertech.csail.mit.edu]

by Kai Huang

Citations:

1 - 0 self

BibTeX

@MISC{Huang03data-racedetection,
    author = {Kai Huang},
    title = {Data-Race Detection in TransactionsEverywhere Parallel Programming},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Certified by

Citations

8879	Computers and Intractability: A guide to the Theory of NP-Completeness - Garey, Johnson - 1979
660	Wait-free synchronization - Herlihy - 1991
597	Transactional memory: Architectural support for lock-free data structures - Herlihy, Moss - 1993
540	Introduction to Algorithms, Second Edition - Cormen, Leiserson, et al. - 2001
431	Cilk: an efficient multithreaded runtime system - Blumofe, Joerg, et al. - 1991
414	Software transactional memory - Shavit, Touitou - 1995
413	Introduction to the Theory of Computation - Sipser - 1996
295	A methodology for implementing highly concurrent data objects - Herlihy - 1993
285	Fast algorithms for finding nearest common ancestors - Harel, Tarjan - 1984
248	The implementation of the Cilk-5 multithreaded language - Frigo, Leiserson, et al. - 1998
161	On finding lowest common ancestors: simplification and parallelization - Schieber, Vishkin - 1988
144	The LCA problem revisited - Bender, Farach-Colton - 2000
109	Concurrent reading and writing - Lamport - 1977
103	An empirical comparison of monitoring algorithms for access anomaly detection - Dinning, Schonberg - 1990
93	An architecture for mostly functional languages - Knight - 1986
79	Detecting access anomalies in programs with critical sections - Dinning, Schonberg - 1991
75	Detecting data races in cilk programs that use locks - Cheng, Feng, et al. - 1998
65	A mechanism for efficient debugging of parallel programs - Miller, Choi - 1988
62	Executing Multithreaded Programs Efficiently - Blumofe - 1995
48	On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions - Netzer, Miller - 1990
42	Efficient detection of determinacy races in Cilk programs - Feng, Leiserson - 1997
41	Event synchronization analysis for debugging parallel programs - Emrath, Ghosh, et al. - 1991
39	The Cilk System for Parallel Multithreaded Computing - Joerg - 1996
32	Tools for the efficient development of efficient parallel programs - Nudler, Rudolph - 1986
26	Analyzing traces with anonymous synchronization - Helmbold, McDowell, et al. - 1990
23	E cient race condition detection for shared-memory programs with post/wait synchronization - Netzer, Ghosh - 1992
22	Mehlhorn, Friedhelm Meyer auf der - Dietzfelbinger, Karlin, et al. - 1994
13	What are race conditions - Netzer, Miller - 1992
8	Software transactional memory for supporting dynamic data structures - Herlihy, Luchangco, et al. - 2003
8	Transactional support for lock-free data structures - Herlihy, Moss - 1992
6	Detecting parallel access anomalies - Fenster - 1998
6	Raymie Stata. Extended static checking home page - Nelson, Leino, et al. - 1996
5	Algorithms for data-race detection in multithreaded programs - Cheng - 1998
5	Paratran: A transparent, transaction based runtime mechanism for parallel execution of scheme - KATZ - 1989
5	Debugging multithreaded programs that incorporate userlevel locks - Stark - 1998
1	2002. [27] John Mellor-Crummey. "On-the-Fly Detection of Data Races for Programs with Nested ForkJoin Parallelism - Cambridge, Massachusetts
1	Atomicity in Parallel Programming. Unpublished manuscript. Supercomputer Technologies Research - M'enier - 2002