Detecting Nondeterminism in Shared Memory Parallel Programs
Detecting Nondeterminism in Shared Memory Parallel Programs
Anne Dinning
The book Detecting Nondeterminism in Shared Memory Parallel Programs was written by author Anne Dinning Here you can read free online of Detecting Nondeterminism in Shared Memory Parallel Programs book, rate and share your impressions in comments. If you don't know what to write, just answer the question: Why is Detecting Nondeterminism in Shared Memory Parallel Programs a good or bad book?
What reading level is Detecting Nondeterminism in Shared Memory Parallel Programs book?
To quickly assess the difficulty of the text, read a short excerpt:
Similarly, the assignment to y in the first statement does not cause am anomaly since this write is always performed before either read. However, because both concurrent iterates write the variable X, these accesses to X are ainomalous. The final value assigned to X is either 2, 3 or 4 depending on the relative execution speed of the concurrent threads. An access cinomfily is a specific mstzince of a generaJ type of behavior in parallel progTiims known as a race condition. A race condition exis...ts when the execution of two operations that are not independent Ccin occur in either order during the execution of a program. WhUe certcdn race conditions do not cifFect the outcome of progTcims and are safe (e. G. The nondeterministic order in which a lock is greinted), access anomalies often introduce nondeterminism that modifies execution results. It is essenticd that access anomalies cire detected and reported to the user or support enviroimient. Perhaps the most important reason is that access anomedies are usually bugs.
User Reviews: