事务的ACID

• 原子性（A）,事务中所有的数据操作都执行成功或者逻辑上都没有执行（可能执行了但是被回滚了）
• 一致性（C), 一致性指事务将数据库从一种状态转换为下一种一致的状态。事务的执行不应该改变数据库的完整性约束。
• 隔离性（I）, 每个读写事务对其他事务隔离。事务中未提交的修改不能被其他事务读取。
• 持久性（D）,事务提交后所有的改变都是永久的。数据库宕机后，也能保证恢复后提交的数据不会丢失。

事务的分类

• 扁平事务：一般认知中的事务，要么都执行成功，要么全部回滚。
• 带有保存点的扁平事务：可以回滚到特定的保存点。
• 链式事务
• 嵌套事务：嵌套事务的子事务不具备持久性（子事务提交后，可能被其父事务的回滚而影响）
• 分布式事务：一个事务涉及不止一个数据库（如转账：A库某卡减钱，B库某卡加钱）

事务的实现

• 事务的ACID是通过redo 和 undolog实现的。
• redo 用来保证事务的持久性。
• undo 提供事务的回滚 和MVCC功能。

redo log

• redo log记录的是页的物理修改，所以恢复时很快。
• 重做日志缓冲 每秒都会写到 重做日志文件
• 事务提交时，要求先将事务的所有日志刷到重做日志文件（默认fsync会调用）
• lsn :
  lsn记录的是重做日志的总量，单位为字节。每个页中还记录了lsn值（该页最后刷新时lsn的大小），可以用于决定该页是否需要恢复操作。
  show engine innodb status中的 last checkpoint at 值为刷新到磁盘的lsn值。
  例如 数据库刚重启时：last checkpoint at = 1000; 而log flushed up to = 1500(写到重做日志的lsn), 页A的lsn(头部信息) 为1100。那么从1000到1500部分的lsn是需要遍历处理的，如果其中有页A的已提交事务操作，那么需要将该事务操作应用到当前页A(物理恢复)，并更新其 lsn值。

undo log

• 用于支持事务回滚和MVCC
• undo段默认位于共享表空间。
• 通过undo段的恢复是逻辑恢复，如insert对应delete.
• 事务提交后不能马上purge或删除相应undo页（其他事务可能需要老版本数据-一致性读）

事务控制语句

start transaction|begin or cmd set autocommit=0;
commit;commit work; 
rollback; rollback work;
savepoint identifier;
release savepoint identifier;
rollback to [savepoint] identifier;
set transaction;//设置事务隔离级别 

• 其中 commit work 来控制事务结束后的行为是chain(链事务-当前事务结束并且马上开始一个同隔离级别的事务)还是release（释放连接）. 由参数（completion_type值决定：0默认不做啥，1：chain,2:release）
• rollback to savepoint 执行后事务并未结束，仍然需要commit或者rollback.

隐式提交的SQL语句

• truncate table是DDL语句(删除全表数据)，不能被回滚，而delete可以被回滚
• 其他，注意有这会事就行

事务TPS

• TPS：每秒事务处理的能力，QPS(每秒请求数)
• Com_commit: 显示方式提交事务数。Handler_commit代表隐式提交事务数（show global status like '%commit%';）
• Com_rollback 和 Handler_rollback 同上
• TPS计算： (com_commit + Handler_commit + com_rollback + Handler_rollback )/time;

事务的隔离级别

• 可重复读的隔离级别下，使用了Next-Key Lock算法解决幻读问题，所以InnoDB的可重复读可以一定程度上等于标准中定义的可序列化
• serilizable 与repeatable read 和 read committed之间没有多少性能差距
• 设置隔离级别命令

set [global|session] tansaction isolation level{
read committed
| read uncommitted
| repeatable read
| serializable
}
[mysqld]
transaction-isolation=read-committed

select @@tx_isolation\G;

• 对于serializable 隔离级别，其实是在每条一致性非锁定读语句加上S锁，这种隔离级别主要用于分布式事务（why）
• 老版本中 read committed隔离级别只能binlog的format为row，否则会报错（因为statement格式下可能主从数据库不一致）。例子如下

Session A : delete * from a where b < 5;//这里提交读隔离级别下没有lock 所以下面插入不会被阻塞。
Session B: insert into a select 3;
Session  B commit; Session  A commit;

以上面例子执行完成之后，数据库中由b为3的记录。但是如果binlog格式为statement，从库中就不会有b为3的那条记录（事务B先提交）。当然如果binlog format为 row或者 隔离级别为 repeatable read 就可以避免上面的问题, 同时也回答了前面阅读中的binlog format 为row时，事务隔离级别可以为read committed的疑问