二章进程管理.pptVIP

2. 间接通信方式 (2) 消息的发送和接收。当进程之间要利用信箱进行通信时，必须使用共享信箱，并利用系统提供的下述通信原语进行通信。 Send(mailbox, message); 将一个消息发送到指定信箱； Receive(mailbox, message); 从指定信箱中接收一个消息； * 进 程 的 同 步 * 第二章 进 程 管 理 第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程的同步问题 2.5 管程机制 上节回顾 四种信号量的比较 生产者--消费者问题 两私一公的典型，公用信号量与私用信号量 公用信号量用于资源（变量）互斥，一般在同个过程中 私用信号量用于进程控制，多交叉在不同过程中 先私后公 哲学家就餐问题：AND信号量 1. 利用记录型信号量解决生产者—消费者问题 具有n个缓冲区公用缓冲池中 互斥信号量mutex实现诸进程对缓冲池的互斥使用 信号量empty表示缓冲池中空缓冲区数量。 信号量full表示缓冲池中满缓冲区的数量。 mutex为公用信号量，full与empty与私用信号量 假定这些生产者和消费者相互等效，只要缓冲池未满，生产者便可将消息送入缓冲池；只要缓冲池未空，消费者便可从缓冲池中取走一个消息。 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.4.3 读者-写者问题 1. 利用记录型信号量解决读者-写者问题 互斥信号量Wmutex：实现Reader与Writer进程的互斥 整型变量Readcount表示正在读的进程数目。 仅当Readcount=0, 表示尚无Reader进程在读时，Reader进程才需要执行wait(Wmutex)操作。若wait(Wmutex)操作成功，Reader进程便可去读，相应地，做Readcount+1操作。 仅当Reader进程在执行了Readcount减1操作后其值为0时，才须执行signal(Wmutex)操作，以便让Writer进程写。 因为Readcount是一个可被多个Reader进程访问的临界资源，因此，应该为它设置一个互斥信号量rmutex。 读者-写者问题可描述如下： Var rmutex, wmutex:semaphore∶ =1,1; Readcount:integer∶ =0; begin parbegin READER:begin repeat wait(rmutex); if readcount=0 then wait(wmutex); Readcount∶ =Readcount+1; signal(