【MYSQL的事务及实现原理】

本文记录了MYSQL事务的四大特性，简记为ACID，并对其实现原理做一定的阐述。

事务的原子性（Atomicity）

原子性：语句要么全执行，要么全不执行，是事务最核心的特性。
实现原理：基于MYSQL的undo log实现的。通过undo log对事务进行回滚，从而实现了事务的一致性。
实现流程：开启事务，进行delete 操作，记录redo log，并在undo log 记录对应的 insert语句。

事务的一致性（Consistency）

一致性：事务追求的最终目标，一致性的实现既需要数据库层面的保障，也需要应用层面的保障
实现原理：基于MYSQL保障了，事务的原子性、事务的隔离性、事务的持久性之后所达成的特性。

事务的隔离性（Isolation）

隔离性：保证事务执行尽可能不受其他事务影响
实现原理：基于MYSQL的读写锁和MVCC实现的。通过MVCC和读写锁对不同事务的数据进行隔离，从而实现事务的隔离性。
隔离级别：
RU（Read Uncommited）：读未提交，存在脏读、不可重复读、幻读等问题
RC（Read Commited）：读已提交，存在不可重复读、幻读等问题。
RR（Repeatable Read）：可重复读，存在幻读等问题。
S（Serializable）：可串行化，隔离级别最高。
实现流程：MVCC 原理 + 读写锁 待续。

事务的持久性（Durability）

持久性：保证事务提交后不会因为宕机等原因导致数据丢失。
实现原理：基于MYSQL的redo log实现。通过redo log对数据进行恢复，保障了宕机而不丢失数据，从而实现了事务的持久性。
实现流程：开启事务，进行delete、update、insert 操作，记录redo log，然后服务器宕机，重启服务器后，会检索redo log 进行数据恢复。