第七章 操作系统作业答案.docVIP

第二章 进程管理——P82-83 22题：（b） Var a,b,c,d,e,f,g,h,i,j:semaphore:=0,0,0,0,0,0,0,0; Begin Parbegin Begin S1:signal(a);signal(b);end; Begin wait(a);S2;signal(c);signal(d);end; Begin wait(b);S3;signal(e);signal(f);end; Begin wait(c);S4;signal(g);end; Begin wait(d);S5;signal(h);end; Begin wait(e);S6;signal(i);end; Begin wait(f);S7;signal(j);end; Begin wait(g);wait(h);wait(i);wait(j);S8;end; Parend; End; 23题： 如果缺少了signal(full)或signal(empty)操作，生产者可以不断地往缓冲池送消息，如果缓冲池满，就会覆盖原有数据，造成数据混乱.而消费者因wait(full)操作将消费进程直接送入进程链表进行等待，无法访问缓冲池,造成无限等待。 24题： wait(full)和wait(mutex)互换位置后,因为mutex在这儿是全局变量,执行完wait(mutex),则mutex赋值为0,倘若full也为0,则该生产者进程就会转入进程链表进行等待,而生产者进程会因全局变量mutex为0而进行等待,使full始终为0,这样就形成了死锁。 而signal(mutex)与signal(full)互换位置后,从逻辑上来说应该是一样的。 25题： 开锁原语: 　　unlock(W): 　　W=0; 　　关锁原语: 　　lock(W); 　　if(W==1) do no_op; 　　W=1; 　　利用开关锁原语实现互斥: 　　var W: semaphore:=0; 　　begin 　　parbegin 　　process : 　　begin 　　repeat 　　lock(W); 　　critical section 　　unlock(W); 　　remainder section 　　until false; 　　end parend 26题： 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 27题： 设初始值为1的信号量c[I]表示I号筷子被拿(I=1,2,3,4,...,2n),其中n为自然数. send(I): 　　Begin 　　if I mod 2==1 then 　　{ 　　P(c[I]); 　　P(c[I+1 mod n]); 　　Eat; 　　V(c[I+1 mod n]); 　　V(c[I]); 　　} 　　else 　　{ 　　P(c[I+1 mod n]); 　　P(c[I]); 　　Eat; 　　V(c[I]); 　　V(c[I+1 mod n]); 　　} 　　End 28题： int mutex=1; 　　int empty=n; 　　int full=0; 　　int in=0; 　　int out=0; 　　main() 　　{ 　　cobegin 　　send(); 　　coend 　　} 　　send() 　　{ 　　while(1) 　　{ . . 　　collect data in nextp; 　　. . 　　wait(empty); 　　wait(mutex); 　　buffer(in)=nextp; 　　in=(in+1) mod n;