深圳平湖网站建设,外贸销售怎么找客户,无锡阿凡达,网站 app建设开发合作协议文章目录1.事务介绍2 事务特性3. 事务的实现原理4 redo log 保证持久性5 undo log 保证原子性6 MVCC 概念6.1 隐藏字段6.2 版本链6.3 ReadView6.3.1readview 版本控制规则7 隔离性 实现7.2 隔离性- REPEATABLE READ 可重复读下8 一致性1.事务介绍 事务是一组操作的集合#xf…
文章目录1.事务介绍2 事务特性3. 事务的实现原理4 redo log 保证持久性5 undo log 保证原子性6 MVCC 概念6.1 隐藏字段6.2 版本链6.3 ReadView6.3.1readview 版本控制规则7 隔离性 实现7.2 隔离性- REPEATABLE READ 可重复读下8 一致性1.事务介绍 事务是一组操作的集合它是一个不可分割的工作单位事务会把所有的操作作为一个整体一起向系统提交或撤销操作请求即这些操作要么同时成功要么同时袋败 2 事务特性
原子性(Atomicity): 事务是不可分割的最小操作单元要么全部成功要么全部失败。一致性(Consistency):事务完成时必须使所有的数据都保持一致状态。隔离性(lsolation): 数据库系统提供的隔离机制保证事务在不受外部并发操作影响的-独立环境下运行持久性(Durability):事务一旦提交或回滚它对数据库中的数据的改变就是永久的。
3. 事务的实现原理 原子性、一致性、持久性主要是通过 redo.log 日志和 undo.logo日志实现的 隔离性 根据锁和MVCC(多版本控制)实现 4 redo log 保证持久性
重做日志记录的是事务提交时数据页的物理修改是用来实现事务的持久性。该日志文件由两部分组成重做日志缓冲(redo log buffer)以及重做日志文件(redo log fle)前者是在内存中后者在磁盘中。当事务提交之后会把所有修改信息都存到该日志文件中用于在刷新脏页到磁盘发生错误时进行数据恢复使用。 当事务提交时首先从 ibd文件中io需要更改的数据到 内存中的buffer pool 在buffer pool中进行数据修改同时把数据页变化加载到redo log buffer中 然后redo log buffer 通过顺序io的方式刷新到磁盘中的redo log fle文件增加日志速度更快即完成事务的提交 随后 buffer pool 将随机刷新将更改后的数据刷新到ibd中随后如果出现发生crash则重新读取redo log fle 到buffer pool 完成持久化。 idb 为mysql 存储数据的物理文件 当buffer pool中的dirty page 还没有刷新到磁盘的时候发生crash启动服务后可通过redo log 找到需要重新刷新到磁盘文件的记录 buffer pool中的数据直接flush到disk file是一个随机IO效率较差而把buffer pool中的数据记录到redo log是一个顺序IO可以提高事务提交的速度 5 undo log 保证原子性
回滚日志用于记录数据被修改前的信息作用包含两个:提供回滚和 MVCC(多版本并发控制)。undo log和redo log记录物理日志不一样它是逻辑日志。可以认为当delete一条记录时undolog中会记录一条对应的insert记录反之亦然当update一条记录时它记录一条对应相反的update记录。当执行rolback时就可以从undo og中的逻辑记录读取到相应的内容并进行回滚。 Undo log销毁: undo log在事务执行时产生事务提交时并不会立即删除undo log因为这些日志可能还用于MVCC。Undo log存储:undo log采用段的方式进行管理和记录存放 是rollback segment回滚段中内部包含1024个undo loosegment. 6 MVCC 概念 MVCC 全称 Multi-Version (oncurrencyontrol多版本并发控制。指维护个数据的多个版本使得读写操作没有冲突快照读为MySQL实现MVCC提供了一个非阻塞读功能。MVCC的具体实现还需要依赖于数据库记录中的三个隐式字段、undo log日志、readView。 当前读
读取的是记录的最新版本读取时还要保证其他并发事务不能修改当前记录会对读取的记录进行加锁。对于我们日常的操作如:select… lockin share mode(共享锁)select … for update、 update、insert、delete(排他锁)都是一种当前读
快照读
简单的select(不加锁)就是快照读快照读读取的是记录数据的可见版本有可能是历史数据不加锁是非阻塞读。 不同隔离级别下的快照读 Read Committed:每次select都生成一个快照读。Repeatable Read:开启事务后第一个select语句才是快照读的地方Serializable:快照读会退化为当前读。 6.1 隐藏字段
在数据库表中除了有 表的属性还有三个隐藏字段
隐藏字段含义DB TRX ID最近修改事务ID记录插入这条记录或最后一次修改该记录的事务ID。DB ROLL PTR回滚指针指向这条记录的上一个版本用于配合undo log指向上一个版本。DB ROW ID隐藏主键如果表结构没有指定主键将会生成该隐藏字段。
6.2 版本链 不同事务或相同事务对同一条记录进行修改会导致该记录的undolog生成一条记录版本链表链表的头部是最新的旧记录链表尾部是最 早的旧记录。 undo log记录存储情况 回滚日志在insert、update、delete的时候产生的便于数据回滚的日志。 insert的时候产生的undo log日志只在回滚时需要在事务提交后可被立即删除。update、delete的时候产生的undolog日志不仅在回滚时需要在快照读时也需要不会立即被删除。 数据库表中隐藏字段 的DB ROLL PTR 列存储这上一个版数据 存 在undo log 中 。从而如同所示 undo log 中的数据形成一个版本链 6.3 ReadView
ReadView(读视图)是 快照读SOL执行时MVCC提取数据的依据记录并维护系统当前活跃的事务(未提交的)id。
字段含义m_ids当前活跃的事务ID集合min_trx_id最小活跃事务IDmax_trx_id预分配事务ID当前最大事务ID1(因为事务ID是自增的)creator_trx_idReadView创建者的事务ID
6.3.1readview 版本控制规则 注意当时事务id存储值 数据库表中 隐藏字段的 DB TRX ID 中 不同的隔离级别生成Readview的时机不同: READ COMMITTED : 在事务中每一次执行快照读时生成ReadView。 REPEATABLE READ: 仅在事务中第一次执行快照读时生成ReadView后续复用该ReadView。 7 隔离性 实现 ##7.1 隔离性 -读已提交 原理 READ COMMITTED : 在事务中每一次执行快照读时生成ReadView,我们根据ReadView 和undo log 确定查询的是那条记录 如图所示 事务5 第一次查询时 生成的readVive 根据版本控制规则 DB_ROLL_PIR 为DX0003的记录进行匹配 发现不满足版本控制规则则对undo log 中的下一条记录进行匹配发现也不满足继续匹配下一规则发现满足 第二个规则查询时则会展示 这条记录。
7.2 隔离性- REPEATABLE READ 可重复读下 可重复读下 流程和RC 模式相同只是在第一次查询时生成快照读 剩下的全部复用第一次的快照读。 8 一致性
