背景
事物的四大特点ACID(Atomicity、Consistency、Isolation、Durability):
原子性
一致性
隔离性
持久化
为什么需要隔离性(Isolation)
当数据库上并发执行多个事物时,会出现脏读 不可重复读 幻读
为了解决这个问题,就有了隔离级别
隔离级别
读未提交 一个事务还未提交,其做的变更就能被别的事务看到
读已提交 一个事务提交之后,他的变更才可以被其他事务看到
可重复读 一个事务执行过程中看到的数据,总是跟这个事务在启动时
看到的数据为一直的,当然可重复读的给级别下,未提交变更对其他的
事务也是不可见的
串行化 针对同一行的记录 写会加锁 ,读也会加锁,当读写冲突的时候
后访问的需要等待前一个事务结束后才可以执行
举例说明不同的隔离级别看到的结果
若隔离级别是“读未提交”, 则 V1 的值就是 2。这时候
事务 B 虽然还没有提交,但是结果已经被 A 看到了。
因此,V2、V3 也都是2。
若隔离级别是“读提交”,则 V1 是 1,V2 的值是 2。事
务 B 的更新在提交后才能被 A 看到。所以, V3 的值也是 2。
若隔离级别是“可重复读”,则 V1、V2 是 1,V3 是 2。
之所以 V2 还是 1,遵循的就是这个要求:事务在执行期
间看到的数据前后必须是一致的。
若隔离级别是“串行化”,则在事务 B 执行“将 1 改
成 2”的时候,会被锁住。直到事务 A 提交后,事务
B 才可以继续执行。所以从 A 的角度看, V1、V2
值是 1,V3 的值是 2。
不同隔离级别下创建的视图时机是:
数据库里面会创建一个视图,访问的时候以视图的逻辑结
果为准。在“可重复读”隔离级别下,这个视图是在事务
启动时创建的,整个事务存在期间都用这个视图。在“读
提交”隔离级别下,这个视图是在每个 SQL 语句开始执行
的时候创建的。这里需要注意的是,“读未提交”隔离级别
下直接返回记录上的最新值,没有视图概念;而“串行化”
隔离级别下直接用加锁的方式来避免并行访问。
如果看着图 可以在不同隔离级别先说清看到的结果,说明
隔离级别产生的影响基本理解
查看隔离级别:
show variables like 'transaction_isolation';
可重复读的场景
假设你在管理一个个人银行账户表。一个表存了账户余额,一个表存了账单
明细。到了月底你要做数据校对,也就是判断上个月的余额和当前余额的差
额,是否与本月的账单明细一致。你一定希望在校对过程中,即使有用户发
生了一笔新的交易,也不影响你的校对结果
事务隔离的实现
实际上每条记录在更新的时候都会同时记录一条回滚操作。记录上的最新值,通过回滚操作,都可以得到前一个状态的值。
当前值是 4,但是在查询这条记录的时候,不同时刻启动的事务会有不同的
read-view。如图中看到的,在视图 A、B、C 里面,这一个记录的值分别
是 1、2、4,同一条记录在系统中可以存在多个版本,就是数据库的多版
本并发控制(MVCC)。对于 read-view A,要得到 1,就必须将当前值依
次执行图中所有的回滚操作得到
为什么不建议使用长事物
长事务意味着系统里面会存在很老的事务视图。由于这些事务随时可能访问
数据库里面的任何数据,所以这个事务提交之前,数据库里面它可能用到的
回滚记录都必须保留,这就会导致大量占用存储空间