第2章进程同步概念.ppt

例： 进程A 进程B 请求资源R 请求资源R R 释放资源R 唤醒 分配 拒绝 释放资源R 继续 调度 实现进程间的互斥访问方法 软件方法 硬件方法 信号量方法 管程方法 消息传递方法 软件方法 采用软件方法实现互斥，很难。能实现两个进程互斥，但很难控制多个进程互斥。软件设计不能解决忙等现象。 2.4.2 硬件同步机制 1. 关中断 While (true) { 关中断 临界区 打开中断 剩余区 } 处理机的调度都是由中断所引起的（主要是定时器中断）。如果进入临界区前将所有外部中断屏蔽，则在运行临界区时将不会响应所有外部中断事件，也就不可能发生进程切换，待进程执行完临界区后再开中断。 缺点：交由用户进程管理中断的开关是非常不安全的，一旦用户程序关中断后忘记打开，则整个系统将无法响应外部事件而崩溃；另外，在多处理器系统中，关中断也仅屏蔽本处理器的中断响应，对其他处理器中运行的进程无法屏蔽。 因而通常中断屏蔽都由OS进行管理，由OS使用它来保证一些核心操作的不可中断性。 2.4.2 硬件同步机制2. 利用Test-and-Set指令实现互斥　　这是一种借助一条硬件指令——“测试并建立”指令TS(Test-and-Set)以实现互斥的方法。在许多计算机中都提供了这种指令。 3.利用Swap指令实现进程互斥　　该指令称为对换指令，在Intel 80x86中又称为XCHG指令，用于交换两个字的内容。 TS(Test-and-Set) boolean TS(boolean *lock) { boolean old; old=*lock; *lock=TRUE; return old; } 参数是true，返回true，lock=true 参数是false，返回false，lock=true TS(lock) lock=false P1 P2 临界区 TS(lock) lock=false) 1）lock＝false 2）lock＝true 3）释放资源 4）释放资源 do { …… while TS(lock); 临界区; lock;=false; 剩余区; }while(true) lock初始值为false * * * * * * mxh mxh mxh mxh mxh mxh mxh mxh mxh mxh mxh mxh mxh 看第一个例子 某游艺场设置了一个自动计数系统，用一个计数器count指示在场人数。当一个人进入时，由进程in实现计数加1；当退出一人时，由进程out实现计数减1。 如果这两个进程各自顺序执行，其执行结果毫无疑问是正确的。但是由于入场和退场是随机的，因此，这两个进程的执行是并发的。将并发执行的进程用cobegin和coend括起来，可表示如下： void processin() { int R1 ; R1:=count ; R1:=R1+1 ; count:=R1; } void processout() { int R2 ; R2:=count ; R2:=R2-1 ; count:=R2; } main() { int count ; count:=0 ; cobegin processin() ; processout() ; coend } 假定某时刻的计数值count=n，这时有一个人要进入，正好另一个人要退出，于是进程 in和out都要执行。如果进程in和out的执行都没有被打断过，那么各自完成了count+1和count-1的工作，使计数值保持为n ,这是正确的。 按这样的次序执行后，count的最终值不能保持为n, 而变成了n+1。 占用处理机的进程 执行的操作 Count的值 in R1:=count R1:=R1+1 in被打断，由out占用并运行到结束 R2:=count R2:=R2-1 Count:=R2 in继续运行 Count:=R1 如果两个进程执行中，由于某种原因进程in被打断，且进程调度使它们的执行呈下面的次序： n n-1 n+1 如果被打断的进程情况如下表所示：