事务是用来保证数据库一致性的关键技术。事物内的数据库操作,要么全部成功,要么全部失败。在MySQL中,事务支持是在引擎层实现的。
本篇文章里,将会以InnoDB为例,剖析MySQL在事务支持方面的特定实现。
隔离性与隔离级别
提到事务,你肯定会想到ACID(Atomicity、Consistency、Isolation、Durability,即原子性、一致性、隔离性、持久性)。
-
原子性(Atomicity):一个事务是不可分割的最小工作单位。执行的事务,要么全部成功,要么回滚到执行事务之前的状态。
-
一致性(Consistency):事务执行的结果必须是使数据库从一个一致性状态变到另一个一致性状态。因此当数据库只包含成功事务提交的结果时,就说数据库处于一致性状态。(也可以理解为系统从一个正确的状态,迁移到另一个正确的状态)
-
隔离性(Isolation):隔离性的意思就是多个事务之间互相不干扰,即使是并发事务的情况下,他们只是两个并发执行没有交集,互不影响的东西;当然实现中,也不一定需要这么完整隔离性,即不一定需要这么的互不干扰,有时候还是允许有部分干扰的。所以MySQL可以支持4种事务隔离性
-
持久性(Durability):事务一旦被提交(commit / rollback ),数据的改变是永久性的。
本章讲解的就是其中I,也就是“隔离性”:
当数据库上有多个事务同时执行的时候,就可能出现脏读(dirty read)、不可重复读(non-repeatable read)、幻读(phantom read)的问题,为了解决这些问题,就有了“隔离级别”的概念。可以用 show variables like ‘transaction_isolation’; 来查看当前的隔离级别。
下面简单介绍一下四种隔离级别。
· READ UNCOMMITTED(读未提交):事务还没提交时,变动就能被别的事务看到。
· READ COMMITTED(读提交): 事物提交后,变动才能被别的事物看到。
· REPEATABLE READ(可重复读):事务执行过程中看到的数据,总是跟这个事务在启动时看到的数据是一致的。在可重复读隔离级别下,未提交变更对其他事务也是不可见的。
· SERIAIZABLE(串行化):对于每一行记录,都会加锁(“写”会加“写锁”,“读”会加“读锁”)。当出现读写锁冲突的时候,后访问的事务必须等前一个事务执行完成,才能继续执行。
大致实现逻辑:
数据库里面会创建一个视图,访问的时候以视图的逻辑结果为准。
在“可重复读”隔离级别下,这个视图是在事务启动时创建的,整个事务存在期间都用这个视图。
在“读提交”隔离级别下,这个视图是在每个SQL语句开始执行的时候创建的。
这里需要注意的是,“读未提交”隔离级别下直接返回记录上的最新值,没有视图概念;而“串行化”隔离级别下直接用加锁的方式来避免并行访问。
事务的启动方式
1.显式启动事务语句, begin 或 start transaction。提交语句是commit,回滚语句是rollback。
2.set autocommit=0,这个命令会将这个线程的自动提交关掉。意味着如果你只执行一个select语句,这个事务就启动了,而且不会自动提交。这个事务持续存在直到你主动执行commit 或 rollback 语句,或者断开连接。
建议使用set autocommit=1, 通过显式语句的方式来启动事务。(select @@autocommit; 查看当前值)
有的开发会纠结“多一次交互”的问题。对于一个需要频繁使用事务的业务,第二种方式每个事务在开始时都不需要主动执行一次 “begin”,减少了语句的交互次数。如果你也有这个顾虑,我建议你使用commit work and chain语法。
在autocommit为1的情况下,用begin显式启动的事务,执行commit work and chain则提交事务并自动启动下一个事务。
可以在information_schema库的innodb_trx这个表中查询长事务,比如下面这个语句,用于查找持续时间超过60s的事务。
select * from information_schema.innodb_trx where TIME_TO_SEC(timediff(now(),trx_started))>60
MVCC多版本并发控制
指的是一条记录在系统中可以存在多个版本,每次修改记录都会存储这条记录被修改的之前的版本,多版本之间串联起来就形成了一条版本链。
MVCC在很多情况下避免了加锁操作,因此开销更低,实现了非阻塞的读操作,写操作只锁定必要的行。
InnoDB的MVCC,是通过在每行记录后保存2个隐藏的列实现的。这两个列,一个保存行的创建时间,一个保存行的过期时间(或删除时间)。存储的是系统版本号。
每开始一个新事物,系统版本号都会自动递增。事物开始时的系统版本号会作为事物的版本号,用来和查询到的每行记录版本号做比较。
下面是可重复读隔离级别下,MVCC实现
SELECT
读取创建版本小于或等于当前事务版本号,并且删除版本为空或大于当前事务版本号的记录。这样可以保证在读取之前记录是存在的
INSERT
将当前事务的版本号保存至行的创建版本号
UPDATE
新插入一行,保存当前系统版本号作为行版本号,同时将原记录行的删除版本号设置为当前事务版本号
DELETE
将当前事务的版本号保存至行的删除版本号
扩展
如何避免长事务对业务的影响?
- 业务连接数据库的时候,根据业务本身的预估,通过SET MAX_EXECUTION_TIME命令,来控制每个语句执行的最长时间,避免单个语句意外执行太长时间。
- 监控 information_schema.Innodb_trx表,设置长事务阈值,超过就报警/或者kill。
- 使用监控工具。