Use semaphores to describe the synchronization of the processes in the precedence graph shown. Use one line for each process that runs, to show the relationship to the others that are involved. After initializing the semaphores, and starting with process p1, the first line would read as shown below:

//initialize the global semaphores first

cobegin

p1(run); V(s1); V(s1) V(s1);

P2 P3 P5 P4 P6 P7 P8