面试官上来就问MySQL事务,瑟瑟发抖...

原创
数据库 MySQL
关于学习这件事情宁可花点时间系统学习,也不要东一榔头西一棒槌,都说学习最好的方式就是系统的学习,希望看完本文会让你对 MySQL 事物有一定的理解,数据库版本为 8.0。

【51CTO.com原创稿件】关于学习这件事情宁可花点时间系统学习,也不要东一榔头西一棒槌,都说学习最好的方式就是系统的学习,希望看完本文会让你对 MySQL 事物有一定的理解,数据库版本为 8.0。

[[389472]]

图片来自 Pexels

什么是事物

事物是独立的工作单元,在这个独立工作单元中所有操作要么全部成功,要么全部失败。

也就是说如果有任何一条语句因为崩溃或者其它原因导致执行失败,那么未执行的语句都不会再执行,已经执行的语句会进行回滚操作,这个过程被称之为事物。

例:最近在写一个论坛系统,当发布的主题被其它用户举报后,后台会对举报内容进行审核。

一经审核为违规主题,则进行删除主题的操作,但不仅仅要删除主题还要删除主题下的帖子、浏览量,关于这个主题的一切信息都需要进行清理。

删除流程如下,用上边概念来说,以下执行的四个流程,每个流程都必须成功否则事务回滚返回删除失败。

假设执行到了第三步后 SQL 执行失败了,那么第一二步都会进行回滚,第四步则不会在执行。

事物四大特征

事物的四大特征:

  • 原子性
  • 一致性
  • 隔离性
  • 持久性

①原子性

事物中所有操作要么全部成功,要么全部失败,不会存在一部分成功,一部分失败。

这个概念也是事物最核心的特性,事物概念本身就是使用原子性进行定义的。

原子性的实现是基于回滚日志实现(undo log),当事物需要回滚时就会调用回滚日志进行 SQL 语句回滚操作,实现数据还原。

②一致性

一致性,字面意思就是前后一致呗!在数据库中不管进行任何操作,都是从一个一致性转移到另一个一致性。

当事物结束后,数据库的完整性约束不被破坏。当你了解完事物的四大特征之后就会发现,都是保证数据一致性为最终目标存在的。

在学习事物的过程中大家看到最多的案例就是转账,假设用户 A 与用户 B 余额共计 1000,那么不管怎么转俩人的余额自始至终也就只有 1000。

③隔离性

保证事物执行尽可能的不受其它事物影响,这个是隔离级别可以自行设置,在 innodb 中默认的隔离级别为可重复读(Repeatable Read)。

这种隔离级别有可能造成的问题就是出现幻读,但是使用间隙锁可以解决幻读问题。

学习了隔离性你需要知道原子性和持久性是针对单个事物,而隔离性是针对事物与事物之间的关系。

④持久性

持久性是指当事物提交之后,数据的状态就是永久的,不会因为系统崩溃而丢失。事物持久性是基于重做日志(redo log)实现的。

事物并发会出现的问题

①脏读

读取了另一个事物没有提交的数据。

以上表为例,事物 A 读取主题访问量时读取到了事物B没有提交的数据 150。

如果事物 B 失败进行回滚,那么修改后的值还是会回到 100。然而事物 A 获取的数据是修改后的数据,这就有问题了。

②不可重复读

事物读取同一个数据,返回结果先后不一致问题。 

上表格中,事物 A 在先后获取主题访问量时,返回的数据不一致。也就是说在事物 A 执行的过程中,访问量被其它事物修改,那么事物 A 查询到的结果就是不可靠的。

脏读与不可重复读的区别:脏读读取的是另一个事物没有提交的数据,而不可重复读读取的是另一个事物已经提交的数据。

③幻读

事物按照范围查询,俩次返回结果不同。

以上表为例,当对 100-200 访问量的主题做统计时,第一次找到了 100 个,第二次找到了 101 个。

④区别

脏读读取的是另一个事物没有提交的数据,而不可重复读读取的是另一个事物已经提交的数据。

