事物基本概念

事物的特性（ACID）

• 原子性 atomicity

• 一致性 consistency

• 隔离性 isolation

• 持久性 durability

事物的类型

• 扁平事物

• 带有保存点的扁平事物

• 链事物 嵌套事务

• 分布式事务

事物的实现

redo与undo redo
redo：保证事物的原子性、持久性，物理日志，基本上是顺序写
undo：保证事物的一致性，逻辑日志，undo会产生redo，用于事物回滚和mvcc，随机读写

redo

redo log buffer
redo log file

force log at  commit机制实现事物的持久性

redo log buffer -> 文件系统缓存 -> （fsync） 磁盘文件

innodb_flush_log_at_trx_commit
0:master thread完成写入磁盘
1:默认，每次事物提交必须fsync
2:写入文件系统缓存，不执行fsync

log block

512 字节和磁盘山区大小一致，保证日志写入是原子性的，不需要doublewrite ？技术

分为 512 - 12 -8 = 492
重做日志头：12 字节
重做日志内容：
重做日志尾：8字节

LOG_BLOCK_HAR_NO【4字节】:log block在 log buffer的位置
LOG_BLOCK_HAR_DATA_LEN【2字节】:log block占用大小
LOG_BLOCK_FIRST_REC_GROUP【2字节】:第一个日志所在的偏移量
LOG_BLOCK_CHECKPOINT_NO【4字节】:最后被写入时的检查点第4字节的值 ？？

log grooup

多个多个重做日志文件组成

redo log file

重做日志格式

redo_log_type:重做日志的类型
space：表空间的ID
page_no：页的偏移量

LSN（log sequence number）

8字节，单调递增
含义：
重做日志写入总量
checkpoint的位置
页的版本

undo

undo segment：共享表空间内

（128个）rollback segment > （1024个）undo segment ，事物并发限制在128*1024

undo log 格式

insert undo log
update undo log

purge

group commit

事物的隔离级别

READ UNCOMMIT：使用查询语句不会加锁，可能会读到未提交的行（Dirty Read）
READ COMMIT：只对记录加记录锁，而不会在记录之间加间隙锁，所以允许新的记录插入到被锁定记录的附近，所以再多次使用查询语句时，可能得到不同的结果（Non-Repeatable Read）EPEATABLE READ：多次读取同一范围的数据会返回第一次查询的快照，不会返回不同的数据行，但是可能发生幻读（Phantom Read）；
SERIALIZABLE：InnoDB 隐式地将全部的查询语句加上共享锁，解决了幻读的问题；

脏读：在一个事务中，读取了其他事务未提交的数据
不可重复读：在一个事务中，同一行记录被访问了两次却得到了不同的结果。
幻读：在一个事务中，同一个范围内的记录被读取时，其他事务向这个范围添加了新的记录。

不可重复读的原因就是，在 READ COMMITED 的隔离级别下，存储引擎不会在查询记录时添加行锁，锁定 id = 3 这条记录。

分布式事物

XA

Resource Managers：提供访问事物资源的方法
Transaction Maneger：协调参与全局事物中的各个事物
Application Program：定义事物的便捷，指定全局事物中的操作