Methods and systems to identify and reproduce concurrency violations in multi-threaded programs

A tangible computer readable medium comprising computer readable instructions which, when executed, cause a computer to at least:

• define a first condition inserted into a first thread;
• define a second condition inserted into a second thread;
• determine whether at least one of the first condition or the second condition has been met;
• based on whether at least one of the first condition or the second condition is met, serialize an operation of the first thread relative to an operation of the second thread of a multi-threaded program to cause the concurrency violation to occur, wherein the serializing occurs when the first and second conditions are concurrently met;
• and
• based on the occurrence of the concurrency violation, identify the first thread and the second thread as being responsible for causing the concurrency violation.

An apparatus to identify threads responsible for causing a concurrency violation in a multi-threaded computer program,

• the apparatus comprising:
• memory including computer readable instructions;
• and
• a processor to execute the computer readable instructions, the instructions, when executed to cause the processor to at least:
• define a first condition in a first thread of the multi-threaded program;
• define a second condition in a second thread of the multi-threaded program;
• determine whether at least one of the first or second conditions is met, serialize operations of the first and second threads when at least one of the first or second conditions is met, the serializing of the operations to cause the concurrency violation to occur, wherein the serializing occurs when the first and second conditions are concurrently met;
• and
• based on the occurrence of the concurrency violation, determine the first and second threads are responsible for the concurrency violation.