操作系统进程描述及控制2.pptxVIP

2.5 经典进程的同步问题;一、“生产者—消费者”问题; 1.记录型信号量解决“生产者—消费者”问题;int in=0,out=0; item buffer[n]; semaphore mutex=1，empty=n，full=0； void proceducer() { do { producer an item nextp； 　　　　　　　　　…　　　　 　　　　　 wait(empty)； wait(mutex); buffer[in]=nextp； 　　　　　　in=(in+1) % n； 　　　　　　signal(mutex)； 　　　　　　signal(full)； }while(TRUE); };“生产者-消费者”问题中应注意;　　2．利用AND信号量解决生产者—消费者问题 　 对于生产者—消费者问题，也可利用AND信号量来解决，即 用Swait(empty，mutex)来代替wait(empty)和wait(mutex)； 用Ssignal(mutex，full)来代替signal(mutex)和signal(full)； 用Swait(full，mutex)来代替wait(full)和wait(mutex)， 以及用Ssignal(mutex，empty)代替Signal(mutex)和Signal(empty)。 利用AND信号量来解决生产者—消费者问题的算法描述如下： ;int in=0,out=0; item buffer[n]; semaphore mutex=1，empty=n，full=0； void proceducer() { do { producer an item nextp； 　　　　　　　　　…　　　　 　　　　　 Swait(empty ,mutex); buffer[in]=nextp； 　　　　　　in=(in+1) % n； 　　　　　　Ssignal(mutex,full)； 　 }while(TRUE); };3.用管程机制解决生产者—消费者问题; 过程cwait和csignal对条件变量notfull和notempty进行操作 （1） cwait(condition) 当管程被一个进程占用时，其他进程调用该过程时阻塞，并挂在条件condition队列上 （2） csignal(condition) 唤醒在cwait执行后阻塞在条件condition队列上的进程，如果这样的进程不止一个，则选择其中一个实施唤醒操作；如果队列为空，则无操作而返回。; PC管程可描述如下;生产者——消费者描述;二、“哲学家进餐”问题;;所有信号量均被初始化为1，第i位哲学家的活动可描述为： 　　do{ 　　　　wait(chopstick[i])； 　　　　wait(chopstick[(i+1)% 5])； 　　　　　　 　　　　eat； 　　　　　　 　　　　signal(chopstick[i])； 　　　　signal(chopstick[(i+1)% 5])； 　　　　　　 　　　　think； 　}while(TRUE);;三、“读者—写者”问题; “读者—写者??问题的解决;读者—写者问题可描述如下: 　　semaphore rmutex=1，wmutex=1； 　　　　int readcount=0； 　　void reader(){　　　 do{ wait(rmutex)； 　　　　　if (readcount==0) wait(wmutex)； 　　　　　readcount++； 　　　　　signal(rmutex)； 　　　　　perform read operation； 　　　　　wait(rmutex)； 　　　　　readcount--； 　　　　　if (readcount==0 ) signal(wmutex)； 　　　　　signal(rmutex)； 　　　　　}while(TRUE)； };利用信号量集机制解决读者—写着问题 最多只允许RN个读者同时读 int RN; sem