Method and device for detecting a race condition
View Patent ↗A method for detecting a race condition, comprising storing a seed value to a first global variable D; detecting a race condition when the second global variable A does not equal a first predefined value V 1, wherein the second global variable A was set to the first predefined value V 1 at the initiation event prior to storing the seed value; storing a second predefined value V 2 to the second global variable A; detecting a race condition when the first global variable D does not equal the seed value; accessing a shared resource; and storing the first predefined variable V 1 to the second global variable A.
1. A method for detecting a race condition, comprising
storing, in a first memory location shared by two or more threads, a seed value to a first global variable;
identifying the race condition in a first instance when a second global variable, stored in a second memory location shared by the two or more threads, does not equal a first predefined value, wherein the second global variable was set to the first predefined value at an initiation event prior to storing the seed value;
in response to not identifying the first race condition in the first instance, storing a second predefined value to the second global variable;
in further response to not identifying the race condition in the first instance, identifying the race condition in a second instance when the first global variable does not equal the seed value;
in response to not identifying the race condition in the second instance, accessing a shared resource; and
in further response to not identifying the race condition in the second instance, storing the first predefined value to the second global variable.
2. The method as claimed in claim 1 , further comprising:
generating a race detected message in response to identifying the race condition in the first instance or in the second instance.
3. The method as claimed in claim 1 , wherein the seed value is provided by a calling thread.
4. A device configured to detect a race condition between threads executing on the device, the device comprising:
a memory, shared by one or more threads, configured to store a seed value to a first global variable;
a shared resource, wherein the shared resource is configured to be shared by the one or more threads;
first and second processors, coupled to the memory and the shared resource, configured to
execute the one or more threads,
identify the race condition in a first instance when a second global variable, stored in the memory, does not equal a first predefined value, wherein the second global variable was set to the first predefined value at an initiation event prior to storing the seed value,
in response to not identifying the race condition in the first instance, store, in the memory, a second predefined value to the second global variable,
in further response to not identifying the race condition in the first instance, identify the race condition in a second instance when the first global variable does not equal the seed value,
in response to not identifying the race condition in the second instance, access the shared resource, and
in further response to not identifying the race condition in the second instance, store the first predefined value to the second global variable.
5. The device as claimed in claim 4 , wherein the first and second processors are further arranged to, generate a race detected message in response to identifying the race condition in the first instance or in the second instance.
6. The device as claimed in claim 4 , wherein a processor of the one or more processors is further arranged to receive the seed value by a calling thread.
7. A non-transitory computer-readable storage medium storing instructions executable by a plurality of processors of a processing unit, the instructions for performing a method, the method comprising:
storing, in a first memory location shared by two or more threads, a seed value to a first global variable;
identifying a race condition in a first instance when a second global variable, stored in a second memory location shared by the two or more threads, does not equal a first predefined value, wherein the second global variable was set to the first predefined value at an initiation event prior to storing the seed value;
in response to not identifying the race condition in the first instance, storing a second predefined value to the second global variable;
in further response to not identifying the race condition in the instance, identifying the race condition in a second instance when the first global variable does not equal the seed value;
in response to not identifying the race condition in the second instance, accessing a shared resource associated with the processing unit; and
in further response to not identifying the race condition in the second instance, storing the first predefined value to the second global variable.
8. The computer-readable storage medium of claim 7 , the method further comprising:
generating a race detected message in response to identifying the race condition in the first instance or in the second instance.
9. The computer-readable storage medium of claim 7 , wherein the seed value is provided by a calling thread.
10. The computer-readable storage medium of claim 7 , wherein the method is executable by each of the two or more threads when accessing the shared resource.
11. The method as claimed in claim 1 , further comprising:
terminating a thread in response to identifying the race condition in the first instance or in the second instance.
12. The device as claimed in claim 4 , wherein the first and second processors are further arranged to terminate operation in response to identifying the race condition in the first instance or in the second instance.
13. The computer-readable storage medium of claim 7 , the method further comprising:
terminating a thread in response to identifying the race condition.