事务是由一组SQL语句组成的逻辑处理单元，事务具有4属性，通常称为事务的ACID属性。
原子性（Actomicity）：事务是一个原子操作单元，其对数据的修改，要么全都执行，要么全都不执行。
由undo log来实现，当事务回滚时，能撤销所有已经成功的sql语句【扩展：类似redis持久化AOF实现，将所有操作记录写到文件中。】
一致性（Consistent）：在事务开始和完成时，数据都必须保持一致状态。由其他三项来最终完成
隔离性（Isolation）：数据库系统提供一定的隔离机制，保证事务在不受外部并发操作影响的“独立”环境执行。
由 mysql的事务隔离级别来实现
持久性（Durable）：事务完成之后，它对于数据的修改是永久性的，即使出现系统故障也能够保持。
由redo log来实现，对数据的修改先写入redo log中，redolog采用循环写的方式记录，当写到结尾时，会回到开头循环写日志，然后再IO写到磁盘中，保持持久性和减少IO次数
redolog 的循环写模式图解：
write pos表示日志当前记录的位置，当ib_logfile_4写满后，会从ib_logfile_1从头开始记录；check point表示将日志记录的修改写进磁盘，完成数据落盘，数据落盘后checkpoint会将日志上的相关记录擦除掉，即write pos->checkpoint之间的部分是redo log空着的部分，用于记录新的记录，checkpoint->write pos之间是redo log待落盘的数据修改记录。当writepos追上checkpoint时，得先停下记录，先推动checkpoint向前移动，空出位置记录新的日志。
转自：