semaphore这是操作系统课程的平时积累第一章 引论操作(3)

答：如果缺少signal(full)，那么表明从第一个生产者进程开始就没有改变信号量full 值，即使缓冲池产品已满，但full 值还是0，这样消费者进程执行wait(full)时认为缓冲池是空而取不到产品，消费者进程一直处于等待状态。如果缺少signal(empty)，在生产者进程向n个缓冲区投满产品后消费者进程才开始从中取产品，这时empty=0，full=n，那么每当消费者进程取走一个产品empty 值并不改变，直到缓冲池取空了，empty 值也是0，即使目前缓冲池有n 个空缓冲区，生产者进程要想再往缓冲池中投放产品也会因为申请不到空缓冲区被阻塞。

答：将wait(full)和wait(mutex)互换位置后，可能引起死锁。考虑系统中缓冲区全满时，若一生产者进程先执行了wait(mutex)操作并获得成功，则当再执行wait(empty)操作时，它将因失败而进入阻塞状态，它期待消费者进程执行signal(empty)来唤醒自己，在此之前，它不可能执行signal(mutex)操作，从而使试图通过执行wait(mutex)操作而进入自己的临界区的其他生产者和所有消费者进程全部进入阻塞状态，这样容易引起系统死锁。若signal(mutex)和signal(full)互换位置后只是影响进程对临界资源的释放次序，而不会引起系统死锁，因此可以互换位置。

答：

producer:
    begin
        repeat
            …
            producer an item in nextp;
            wait(mutex);
            wait(full); /* 应为wait(empty),而且还应该在wait(mutex)的前面 */
            buffer(in):=nextp;
            /* 缓冲池数组游标应前移: in:=(in+1) mod n; */
            signal(mutex);
            /* signal(full); */
        until false;
    end

consumer:
    begin
        repeat
            wait(mutex);
            wait(empty); /* 应为wait(full),而且还应该在wait(mutex)的前面 */
            nextc:=buffer(out);
            out:=out+1; /* 考虑循环，应改为: out:=(out+1) mod n; */
            signal(mutex);/* signal(empty); */
            consumer item in nextc;
        until false;
    end

答：

Var chopstick:array[0,…,4] of semaphore;所有信号量均被初始化为1，第i 位哲学家的活动可描述为：
    Repeat
        Wait(chopstick[i]);
        Wait(. chopstick[(i+1) mod 5]);
        …
        Ea.t ;
        …
        Signal(chopstick[i]);
        Signal(chopstick[(i+1) mod 5])
        Ea.t ;
        …
        Think;
    Until false;

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-74326-3.html