Static Analysis of Low-level Synchronization

  title={Static Analysis of Low-level Synchronization},
  author={David Callahan and Jaspal Subhlok},
  booktitle={Workshop on Parallel and Distributed Debugging},
One of the primary reasons debugging shared-memory parallel programs is harder than debugging sequential programs is that the implementation of a parallel program is free to execute tasks in any order and this order might change from one execution of the program to the next. This can lead to unpredictable results if a program depends on this scheduling. This paper deals with static analysis tools for debugging parallel programs; the goal of this analysis is to help identify when and how the… CONTINUE READING
Highly Cited
This paper has 93 citations. REVIEW CITATIONS
46 Extracted Citations
0 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 46 extracted citations

93 Citations

Citations per Year
Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…