现在考虑上题的正确解法，如下所示： 1 semaphore

1 semaphore mutex =1, block = 0;     /*share vatiables : semaphores    */
2 int active = 0, waiting = 0;        /*counters, and     */
3 boolean must_wait = false;        /* state information    */
4
5 semWait (mutex);                 /*Enter the mutual exclusion    */
6 if (must_wait){                /* If there are ( or were) 3 , then    */
7     ++waiting;                /* we must wait , but we must leave     */
8     semSignal (mutex);            /* the mutual exclusion first     */
9     semWait (block);            /* Wait for all current users to depart     */
10 } else {
11         ++active;                /* Update active count , and remember    */
12         must_wait = active == 3;        /* if the count reached 3    */
13         semsignal (mutex);            /* Leave the mutual exclusion    */
14 }
15 
16 /* critical section * /
17 
18 semWait (mutex);                /* Enter mutual exclusion    */
19 --active ;                    /* and update the active count     */
20 if ( active == 0){                    /* Last one to leave?    */
21     int n;
22 if (waiting < 3) n = waiting;
23     else n = 3;                /* If so, unblock up to 3    */
24     waiting -= n;                    /* Deduct this number from waiting count */
25     active = n;                    /* and set active to this number */
26     while (n > 0){                    /* Now unblock the processes */
27         semsignal (block );            /* onte by one */
28             --n;
29 }
30 must_wait = false;                        /* All active process have left    */
}
semSignal (mutex);                        /* Leave the mutual exclusion    */