Event synchronization analysis for debugging parallel programs
Perry A. Emrath, S. Chosh, David Padua · 1989
One of the major difficulties of explicit parallel programming for a shared memory machine model is detecting the potential for nondeterminacy and identifying its causes. There will often be shared variables in a parallel program, and the tasks comprising the program may need to be synchronized when accessing these variables.