第4章互斥、同步与通讯.pptVIP

第四章 互斥、同步与通讯 并发进程(concurrent processes) 进程互斥(mutual exclusion) 进程同步(synchronization) 进程高级通讯(communication) 4.1 并发进程 4.1.1 顺序性与并发性 顺序性 内部顺序性：P1: a1,a2,a3; P2: b1,b2,b3 外部顺序性：a1,a2,a3,b1,b2,b3; b1,b2,b3,a1,a2,a3 并发性 内部并发性：P2: b1,b2,b3; P2: b1,b3,b2 外部并发性：a1,b1,b2,a2,a3,b3; b1,b2,a1,b3,a2,a3 4.2 进程互斥(mutual exclusion) 4.2.1 共享变量与临界区 4.2.2 临界区域与进程互斥 4.2.3 进程互斥的实现 4.2.4 多处理机环境下的互斥 4.2.1 共享变量与临界区域 共享变量（shared variable） 多个进程都需要访问的变量。 临界区域（critical region） 访问共享变量的程序段。 嵌套临界区域 4.2.3 进程互斥的实现 管理原则 正确性: 任意时刻，至多只能有一个进程处于关于同一组共享变量的临界区中； 公平性:一个请求进入临界区的进程应在有限等待时间内获得进入该临界区的机会； 进展性: 临界区空闲时，多个竞争者在有限时间内确定下一个进入者。 调度原则 P69 4.2.3.1 进程互斥的软件实现 完全用程序实现，不需特殊硬件指令支持。 可用于单CPU和多CPU环境中。 有忙式等待问题。 软件方法解决进程互斥问题 假如有两个进程P1和P2，它们共享一个临界资源R。 Main() { cobegin{ P1; P2; } } 算法1 公用整型变量turn，指示被允许进入临界区的进程编号 对p1进程的描述如下： while(1) { … while(turn!=1) no-op; critical section turn=2; … } 算法1 可确保每次只允许一个进程进入临界区 强制两个进程轮流进入临界区，容易造成资源利用不充分，不能保证空闲让进 算法2 在每一个进程访问临界资源前，先去查看一下临界资源是否正被访问 若正被访问，需等待 否则，进入临界区 设置一个数组，每个元素初值为0，表示所有进程都未进入临界区 若flag[0]=1，进程P1正在临界区执行 若flag[1]=1，进程P2正在临界区执行 算法2 int flag[2]={0,0}; … P1: while(1) no-op; flag[0]=1; critical section flag[0]=0; … } 算法2 解决了有空让进的问题 P1和P2都未进入临界区时，访问标志均为0。如果几乎同时要求进入临界区，因访问标志为0，于是两个进程先后进入临界区，违背了忙则等待。 算法3 使要进入临界区的进程先设置其要求进入的标志，然后再去查看其他进程的标志。 int flag[2]={0,0}; … P1: while(1) { … flag[0]=1; while(flag[1]) no-op; critical section flag[0]=0; … } 算法3 可有效防止两个进程同时进入临界区 会造成谁都不能进入临界区 几乎同时进入，分别把自己的标志置为1，又都立即去检查对方的标志，因发现对方也要进入，都在“谦让” 算法4 当flag[1]=0或turn=1时，进程P1可进入临界区，前者表示P2未要求进入临界区，后者表示仅允许P1进入临界区 算法4 int flag[2]={0,0}; … P1: while(1) { … flag[0]=1; turn=2; while(flag[1]turn==2) no-op; critical section flag[0]=0; … } 4.2.3.2 进程互斥的硬件实现 4.2.3.2 进程互斥的硬件实现 4.2.3.2进程互斥的硬件实现 4.2.3.2进程互斥的硬件实现 4.2.4 多处理机环境下互斥 4.2.4 多处理机环境下互斥 4.2.4 多处理机环境下互斥 4.3 进程同步 4.3.1 进程同步的概念 4.3.1 进程同步的概念 进程合作 一组进程，如果它们不能单独正常进行，但并发可以正常进行，称这种现象为进程合作。 4.3.2 进程同步机制 定义：用于实现进程同步的工具称为同步机制（synchronization mechanism） 同步机制要求： 描述能力够用; 可实现; 高效; 使用方便. 典型同步机制 信号灯与PV操作(semaphore and PV operations) 管程(m