计算机操作系统第三版汤子瀛课后习题答案(好的)(8)

18. 同步机构应遵循哪些基本准则？为什么？

答：同步机构应遵循的基本准则是：空闲让进、忙则等待、有限等待、让权等待原因：为实现进程互斥进入自己的临界区。

19. 试从物理概念上说明记录型信号量wait 和signal。

答：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

until false；

end

process 2: begin

repeat

wait(mutex)；

critical section

signal(mutex)；

remainder section

until false；

end

parend

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新工程科技计算机操作系统第三版汤子瀛课后习题答案(好的)(8)全文阅读和word下载服务。