Implementing S as a Binary Semaphore

• Data structures:

  binary-semaphore S1, S2;

  int C: 

• Initialization:

  S1 = 1

  S2 = 0

  C = initial value of semaphore S