  <a href="http://www.cs.wisc.edu/~cs537-1/deadlock.html">Continued...</a>  <hr> <a name="footnote"> <sup>1</sup>In the original semaphore, the <samp><font color="0f0fff">up</font></samp> and <samp><font color="0f0fff">down</font></samp> operations were called <samp><font color="0f0fff">V()</font></samp> and <samp><font color="0f0fff">P()</font></samp>, respectively, but people had trouble remembering which was which. Some books call them <samp><font color="0f0fff">signal</font></samp> and <samp><font color="0f0fff">wait</font></samp>, but we will be using those names for other operations later. <p>