幻读和不可重复读都是读取了另一条已经提交的事务(这点与脏读不同),所不同的是不可重复读查询的都是同一个数据项,而幻读针对的是一批数据整体(比如数据的个数)。

针对以上的三个问题,产生了四种隔离级别。在第二节中对隔离性进行了简单的概念解释,实际上的隔离性是很复杂的。

在 MySQL 中定义了四种隔离级别,分别为:

  • 未提交读 (Read Uncommitted):俩个事物同时运行,有一个事物修改了数据,但未提交,另一个事物是可以读取到没有提交的数据。这种情况被称之为脏读。
  • 提交读(Read committed):一个事物在未提交之前,所做的任何操作其它事物不可见。这种隔离级别也被称之为不可重复读。因为会存在俩次同样的查询,返回的数据可能会得到不一样的结果。
  • 可重复读(Repeatable Read):这种隔离级别解决了脏读问题,但是还是存在幻读问题,这种隔离界别在 MySQL 的 innodb 引擎中是默认级别。MySQL 在解决幻读问题使用间隙锁来解决幻读问题。
  • 可串行化 (Serializable):这种级别是最高的,强制事物进行串行执行,解决了可重复读的幻读问题。

对于隔离级别,级别越高并发就越低,而级别越低会引发脏读、不可重复读、幻读的问题。

因此在 MySQL 中使用可重复读(Repeatable Read)作为默认级别。

作为默认级别是如何解决并处理相应问题的呢?那么针对这一问题,是一个难啃的骨头,我将在下一期 MVCC 文章专门来介绍这块。

事物日志以及事物异常如何应对

在 Innodb 中事物的日志分为俩种,回滚日志、重做日志。

先来看一下俩个日志的存放位置吧!MySQL 的版本号为 8.0。

在 Linux 下的 MySQL 事物日志存放在 /var/lib/mysql 这个位置中:

从上图中可以看到分别为 ib_logfile、undo_ 俩个文件:

  • ib_logfile 文件为重做日志
  • undo_ 文件为回滚日志

在这里估计有点小伙伴会有点迷糊这个回滚日志。那是因为在 MySQL 5.6 默认回滚日志没有进行独立表空间存储,而是存放到了 ibdata 文件中。

独立表空间存储从 MySQL 5.6 后就已经支持了,但是需要自行配置。

在 MySQL 8.0 是由 innodb_undo_tablespaces 这个参数来设置回滚日志独立空间个数,这个参数的范围为 0-128。

默认值为 0 表示不开启独立的回滚日志,且回滚日志存储在 ibdata 文件中。

这个参数是在初始化数据库时指定的,实例一旦创建这个参数是不能改动的。

如果设置的 innodb_undo_tablespaces 值大于实例创建时的个数,则会启动失败。

①重做日志(redo log)(持久性实现原理)

事物的持久性就是通过重做日志来实现的。

当提交事物之后,并不是直接修改数据库的数据的,而是先保证将相关的操作记录到 redo 日志中。

数据库会根据相应的机制将内存的中的脏页数据刷新到磁盘中。

上图是一个简单的重做日志写入流程。

在上图中提到俩个陌生概念,Buffer pool、redo log buffer,这个俩个都是 Innodb 存储引擎的内存区域的一部分。

而 redo log file 是位于磁盘位置。也就说当有 DML(insert、update、delete)操作时,数据会先写入 Buffer pool,然后在写到重做日志缓冲区。

重做日志缓冲区会根据刷盘机制来进行写入重做日志中。

这个机制的设置参数为 innodb_flush_log_at_trx_commit,参数分别为 0,1,2。

上图即为重做日志的写入策略:

  • 当这个参数的值为 0 的时,提交事务之后,会把数据存放到 redo log buffer 中,然后每秒将数据写进磁盘文件。
  • 当这个参数的值为 1 的时,提交事务之后,就必须把 redo log buffer 从内存刷入到磁盘文件里去,只要事务提交成功,那么 redo log 就必然在磁盘里了。
  • 当这个参数的值为 2 的情况,提交事务之后,把 redo log buffer 日志写入磁盘文件对应的 os cache 缓存里去,而不是直接进入磁盘文件,1 秒后才会把 os cache 里的数据写入到磁盘文件里去。

