计算机操作系统课后习题答案(第三版) 汤小丹(7)

计算机操作系统(第三版)汤小丹 梁红兵 汤小瀛西安电子科技大学出版社

答：wait(S)：当S.value>0 时，表示目前系统中这类资源还有可用的。执行一次wait 操作，意味着进程请求一个单位的该类资源，使系统中可供分配的该类资源减少一个，因此描述为S.value:=S.value-1；当S.value<0时，表示该类资源已分配完毕，进程应调用block原语自我阻塞，放弃处理机，并插入到信号量链表S.L中。

signal(S)：执行一次signal操作，意味着释放一个单位的可用资源，使系统中可供分配的该类资源数增加一个，故执行S.value:=S.value+1 操作。若加1 后S.value≤0，则表示在该信号量链表中，仍有等待该资源的进程被阻塞，因此应调用wakeup 原语，将S.L链表中的第一个等待进程唤醒。

20．你认为整型信号量机制是否完全遵循了同步机构的四条准则？

答：整型信号量机制不完全遵循同步机制的四条准则，它不满足“让权等待”准则。

21．如何利用信号量机制来实现多个迚程对临界资源的互斥访问？并丼例说明之。

答：为使多个进程互斥访问某临界资源，只需为该资源设臵一互斥信号量mutex，并设其

初值为1，然后将各进程访问该资源的临界区CS臵于wait(mutex)和signal(mutex)操作

之间即可。这样，每个欲访问该临界资源的进程在进入临界区之前，都要先对mutex 执行

wait 操作，若该资源此刻未被访问，本次wait 操作必然成功，进程便可进入自己的临界区，

这时若再有其他进程也欲进入自己的临界区，此时由于对mutex 执行wait操作定会失败，

因而该进程阻塞，从而保证了该临界资源能被互斥访问。当访问临界资源的进程退出临界区

后，应对mutex执行signal 操作，释放该临界资源。利用信号量实现进程互斥的进程描述

如下：

Var mutex: semaphore:=1；

begin

parbegin

process 1: begin

repeat

wait(mutex)；

critical section

signal(mutex)；

remainder seetion