第6讲同步互斥祥解.ppt

原子操作指令锁的特征 适用于单处理器或者共享主存的多处理器中任意数量的进程同步 简单并且容易证明 支持多临界区 优点 ■ 缺点 ■ 忙等待消耗处理器时间 可能导致饥饿 进程离开临界区时有多个等待进程的情况 死锁 拥有临界区的低优先级进程 请求访问临界区的高优先级进程获得处理器并等待临界区 同步方法总结 锁是一种高级的同步抽象方法 ■ 互斥可以使用锁来实现 需要硬件支持 常用的三种同步实现方法 ■ 禁用中断（仅限于单处理器） 软件方法（复杂） 原子操作指令（单处理器或多处理器均可） 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * 忙则等待：已有进程处于其临界区； 空闲则入：其他进程均不处于临界区； 有限等待：等待进入临界区的进程不能死等； 让权等待：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） 互斥:假定进程Pi在其临界区内执行，其他任何进程将被排斥在自己的临界区之外. 有空让进:临界区虽没有进程执行，但有些进程需要进入临界区，不能无限期地延长下一个要进入临界区进程的等待时间. 有限等待:在一个进程提出进入临界区的请求和该请求得到答复的时间内，其他进程进入临界区前的等待时间必须是有限的 让权等待(可选)：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） * 忙则等待：已有进程处于其临界区； 空闲则入：其他进程均不处于临界区； 有限等待：等待进入临界区的进程不能死等； 让权等待：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） 互斥:假定进程Pi在其临界区内执行，其他任何进程将被排斥在自己的临界区之外. 有空让进:临界区虽没有进程执行，但有些进程需要进入临界区，不能无限期地延长下一个要进入临界区进程的等待时间. 有限等待:在一个进程提出进入临界区的请求和该请求得到答复的时间内，其他进程进入临界区前的等待时间必须是有限的 让权等待(可选)：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） * 忙则等待：已有进程处于其临界区； 空闲则入：其他进程均不处于临界区； 有限等待：等待进入临界区的进程不能死等； 让权等待：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） 互斥:假定进程Pi在其临界区内执行，其他任何进程将被排斥在自己的临界区之外. 有空让进:临界区虽没有进程执行，但有些进程需要进入临界区，不能无限期地延长下一个要进入临界区进程的等待时间. 有限等待:在一个进程提出进入临界区的请求和该请求得到答复的时间内，其他进程进入临界区前的等待时间必须是有限的 让权等待(可选)：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） * 忙则等待：已有进程处于其临界区； 空闲则入：其他进程均不处于临界区； 有限等待：等待进入临界区的进程不能死等； 让权等待：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） 互斥:假定进程Pi在其临界区内执行，其他任何进程将被排斥在自己的临界区之外. 有空让进:临界区虽没有进程执行，但有些进程需要进入临界区，不能无限期地延长下一个要进入临界区进程的等待时间. 有限等待:在一个进程提出进入临界区的请求和该请求得到答复的时间内，其他进程进入临界区前的等待时间必须是有限的 让权等待(可选)：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） * 忙则等待：已有进程处于其临界区； 空闲则入：其他进程均不处于临界区； 有限等待：等待进入临界区的进程不能死等； 让权等待：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） 互斥:假定进程Pi在其临界区内执行，其他任何进程将被排斥在自己的临界区之外. 有空让进:临界区虽没有进程执行，但有些进程需要进入临界区，不能无限期地延长下一个要进入临界区进程的等待时间. 有限等待:在一个进程提出进入临界区的请求和该请求得到答复的时间内，其他进程进入临界区前的等待时间必须是有限的 让权等待(可选)：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） * * 进程的交互关系：相互感知程度 相互感知的程度 相互不感知（完全不了解其它进程的存在） 间接感知（双方都与第三方交互，如共享资源） 直接感知（双方直接 交互，如通信） 交互关系 独立 通过共享进行协作 通过通信进行协作 进程间的影响 一个进程的操作对其他 进程的结果无影响 一个进程的结果依赖于 共享资源的状态 一个进程的结果依赖于 从其他