事务管理笔记
什么是事务？
事务是由N步数据库操作序列组成的逻辑执行单元，这系列操作要么全执行，要么全不执行。
事务特性
- 原子性：事务是应用中不可再分的最下执行体
- 一致性：事务的执行结果，必须数据从一个一致性状态，变为另一个一致性状态
- 隔离性：各个事务的执行互不干扰，任何事务的内部操作对其他的事务都是隔离的
- 持久性：事务一旦提交，对数据所做的任何改变都要记录到永久存储器中
常见并发异常：
- 第一类丢失更新，第二类丢失更新
- 脏读，不可重复读，幻读
第一类丢失更新：
即某一个事务的回滚，导致另外一个事务已经更新的数据丢失了
| 时刻 | 事务A | 事务B |
|---|
| t1 | read: m=8 | | | t2 | | read: m=8 | | t3 | | write: m=5 | | t4 | | commit: m=5 | | t5 | write: m=10 | | | t6 | rollback: m=8 | |
从上面可以看到，从时间线t1到t2,事务B在t3时刻写入m=5并在t4时刻提交m=5,而事务A在t6时刻回滚到m=8时刻，从而导致事务B更新的数据m=5丢失。
第二类丢失更新
即某一个事务的提交，导致另外一个事务已经更新的数据丢失了
| 时刻 | 事务A | 事务B |
|---|
| t1 | read: m=8 | | | t2 | | read: m=8 | | t3 | | write: m=5 | | t4 | | commit: m=5 | | t5 | write: m=10 | | | t6 | commit: m=10 | |
从上面可以看到：事务A在t6提交的m=10会导致事务B在t4时刻提交的m=5丢失，此类型为第二类丢失更新。
脏读
即某一个事务读取了另外一个事务未提交的数据
| 时刻 | 事务A | 事务B |
|---|
| t1 | read: m=8 | | | t2 | write: m=10 | | | t3 | | read:m=10 | | t4 | rollback: m=8 | |
从上面可以看出，事务B在t3时刻读取了事务A在t2时刻写入的m=10，此时的m=10是未提交的数据。
不可重复读
即某一个事务对同一个数据前后读取的结果不一致
| 时刻 | 事务A | 事务B |
|---|
| t1 | read: m=8 | | | t2 | | read: m=8 | | t3 | write:m=10 | | | t4 | commit: m=10 | | | t5 | | read: m=10 |
从上面可以看到，事务B在两次read过程中事务A更新了数据，从而导致B前后两次读取的结果不一致。
幻读
某一个事务，对同一个表前后查询到的行数不一-致
| 时刻 | 事务A | 事务B |
|---|
| t1 | | select：id<10(1,2,3) | | t2 | insert ： id=4 | | | t3 | commit: id=(1,2,3,4) | | | t4 | | select: id<10(1,2,3,4) |
事务的隔离级别
| 隔离级别 | 第一类丢失更新 | 第二类丢失更新 | 脏读 | 不可重复读 | 幻读 |
|---|
| Read Uncommitted | Y | Y | Y | Y | Y | | Read Commited | N | N | Y | Y | Y | | Repeatable Read | N | N | N | N | Y | | Serializable | N | N | N | N | N |
备注：上表格的Y表示会导致发生，N表示不会导致。
实现机制
- 悲观锁（数据库）
- 共享锁：某事务对数据加了共享锁后，其他事务只能再对该数据加共享锁，但不能加排他锁
- 排他锁：某事物对数据加了排它锁后，其他事务不能再对该数据加共享锁和排他锁。
- 乐观锁（自定义）
- 版本号，时间戳
- 在更新数据前，检查版本号是否发生变化。若变化则取消本次更新，否则就更新数据。
|