②服务器异常停止对事物如何应对(事物写入过程)

事物写入过程如下:

  • 当参数为 0 时,前一秒的日志都保存在日志缓冲区,也就是内存上,如果机器宕掉,可能丢失 1 秒的事务数据。
  • 当参数为 1 时,数据库对 IO 的要求就非常高了,如果底层的硬件提供的 IOPS 比较差,那么 MySQL 数据库的并发很快就会由于硬件 IO 的问题而无法提升。
  • 当参数为 2 时,数据是直接写进了 os cache 缓存,这部分属于操作系统部分,如果操作系统部分损坏或者断电的情况会丢失 1 秒内的事物数据,这种策略相对于第一种就安全了很多,并且对 IO 要求也没有那么高。

小结:

  • 关于性能:0>2>1
  • 关于安全:1>2>0

根据以上结论,所以说在 MySQL 数据库中,刷盘策略默认值为 1,保证事物提交之后,数据绝对不会丢失。

③回滚日志(undo log)(原子性实现原理)

回滚日志保证了事物的原子性。回滚日志相对重做日志来说没有那么复杂的流程。

当事物对数据库进行修改时,Innodb 引擎不仅会记录 redo log 日志,还会记录 undo log 日志。

如果事物失败,或者执行了 rollback,为了保证事物的原子性,就必须利用 undo log 日志来进行回滚操作。

回滚日志的存储形式如下:在 undo log 日志文件,事物中使用的每条 insert 都对应了一条 delete,每条 update 也都对应一条相反的 update 语句。

注意:系统发生宕机或者数据库进程直接被杀死。当用户再次启动数据库进程时,还能够立刻通过查询回滚日志将之前未完成的事物进程回滚。

这也就需要回滚日志必须先于数据持久化到磁盘上,是需要先写日志后写数据库的主要原因。回滚日志不仅仅可以保证事物的原子性,还是实现 mvcc 的重要因素。

以上就是关于事物的俩大日志,重做日志、回滚日志的理解。

锁机制

锁在 MySQL 中是是非常重要的一部分,锁对 MySQL 数据访问并发有着举足轻重的作用。

所以说锁的内容以及细节是十分繁琐的,本节只是对 Innodb 锁的一个大概整理。

MySQL中有三类锁,分别为行锁、表锁、页锁。首先需要明确的是这三类锁是是归属于那种存储引擎的:

  • 行锁:Innodb 存储引擎
  • 表锁:Myisam、MEMORY 存储引擎
  • 页锁:BDB 存储引擎

①行锁

行锁又分为共享锁、排它锁,也被称之为读锁、写锁,Innodb 存储引擎的默认锁。

共享锁(S):假设一个事物对数据 A 加了共享锁(S),则这个事物只能读 A 的数据。

其他事物只能再对数据 A 添加共享锁(S),而不能添加排它锁(X),直到这个事物释放了数据 A 的共享锁(S)。

这就保证了其他事物也可以读取 A 的数据,但是在这个事物没有释放在 A 数据上的共享锁(S)之前不能对 A 做任何修改。

排它锁(X):假设一个事物对数据 A 添加了排它锁(X),则只允许这个事物读取和修改数据 A。

其他任何事物都不能在对数据A添加任何类型的锁,直至这个事物释放了数据 A 上的锁。

排它锁阻止其它事物获取相同数据的共享锁(S)、排它锁(X),直至释放排它锁(X)。

特点如下:

  • 只针对单一数据进行加锁
  • 开销大
  • 加锁慢
  • 会出现死锁
  • 锁粒度最小,发生锁冲突的概率越低并发越高

还记得在上文中提到的事物并发带来的问题、脏读、不可重读读、幻读。

学习到了这里,应该就明白可重复读(Repeatable Read)如何解决脏读、不可重读读了。

