Innodb事务4大特性（ACID）的实现原理

• 原子性：单个事务的执行要么整体成功，要么整体失败。主要通过undo log实现，undo log中记录了修改前的数据版本，在事务执行失败时，通过undo log回滚。
• 持久性：事务在提交后，对数据的修改是持久化的。主要通过redo log实现。innno db通过内存缓存来提高性能，在执行查询（select）时，先查内存缓存，没有再查磁盘，并将数据缓存到内存；在执行修改（update,insert,delete）时，先更新缓存，再延期统一刷入磁盘，以减少磁盘io次数，但由于内存缓存在服务器宕机时会丢失，所以就需要redo log，在每次修改前，先写redo log再更新缓存。
• 隔离性：并发执行的多个事务之间是隔离的。主要通过锁和mvcc实现，”写-写“通过锁进行并发隔离；”读-写“通过mvcc进行并发隔离。
• 一致性：事务执行前后数据库的整体状态是一致的。通过上三种特性的实现来保证一致性。

补充：

• redo log的写入性能很高： ①redo log也不是每次修改时直接写入文件，也是先写入内存日志缓存，再以不同策略统一落盘；②redo log是预生成文件，文件写入是顺序io。
• mvcc的实现依赖记录中的 2个隐式字段（DB_TRX_ID–最近修改事务ID、DB_ROLL_PTR–回滚指针，指向undo log中这条记录的上一个版本）、undo log和Read View。