操作系统进程管理课件.ppt

3. 挂起状态 该问题的出现是由于进程优先级的引入，一些低优先级进程可能等待较长时间，从而被对换至外存。这样做的目的是： 提高处理机效率：就绪进程表为空时，要提交新进程，以提高处理机效率； 为运行进程提供足够内存：资源紧张时，暂停某些进程，如：CPU繁忙（或实时任务执行），内存紧张 用于调试：在调试时，挂起被调试进程（从而对其地址空间进行读写） 2） 状态转换 就绪状态(Ready)：进程在内存且可立即进入运行状态； 阻塞状态(Blocked)：进程在内存并等待某事件的出现； 阻塞挂起状态（Blocked, suspend）：进程在外存并等待某事件的出现； 就绪挂起状态（Ready, suspend）：进程在外存，但只要进入内存，即可获执行调度的权利； 进程上下文 用户级上下文：进程的用户地址空间（包括用户栈各层次），包括用户正文段、用户数据段和用户栈； 寄存器级上下文：程序寄存器、处理机状态寄存器、栈指针、通用寄存器的值； 系统级上下文： 静态部分（PCB和资源表格） 动态部分：核心栈（核心过程的栈结构，不同进程在调用相同核心过程时有不同核心栈） 核心态和用户态 用户态时不可直接访问受保护的OS代码； 核心态时执行OS代码，可以访问全部进程空间。 进程树 进程间资源访问冲突 共享变量的修改冲突 操作顺序冲突 进程间的制约关系 间接制约：进行竞争－－独占分配到的部分或全部共享资源，“互斥” 直接制约：进行协作－－等待来自其他进程的信息，“同步” 进程互斥的软件方法 有两个进程Pi, Pj，其中的Pi 缺点：强制轮流进入临界区，没有考虑进程的实际需要。容易造成资源利用不充分：在Pi出让临界区之后，Pj使用临界区之前，Pi不可能再次使用临界区； 算法2：双标志、先检查 设立一个标志数组flag[]：描述进程是否在临界区，初值均为FALSE。 先检查，后修改：在进入区检查另一个进程是否在临界区，不在时修改本进程在临界区的标志； 在退出区修改本进程在临界区的标志； 优点：不用交替进入，可连续使用； 缺点：Pi和Pj可能同时进入临界区。按下面序列执行时，会同时进入：Pia Pja Pib Pjb。即在检查对方flag之后和切换自己flag之前有一段时间，结果都检查通过。这里的问题出在检查和修改操作不能连续进行。 算法3：双标志、后检查 类似于算法2，与互斥算法2的区别在于先修改后检查。可防止两个进程同时进入临界区。 缺点：Pi和Pj可能都进入不了临界区。按下面序列执行时，会都进不了临界区：Pia Pja Pib Pjb。即在切换自己flag之后和检查对方flag之前有一段时间，结果都切换flag，都检查不通过。 算法4(Peterson’s Algorithm)：先修改、后检查、后修改者等待 结合算法1和算法3，是正确的算法 turn=j;描述可进入的进程（同时修改标志时） 在进入区先修改后检查，并检查并发修改的先后： 检查对方flag，如果不在临界区则自己进入－－空闲则入 否则再检查turn：保存的是较晚的一次赋值，则较晚的进程等待，较早的进程进入－－先到先入，后到等待 进程互斥的硬件方法 完全利用软件方法，有很大局限性（如不适于多进程），现在已很少采用。 可以利用某些硬件指令－－其读写操作由一条指令完成，因而保证读操作与写操作不被打断； 互斥算法（TS指令） 利用TS实现进程互斥：每个临界资源设置一个公共布尔变量lock，初值为FALSE 在进入区利用TS进行检查：有进程在临界区时，重复检查；直到其它进程退出时，检查通过； 硬件方法的优点 适用于任意数目的进程，在单处理器或多处理器上 简单，容易验证其正确性 可以支持进程内存在多个临界区，只需为每个临界区设立一个布尔变量 硬件方法的缺点 等待要耗费CPU时间，不能实现让权等待 可能饥饿：从等待进程中随机选择一个进入临界区，有的进程可能一直选不上 可能死锁 5. 多线程OS中的进程 在多线程OS中，进程是作为拥有系统资源的基本单位，通常的进程都包含多个线程并为它们提供资源，但此时的进程就不再作为一个执行的实体。 多线程OS中的进程有以下属性： (1) 作为系统资源分配的单位。 (2) 可包括多个线程。 (3) 进程不是一个可执行的实体。 2.7.2 线程间的同步和通信 1. 互斥锁(mutex) 互斥锁是一种比较简单的、用于实现进程间对资源互斥访问的机制。由于操作互斥锁的时间和空间开锁都较低， 因而较适合于高频度使用的关键共享数据和程序段。互斥锁可以有两种状态， 即开锁(unlock)和关锁(lock)状态。 相应地，可用两条