Methods and apparatus to manage concurrent predicate expressions

• US 9,830,196 B2
• Filed: 08/24/2015
• Issued: 11/28/2017
• Est. Priority Date: 03/14/2013
• Status: Active Grant

• Current Assignee: Intel Corporation
• Original Assignee: Intel Corporation
• Inventors: Gottschlich, Justin E., Pereira, Cristiano Ligieri, Pokam, Gilles, Wu, Youfeng
• Primary Examiner(s): Chavis, John
• Application Number:
  US14/833,315
• Publication Number:
  US 20150363242A1
• Time in Patent Office: 827 Days
• Field of Search: 718106
• CPC Class Codes: G06F 11/3632 of specific synchronisation aspects
• CPC Class Codes: G06F 9/52 Program synchronisation; Mutual exclusion, e.g. by means of semaphores

Abstract

Methods, apparatus, systems and articles of manufacture are disclosed to manage concurrent predicate expressions. An example method discloses inserting a first condition hook into a first thread, the first condition hook associated with a first condition, inserting a second condition hook into a second thread, the second condition hook associated with a second condition, preventing the second thread from executing until the first condition is satisfied, and identifying a concurrency violation when the second condition is satisfied.

Claims

1. A method implemented by one or more processors, comprising:

populating, with at least one of the processors, a non-compiled auxiliary file with a first predicate expression;

inserting, with at least one of the processors, a first condition hook into a first thread and a second condition hook into a second thread, the first condition hook invoking the first predicate expression during execution of the first thread, and the second condition hook invoking the first predicate expression during execution of the second thread;

when the first predicate expression is not satisfied at a first time, replacing, with at least one of the processors, the first predicate expression in the non-compiled auxiliary file with a second predicate expression; and

invoking, with at least one of the processors, the second predicate expression during execution of the first and the second thread at a second time to identify a predicate order responsible for a thread concurrency error.

2. The computer implemented method as defined in claim 1, wherein the first predicate expression includes a first predicate and a second predicate in a first order.

3. The computer implemented method as defined in claim 2, further including identifying a thread concurrency error when the first order is satisfied during execution of the first thread and during execution of the second thread at the first time.

4. The computer implemented method as defined in claim 2, further including determining whether the first predicate expression is satisfied at the first time by:

stalling the first thread in response to detecting the first predicate is satisfied; and

determining whether the second predicate is satisfied in the second thread.

5. The computer implemented method as defined in claim 4, further including identifying the predicate order causing the thread concurrency error when the second predicate is satisfied in the second thread.

6. The computer implemented method as defined in claim 5, further including generating a warning message to identify a location of the thread concurrency error.

7. The computer implemented method as defined in claim 2, wherein the first order requires that the first predicate is satisfied prior to the second predicate being satisfied, and the first predicate stays satisfied while the second predicate is satisfied.

8. The computer implemented method as defined in claim 2, wherein the first order requires that the first predicate is satisfied prior to the second predicate being satisfied, and the first predicate is at least one of satisfied or not satisfied when determining whether the second predicate is satisfied.

9. The computer implemented method as defined in claim 1, wherein the first thread and the second thread are not compiled when the second predicate expression is evaluated at the second time.

10. An apparatus to identify a predicate order responsible for a thread concurrency error, the apparatus comprising:

at least one processor; and

memory, the memory to store computer program instructions, the computer program instructions when executed by the at least one processor cause the at least one processor to implement;

a concurrent predicate expression (CPE) engine to;

populate a non-compiled auxiliary file with a first predicate expression;

insert a first condition hook into a first thread and a second condition hook into a second thread, the first condition hook to invoke the first predicate expression during execution of the first thread, and the second condition hook to invoke the first predicate expression during execution of the second thread;

when the first predicate expression is not satisfied at a first time, replace the first predicate expression in the non-compiled auxiliary file with a second predicate expression; and

a sequence count manager to invoke the second predicate expression during execution of the first and the second thread at a second time to identify a predicate order responsible for a thread concurrency error.

11. The apparatus as defined in claim 10, wherein the first predicate expression includes a first predicate and a second predicate in a first order.

12. The apparatus as defined in claim 11, wherein the sequence count manager is to identify a thread concurrency error when the first order is satisfied during execution of the first thread and during execution of the second thread at the first time.

13. The apparatus as defined in claim 11, further including a thread monitor to stall the first thread in response to detecting the first predicate is satisfied, and the sequence count manager to determine whether the second predicate is satisfied in the second thread to identify whether the first predicate expression is satisfied at the first time.

14. The apparatus as defined in claim 13, wherein the sequence count manager is to identify the predicate order causing the thread concurrency error when the second predicate is satisfied in the second thread.

15. The apparatus as defined in claim 14, further including a predicate state analyzer to generate a warning message to identify a location of the thread concurrency error.

16. At least one tangible computer readable storage medium comprising instructions, which when executed, cause at least one machine to at least:

populate a non-compiled auxiliary file with a first predicate expression;

insert a first condition hook into a first thread and a second condition hook into a second thread, the first condition hook invoking the first predicate expression during execution of the first thread, and the second condition hook invoking the first predicate expression during execution of the second thread;

when the first predicate expression is not satisfied at a first time, replace the first predicate expression in the non-compiled auxiliary file with a second predicate expression; and

invoke the second predicate expression during execution of the first and the second thread at a second time to identify a predicate order responsible for a thread concurrency error.

17. The at least one computer readable storage medium as defined in claim 16, wherein the instructions, when executed, cause the at least one machine to identify a thread concurrency error when a first order is satisfied during execution of the first thread and during execution of the second thread at the first time.

18. The at least one computer readable storage medium as defined in claim 16, wherein the instructions, when executed, cause the at least one machine to determine whether the first predicate expression is satisfied at the first time by:

stalling the first thread in response to detecting a first predicate is satisfied; and

determining whether a second predicate is satisfied in the second thread.

19. The at least one computer readable storage medium as defined in claim 18, wherein the instructions, when executed, cause the at least one machine to identify the predicate order causing the thread concurrency error when the second predicate is satisfied in the second thread.

20. The at least one computer readable storage medium as defined in claim 19, wherein the instructions, when executed, cause the at least one machine to generate a warning message to identify a location of the thread concurrency error.