做题技巧
可交换?可冲突可串行化?
对于一个并行调度,如果能证明其等价于一个串行调度,那么就不会冲突。
冲突可串行化【读后写 写后读 写后写触发冲突】(通过冲突等价交换 将并行变为串行证明可行)
视图可串行化【读后读(第一个读覆盖后续读) 写前写(最后一个写覆盖前面所有写) 写后读触发冲突】
可恢复调度【用别人的在别人后提交】(对commit的位置有要求)
级联调度(可能级联崩溃)
无级联调度【写完就交】(对commit有要求,且要求commit后读依赖数据)
ACID
原子性需求(非黑即白):系统必须保证所有操作在数据库中要么全部正确反映出来,要么完全不反应
持久性需求:对数据库的改变必须是永久的,即使出现系统故障也是如此.
一致性需求:隐形约束不被本次操作改变(转账后,A的余额和B的余额应该保持不变)
隔离性需求:A执行完 B还没执行完,然后T2事务来查询ReadA ReadB 输出A+B。不能被T2偷窥到。
事务状态
活跃 Active------开始执行
部分提交 Partially committed------内存已经修改了,但是还没在磁盘中写入(逻辑完成,物理没完成)
提交 Commited------落盘
失效 Failed------如果在活跃或部分提交的状态下,死锁 断电了 违背一致性约束 就失效。下一步会落实Rollback 回滚,撤出做了一半的操作。
中止 Aborted------回滚户后就是终止状态。 两种解决方案:重启事务(物理断电导致的);杀死kill事务(除零导致的,重启也过不了)。

调度 ☆ 必考一道调度大题
可串行化 很乱的调度通过交换顺序可以得到串行调度
对于一个并行调度,如果能证明其等价于一个串行调度,那么就不会冲突。
冲突------如果两人同时读写数据
冲突等价------交换顺序,不产生冲突,是冲突等价的。
☆ 冲突可串行化
通过交换顺序,将并行变为串行执行。
做题------优先图 解决 可串行化检测(是在T事务中的) 6个节点
如何画图?先把对于每个数据的WR写成一行,然后看看前后1两个操作能否交换,不能交换说明存在依赖,就画出从前到后的边
如果最后出现环说明不是冲突可串行化调度。
如果不出现环,就可以通过拓扑排序写出所有的调度顺序。
事务管理1


解答

事务管理2



解答

事务管理3


解答

事务管理4

解答

事务管理5


解答

事务管理6







可恢复就是用别人的比别人晚交
