Racetrack problem

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Concurrency_control/JWnmhVd5">Concurrency control</a></li>
<li><a href="/facts/Deadlock_(computer_science)/YDpdfnPP">Deadlock</a></li>
<li><a href="/facts/Synchronization/L39sYwbr">Synchronization</a></li>
<li><a href="/facts/Therac-25/9QNxTmtC">Therac-25</a></li></ul>
<h2 id="external-links">External links</h2>
<ul><li><a href="http://doi.ieeecomputersociety.org/10.1109/32.57622">Starvation and Critical Race Analyzers for Ada</a></li>
<li>Paper "<a href="http://citeseer.ist.psu.edu/251866.html">Algorithms for the Optimal State Assignment of Asynchronous State Machines</a>" by Robert M. Fuhrer, Bill Lin and Steven M. Nowick</li>
<li>Paper "<a href="http://citeseer.ist.psu.edu/11804.html">A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications</a>" by Luciano Lavagno, Cho W. Moon, <a href="/facts/Robert_K._Brayton/nXDA6pv0">Robert K. Brayton</a> and <a href="/facts/Alberto_Sangiovanni-Vincentelli/guEN8Uz2">Alberto Sangiovanni-Vincentelli</a></li>
<li>Article "<a href="http://www-128.ibm.com/developerworks/linux/library/l-sprace.html">Secure programmer: Prevent race conditions—Resource contention can be used against you</a>" by David A. Wheeler</li>
<li>Chapter "<a href="https://web.archive.org/web/20090216151332/http://www.asta.va.fh-ulm.de/LDP/HOWTO/Secure-Programs-HOWTO/avoid-race.html">Avoid Race Conditions</a>" (Secure Programming for Linux and Unix HOWTO)</li>
<li><a href="https://web.archive.org/web/20070926215258/http://chiralsoftware.com/blog/Race-condition-vulnerability-in-syscall-wrappers-fa3e57c594119803.html">Race conditions, security, and immutability in Java</a>, with sample source code and comparison to C code, by Chiral Software</li></ul>

Racetrack problem open-in-new

Racetrack problem