操作系统2-2教材.ppt

第2章 进程管理;2.4 进程通信;2.4.1 进程互斥;几个进程若共享同一临界资源，它们必须以互斥的方式使用这个临界资源，即当一个进程正在使用临界资源且尚未使用完毕时，则其他进程必须推迟对该资源的进一步操作，在当前进程的使用完成之前，不能从中插进去使用这个临界资源，否则将会造成信息混乱和操作出错。 ;2.4.2 进程同步; 2.4.3 用锁操作原语实现互斥 ;进程A 进程B. .. .. .lock (w); lock(w);打印信息 Si 打印信息 Sjunlock(w); unlock(w);;a. 信号量（Semaphore） ;b. P、V操作原语 ; V（S）；顺序执行下述两个动作： ;1.互斥Pa Pb. .. .. .P(mutex) P(mutex)分配打印机 释放打印机（读写分配表） （读写分配表）V(mutex) V(mutex) ;利用信号量和P、V操作实现互斥的一般模型是： ;?2. 用P、V原语实现简单同步 ;2.4.6 生产者-消费者问题; 下面给出基于环形缓冲区的生产者与消费者关系的形式描述，设： （1）公用信号量mutex：初值为1，用于实现临界区互斥。 （2）生产者私用信号量empty：初值为n，指示空缓冲块数目。 （3）消费者私用信号量full：初值为0，指示满缓冲块数目。 （4）指针in指示首空缓冲块，out指示首满缓冲块。;?; ; ;2.5 经典进程同步问题;解题步骤：（1）确定进程的个数及工作。本题只有读写两类进程。 （2）确定信号量的个数、含义及PV操作。本题应当设置2个信号量和1个共享变量：count为共享变量，记录当前正在读数据库的进程数目；rmutex为读互斥信号量，使进程互斥地访问共享变量count，其初值为1；对于写进程与读进程、写进程与写进程来说，数据库是临界资源，一次只能被一个进程使用。所以设置wmutex为互斥信号量，其初值为“1”。所以，本题有两个临界资源：共享变量count和数据库，对它们要实施互斥操作。 ;（3）用类C语言描述同步关系。算法描述如下： int rmutex=1; int wmutex=1; count=0; cobegin reader() writer() coend; reader() { while(1) { P(rmutex); /* 获取对count变量的操作 */ if (count==0) P(wmutex); /* 当第一个读进程读数据库时，竞争数据库*/ count++; V(rmutex); /* 释放对count变量的操作 */ 读数据库； P(rmutex); /* 获取对count变量的操作 */ count--; if (count==0) V(wmutex); /* 当最后一个读进程读完数据库时，释放数据库*/ V(rmutex); /* 释放对count变量的操作 */ } }; writer() { while (1) { P(wmutex); /* 获取对数据库的操作 */ 写数据库； V(wmutex); /* 释放对数据库的操作 */ } };【例2】 有五个哲学家，他们的生活方式是交替地进行思考和进餐。他们共用一张圆桌，分别坐在五张椅子上。在圆桌上有五个碗和五支筷子，平时一个哲学家进行思考，饥饿时便试图取用其左、右最靠近他的筷子，只有在他拿到两支筷子时才能进餐。进餐毕，放下筷子又继续思考。 哲学家进餐问题可看作是并发进程并发执行时，处理共享资源的