Mingdong Feng and Charles E. Leiserson. Efficient detection of determinacy races in Cilk programs. Submitted for publication. Available at URL "ftp://theory.lcs.mit.edu/pub/cilk/spbags.ps.gz", January 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Release Notes - Cilk- Beta (Correct)
....than in Cilk 4. Cilk 5 can use operating system threads as well as processes as the scheduling abstraction. Using operating system threads solves some of the I O naming problems that are present in the process version. Also included in this release is a debugging tool, called the Nondeterminator [12], which helps Cilk programmers to localize determinacy race bugs in their code. To date, prototype applications developed in Cilk include graphics rendering, protein folding [24] backtracking search, N body simulation, and dense and sparse ma3 trix computations. Our largest application effort is ....
....available for debugging beyond Cilk assert. Segregating the nondeterministic from the deterministic part of your program, however, should greatly narrow your debugging focus. 2.8. 2 Using the Nondeterminator The Nondeterminator is a debugging tool to help users detect and locate determinacy races [12, 23] in their Cilk programs. A determinacy race is a cause of nonde 8 Of course, the Cilk compiler and runtime system contain no bugs. int x; cilk int main( F cilk void foo( x = 0; e 0 spawn foo( F 1 int tmp; e 1 spawn foo( F 2 tmp = x 1; e 2 x = ....
[Article contains additional citation context not shown here]
Mingdong Feng and Charles E. Leiserson. Efficient detection of determinacy races in Cilk programs. Submitted for publication. Available at URL "ftp://theory.lcs.mit.edu/pub/cilk/spbags.ps.gz", January 1997.
Cilk 5.2 Reference Manual - Supercomputing Technologies Self-citation (Available) (Correct)
....system threads as well as processes to implement the individual Cilk workers that schedule Cilk threads. Using operating system threads solves some of the I O naming problems that are present in the process version. Also included in this release is a debugging tool called the Nondeterminator [14, 10], which can help Cilk programmers to localize data race bugs in their code. 1.3. ABOUT THIS MANUAL 5 To date, prototype applications developed in Cilk include graphics rendering (ray tracing and radiosity) protein folding [26] backtracking search, N body simulation, and dense and sparse matrix ....
....equivalents. For example, with cilk compat.h included, malloc is an alias for Cilk malloc. See Section 6.14.1 for a complete list of aliased functions. Chapter 9 The Nondeterminator The Nondeterminator is a debugging tool to help users detect and locate data race bugs in their Cilk programs [14, 10]. A data race occurs when two logically parallel threads access the same memory location while holding no locks in common, and at least one of the threads writes the location. The Nondeterminator runs a Cilk program with a given input serially and then examines the generated computation dag for ....
Mingdong Feng and Charles E. Leiserson. Efficient detection of determinacy races in Cilk programs. Submitted for publication. Available at URL "ftp://theory.lcs.mit.edu/pub/cilk/spbags.ps.gz", January 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC