第三章进程的同步与通信.ppt.ppt

第三章　进程的同步与通信 教学目的与要求： 1.掌握进程同步、进程通信、资源、信号量等基本概念 2.了解解决进程同步问题的软件方法和硬件方法 3.能用信号量和管程解决简单进程同步问题 4.了解OS/2操作系统的进程同步与通信机制 重点与难点： 1. 同步、通信、资源、信号量等基本概念 2. 用信号量和管程解决进程同步问题 3. 进程通信原语 主要内容： 3.1? 进程同步的基本概念 3.2?? 信号量机制 3.3?? 经典进程同步问题 3.4?? 管程机制 3.5?? 进程通信 3.6 作业 3.1 进程同步的基本概念 一．进程之间的关系 １ 资源共享关系 多个进程之间彼此无关，它们并不知道其他进程的存在，只是由于在运行过程中共享某些资源而使得彼此之间发生关系。也称间接制约。 ２ 相互合作关系 是指相互协作的进程之间存在的一种时序关系。也叫直接制约。 二．临界资源 １ 资源的定义与分类 定义：在计算机领域，广义的资源概念是指所有能引起一个进程进入等待状态的事物。 分类：有很多种分类方法，常见的有 按性质分，可以分为系统资源和用户资源； 按生存期，可分为永久资源和暂时资源； 按软硬件分，可分为软资源和硬资源； 还可以分为独占型资源和共享资源，等等 ２ 临界资源的定义 临界资源是指并发进程之间在某段时间内同时提出访问请求的互斥型资源。 例：在A进程正在访问打印机的时候，B进程也提出对打印机的访问请求，则打印机为临界资源。应互斥使用临界资源。 ? 三．临界区 １ 临界区的定义 是指进程中访问临界资源的那段代码 ２ 临界区的进入和退出： 在进入临界区前后分别设置进入区和退出区两段代码作为进程进出临街区的标志,从而实现临界资源的互斥使用。 ３ 同步机制应该遵循的准则： 空闲让进:当临界资源空闲时应允许一个进程进入其临界区，以便有效的利用临界资源； 忙则等待:当临界资源正被访问时应阻止其它进程进入其临界区，以防止临界资源被破坏； 有限等待:任何提出访问请求的进程应在有限时间内获得该临界资源，不得使其陷入“死等”状态； 让权等待:当进程未能进入临界区时应立即释放处理机，将自己阻塞，以免陷入“忙等”? 四．利用软件方法解决进程互斥问题 设有两并发进程Pi和Pj 算法１：设置指针turn，保证各进程轮流进入临界区。对于进程Pi repeat while turni do no_op; critical section turn:=j; remainder section until false; 该算法缺点：不能保证空闲让进 算法２：设置数组flag，当flag[i]=ture时进程Pi可进入临界区。对于进程Pi var flag:array[0,1,…,n] of Boolean; repeat while flag[j] do no_op flag[i]:=true; critical section flag[i]:=false; remainder section until false; 该算法的缺点：违背了忙则等待原则 算法３：与算法2相似，只是在flag[i]=ture时表示进程P[i]要求进入临界区，若此时无其它进程有此要求，则进程P[i]可进入临界区。对于进程Pi repeat flag[i]:=true; while flag[j] do no_op critical section flag[i]:=false; remainder section until false 该算法的缺点：违背了空闲让进和有限等待原则 算法４：结合算法1和算法3，同时设置turn指针和flag数组。对于进程Pi repeat flag[i]:=true; turn:=j; while (flag[j] and turn=j) do no_op; critical section flag[i]:=false; remainder section until false 该算法是正确的，其优点是：既保证了忙则等待,又实现了空闲让进 注：进程同步问题的解决现在都采用硬件方法，极少采用软件方法。原因是后者艰涩难懂且效率不高，局限性太大。 五．利用硬件方法解决进程互斥问题 １. 利用Test-and-Set指令实现互斥 TS指令: function TS (var lock:Boolean):boolean; begin TS:=lock; lock:=true end 当lock=true时资源忙，否则资源空闲 用TS实现进程互斥: repeat