03第三章同步通信与死锁.pptVIP

第三章 同步、通信与死锁 3.1 进程的同步与互斥 在多道程序的环境中，系统中的多个进程可以并发执行，同时它们又要共享系统中的资源，由此诸进程间会产生错综复杂的相互制约的关系。 一、进程间制约关系 1.竞争关系 源于资源共享，多个不存在逻辑关系的进程因共享资源而产生制约关系。 若一个进程要求使用某一资源，而该资源正被另一个进程使用，并且这一资源不允许两个进程同时访问，那么该进程只有等待，只有这一资源释放后才能使用。 2.协作关系 源于进程间的协作。 一组进程为完成共同任务分工协作，各进程都独立以不可预知速度推进，在执行的先后次序就有约束，在一些关键点上协调工作。若一个进程运行到某关键点时，在尚未收到另一协作进程发来的信息前应阻塞自己，等协作进程发来消息后方可继续执行。 进程间这种相互依赖又相互制约，相互协作又相互竞争的关系，主要表现在进程互斥和进程同步两方面 二、进程互斥 引例： 宿舍电话的使用 打印机的使用 1、临界资源 一次仅允许一个进程使用的资源称为临界资源。 引例中的电话和打印机都属于临界资源。还有光盘刻录机、绘图仪、共享变量、共享的数据结构等等也是临界资源。 2、临界区： 每个进程中访问临界资源的那段程序段称为临界区。（临界段） 例：统计两个进程P1和P2对共享变量count的访问计数。 P1： …. P2: …. R1=count; R2=count; R1=R1+1; R2=R2+1; count=R1; count=R2; …. …. 两进程并发执行，可能的执行顺序为： P1: R1=count; R1=R1+1; P2: R2=count; R2=R2+1; count=R2; P1: count=R1; 虽然两个进程各自都执行了对count加1的操作，但结果为何count只增加1？ count是临界资源，P1、P2访问count的两个程序段就是临界区，两个进程必须互斥的进入临界区,否则就可能出与时间有关的错误. ３、进程互斥 进程应互斥访问同一临界资源，即进程应互斥的进入临界区。当一进程正在访问某临界区时，就不允许其它进程进入，试图进入临界区的另一进程必须等待。进程之间的这种相互制约的关系称为进程互斥。 三、进程同步 引例：两位同学约好星期天去玩，早上8:00在校门口，不见不散。当一个同学先来到校门口，要等另一个同学，到齐后一起去玩。 3.3 信号量与PV操作 一、信号量的概念 信号量的概念是由荷兰科学家Dijkstra于1965年提出的。 1.信号量的定义 是一个结构型数据结构，定义如下： struct semaphore { int value; //信号量的值 struct pcb *list; //信号量队列的头指针 } 信号量说明： semaphore s; 信号量必须置一次且只能置一次初值，初值不能为负数。 对信号量只能执行P、V操作 2.P、V操作 对信号量仅能执行P、V操作。 对信号量的P操作记为：P(S)，P操作是一个原子操作。 对信号量的V操作记为：V(S), V操作是一个原子操作。 在实际系统中，一般情况下是由机器硬件提供P、V操作的指令，当然是原子操作，若机器不提供P、V操作的指令，则操作系统提供P、V操作原语。 P(s)： s.value--； 若s.value≥0，则执行P(s)的进程继续执行； 若s.value0，则执行P(s)的进程被阻塞，并把它插入到等待信号量s的阻塞队列中。 二、用信号量实现进程互斥 1. 两个进程间的互斥 semaphore S； S =1； cobegin Process P1( ) Process P2( ) { …… { …… P（S） P（S）