sql事务隔离级别

事务并发四个问题：

• 脏写：如果一次事务修改了另一个未提交事务修改过的数据，就意味着发生了脏写现象
• 脏读：如果一个事务读到另一个未提交的事务修改过的数据，就意味着发生了脏读
• 不可重复读：如果一个事务先读取了一个记录，另外一个事务对该记录进行了修改，当前事务再次读该记录时数据不一致，就意味着发生了不可重复读
• 幻读：如果一个事务某些搜索体哦阿健查询出一些记录，在该事务未提交时，宁外一个事务写入了一些记录，就发生了幻读

sql四个隔离级别：

无论哪种隔离级别，都不允许脏写发生

• 读未提交：三个问题都没解决
• 读已提交：不可能发生脏读 | 可能发生不可重复读 | 可能幻读
• 可重复读：不可能发生脏读 | 不可能发生不可重复读| 可能幻读
• 可串行化：都能解决

MVCC

InnoDB会生成两个隐藏字段 trx_id & roll_pointer

​ 在每次跟新记录后都会将旧值放到一条 undo 日志中，所有的版本都会被roll_pointer链接成一个链表（头插法），称为版本链。每个版本链的头节点都是当前记录的最新值，每个版本链会包含生成该版本的事务ID。利用这个版本链来控制并发事务的访问相同记录时的行为，称为多版本并发控制。

ReadView

何时生成readview？

• 在读已提交隔离级别下，是每个SELECT都会获取最新的read view；

• 而在可重复读隔离级别下，则是当事务中的第一个SELECT请求才创建read view。

对于读已提交和可重复读，都必须保证自己读到、可见的都是已提交事物的记录

判断哪个版本的事务可见，设计了ReadView（一致性视图），包含了四个内容

• m_ids：当前系统中活跃的读写事务的id列表
• min_trx_id：当前系统中活跃的读写事务最小的事务id即m_ids中的最小值
• max_trx_id：系统应该分配给下一个事务的事务id值
• creator_trx_id：生成该ReadVidw的事务的事务id

判断访问某条记录是否可见：

• 如果被访问版本的trx_id 和 ReadView 中的creator值相同，则证明这当前事务访问它自己修改过的记录，所以该版本可见
• 如果被访问版本的trx_id属性值小于ReadView中的min_trx_id,表明版本事务已提交，所以可见。
• 如果被访问版本的trx_id属性值在ReadView的min_trx_id和max_trx_id之间，则需要判断trx_id是否早m_ids列表中
  • 如果在则证明该事务是活跃的，不可见
  • 反之，则可见
• 如果被访问版本的trx_id属性值大于等于max_trx_id，则表明该版本的事务实在当前事务生成ReadView后才开启的，所以不可见。

​ 如果某个版本的数据对当前不可见，就顺着版本链找到下一个版本的数据，直到找的可见数据，如果最后一个版本也不可见，则意味着当前事务对该记录完全不可见，查询结果不包含该记录。

​ 因为可重复读隔离条件下，只会生成第一次select的readview,所以解决了 不可重复读这一问题；读已提交每次都会生成，所以没解决。

总结

​ 所谓的MVCC是指在使用 可重复读 和读已提交 这两种隔离级别的事务执行普通的SELECT操作时，通过read-view机制与undo版本链比对机制，使得不同的事务会根据数据版本链对比规则读取 。这样可以使不同事务的 读-写、写读操作并发执行，从而提升系统性能。