事务原理及MVCC

一叶知秋临

于 2023-10-04 19:16:27 发布

阅读量132

点赞数 1

分类专栏： Java 文章标签：数据库 mysql

本文链接：https://blog.csdn.net/qq_62188992/article/details/132916903

版权

Java 专栏收录该内容

13 篇文章 0 订阅

订阅专栏

事务

1.什么是事务

事务是一个不可分割的数据库操作序列，也是数据库并发控制的基本单位，其执行的结果必须使数据库从一种一致性状态变到另一种一致性状态。事务是逻辑上的一组操作，要么都执行，要么都不执行。

事务最经典也经常被拿出来说例子就是转账了。

假如小明要给小红转账1000元，这个转账会涉及到两个关键操作就是：将小明的余额减少1000元，将小红的余额增加1000元。万一在这两个操作之间突然出现错误比如银行系统崩溃，导致小明余额减少而小红的余额没有增加，这样就不对了。事务就是保证这两个关键操作要么都成功，要么都要失败。

2.事务的四大特性

事务就是一组原子性的操作，这些操作要么全部发生，要么全部不发生。事务把数据库从一种一致性状态转换成另一种一致性状态。

原子性：事务是数据库的逻辑工作单位，事务中包含的各操作要么都做，要么都不做

一致性：事务执行的结果必须是使数据库从一个一致性状态变到另一个一致性状态。因此当数据库只包含成功事务提交的结果时，就说数据库处于一致性状态。如果数据库系统运行中发生故障，有些事务尚未完成就被迫中断，这些未完成事务对数据库所做的修改有一部分已写入物理数据库，这时数据库就处于一种不正确的状态，或者说是不一致的状态。

隔离性：一个事务的执行不能其它事务干扰。即一个事务内部的//操作及使用的数据对其它并发事务是隔离的，并发执行的各个事务之间不能互相干扰。

持续性：也称永久性，指一个事务一旦提交，它对数据库中的数据的改变就应该是永久性的。接下来的其它操作或故障不应该对其执行结果有任何影响。

3 .事务的实现原理

持久性: redolog

当我们在执行update以及delete操作时，首先时将操作提交到（缓冲区）Buffer Pool中，如果缓冲区没有要进行操作的数据后台线程会从磁盘中将数据读取到缓冲区，然后对缓冲区的数据进行操作。此时缓冲区的数据页就是脏页，需要将缓冲区的数据定时刷新到磁盘中，此时磁盘中的数据和缓冲区的数据一致。

然而当缓冲区向磁盘刷新数据时如果出现了错误，此时由于事务已经提交但是缓冲区与磁盘中的数据不一致，破坏了事务的持久性。所以我们就需要通过redo.log（重做日志）实现数据的持久性。

redo.log（重做日志）：是由重做日志缓冲(RedoLog buffer)以及重做日志文件(redo log file)组成,前者是在内存中，后者在磁盘中。

当我们对缓冲区数据页进行操作时，RedoLog buffer会对进行的操作记录，当事务提交的时候会将RedoLog buffer直接刷新到磁盘中，在进行脏页刷新时如果出现错误时，可以通过Redolog进行数据恢复。

原子性：undolog

回滚日志，用于记录数据被修改前的信息，作用包含两个:提供回滚和 MVCC(多版本并发控制)。

undolog和redolog记录物理日志不一样，它是逻辑日志。

可以认为当delete一条记录时，undo og中会记录一条对应的insert记录，反亦然，当update一条记录时，它记录一条对应相反的update记录。当执行rollback时，就可以从undo log中的逻辑记录读取到相应的内容并进行回滚。

Undo log销毁:undo log在事务执行时产生，事务提交时，并不会立即删除undo log，因为这些日志可能还用于MVCC。

Undo log存储: undo log采用段的方式进行管理和记录，存放在前面介绍的 rollback segment 回滚段中，内部包含1024个undo logsegment。

MVCC

首先我们先了解一下数据库读取数据的两种方式。

当前读：
读取的是记录的最新版本，读取时还要保证其他并发事务不能修改当前记录，会对读取的记录进行加锁。对于我们日常的操作，如:select ... lockin share mode(共享锁)，select ...for update、update、insert、delete(排他锁)都是一种当前读.
快照读：
简单的select(不加锁)就是快照读，快照读，读取的是记录数据的可见版本，有可能是历史数据，不加锁，是非阻塞读。

Read Committed:每次select，都生成一个快照读。
Repeatable Read:开启事务后第一个select语句才是快照读的地方
Serializable:快照读会退化为当前读。

它们的区别主要在于读取的数据的一致性和隔离级别。当前读提供了最新的数据，但可能受到其他事务的影响；而快照读提供了一致性的数据，但可能不是最新的。

简介

全称 Multi-version Concurrency ontrol，多版本并发控制。指维护一个数据的多个版本，使得读写操作没有冲突，快照读为MySOL实现MVCC提供了一个非阻塞读功能。MVCC的具体实现，还需要依赖于数据库记录中的三个隐式字段、undolog日志、readView。