脏读、和不可重复读的解决方案很简单,写前加排它锁(X),事务结束才释放,读前加共享锁(S),事务结束就释放。

②表锁

表锁又分为表共享读锁、表独占写锁,也被称之为读锁、写锁,Myisam 存储引擎的默认锁。

表共享读锁:针对同一个份数据,可以同时读取互不影响,但不允许写操作。

表独占写锁:当写操作没有结束时,会阻塞所有读和写。

特点如下:

  • 对整张表加锁
  • 开销小
  • 加锁快
  • 无死锁
  • 锁粒度最大,发生锁冲突的概率越大,并发越小

本文主要说明 Innodb 和 Myisam 的锁,页锁不就不做详细说明了。

③如何加锁

表锁:

  • 隐式加锁:默认自动加锁释放锁,select 加读锁、update、insert、delete 加写锁。
  • 手动加锁:lock table tableName read;(添加读锁)、lock table tableName write(添加写锁)。
  • 手动解锁:unlock table tableName(释放单表)、unlock table(释放所有表)。

行锁:

  • 隐式加锁:默认自动加锁释放锁,只有 select 不会加锁,update、insert、delete 加排它锁。
  • 手动加共享锁:select id name from user lock in share mode。
  • 手动加排它锁:select id name form user for update。
  • 解锁:正常提交事物(commit)、事物回滚(rollback)、kill 进程。

总结

本文主要对事物的重点知识点进行解读,内容总结。

事物四大特征实现原理:

  • 原子性:使用事物日志的回滚日志(undo log)实现
  • 隔离性:使用 mvcc 实现(幻读问题除外)
  • 持久性:使用事物日志的重做日志(redo log)实现
  • 一致性:是事物追求的最终目标,原子性、隔离性、持久性都是为了保证数据库一致性而存在

事物并发出现问题的区别:

  • 脏读与不可重复读的区别:脏读是读取没有提交事物的数据、不可重复读读取的是已提交事物的数据。
  • 幻读与不可重复读的区别:都是读取的已提交事物的数据(与脏读不同),幻读针对的是一批数据,例如个数。不可重复读针对的是单一数据。

事物日志:

  • 重做日志(redo log):实现了事物的持久性,提交事物后不是直接修改数据库,而是保证每次事物操作读写入 redo log 中。并且落盘会有三种策略(详细看四-1节)。
  • 回滚日志(undo log):实现了事物的原子性,针对 DML 的操作,都会有记录相反的 DML 操作。

作者:咔咔

编辑:陶家龙

征稿:有投稿、寻求报道意向技术人请添加小编微信 gordonlonglong

【51CTO原创稿件,合作站点转载请注明原文作者和出处为51CTO.com】

 

责任编辑:武晓燕 来源: 51CTO技术栈
相关推荐

2021-04-06 06:07:37

ZAB 协议原子广播协议网络协议

2021-09-16 07:55:39

Kafka事务执行

2020-12-18 08:40:44

Chrome浏览器渲染

2021-01-11 07:48:59

CTO团队职场

2020-09-18 10:00:33

iOS苹果浏览器

2020-11-23 10:06:00

互联网数据技术

2022-07-03 06:26:53

JetBrains插件

2021-05-02 23:13:35

人工智能自动化人脸识别

2021-01-06 08:34:21

Spring核心组件

2022-11-24 15:05:51

谷歌码农

2019-10-23 09:50:53

微信支付宝

2019-07-15 14:13:58

人工智能职业被取代

2019-05-13 09:23:50

GitHub代码开发者

2021-12-08 23:30:14

互联网裁员危机

2017-11-07 11:49:23

工信部套餐运营商

2020-04-09 13:38:40

MySQL数据库脏读

2021-06-03 08:55:54

分布式事务ACID

2021-09-08 08:06:57

Redis原子性数据类型

2022-04-22 15:28:22

算法MIT数据

2022-05-23 08:43:02

BigIntJavaScript内置对象
点赞
收藏

51CTO技术栈公众号