InnoDB的隔离级别实现机制深度解析18

本文涉及的产品
云解析 DNS,旗舰版 1个月
全局流量管理 GTM,标准版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
简介: 【7月更文挑战第18天】MySQL 数据库 InnoDB 存储引擎的隔离级别是通过锁和 MVCC 的机制实现的。

1、了解 MySQL 中锁的机制


锁是用于避免不同事务对共享资源的并发访问的产生读一致性的问题的机制。

1、表锁和行锁

InnoDB 存储引擎支持行锁和表锁,行锁就是锁住表里面的一行数据,用共享(S)锁和排他(X)锁来实现行锁;表锁就是锁住一张表,意向锁是表级锁,InnoDB 的表锁是通过行锁实现的,就是把表里所有的行用共享(S)锁和排他(X)锁来锁住。

2、表锁和行锁的性能分析

因为表锁只需要直接锁住这张表就行了,而行锁还需要在表里面去检索这一行数据,所以表锁的加锁效率更高。


因为当我们锁住一张表的时候,其他任何一个事务都不能操作这张表,但是我们锁住了表里面的一行数据的时候,其他的事务还可以来操作表里面的其他没有被锁定的行,所以表锁的冲突概率更大,那么表锁的并发性能就更低。

2、锁的分类



1、共享锁(Shared Locks)


共享锁,又称为读锁,简称 S 锁,共享锁就是多个事务对于同一数据可以共享一把锁,都能访问到数据,但是只能读不能修改。

加锁方式:


select * from person where id = 1001 LOCK IN SHARE MODE;

释放锁方式:


commit/rollback;

2、排他锁(Exclusive Locks)

排他锁,又称为写锁,简称 X 锁,排他锁不能与其他锁并存,如一个事务获取了一个数据行的排他锁,其他事务就不能再获取该行的锁(包括共享锁和排他锁),只有这个获取了排他锁的事务才可以对数据行进行修改,其它的事务不能对这个数据行进行修改,但是可以进行读取(通过 MVCC 的快照来读取的)

加锁方式:

自动:delete 、update、insert 默认加上 X 锁;

手动:


select * from person where id = 1001 FOR UPDATE;

释放锁方式:


commit/rollback;

共享锁和排他锁都是行锁,InnoDB 的行锁,就是通过锁住索引来实现的,只有通过索引进行数据检索,InnoDB 才会使用行锁,否则 InnoDB 将使用表锁,锁住所有的记录。这也就是为什么我们在做数据删除的时候一定要让 sql 命中索引,否则就会锁表。

3、意向锁(Intention Locks)

意向锁是由 InnoDB  数据引擎自己维护的,用户无法手动操作意向锁。

当我们给一行数据加上共享锁之前,数据引擎就会自动在这张表上面加一个意向共享锁(Intention Shared Lock,简称 IS 锁)。

当我们给一行数据加上排他锁之前,数据引擎就会自动在这张表上面加一个意向排他锁(Intention Exclusive Lock,简称 IX 锁)。

如果一张表上面至少有一个意向共享锁,说明有其他的事务给其中的某些数据行加上了共享锁。

如果一张表上面至少有一个意向排他锁,说明有其他的事务给其中的某些数据行加上了排他锁。

IS 锁 和  IX 锁是两个表锁,它们的作用是用来提高加锁的效率的,如果没有意向锁的话,当我们准备给一张表加上表锁的时候,就得先要去判断有没其他的事务锁定了其中了某些行,如果有的话,肯定不能加上表锁。那么这个时候我们就要去扫描整张表才能确定能不能成功加上一个表锁,如果数据量特别大,比如有上千万的数据的时候,加表锁的效率就会很低。但是我们引入了意向锁之后,我们只要判断这张表上面有没有意向锁就可以了,如果有就直接返回失败,如果没有就可以加锁成功。

所以 InnoDB 里面的表锁,我们可以把它理解成一个标志,当我们给一行数据加上行锁的时候,系统自动帮我们加上意向锁,作为一个标志,用来提高加表锁的时候(如果没有用到索引就会加表锁)的执行效率。

4、自增锁(AUTO-INC Locks)

增锁是针对自增列自增长的一个特殊的表锁,这是为主键自增专门实现的锁。可以通过以下命令查看自增是否连续,默认为 1,表示连续。


show variables like 'innodb_autoinc_lock_mode;

5、记录锁(Record Locks)

记录锁,就是锁定一条记录,当我们对于唯一性的索引(包括唯一索引和主键索引)使用等值查询,精准匹配到一条记录的时候,这个时候使用的就是记录锁。我们使用不同的主键去加锁,它只锁住这个主键的记录,所以叫记录锁。

6、间隙锁(Gap Locks)

间隙锁,就是锁定一段范围,当我们查询的记录不存在,没有命中任何一条记录,无论是用等值查询还是范围查询的时候,它使用的都是间隙锁,采用左开又开的区间。Gap Lock 只在 RR 隔离级别中存在。

7、临键锁(Next-key Lock)

临键锁,锁定范围加记录,当查询命中索引的时候,当通过范围查询的时候,数据引擎会按照按照范围划分区间,采用左开右闭的区间锁住它自己的区间以及它之后的一个区间,InnoDB 选择临键锁(Next-key Lock)作为行锁的默认算法,这么做的目的就是为了防止幻读。

3、MySQL 中四个事务隔离级别的实现



RU隔离级别(Read Uncommited ):不加锁。

串行化隔离级别(Serializable):所有的 select 语句都会被隐式的转化为 select ... in share mode,会和 update、delete 操作互斥。

