Browse Prior Art Database

System, Method and Apparatus for Hybrid Prevention of Security Vulnerabilities due to Race Conditions

IP.com Disclosure Number: IPCOM000238065D
Publication Date: 2014-Jul-30

Publishing Venue

The IP.com Prior Art Database

Abstract

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.