目录
事务有那些特性
原子性如何实现
持久性如何实现
隔离性与一致性如何实现
事务有那些特性
事务是由MySQL的引擎 InnoDB 来实现的
事务的特性 :
原子性 不存在中间状态,要么完成,要么不完成
一致性 事务操作前和操作后,数据满足完整性的约束,数据库保持一致的状态
隔离性 事务与事务之间互不干扰,允许多个并发事务同时对其数据进行读写修改
持久性 事务处理结束后，对数据的修改就是永久的，即便系统故障也不会丢失
原子性如何实现
原子性是通过 undo log（回滚日志） 来保证的,那么什么是回滚日志
CREATE TABLE my_table (
id INT AUTO_INCREMENT PRIMARY KEY,
name VARCHAR(255) NOT NULL
);
如上,我创建一张表,表中含有 id 和 name 字段 在 数据存储中如下
每条记录都拥有着隐藏字段,包含事务id 和 undo 指针 (相当于版本链表) 如下
所以 当我们对数据操作成功时,保持在当前的undo指针 ,失败时,回到上一个 undo指针
持久性如何实现
如图
Buffer bool 如何管理缓存 请看MySQL如何改进LRU算法_mysql 改进 lru-CSDN博客
也就是说 redo log 文件是专门记录某个数据页更改了什么,这样即使是系统故障,也能保证数据完整
为什么已经有数据写入磁盘,还要redo log(重做日志)写入磁盘 这样多此一举呢?
写入 redo log(重做日志) 的方式使用了追加操作， 所以磁盘操作是顺序写，
而写入数据需要先找到写入位置，然后才写到磁盘，所以磁盘操作是随机写。
磁盘的「顺序写 」比「随机写」 高效的多，因此 redo log 写入磁盘的开销更小。
为什么是追加操作? 因为磁盘中有专属的Redo log 文件
隔离性与一致性如何实现
隔离性是通过 MVCC（多版本并发控制） 或锁机制来保证的； 一致性则是通过持久性+原子性+隔离性来保证；
MVCC 主要依赖 Read View(快照) 与 undo log(回滚日志实现)
undo log 示意如下:
Read View 示意如下
事务id划分