RR隔离级别(Repeatable Read):普通的 select 使用快照读(snapshotread),底层使用 MVCC 来实现;加锁的 select(select ... in share mode / select ... for update)以及更新操作 update、delete 等语句使用当前读(current read),底层使用记录锁、或者间隙锁、临键锁来实现。

RC隔离级别(Read Commited):普通的 select 都是快照读,使用 MVCC 实现,加锁的 select 都使用记录锁,因为没有间隙锁(Gap Locks)。

要解决读一致性的问题,保证一个事务中前后两次读取数据结果一致,我们可以采用加锁的方式来实现事务隔离,表示一个事务在读取的时候不允许其他事务修改,而一般的应用都是读多写少,因此加锁的方式会给数据库的效率带来问题,因此普通的 select 查询没有使用加锁的方式来保证事务隔离。

目录
相关文章
|
5天前
|
监控 Java 应用服务中间件
高级java面试---spring.factories文件的解析源码API机制
【11月更文挑战第20天】Spring Boot是一个用于快速构建基于Spring框架的应用程序的开源框架。它通过自动配置、起步依赖和内嵌服务器等特性,极大地简化了Spring应用的开发和部署过程。本文将深入探讨Spring Boot的背景历史、业务场景、功能点以及底层原理,并通过Java代码手写模拟Spring Boot的启动过程,特别是spring.factories文件的解析源码API机制。
18 2
|
1月前
|
存储 缓存 算法
分布式锁服务深度解析:以Apache Flink的Checkpointing机制为例
【10月更文挑战第7天】在分布式系统中,多个进程或节点可能需要同时访问和操作共享资源。为了确保数据的一致性和系统的稳定性,我们需要一种机制来协调这些进程或节点的访问,避免并发冲突和竞态条件。分布式锁服务正是为此而生的一种解决方案。它通过在网络环境中实现锁机制,确保同一时间只有一个进程或节点能够访问和操作共享资源。
68 3
|
8天前
|
存储 消息中间件 算法
深入探索操作系统的心脏——内核机制解析
本文旨在揭示操作系统核心——内核的工作原理,通过剖析其关键组件与机制,为读者提供一个清晰的内核结构图景。不同于常规摘要的概述性内容,本文摘要将直接聚焦于内核的核心概念、主要功能以及其在系统管理中扮演的角色,旨在激发读者对操作系统深层次运作原理的兴趣与理解。
|
2月前
|
传感器 C# Android开发
深度解析Uno Platform中的事件处理机制与交互设计艺术:从理论到实践的全方位指南,助您构建响应迅速、交互流畅的跨平台应用
Uno Platform 是一款开源框架,支持使用 C# 和 XAML 开发跨平台原生 UI 应用,兼容 Windows、iOS、Android 及 WebAssembly。本文将介绍 Uno Platform 中高效的事件处理方法,并通过示例代码展示交互设计的核心原则与实践技巧,帮助提升应用的用户体验。事件处理让应用能响应用户输入,如点击、触摸及传感器数据变化。通过 XAML 或 C# 添加事件处理器,可确保及时反馈用户操作。示例代码展示了一个按钮点击事件处理过程。此外,还可运用动画和过渡效果进一步增强应用交互性。
148 57
|
20天前
|
存储 缓存 安全
🌟Java零基础:深入解析Java序列化机制
【10月更文挑战第20天】本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,希望能够助你一臂之力,帮你早日登顶实现财富自由🚀;同时,欢迎大家关注&&收藏&&订阅!持续更新中,up!up!up!!
22 3
|
25天前
|
Java 开发者 UED
Java编程中的异常处理机制解析
在Java的世界里,异常处理是确保程序稳定性和可靠性的关键。本文将深入探讨Java的异常处理机制,包括异常的类型、如何捕获和处理异常以及自定义异常的创建和使用。通过理解这些概念,开发者可以编写更加健壮和易于维护的代码。
中断处理机制解析
【10月更文挑战第5天】中断处理需定义中断处理函数`irq_handler_t`,参数包括中断信号`irq`和通用指针`dev_id`。返回值`IRQ_NONE`表示非本设备中断,`IRQ_HANDLED`表示已处理,`IRQ_WAKE_THREAD`表示需唤醒等待进程。处理程序常分上下半部,关键部分在中断处理函数中完成,延迟部分通过工作队列处理。注册中断处理函数需调用`request_irq`,参数包括中断信号、处理函数、标志位、设备名和通用指针。
|
2月前
|
移动开发 Android开发 数据安全/隐私保护
移动应用与系统的技术演进:从开发到操作系统的全景解析随着智能手机和平板电脑的普及,移动应用(App)已成为人们日常生活中不可或缺的一部分。无论是社交、娱乐、购物还是办公,移动应用都扮演着重要的角色。而支撑这些应用运行的,正是功能强大且复杂的移动操作系统。本文将深入探讨移动应用的开发过程及其背后的操作系统机制,揭示这一领域的技术演进。
本文旨在提供关于移动应用与系统技术的全面概述,涵盖移动应用的开发生命周期、主要移动操作系统的特点以及它们之间的竞争关系。我们将探讨如何高效地开发移动应用,并分析iOS和Android两大主流操作系统的技术优势与局限。同时,本文还将讨论跨平台解决方案的兴起及其对移动开发领域的影响。通过这篇技术性文章,读者将获得对移动应用开发及操作系统深层理解的钥匙。
|
1月前
|
JavaScript 前端开发 开发者
原型链深入解析:JavaScript中的核心机制
【10月更文挑战第13天】原型链深入解析:JavaScript中的核心机制
29 0
|
2月前
|
存储 关系型数据库 MySQL
深入解析MySQL数据存储机制:从表结构到物理存储
深入解析MySQL数据存储机制:从表结构到物理存储
167 1

推荐镜像

更多