Name:______________________________________________________________

1. What is the initial value of the semaphore array s[] and WHY?

2. Where are the forks? That is, how are the forks implemented.

3. Why is the state variable set to hungry in the procedure take_forks?
   Last modified Mar, 3 by mike@cs.hmc.edu