第三章部分习题解析.doc

第3章 部分习题答案 3.2. 为什么进程在进入临界区之前，应先执行进入区代码，在退出临界区后又执行退出区代码? 为了实现多个进程对临界资源的互斥访问，必须在临界区前面增加一段用于检查欲访问的临界资源是否正被访问的代码，如果未被访问，该进程便可进入临界区对资源进行访问，并设置正被访问标志，如果正被访问，则本进程不能进入临界区，实现这一功能的代码成为进入区代码；在退出临界区后，必须执行退出区代码，用于恢复未被访问标志. 3.3 同步机构应遵循哪些基本准则?为什么? a. 空闲让进.b. 忙则等待.c. 有限等待.d. 让权等待. 3.6你认为整型信号量机制和记录型信号量机制，是否完全遵循了同步机构的四条准则? a. 在整型信号量机制中，未遵循让权等待的准则.b. 记录型信号量机制完全遵循了同步机构的空闲让进,忙则等待,有限等待,让权等待四条准则. 3.9 在生产者－消费者问题中，如果缺少了signal(full)或signal(empty),对执行结果会有何影响? 生产者－消费者问题可描述如下: var mutex,empty,full: semaphore:=1,n,0; buffer: array[0,...,n-1] of item; in,out: integer:=0,0; begin parbegin producer: begin repeat . . produce an item in nextp; . . wait(empty); wait(mutex); buffer(in):=nextp; in:=(in+1) mod n; signal(mutex); /* ************** */ signal(full); /* ************** */ until false; end consumer: begin repeat wait(full); wait(mutex); nextc:=buffer(out); out:=(out+1) mod n; signal(mutex); /* ************** */ signal(empty); /* ************** */ consume the item in nextc; until false; end parend end 可见，生产者可以不断地往缓冲池送消息，如果缓冲池满，就会覆盖原有数据，造成数据混乱.而消费者始终因wait(full)操作将消费进程直接送入进程链表进行等待，无法访问缓冲池,造成无限等待. 3.10在生产者－消费者问题中，如果将两个wait操作即wait(full)和wait(mutex)互换位置；或者是将signal(mutex)与signal(full)互换位置结果会如何? var mutex,empty,full: semaphore:=1,n,0; buffer: array[0,...,n-1] of item; in,out: integer:=0,0; begin parbegin producer: begin repeat . . produce an item in nextp; . . wait(empty); wait(mutex); buffer(in):=nextp; in:=(in+1) mod n; /* ***************** */ signal(full); signal(mutex); /* ***************** */ until false; end consumer: begin repeat /* **************** */ wait(mutex); wait(full); /* **************** */ nextc:=buffer(out); out:=(out+1) mod n; signal(mutex); signal(empty); consume the item in nextc; until false; end parend end wait(full)和wait(mutex)互换位置后，因为mutex在这儿是全局变量，执行完wait(mutex)，则mutex赋值为0，倘若full也为0，则该生产者进程就会转入进程链表进行等待，而生产者进程会因全局变量mutex为0而进行等待，使full始终为0，这样就形成了死锁. 而signal(mutex)与signal(full)互换位置后，从逻辑上来说应该是一样的. 3.11 我们为某临界区设置一把锁W，当W=1时，表示关锁；W=0时，表示锁已打开.试写出开锁原语和关锁原语，并利用它们去实现互斥. 开锁原语: unlock