事务的四个特点：ACID
如何实现？
原子性：通过undolog实现
一致性：根本追求，是由其他三个特点来保证的。
隔离性：MVCC、锁
持久性：redolog, 随机IO,顺序IO，账本赊账案例。
日志系统：
binlog:数据同步以及恢复->server层
undolog（innodb层）:回滚日志
redolog（innodb层）:前滚日志，进行数据恢复，那数据写不到redolog怎么办？丢了没办法。
relaylog:中继日志。
slowlog:慢日志。
binlog和redolog都会同时记录数据，那么他们记录的顺序是什么样的？
假如当写完redolog，没有写完binlog的时候，会发生什么情况？答案是数据同步失败。反之也一样。故诞生两阶段提交。
两阶段提交：写redolog(prepare)->写binlog->写redolog(commit)。会根据binlog的数据有没有丢失，进行相应的redolog状态的失效或者提交。
MVCC:多版本并发控制
并发情况：读读，不存在任何问题，不需要并发控制。
读写：有数据安全问题，脏读、不可重复读、幻读。
写写：有数据安全的问题，可能存在更新丢失问题。
当前读:在进行数据读取的时候都是最新版本数据。select lock in share mode,select for update、update\delete\insert
快照读：读取的是历史版本的数据。select。
隐藏字段:DB_TRX_ID 创建或修改的事务id，DB_ROLL_PTR回滚指针,指向数据上一个版本。DB_ROW_ID,隐藏主键，如果没有显式主键，就会多一个隐藏主键。
undolog:记录的是数据的历史版本。该日志会一直增大吗？不会，后台线程会清除数据。
readview:事务进行快照读操作产生的读视图，包含了trx_list（readview生成时刻当前系统活跃的事务id）、up_limit_id(活跃列表中最小的事务id值)，low_limit_id（系统尚未分配的下一个事务id的值）。
可见性算法:生成的readview会根据可见性算法来判断是否可以读取到当对应的数据结果。
隔离级别
在RC隔离级别的时候，每次进行快照读的时候都会重新生成新的readview，所以每次可以查询到最新的结果记录。
在RR隔离级别的，只有当前事务在第一次快照读的时候才会生成readview，之后进行的快照读操作都会沿用之前的readview。
幻读：明明读到了两条数据，却在更新的时候更新了三条。 通过加锁解决，mvcc不能解决。幻读的本质原因是：如果事务中进行操作的都是快照读，那么是不会产生幻读的，但是当前读和快照读混用的时候才会产生幻读问题。
