关于mysql:事务的ACID特性

事务机制 · 语雀 (yuque.com)

介绍事务

技术是为了解决问题而生的，通过事务咱们能够解决以下问题：

• 多个操作不是一个整体操作，呈现了局部执行胜利的状况，导致数据的状态不统一问题（原子性）
• 一组操作只有局部实现，没有全副实现，然而此时能够拜访到数据的不统一状态问题（可见性问题，隔离性）
• 两组操作并发执行，导致的并发问题
• ……

事务存在的意义：保证系统中的数据是正确的，不同数据间不会产生矛盾，也就是保证数据状态的一致性。

事务是什么（事务的概念）：事务是一个或多个操作的组合操作，并且事务对这个组合操作提供一个保障，如果这个组合操作执行之前的数据是统一的（即正确的），那么执行组合操作之后的数据也应该是统一的。不管这个组合操作执行的过程中，产生了系统故障，还是在这个组合操作执行的过程中，是否与其余事务一起执行。（这也对应了下面提到的事务要解决的问题）

即便没有事务反对，或者下层利用仍然能够工作，然而在没有原子性保障时，错误处理就会异样简单，而不足隔离性则容易呈现并发性方面的各种奇怪问题。

如果咱们冀望多个操作同时胜利或者失败，并且冀望多组操作之间互相隔离（不相互影响），那么就须要通过一个事务来执行。

Oracle 是反对事务的。而 MySQL 中只有 InnoDB 存储引擎反对事务，MyISAM、Memory、Merge 等存储引擎都不反对事务。

对事务进行管制

应用事务有两种形式，别离为：隐式事务和显式事务。

隐式事务

隐式事务又称主动提交事务，顾名思义就是当执行完一条 SQL 语句后，会主动 commit 提交。

MySQL 默认应用的就是隐式事务。

显式事务

如果咱们想敞开主动提交，能够应用下边的两种办法之一：

• 显式的的应用 start transaction 或者 begin 语句开启一个事务。这样，在本次事务提交或者回滚之前会临时敞开主动提交性能。
• 把零碎变量 autocommit 的值设置为 off 或者 0：set autocommit = off。这样，本次会话将敞开主动提交性能。不管是否显式的开启一个事务，每次执行事务都须要应用 commit 进行提交让事务失效，应用 rollback 对事务进行回滚。

须要留神的是：设置 autocommit 的值，只针对以后会话无效。

autocommit 参数的取值有 2 种可能：

• autocommit = 0：勾销主动提交性能
• autocommit = 1：应用主动提交性能（默认值）

start transaction 比 begin 语句弱小 的一点是：能够在 start transaction 语句前面追随几个修饰符，用来设置事务的拜访模式，修饰符如下所示：

• read only：标识以后事务是一个只读事务。即该事务内的操作只能读取数据，而不能批改数据。
• read write：标识以后事务是一个读写事务。即该事务内的操作既能够读取数据，也能够批改数据。
• with consistent snapshot：启动一致性读。即执行该命令后立刻生成 ReadView，而不必等到第一条 select 语句执行。

如果咱们想在 start transaction 前面追随多个修饰符的话，应用逗号将修饰符离开即可，

如果不显式的指定事务的拜访模式，那么该事务的拜访模式默认为：读写模式。

保留点 savepoint

能够用 savepoint 保留点名称; 语句创立保留点，不便后续回滚到指定保留点。

保留点就是在事务对应的数据库语句中打几个点，咱们在调用 rollback 语句时，能够回滚到指定的保留点，保留局部操作而非回滚到事务执行之前的状态。

当咱们想回滚到指定的保留点时，能够应用这个语句：rollback [work] to [savepoint] 保留点名称;（单词 work 和 savepoint 可有可无）。

如果 rollback 语句后没有追随保留点名称的话，会间接回滚到事务执行之前的状态。

如果咱们想删除某个保留点，能够应用这个语句：release savepoint 保留点名称;

completion_type 参数

MySQL 中 completion_type 参数的取值有 3 种可能：

• completion=0（no_chain），这种状况下，当咱们执行 commit 的时候会提交事务，在执行下一个事务时，还是须要咱们应用 start transaction 或者 begin 来开启事务。（参数的默认值）
• completion=1（chain），这种状况下，当咱们提交事务时，相当于执行了 commit and chain，也就是开启一个链式事务；即当咱们提交事务之后，会开启一个雷同隔离级别的事务。
• completion=2（release），这种状况下，当咱们提交事务时，相当于执行了 commit and release；即当咱们事务之后，会主动与服务器断开连接。

事务的个性：ACID

事务的个性别离是：原子性 (Atomicity)、一致性 (Consistency)、隔离性 (Isolation)、持久性 (Durability)。

上面咱们别离介绍这四个个性。

一致性：一个事务可能正确地将数据从一个一致性的状态，转换到另一个一致性的状态。

数据的一致性状态是指数据满足咱们当时定义好的束缚规定。也就是在事务执行的过程中，不管呈现什么问题（比方停电、宕机），最终的执行后果都是满足咱们当时定义好的束缚规定的。

数据的一致性就是正确性。

原子性：一个事务中蕴含的所有操作，要么全副执行，要么一个都不执行，即 all-or nothing。

事务在执行过程中呈现故障（宕机、断电、过程解体、某种完整性束缚被违反），导致操作不能全副执行时，事务会被回滚 (Rollback) 到事务开始前的状态，就像这个事务素来没有执行过一样。

隔离性：如果多个事务并发执行，事务之间不应该呈现相互影响的状况，它其实就是数据库的并发管制。

数据库试图通过事务隔离来对利用开发者暗藏，事务并发时可能呈现的各种异常情况。

在实践中，因为思考到性能的问题，会在高性能与正确性之间做一个衡量。使用者能够依据本人的业务场景，抉择一个适合的隔离级别。

持久性：如果一个事务曾经提交胜利，那么不管呈现什么问题（比方停电、宕机、存储介质产生故障、数据库解体），事务所写入的任何数据都不会失落。

参考资料

掘金小册《MySQL 是怎么运行的：从根儿上了解 MySQL》

14 丨什么是事务处理，如何应用 COMMIT 和 ROLLBACK 进行操作？- 极客工夫 (geekbang.org)