Browsing by Subject "Data Race"

Now showing items 1-2 of 2

    • Dynamatic: An OpenMP Race Detection Tool Combining Static and Dynamic Analysis 
      Davis, Matthew James; Theriot, Dylan
      Data races are a type of bug in concurrent programming which can result in unexpected program behavior. When multiple threads modify the same memory location in parallel, a data race occurs. Detecting these races is a ...
    • Static Race Detection Tool for GoLang 
      Sanders, Lorna
      The built-in race detection tool works dynamically, so it finds races at runtime which can lead to false negatives. The static race detection tool on the other hand analyzes all code regardless of what happens on one ...