数据库 事务管理 专项作战记录

做题技巧

可交换?可冲突可串行化?

对于一个并行调度,如果能证明其等价于一个串行调度,那么就不会冲突。

冲突可串行化【读后写 写后读 写后写触发冲突】(通过冲突等价交换 将并行变为串行证明可行)

视图可串行化【读后读(第一个读覆盖后续读) 写前写(最后一个写覆盖前面所有写) 写后读触发冲突】

可恢复调度【用别人的在别人后提交】(对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

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

相关推荐
isNotNullX5 分钟前
智能问数技术路线怎么选?从Text-to-SQL到Data Agent一次讲清
数据库·oracle
鸽芷咕6 分钟前
换库不申请停机窗口?金仓KFS数据集成软件双轨并行,还真行
数据库
鸽芷咕17 分钟前
月底报表又把库拖垮了?聊聊金仓数据库KES的列存储和真本事
数据库
Juicedata20 分钟前
面向 EB 级 AI 存储:JuiceFS 企业版架构演进
数据库·人工智能·架构
数据库小学妹26 分钟前
MySQL表碎片与 OPTIMIZE TABLE:空间回收的代价与边界
数据库·后端·mysql
java_logo31 分钟前
Docker 部署 Hue:轻松搭建数据库与数据仓库 SQL 查询平台
数据库·数据仓库·sql·docker·hue·部署教程·轩辕镜像
Davina_yu35 分钟前
1、count(*)、count(1) 和 count(单个字段) 的区别
数据库
锦衣夜行?36 分钟前
Oracle 数据库安装失败清理残留步骤
数据库·oracle
时间售卖铺1 小时前
MySQL 表的约束
运维·数据库·mysql·云原生
一条泥憨鱼1 小时前
【Redis | 黑马点评】基于Redis的消息队列 | stream消息队列 源码解读
java·数据库·redis·缓存·lua