操作系统2-2概要.ppt

第2章 进程管理 2.4 进程通信 2.4.1 进程互斥 2.4.2 进程同步 2.4.3 用锁操作原语实现互斥 2.4.4 信号量上的P、V操作 2.4.5 用 P、V操作实现简单同步 2.4.6 生产者-消费者问题 2.4.1 进程互斥 系统中同时存在有许多进程，它们共享各种资源，然而有些资源每次只能让一个进程所使用，称为临界资源。 临界区是一个进程访问临界资源的那段程序代码。 有了临界资源和临界区的概念，进程间的互斥可以描述为禁止两个或两个以上的进程同时进入访问同一临界资源的临界区。 几个进程若共享同一临界资源，它们必须以互斥的方式使用这个临界资源，即当一个进程正在使用临界资源且尚未使用完毕时，则其他进程必须推迟对该资源的进一步操作，在当前进程的使用完成之前，不能从中插进去使用这个临界资源，否则将会造成信息混乱和操作出错。 2.4.2 进程同步 并发执行的多个进程，看起来好像是异步前进的，彼此之间都可以互不相关的速度向前推进，而实际上每一个进程在其运行过程中并非相互隔绝。一方面它们相互协作以达到运行用户作业所预期的目的，另一方面它们又相互竞争使用系统中有限的资源。 同步是进程间共同完成一项任务时直接发生相互作用的关系，也就是说，这些具有伙伴关系的进程在执行的时间次序上必须遵循确定的规律。 2.4.6 生产者-消费者问题 Dijkstra把广义同步问题抽象成一种“生产者与消费者问题”（Producer-consumer-relationship）的抽象模型。 下面给出基于环形缓冲区的生产者与消费者关系的形式描述，设： （1）公用信号量mutex：初值为1，用于实现临界区互斥。 （2）生产者私用信号量empty：初值为n，指示空缓冲块数目。 （3）消费者私用信号量full：初值为0，指示满缓冲块数目。 （4）指针in指示首空缓冲块，out指示首满缓冲块。 2.5 经典进程同步问题 【例1】某数据库有一个写进程、多个读进程，它们之间读、写操作的互斥要求是：写进程运行时，其他读、写进程不能对数据库进行操作。读进程之间不互斥，可以同时读数据库。请用信号量及PV操作描述这一组进程的工作过程。 解题步骤：（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】 有五个哲学家，他们的生活方式是交替地进行思考和进餐。他们共用一张圆桌，分别坐在五张椅子上。在圆桌上有五个碗和五支筷子，平时一个哲学家进行思考，饥饿时便试图取用其左、右最靠近他的筷子，只有在他拿到两支筷子时才能进餐。进餐毕，放下筷子又继续思考。 哲学家进餐问题可看作是并发进程并发执行时，处理共享资源的一个有代表性的问题。 【解】 semaphore stick[5]={1,1,1,1,1}; /*分别表示5支筷子*/ Main() { cobegin philosopher(0); philosopher(1); philosopher(2); philosopher(3); ph