学习：事务

原子性：使用redo log，从而达到回滚
持久性：使用redo log，从而达到故障后恢复
隔离性：使用锁以及MVCC，运用的优化思想有读写分离，读读并行，读写并行
一致性：使用undo log，从而达到回滚

并发事务引发问题：脏写、脏读(读其他事务未提交更改)、不可重复读(相同查询不可重复：更新删除)、幻读(读范围数据不可重复：插入)

事务隔离级别：读未提交、读已提交(每次读取数据前都生成一个ReadView)、可重复读(在第一次读取数据时生成一个ReadView)、串行化

mvcc：版本链
undo：记录增删改之前数据，实现mvcc
redo：记录了一下事务对数据库做了哪些修改
binlog：表结构、数据表更二进制日志，用于主从复制，数据恢复

cap：一致、可用、分区容忍
base：基本可用、软状态、最终一致性

分布式事务
2pc：prepare(tm向rm发送prepare消息，执行本地事务，写入本地redo log、undo lod)、commit(回滚或提交)
问题：同步阻塞占用资源、tm故障持续阻塞、tm故障导致部分提交

3pc：cancommit(确认rm可提交、有资源)、precommit(预提交)、docommit(提交)
问题：解决同步阻塞、tm单点故障(rm超时未收到提交会自动提交，可能导致数据不一致)

tcc(应用层实现2pc)：try(业务一致性检查、预留资源)、confirm(提交)、cancel(回滚：补偿)
需要各个服务实现幂等、耦合业务
空回滚：try发送失败，回滚无法处理未执行try。根据事务id记录是否执行try
悬挂：try由于网络延迟，在已cancel后到达rm，导致资源无法释放。try阶段判断是否存在当前事务confirm、cancel

锁
独占锁、共享锁
读写锁
行锁、表锁(快速按断表中是否存在独占锁、共享锁)
记录锁、间隙锁(阻止插入，解决幻读)、插入意向锁(插入是发现有间隙锁时生成)