目录
一、事务
概念
事务是指满足ACID特性的一组操作。
ACID
1.原子性(Atomicity)
事务被视为不可分割的最小单元,事务包含的所有操作要么全部提交成功,要么全部失败回滚。
回滚可以用回滚日志(Undo Log)来实现,回滚日志记录着事务所执行的修改操作,在回滚时反向执行这些修改操作即可。
2.一致性(Consistency)
数据库在事务执行前后保持一致性状态,在一致性状态下,所有事务对同一个数据的读取结果都是相同的。
3.隔离性(Isolation)
事务所做的修改在最终提交之前,对其它事务是不可见的。
4.持久性(Durability)
事务一旦被提交,其所做的修改将会永远保存到数据库中。即使系统发生崩溃,事务执行的结果也不能丢失。
系统发生崩溃可以用重做日志(Redo Log)进行恢复,从而实现持久性。与回滚日志记录数据的逻辑修改不同,重做日志记录的是数据页的物理修改!
二、并发一致性问题
在并发环境下,事务的隔离性很难保证,因此会出现很多并发一致性问题
丢失修改
一个事务的更新操作被另外一个事务的更新操作替换,如下图所示:
读脏数据
指当前事务可以读到其他事务未提交的数据,如下图:
不可重复读
指在一个事务内多次读取同一数据集合,在这一事务还未结束前,另一事务也访问了该同一数据集合并做了修改,导致同一事务中两次读取的数据可能不一致,如下图: