操作系统第6讲new解读.pptx

第六讲 经典进程的同步问题（2） 2017年4月10日0时46分 本次课程主要内容 经典进程的同步问题 读者-写者问题 进程同步 管程机制 经典进程的同步问题 生产者消费者问题（管程） 哲学家进餐问题 2017年4月10日0时46分 2 2017年4月10日0时46分 3 。。。。 。。。。 生产者进程 消费者进程 n个(0，1，…，n-1) in out 生产者-消费者问题回顾 2017年4月10日0时46分 4 Var mutex，empty，full: semaphore:=1,n,0； 　　buffer:array[0，…，n-1] of item； 　　in，out: integer:=0，0； 　　begin 　　　parbegin 　　　 2017年4月10日0时46分 5 proceducer: begin 　　　　　　　repeat 　　　　　　　 … 　　　　　　　producer an item nextp； 　　　　　　　 …　　　 　　　　　　　wait(empty)； wait(mutex)； 　　　　　　 buffer(in):=nextp； 　　　　　　　in:=(in+1) mod n； 　　　　　　　signal(mutex)； 　　　　　　　signal(full)； 　　　　　　　until false； 　　　　　end 　procedure wait(S) 　　　var S：semaphore； 　　　begin 　　　　S.value:=S.value-1； 　　　　if S.value0 then block(S.L)； 　　　end 　procedure signal(S) 　　　var S: semaphore； 　　　begin　　　　　 S.value:=S.value+1； 　　　 if S.value=0 then wakeup(S.L)； 　　　end 2017年4月10日0时46分 6 consumer: begin 　　　　　repeat 　　　　　　　wait(full)； 　　　　　　　wait(mutex)； 　　　　　　　nextc:=buffer(out)； out:=(out+1) mod n； 　　　　　　　signal(mutex)； 　　　　　　　signal(empty)； 　　　　　　　consumer the item in nextc； 　　　　　　　until false； 　　　　end 　procedure wait(S) 　　　var S：semaphore； 　　　begin 　　　　S.value:=S.value-1； 　　　　if S.value0 then block(S.L)； 　　　end 　procedure signal(S) 　　　var S: semaphore； 　　　begin　　　　　 S.value:=S.value+1； 　　　 if S.value=0 then wakeup(S.L)； 　　　end 2.4 经典进程同步问题 2017年4月10日0时46分 7 2.4.3 读者-写者问题 文件 Writer进程 Reader进程1 Reader进程2 Reader进程n … Writer进程 Var rmutex，wmutex: semaphore:=1,1； 　　Readcount: integer:=0； 2017年4月10日0时46分 8 Reader: begin 　　repeat 　　　wait(rmutex)； 　　 if readcount=0 then wait(wmutex)； 　　　　Readcount:=Readcount+1； 　　　signal(rmutex)； 　　　perform read operation； 　　　　　　　　　　　 　　　wait(rmutex)； 　　　readcount:=readcount-1； 　　　if readcount=0 then signal(wmutex)； 　　　signal(rmutex)； 　　until false； … … 　procedure wait(S) 　　　var S：semaphore； 　　　begin 　　　　S.value:=S.value-1； 　　　　if S.value0 then block(S.L)； 　　　end 　procedure signa