MySQL的事务实现原理

MySQL的事务实现原理是基于ACID（原子性、一致性、隔离性、持久性）的事务模型。MySQL使用了多版本并发控制（MVCC）来实现并发事务的隔离性，同时也使用了日志来保证事务的持久性。

MySQL事务

1.原子性（Atomicity）：

MySQL通过在事务中对操作进行日志记录来实现原子性。如果事务执行失败或者回滚，MySQL可以通过回滚日志（undo log）来将数据恢复到事务开始之前的状态。

2.一致性（Consistency）：

MySQL通过在事务提交之前执行约束的检查，来确保数据库的一致性。如果事务中的操作破坏了约束，事务将被中止并回滚到原始状态。

3.隔离性（Isolation）：

MySQL通过使用多版本并发控制（MVCC）来实现事务的隔离性。MVCC通过为每个事务分配独立的读取版本来避免事务间的干扰，同时使用锁机制来处理写操作的并发冲突。

• 在MVCC中，读取操作（SELECT）会读取事务开始之前的数据库版本。这使得读操作不会受到正在进行的其他事务的影响。

• 写操作（INSERT、UPDATE、DELETE）会创建一个新的版本，并将修改应用到新版本中，而不是直接在原始版本上操作。

4.持久性（Durability）：

MySQL通过使用事务日志（redo log）来确保事务的持久性。事务日志记录了对数据库的所有修改操作，使得在发生系统故障时，数据库可以通过重放事务日志来恢复到系统故障之前的状态。

综上所述，MySQL的事务实现原理涉及到日志记录、MVCC机制和索引等技术，以保证事务的原子性、一致性、隔离性和持久性。这些机制和技术相互配合，提供了可靠和高效的事务处理能力。

MySQL的MVCC原理

MVCC ：多版本并发控制，是MySQL中为了解决读写冲突问题。多版本：在MVCC中同时维护着数据的多个版本，并发：当需要数据时返回某一个版本

当前读：例如select lock in share mode ,select for update;update,insert,delete 都是当前读。因为他们都是读取最新的数据，并且读取的时候不允许其他的操作，相当于加了行锁

快照读：快照读的前提是隔离级别为 RC或者RR，之所以出现快照读是出于读写性能的考虑。快照读几乎不会IO阻塞，提高并发的效率，快照读是基于多版本并发控制(也就是MVCC机制),读取的可能不是最新的版本，可能是历史版本。

MVCC实现原理：

主要是依赖记录中的三个隐藏字段，undo log版本链，Read View来实现的。

• DB_TRX_ID 6byte，最近修改(修改/插入)事务ID：记录创建这条记录/最后一次修改该记录的事务ID
• DB_ROLL_PTR 7byte，回滚指针，指向这条记录的上一个版本（存储于rollback segment里）
• DB_ROW_ID 6byte，隐含的自增ID（隐藏主键），如果数据表没有主键，InnoDB会自动以DB_ROW_ID产生一个聚簇索引

undo log版本链就是当前的最新版本+undo log中的旧版本还未提交的数据

Read View是用来决定返回哪个版本

Read View中主要包含4个比较重要的内容

creatot_trx_id:创建这个Read View 的事务ID。

trx_ids:表示在生成ReadView时当前系统中活跃的读事务的事务id列表

up_limit_id:活跃中事务中的最小事务ID

low_limit_id:表示生成ReadView时系统应该分配给下一事务的id值。

 MVCC操作流程

1.首先获取自己的事务id tx_id

2.获取到一个ReadView；

3.查询得到的数据，然后和ReadView中的事务版本号比较

4.如果不符合ReadView规则，需要从undo log中获取历史快照

5.最后循环直到返回符合规则的数据，都不符合则查询不到

RC和RR隔离级别在ReadView的不同

RC隔离级别在每次查询都会生成一个新的ReadView，从最新的事务列表中查询数据，所以不能保证每次查询结果都一样，会有不可重复读的问题

RR隔离级别在第一次查询会生成一个ReadView，而后的每一次查询都会复用这个ReadView