前言
实现事务功能的三个技术,分别是日志文件(redo log 和 undo log),锁技术以及MVCC。
本文先介绍事务定义,然后再讲事务的实现原理,包括原子性是怎么实现的,隔离型是怎么实现的
一、事务定义 Transaction
- 事务:一个最小的不可再分的工作单元;通常一个事务对应一个完整的业务(例如银行账户转账业务,该业务就是一个最小的工作单元)
- 一个完整的业务需要批量的DML(insert、update、delete)语句共同联合完成
- 事务只和DML语句有关,业务逻辑不同,DML语句的个数不同
eg:转账操作,理解事务
银行账户表t_act(账号、余额),进行转账操作
actno balance
1 500
2 100
转账操作
update t_act set balance=400 where actno=1;
update t_act set balance=200 where actno=2;
以上两台DML语句必须同时成功或者同时失败。
最小单元不可再分,当第一条DML语句执行成功后,并不能将底层数据库中的第一个账户的数据修改,只是将操作记录了一下;这个记录是在内存中完成的;当第二条DML语句执行成功后,和底层数据库文件中的数据完成同步。若第二条DML语句执行失败,则清空所有的历史操作记录,要完成以上的功能必须借助事务
二、事务四大特征(ACID)
- 原子性(A,Atomicity):实现原理undo log
事务是最小单位,不可再分; 每一个事务都是不可分割的整体,要么全部成功,要么全部失败;
- 一致性(C,Consistency):
事务执行后的结果是和预设的规则完全符合的,不会因为出现系统意外等原因和预测的结果不一致;
- 隔离性(I,Isolation):实现原理undo log
事务与事务之间是相互独立的,互不影响,事务A和事务B之间具有隔离性;也是在事务并发时实现一致性的一个前提,可以设置4种隔离级别。级别越高一致性越强,但并发性越低;
- 持久性(D,Durability):实现原理redo log
事务一旦提交就会永久保存,不会因为系统意外原因而丢失,事务终结的标志(内存的数据持久到硬盘文件中)
三、关于事务的一些术语
- 开启事务:Start Transaction
- 事务结束:End Transaction
- 提交事务:Commit Transaction
- 回滚事务:Rollback Transaction
结束标志(提交或者回滚):
- 提交:成功的结束,将所有的DML语句操作历史记录和底层硬盘数据来一次同步
- 回滚:失败的结束,将所有的DML语句操作历史记录全部清空
参考文章:https://blog.csdn.net/w_linux/article/details/79666086
参考文章:https://cloud.tencent.com/developer/article/1431307