数据库事务概述

1.1 存储引擎支持情况

SHOW ENGINES 命令来查看当前 MySQL 支持的存储引擎都有哪些，以及这些存储引擎是否支持事务。 能看出在 MySQL 中，只有 InnoDB 是支持事务的。

1.2 基本概念

事务： 一组逻辑操作单元，使数据从一种状态变换到另一种状态。

事务处理的原则： 保证所有事务都作为 一个工作单元 来执行，即使出现了故障，都不能改变这种执行方式。当在一个事务中执行多个操作时，要么所有的事务都被提交( commit ) ，那么这些修改就 永久 地保 存下来；要么数据库管理系统将 放弃 所作的所有 修改 ，整个事务回滚 ( rollback ) 到最初状态。

 

1.3 事务的ACID特性

原子性（ atomicity ）：

原子性是指事务是一个不可分割的工作单位，要么全部提交，要么全部失败回滚。

一致性（ consistency ）：

（国内很多网站上对一致性的阐述有误，具体你可以参考 Wikipedia 对 Consistency 的阐述）

根据定义，一致性是指事务执行前后，数据从一个 合法性状态 变换到另外一个 合法性状态 。这种状态 是 语义上 的而不是语法上的，跟具体的业务有关。

那什么是合法的数据状态呢？满足 预定的约束 的状态就叫做合法的状态。通俗一点，这状态是由你自己来定义的（比如满足现实世界中的约束）。满足这个状态，数据就是一致的，不满足这个状态，数据就是不一致的！如果事务中的某个操作失败了，系统就会自动撤销当前正在执行的事务，返回到事务操作之前的状态。

 

隔离型（isolation）：

事务的隔离性是指一个事务的执行 不能被其他事务干扰 ，即一个事务内部的操作及使用的数据对 并发 的其他事务是隔离的，并发执行的各个事务之间不能互相干扰。

如果无法保证隔离性会怎么样？假设 A 账户有 200 元， B 账户 0 元。 A 账户往 B 账户转账两次，每次金额为 50元，分别在两个事务中执行。如果无法保证隔离性，会出现下面的情形：

UPDATE accounts SET money = money - 50  WHERE NAME = 'AA';

UPDATE accounts SET money = money + 50 WHERE NAME = 'BB' ;

 

持久性（ durability ）：

持久性是指一个事务一旦被提交，它对数据库中数据的改变就是 永久性的 ，接下来的其他操作和数据库故障不应该对其有任何影响。

持久性是通过 事务日志 来保证的。日志包括了 重做日志 和 回滚日志 。当我们通过事务对数据进行修改的时候，首先会将数据库的变化信息记录到重做日志中，然后再对数据库中对应的行进行修改。这样做的好处是，即使数据库系统崩溃，数据库重启后也能找到没有更新到数据库系统中的重做日志，重新执行，从而使事务具有持久性 

1.4 事务的状态

我们现在知道 事务 是一个抽象的概念，它其实对应着一个或多个数据库操作， MySQL 根据这些操作所执行的不同阶段把 事务 大致划分成几个状态：

活动的（ active ）

事务对应的数据库操作正在执行过程中时，我们就说该事务处在 活动的 状态。

部分提交的（ partially committed ）

当事务中的最后一个操作执行完成，但由于操作都在内存中执行，所造成的影响并 没有刷新到磁盘 时，我们就说该事务处在 部分提交的 状态。

失败的（ failed ）

当事务处在 活动的 或者 部分提交的 状态时，可能遇到了某些错误（数据库自身的错误、操作系统

错误或者直接断电等）而无法继续执行，或者人为的停止当前事务的执行，我们就说该事务处在 失败的 状态。

中止的（ aborted ）

如果事务执行了一部分而变为 失败的 状态，那么就需要把已经修改的事务中的操作还原到事务执

行前的状态。换句话说，就是要撤销失败事务对当前数据库造成的影响。我们把这个撤销的过程称

之为 回滚 。当 回滚 操作执行完毕时，也就是数据库恢复到了执行事务之前的状态，我们就说该事

务处在了 中止的 状态。

举例：

UPDATE accounts SET money = money - 50 WHERE NAME = 'AA' ;

UPDATE accounts SET money = money + 50 WHERE NAME = 'BB' ;

提交的（ committed ）

当一个处在 部分提交的 状态的事务将修改过的数据都 同步到磁盘 上之后，我们就可以说该事务处

在了 提交的 状态。

一个基本的状态转换图如下所示：

 

 图中可见, 只有当事务处于提交的或者中止的状态时, 一个事务的生命周期才算是结束了. 对于已经提交的事物来说, 该事务对数据库所做的修改将永久生效, 对于处于终止状态的事物, 该事务对数据库所做的所有修改都会被回滚到没执行该事务之前的状态