The race condition detection using the graph of joint thread execution

Computer Systems and Software

The method to detect race conditions between threads, which use a shared memory is presented. This method is applicable when incorrect behaviour of a program could be determined by a final state of threads' execution. For these instances it allows finding guaranteed all the race conditions without full search of cases of joint thread execution.