K Serebryany, T Iskhodzhanov - Proceedings of the workshop on binary …, 2009 - dl.acm.org
Data races are a particularly unpleasant kind of threading bugs. They are hard to find and reproduce--you may not observe a bug during the entire testing cycle and will only see it in …
TG Mattson, B Sanders, B Massingill - 2004 - books.google.com
The Parallel Programming Guide for Every Software Developer From grids and clusters to next-generation game consoles, parallel computing is going mainstream. Innovations such …
CE Leiserson - Proceedings of the 46th Annual Design Automation …, 2009 - dl.acm.org
The availability of multicore processors across a wide range of computing platforms has created a strong demand for software frameworks that can harness these resources. This …
R O'callahan, JD Choi - Proceedings of the ninth ACM SIGPLAN …, 2003 - dl.acm.org
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in …
Multithreaded programming is notoriously difficult to get right. A key problem is non- determinism, which complicates debugging, testing, and reproducing errors. One way to …
JD Choi, K Lee, A Loginov, R O'Callahan… - Proceedings of the …, 2002 - dl.acm.org
We present a novel approach to dynamic datarace detection for multithreaded object- oriented programs. Past techniques for on-the-fly datarace detection either sacrificed …
M Xu, R Bodik, MD Hill - Proceedings of the 30th annual international …, 2003 - dl.acm.org
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature---a faithful …
M Ronsse, K De Bosschere - ACM Transactions on Computer Systems …, 1999 - dl.acm.org
This article presents a practical solution for the cyclic debugging of nondeterministic parallel programs. The solution consists of a combination of record/replay with automatic on-the-fly …
We have developed a multithreaded implementation of breadth-first search (BFS) of a sparse graph using the Cilk++ extensions to C++. Our PBFS program on a single processor …