title: Critical section with sephamores
body: <ol>
  <li><p>Take this pseudo code,</p>
  
  <pre><code>Semaphore S &lt;- 0 
  non-critical section 
  wait(S)
  critical section 
  signal(S)
  </code></pre></li>
  </ol>
  
  <p>Does this solution to the critical section problem support mutual exclusion only?</p>
  
  <p>I know that there is no freedom from deadlock since the critical section is never reached, however would that also mean that it does not support mutual exclusion. </p>