第4章互斥同步与通信.pptVIP

;4.1 并发进程;4.1 并发进程;4.1.2 与时间有关的错误;4.1.2 与时间有关的错误(Cont.);4.2 进程互斥(mutual exclusion);4.2.1 共享变量与临界区域;共享变量与临界区表示;4.2.2 临界区域与进程互斥;嵌套临界区域;4.2.3 进程互斥的实现;4.2.3 进程互斥的实现;4.2.3.1 进程互斥的软件实现;Lamport面包店算法;Lamport面包店算法;Lamport面包店算法(Cont.);Eisenberg/Mcguire算法（令牌法）;Eisenberg/Mcguire算法;Eisenberg/Mcguire算法;4.2.3.2 进程互斥的硬件实现;进程互斥的硬件实现;进程互斥的硬件实现;进程互斥的硬件实现;4.2.4 多处理机环境下互斥;多处理机环境下互斥;多处理机环境下互斥;4.3 进程同步;4.3.1 进程同步的概念;4.3.1 进程同步的概念;4.3.2 进程同步机制;典型同步机制 ;4.3.3 信号灯与PV操作;信号灯变量;P操作原语;V操作原语;规定和结论;用信号灯实现进程同步;用信号灯实现进程同步;例1. 生产者/消费者问题;环形缓冲区;问题分析;同???;互斥;程序清单;程序（续前）;例2. 读者/写者问题;例2. 读者/写者问题;正确解法（可能产生写者饥饿）;程序续前;分析：;4.3.4 条件临界区Conditional Critical Region;条件临界区;4.3.5 管程（Monitor）;4.3.5.1 管程的提出;管程的提出(Cont.);4.3.5.2 管程形式（pascal语言描述）;管程形式(Cont.);4.3.5.3 管程语义;Hoare管程设施;;进入与离开; 条件变量操作;;例1. 读者/写者问题;例1. 读者/写者问题;例1. 读者/写者问题;例1. 读者/写者问题;例：磁头引臂调度问题;调度算法;Hansen管程实现SCAN算法;管程实现SCAN算法;管程实现SCAN算法;管程实现SCAN算法;管程实现SCAN算法;管程实现SCAN算法;管程实现SCAN算法;4.3.5.5 管程与PV操作的等价性;用管程构造PV操作;用管程构造PV操作(Cont.);用PV操作构造管程;用PV操作构造管程;Windows2000/XP互斥同步机制;Windows2000/XP互斥同步机制;Windows2000/XP互斥同步机制;4.4 进程高级通讯;P1 ;4.4.3 直接方式;直接方式;4.4.3.1 有缓冲途径;消息传递, 直接,非对称, 有缓冲通讯;缓冲区池管理;发送-接收原语（发送原语的处理步骤）;发送-接收原语（接收原语的处理步骤）;Remarks：;4.4.3.2 无缓冲途径;发送/接收原语;4.4.4 间接方式;信箱属于操作系统（或用户）空间;信箱通讯;信箱通讯;属于操作系统空间的信箱;UNIX进程高级通讯机制;UNIX进程高级通讯机制;Windows2000/xp的管道;Windows2000/xp的mailslot;总 结;总 结;总 结;总 结;总 结;总 结;总 结;总 结;总 结;总 结;4.1 并发进程;4.1 并发进程;4.1.2 与时间有关的错误;4.1.2 与时间有关的错误(Cont.);4.2 进程互斥(mutual exclusion);4.2.1 共享变量与临界区域;共享变量与临界区表示;4.2.2 临界区域与进程互斥;嵌套临界区域;4.2.3 进程互斥的实现;4.2.3 进程互斥的实现;4.2.3.1 进程互斥的软件实现;Lamport面包店算法;Lamport面包店算法;Lamport面包店算法(Cont.);Eisenberg/Mcguire算法（令牌法）;Eisenberg/Mcguire算法;Eisenberg/Mcguire算法;4.2.3.2 进程互斥的硬件实现;进程互斥的硬件实现;进程互斥的硬件实现;进程互斥的硬件实现;4.2.4 多处理机环境下互斥;多处理机环境下互斥;多处理机环境下互斥;4.3 进程同步;4.3.1 进程同步的概念;4.3.1 进程同步的概念;4.3.2 进程同步机制;典型同步机制 ;4.3.3 信号灯与PV操作;信号灯变量;P操作原语;V操作原语;规定和结论;用信号灯实现进程同步;用信号灯实现进程同步;例1. 生产者/消费者问题;环形缓冲区;问题分析;同???;互斥;程序清单;程序（续前）;例2. 读者/写者问题;例2. 读者/写者问题;正确解法（可能产生写者饥饿）;程序续前;分析：;4.3.4 条件临界区Conditional Critical Re