<b><font color="#2196f3">MVCC机制</font></b>
MySQL<b>在可重复读</b>隔离级别下<b>保证事务较高的隔离性</b>，这个隔离性就<b>是靠 <font color="#2196f3">MVCC（</font></b><font color="#2196f3">Multi-Version Concurrency Control</font><b><font color="#2196f3">） </font>机制来保证的</b>
<b>对一行数据的读和写</b>两个操作<b>默认是<font color="#f57c00">不会通过加锁互斥</font>来保证隔离性</b>，<b><font color="#4caf50">避免了频繁加锁互斥</font></b>
而<b><font color="#e57373">在串行化隔离级别</font></b>为了<b>保证较高的隔离性</b>是通过<b><font color="#f57c00">将所有操作加锁互斥</font></b>来实现的
MySQL在<b><font color="#2196f3">读已提交</font></b>和<b><font color="#2196f3">可重复读</font></b>隔离级别下<b><font color="#2196f3">都实现了MVCC机制</font></b>
<b><font color="#2196f3">undo日志版本链与read view机制</font></b><br>
<b>undo日志版本链</b>
<b>一行数据<font color="#f57c00">被多个事务依次修改过后</font></b>，在每个事务修改完后，<b>Mysql会保留<font color="#f57c00">修改前的数据</font><font color="#2196f3">undo回滚日志</font></b>
<b>并且</b>用两个隐藏字段<b><font color="#f57c00">trx_id</font></b>和<b><font color="#f57c00">roll_pointer</font></b>把这些undo日志串联起来形成一个历史记录版本链
如下图所示：<a class="link" target="_bank" href="https://www.processon.com/diagraming/63a960efe401fd59315b2654">https://www.processon.com/diagraming/63a960efe401fd59315b2654</a>
<b>一致性视图read-view</b>
在<b><font color="#f57c00">可重复读隔离级别</font></b>，当事务开启，执行任何查询sql时会生成当前事务的<b><font color="#2196f3">一致性视图read-view</font></b>，该视图在事务结束之前都不会变化
在<font color="#f57c00" style="font-weight: bold;">读已提交隔离级别</font><font color="#000000" style="">，</font>在每次执行查询sql时都会重新生成<b><font color="#2196f3">一致性视图read-view</font></b>
<b>这个视图由</b>执行查询时<b><font color="#81c784">所有未提交事务id数组（数组里最小的id为min_id）</font>和<font color="#e57373">已创建的最大事务id（max_id）</font>组成</b>
<b>事务里的任何sql查询结果</b>需要<b>从对应版本链里的<font color="#f57c00">最新数据</font>开始<font color="#f57c00">逐条跟read-view做比对</font></b>从而<b><font color="#000000">得到最终的快照结果</font></b>
<b>版本链比对规则：</b>
1. 如果 row 的 trx_id 落在绿色部分( trx_id<min_id )，表示这个版本是已提交的事务生成的，这个数据是可见的；
2. 如果 row 的 trx_id 落在红色部分( trx_id>max_id )，表示这个版本是由将来启动的事务生成的，是不可见的(若row 的 trx_id 就是当前自己的事务是可见的）；<br>
3. 如果 row 的 trx_id 落在黄色部分(min_id <=trx_id<= max_id)，那就包括两种情况：
a. 若 row 的 trx_id 在视图数组中，表示这个版本是由还没提交的事务生成的，不可见(若 row 的 trx_id 就是当前自己的事务是可见的)
b. 若 row 的 trx_id 不在视图数组中，表示这个版本是已经提交了的事务生成的，可见
如下图所示：<b>readview: [100, 200], 300</b>
<b><font color="#e57373">对于删除的情况</font></b>
可以认为是update的特殊情况，会将版本链上最新的数据复制一份，然后将trx_id修改成删除操作的trx_id
同时在该条记录的头信息（record header）里的（deleted_flag）标记位写上true，来表示当前记录已经被删除
在查询时按照上面的规则查到对应的记录如果delete_flag标记位为true，意味着记录已被删除，则不返回数据
<b><font color="#f44336">注意：</font></b>
<b>begin/start transaction</b> <b>命令<font color="#e57373">并不是一个事务的起点</font></b>
在执行到它们之后的第一个修改操作InnoDB表的语句，事务才真正启动，才会向mysql申请事务id
MySQL内部是<b style=""><font color="#000000">严格</font></b><b>按照<font color="#f57c00">事务的启动顺序</font>来<font color="#f57c00">分配事务id</font></b>的
<b><font color="#4caf50">总结：</font></b><br>
MVCC机制的实现就是通过read-view机制与undo版本链比对机制，使得不同的事务会根据数据版本链对比规则读取同一条数据在版本链上的不同版本数据。
