Methods and apparatus to manage concurrent predicate expressions

摘要

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.

主权项

1. A method to detect a concurrency violation, comprising:
inserting a first condition hook into a first thread, the first condition hook located in compiled code of the first thread and associated with a first condition that is defined by a non-compiled instruction external to the compiled code of the first thread; inserting a second condition hook into a second thread, the second condition hook located in compiled code of the second thread and associated with a second condition that is defined by the non-compiled instruction external to the compiled code of the second thread; preventing the second thread from executing until the first condition is satisfied; and identifying a concurrency violation when the second condition is satisfied.