上海交通大学 高级数据库 课件 陆朝俊ed6ch15概要1.pptVIP

第15章 并发控制 基于锁的协议 基于锁的协议 (续) 过早释放锁不能保证可串行化 推迟释放锁 死锁 饿死 两阶段封锁协议 两阶段封锁协议 (续) 两阶段封锁协议 (续) 锁转换 锁转换调度例 封锁指令的自动生成 封锁指令的自动生成(续) 基于图的协议 树协议 树协议 (续) 死锁处理 死锁处理 死锁预防策略 基于超时的方案 死锁检测 死锁检测 (续) 死锁恢复 多粒度 粒度层次例 意向锁方式 含意向锁方式的相容矩阵 多粒度封锁协议 基于时间戳的协议 基于时间戳的协议 (续) 协议使用例 时间戳序协议的正确性 可恢复性与无级联回滚 Thomas Write规则 基于有效性检查的协议 基于有效性检查的协议(续) 事务Tj 的有效性检查 有效性检查产生的调度 多版本方案 多版本时间戳序 多版本时间戳序 (续) 多版本两阶段封锁 多版本两阶段封锁 (续) 快照隔离 更新事务的有效性检验 更新事务的有效性检验(续) 快照隔离不能保证可串行化 快照隔离不能保证可串行化(续) 插入与删除操作 插入与删除操作 (续) 插入与删除操作 (续) 弱一致性级别 可串行化概念使程序员只管编写独自运行时正确的程序即可, 无需关心并发问题. 但为了确保可串行化, 协议可能只允许较低的并发度. 在某些应用中, 可以牺牲可串行化要求以提高并发度. 但确保数据库的一致性成了程序员的负担. 二级(Degree-tw