System, Method and Apparatus for Hybrid Prevention of Security Vulnerabilities due to Race Conditions
Publication Date: 2014-Jul-30
The IP.com Prior Art Database
Race conditions are the cause of subtle functional bugs in multithreaded software systems. Beyond functional problems, race conditions can also potentially lead to security vulnerabilities. In a case of multiple possible interleavings, the decision which of the interleavings to execute is made nondeterministically by the runtime thread scheduler. Hence, it is legitimate to intervene in the case where the ?bad? interleaving arises. The resulting concurrent execution is an admissible one.