联系方式 EMAIL:qj@ sjy@ 邵家玉@中国 QQ: 171995639 MSN: bistone_shao@ POPO: bistone 定义7.8-2 一个事务如果遵守先加锁,后操作的原则,则此事务称为合式(well formed)事务。 定理7.8-1 如果所有事务都是合式、两段事务,则它们的任何调度都是可串行化的。 严格的2PL协议(strict 2PL protocol) 7.8.3??(S,X)锁 S锁(Sharing locks)用于读访问 X锁(eXclusive locks)用于写访问 活锁(live lock): first come first serve ?? 7.8.4?(S,U,X)锁 活锁(live lock): first come first serve ?? 7.9????死锁的检测、处理和防止 死锁(dead lock):对付死锁无非两种办法:一是检测死锁,发现死锁后处理死锁;二是防止死锁。 7.9.1?? 死锁的检测和处理 ?????? 1.???? 超时法 ?????? 2.??? 等待图法(wait-for graph) G=(W,U) 其中,W是结点的集合,w={Ti|Ti是数据库系统中当前运行的事务,i=1,
您可能关注的文档
- 事业单位举办单位指导培训教程.ppt
- 试井研究新理念.ppt
- 试卷和试题分析方式简介.ppt
- 搜索试用营销方案.ppt
- 试论大陆对台战略思维演进.ppt
- 视觉传达和PS,你该知道几件事.ppt
- 视觉流程与网格.ppt
- 视觉素养教育之专业价值.ppt
- 视频监控存储解决之道.ppt
- 视频营销讲义.ppt
- 计量规程规范 JJF 2476-2026腹膜透析机校准规范.pdf
- 《JJF 2465-2026天然气在线硫化氢气体检测仪校准规范》.pdf
- JJF 1111-2026调制度测量仪校准规范.pdf
- 《JJF 1111-2026调制度测量仪校准规范》.pdf
- 计量规程规范 JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范.pdf
- JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范.pdf
- 《JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范》.pdf
- 《JJF 2470-2026食用油品质检测仪校准规范》.pdf
- JJF 2470-2026食用油品质检测仪校准规范.pdf
- 计量规程规范 JJF 2470-2026食用油品质检测仪校准规范.pdf
原创力文档

文档评论(0)