semaphore - 如何使用信号量来描述优先图？

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