高级操作系统同步.pptxVIP

第六章 同步;时钟同步;物理时钟 ;现实时钟;时钟同步算法;Cristian算法;Cristian算法;Berkeley 算法;平均值算法;逻辑时钟Lamport Timestamps;;;全局状态（Global State） (1) ;全局状态（Global State） (2);选举算法;Bully算法;Bully算法;Bully算法;环算法;环算法;无线环境下的选举算法;无线环境下的选举算法;无线环境下的选举算法;大型系统中的选举算法;使用推动力在二维空间移动令牌;互 斥;集中式算法;集中式算法;互 斥：分布式算法;分布式互斥算法;;令牌环算法;令牌环算法;三种互斥算法的比较;分布式事务;分布式事务;事务模型 (1);??务模型 (2);事务模型 (3);事务属性;事务分类;事务实现（一）;私有工作空间;私有工作空间;事务实现（二）;写前日志;并发控制 (1);并发控制 (2);串行化;并发控制算法;并发控制算法--锁机制 ;两阶段锁定 (1);两阶段锁定 (2);死 锁;并发控制算法--悲观的时间戳排序Pessimistic Timestamp Ordering;比 较;乐观的并发控制optimistic concurrency;乐观的并发控制—冲突的处理;;分布式系统中的死锁;策略的分类;分布式死锁预防;两种基于时间戳的算法;基本思想;老进程？新进程？;等-死算法（wait-die）;等-死算法（wait-die）举例;资源不可剥夺？;伤-等算法（wound-wait）;伤-等算法举例;等-死算法与伤-等算法比较;分布式死锁检测;;;集中式的死锁检测;全局资源图信息的维护;反 例;反例（cont’d）;反例（cont’d）;根据上图中的信息，协调者将错误的得出死锁存在的结论，并中止某个进程。 这种情况称为假死锁。 由于信息的不完整和延迟，使得分布式系统中的许多死锁算法产生了类似的假死锁问题。;解决假死锁问题;解决假死锁问题（cont’d）;分布式的死锁检测;资源图;Chandy-Misra-Haas算法;Chandy-Misra-Haas算法（cont’d）;Chandy-Misra-Haas算法（cont’d）;打破死锁的方法（1）;打破死锁的方法（2）;小 结;习 题