TiDB 事务隔离级别

    SQL 92 标准定义了 4 种隔离级别:读未提交、读已提交、可重复读、串行化。详见下表:

    TiDB 实现了快照隔离 (Snapshot Isolation) 级别的一致性。为与 MySQL 保持一致,又称其为“可重复读”。该隔离级别不同于 ANSI 可重复读隔离级别和 。

    TiDB 使用 Percolator 事务模型,当事务启动时会获取全局读时间戳,事务提交时也会获取全局提交时间戳,并以此确定事务的执行顺序,如果想了解 TiDB 事务模型的实现可以详细阅读以下两篇文章:,Percolator 和 TiDB 事务算法

    当事务隔离级别为可重复读时,只能读到该事务启动时已经提交的其他事务修改的数据,未提交的数据或在事务启动后其他事务提交的数据是不可见的。对于本事务而言,事务语句可以看到之前的语句做出的修改。

    处于可重复读隔离级别的事务不能并发的更新同一行,当时事务提交时发现该行在该事务启动后,已经被另一个已提交的事务更新过,那么该事务会回滚并启动自动重试。示例如下:

    尽管名称是可重复读隔离级别,但是 TiDB 中可重复读隔离级别和 ANSI 可重复隔离级别是不同的。按照 论文中的标准,TiDB 实现的是论文中的 Snapshot 隔离级别 (SI)。该隔离级别不会出现狭义上的幻读 (A3),但不会阻止广义上的幻读 (P3),同时,SI 还会出现写偏斜,而 ANSI 可重复读隔离级别不会出现写偏斜,会出现幻读。

    与 MySQL 可重复读隔离级别的区别

    MySQL 可重复读隔离级别在更新时并不检验当前版本是否可见,也就是说,即使该行在事务启动后被更新过,同样可以继续更新。这种情况在 TiDB 会导致事务回滚,导致事务最终失败,而 MySQL 是可以更新成功的。MySQL 的可重复读隔离级别并非 Snapshot 隔离级别,MySQL 可重复读隔离级别的一致性要弱于 Snapshot 隔离级别,也弱于 TiDB 的可重复读隔离级别。

    TiDB 2.1 默认会进行事务重试,但需注意重试事务可能会导致更新丢失。如果业务可以容忍事务重试导致的异常,或者说并不关注事务是否以 SI 隔离级别来执行,可以保持自动重试为开启状态。通过设置 可关闭自动重试。如果 tidb_retry_limit 的值为 0,也会禁用自动重试。开启自动重试时,事务遇到提交出错的可能性会降低。

    因为 TiDB 自动重试事务,开启自动重试时,显式的事务在遇到冲突后,可能会导致最终结果不符合预期。

    比如下面这两个例子:

    通过配置 tidb_disable_txn_auto_retry = 1 变量可以关掉显示事务的重试。

    改变 tidb_disable_txn_auto_retry 变量不会影响 auto_commit = 1 的单语句的隐式事务,因为该语句的自动重试,不会造成丢失更新等异常,即不会破坏事务的隔离性。

    关掉显式事务重试后,如果出现事务冲突,commit 语句会返回错误,错误信息会包含 这个字符串,应用层可以用来判断遇到的错误是否是可以重试的。

    如果事务执行过程中包含了应用层的逻辑,建议在应用层添加显式事务的重试,并关闭自动重试。

    tidb_retry_limit 变量决定了事务重试的最大次数,默认值为 10,当它被设置为 0 时,所有事务都不会自动重试,包括自动提交的单语句隐式事务。这是彻底禁用 TiDB 中自动重试机制的方法。当用户相比于事务隔离性,更关心事务执行的延迟时,可以将它设置为 0,所有冲突的事务都会以最快的方式上报失败给应用层。

    在事务内部执行一个语句,遇到错误时,该语句不会生效。

    这个例子中,第二个语句失败,最后由于调用了 rollback,事务不会将任何数据写入数据库。