哈工大张英涛操作系统视频对应课件第9-10讲(全.pptVIP

用信号量实现互斥 Var mutex:semaphore:=1; Begin Parbegin Process1:begin repeat wait(mutex); critical section signal(mutex); remainder section until false; end; Process2:begin repeat wait(mutex); critical section signal(mutex); remainder section until false; end; parend 在实现互斥时应注意 wait(mutex)和signal(mutex)必须成对地出现。 缺wait(mutex)将会引起系统混乱，不能保证对临界资源的互斥访问 缺signal(mutex)将会使该临界资源永久不被释放 经典的同步问题 生产者一消费者问题 读者一写者问题 哲学家进餐问题 生产者一消费者问题 一组生产者进程生产产品给一组消费者进程消费。为使他们并发执行，设一个有n个缓冲区的缓冲池，生产者一次向一个缓冲区中投入消息．消费者从一个缓冲区中取得消息。生产者一消费者问题实际上是相互合作进程关系的一种抽象。 制约关系 不允许消费者进程到一个空缓冲区中取产品 不允许生产者进程到一个已满且还没被取走的缓冲区中投放产品 例如 在输入时，输入进程是生产者，计算进程是消费者； 在输出时，计算进程是生产者，打印进程是消费者。 用记录型信号量解决生产者一消费者问题 设有n个缓冲区，每个缓冲区存放一个消息，用互斥信号量mutex对缓冲池实现互斥访问； 利用资源信号量empty和full分别表示缓冲池中空缓冲区及满缓冲区的数量．又假定这些生产者和消费者相互等效，只要缓冲池未满，生产者便可将消息送入缓冲池；只要缓冲池未空，消费者便可从缓冲池取走一个消息。 Var mutex:semaphore:=1; empty:semaphore:=n; full:semaphore:=0; buffer:array[0,…,n-1] of item; in,out:integer:=0,0; Procedure:begin repeat … procedure 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);