RACE CONDITION TESTING VIA A SCHEDULING TEST PROGRAM

摘要

Disclosed herein are methods, systems, and software to enhance the testing of race conditions in programs. In one example, a method of testing race conditions in a target program with one or more concurrent processes includes generating a scheduling program based on race conditions identified in the target program, wherein the scheduling program includes order of operation rules for the one or more concurrent processes. The method further provides initiating execution of the scheduling program, and executing the target program based on the order of operation rules for the one or more concurrent processes.

主权项

1. A method of operating a computing system to test race conditions in a target program, the method comprising:
executing a scheduler program, the scheduler program comprising order of operation rules for testing race conditions in the target program based on the race conditions in the target program; initiating execution of the target program, wherein the target program comprises one or more concurrent processes; and executing each concurrent process in the one or more concurrent processes based on the order of operation rules for the target program, wherein the order of operation rules control operation of the one or more concurrent processes to test the race conditions in the target program.