操作系统第6讲new.pptx

第六讲经典进程的同步问题（2） 本次课程主要内容经典进程的同步问题读者-写者问题进程同步管程机制经典进程的同步问题生产者消费者问题（管程）哲学家进餐问题生产者-消费者问题回顾生产者进程outn个(0，1，…，n-1)。。。。。。。。消费者进程inVar mutex，empty，full: semaphore:=1,n,0；　buffer:array[0，…，n-1] of item；　in，out: integer:=0，0；　begin　parbegin　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 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 经典进程同步问题Reader进程1Writer进程文件Reader进程2…Writer进程Reader进程nVar rmutex，wmutex: semaphore:=1,1；　Readcount: integer:=0；2.4.3 读者-写者问题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 signal(S)　var S: semaphore；　begin S.value:=S.value+1； if S.value=0 then wakeup(S.L)；　end …　procedure wait(S)　var S：semaphore；　begin　S.value:=S.value-1；　if S.value0 then block(S.L)；　end writer: begin　repeat　wait(wmutex)；　perform write operation；　signal(wmutex)；　until false；end　procedure signal(S)　var S: semaphore；　begin S.value:=S.value+1； if S.value=0 then wakeup(S.L)；　end 2.3.4　管程机制 虽然信号量机制是一种即方便、又有效的进程同步机制，但每个要访问临街资源的进程都需要自备同步操作wait(S)和signal(S)。这使的大量的同步操作分散在各个进程