如何使用信號量來描述優先圖？

Question

如何使用信號量來描述上述一般 優先圖的八個過程的同步？

Answer 1

p1  p2  p3  p4  p5  p6  p7  p8 
============================================================================= 
    .   .   .   .   .  .   .   . 
    work  .   .   .   .  .   .   . 
    |   .   .   .   .  .   .   . 
V(s1, 3) P(s1)  .   .  P(s1)  .  P(s1)  . 
    x   |   .   .   |  .   |   . 
      work  .   .   |  .   |   . 
       |   .   .   |  .   |   . 
      V(s2, 2) P(s2)  P(s2)  work  .   |   . 
       x   |   |   |  .   |   . 
         |  work  |  .   work  . 
         |   |   |  .   |   . 
         work V(s3, 1) V(s3, 1) P(s3)  |   . 
         |   x   x  P(s3)  |   . 
         |        |   |   . 
         |       work  |   . 
         |        |   |   . 
        V(s4, 1)      V(s4, 1) V(s4, 1) P(s4) 
         x        x   x  P(s4) 
                     P(s4) 
                      | 
                     work 
                      | 
                      x