操作系统进程互斥及同步-互斥.pptVIP

4.4 进程之间的约束关系 程序并发执行的相互制约 间接的相互制约关系 —— 资源共享（竞争资源系统） 直接的相互制约关系 —— 公共变量（进程协作） 间接制约 由共享公有资源而造成的对并发进程执行速度的间接制约。 受间接制约的类中各程序段在执行顺序上是任意的。 间接制约的几个进程是互斥关系 使用临界区应遵守的原则 各进程享有独立，平等的竞争共享资源的权利。 某个进程不在临界区，不阻止其他进程进入 排它性，只能有一个进程进入临界区 有限等待，某个进程申请使用临界区后，必须在有限的时间内离开。 4.5同步机构 操作系统提供的同步机构如下两种： 锁和上锁、开锁操作 信号灯和PV操作 开锁原语 算法 unlock 输入：锁变量w 输出：无 { w=0；∕*开锁*∕ } 信号灯 信号灯是整型变量。 变量值 ≥ 0 时，表示绿灯，进程执行； 变量值 ? 0 时，表示红灯，进程停止执行。 注意：创建信号灯时，应准确说明信号灯 s 的意义和初值 (这个初值 绝不能为负值)。 P 操作的实现 V 操作的实现 PV操作是通过原语实现的 4.6 进程互斥的实现 程序描述 pa( ) pb( )