操作系统考试课程重点中国海洋大学.docVIP

进程的同步与应用（第二章）： 生产者——消费者问题 in:=(in+1) mod n;输入指针加1；(in+1) mod n = out;缓冲池满； out:=(out+1) mod n;输出指针加1；in = out;缓冲池空； count = 0,生产者向缓冲池中投放一个产品count+1，反之消费者从缓冲池中取走有一个产品则count-1; Var 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 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 parend end 思路2 利用AND信号量解决 可避免因为wait顺序书写错误，引发的死锁问题 方法 生产者: … Swait(empty,mutex); buffer[in] := nextp; in := (in + 1) mod n; Ssignal(mutex,full); 消费者: Swait(full,mutex); nextc := buffer[out]; out := (out + 1) mod n; Ssignal(mutex,empty); … 哲学家问题: 思路1 利用记录型信号量 方法 var chopstick:array[0,…,4] of semaphore; 所有信号量初始值为1； repeat //第i个哲学家的活动 wait(chopstick[i]); //拿左筷子 wait(chopstick[(i+1) mod 5]); //拿右筷子 吃饭; signal(chopstick[i]); //放左筷子 signal(chopstick[(i+1) mod 5]); //放右筷子 思考; until false; 思路2 利用AND型信号量 方法 var chopstick: array[0,…,4] of semaphore; 所有信号量全部初始化为1; repeat Swait(chopstick[i], chopstick[(i+1) mod 5]); 吃饭; Ssignal(chopstick[(i+1) mod 5], chopstick[i]); 思考； until false; 读者——写者问题： rmutex, wmutex :semaphore :=1,1; readcount :integer :=0; 读者进程： begin repeat wait(rmutex); if readcount=0 then wait(wmutex); readcount := readcount + 1; signal(rmutex