什么是数据库事务
数据库事务是对各种数据项进行访问和潜在操作的数据库操作序列，必须要么全部执行，要么全部不执行，在逻辑上构成一个不可分割的工作单元。事务包括从事务开始到事务结束期间执行的所有数据库操作。
并非所有对数据库的操作序列都是数据库事务。事务应该具备四个核心属性，即ACID特性：
- 原子性（Atomicity）：事务作为一个原子单元执行，包含的数据库操作要么全部执行成功，要么全部回滚，保证数据的完整性。
- 一致性（Consistency）：事务应当确保数据库的状态从一个一致状态转变为另一个一致状态，即在事务执行前后，数据满足完整性约束。
- 隔离性（Isolation）：在多个事务并发执行时，每个事务的操作应当与其他事务相互隔离，互不干扰。
- 持久性（Durability）：一旦事务提交，对数据库的修改应当永久保存在数据库中，即使系统发生故障也不会丢失。
这些属性共同确保了数据库事务的可靠性、一致性和持续性，从而保证了数据的安全性和稳定性。
通过一个常见的“A账户向B账户汇款”的例子来说明数据库事务如何确保数据的准确性和完整性：
- 读取A账户余额（500）。
- 扣除A账户金额（500-100）。
- 更新A账户余额（400）。
- 读取B账户余额（500）。
- 向B账户加款（500 100）。
- 更新B账户余额（600）。
原子性：若在第五步时B账户不可用，必须回滚至事务开始前的状态，确保所有步骤要么全部执行，要么全部不执行。
一致性：转账前后，A和B账户总金额应保持不变，确保数据一致性，不会出现负数余额等异常情况。
隔离性：A向B转账过程中，其他事务对A和B账户的查询不应受到影响，各事务应相互独立。同时，若同时有C向B转账的操作，最终B账户的金额应该是A转给B的金额加上C转给B的金额再加上原有金额。
持久性：一旦成功转账（事务提交），A和B账户金额就会真正发生变化并持久保存至数据库，即数据写入后具有持久性。
更新事务的实际流程
一次InnoDB的update操作是一个涉及多个关键组件的复杂过程，具体步骤如下：
- Buffer Pool缓存数据读取：首先检查记录是否在内存中，若不在，则从磁盘读取相关页到Buffer Pool中。
- 记录Undo Log：在进行修改之前，InnoDB会将修改前的数据记录在Undo Log中。Undo Log的作用在于确保事务的原子性和一致性，以便在需要时将操作回滚到修改前的状态。
- 更新Buffer Pool：执行update语句时，InnoDB先更新Buffer Pool中的数据，标记数据页为“脏页”（Dirty Page），表示已修改但尚未写入磁盘。
- 记录Redo Log Buffer：同时，InnoDB将修改操作记录在Redo Log Buffer中，确保持久性。
- 提交事务：完成所有修改后，事务提交。InnoDB将Redo Log写入磁盘，以保证事务的持久性。
- 写入磁盘：事务提交后，InnoDB将Buffer Pool中的脏页异步写入磁盘，确保数据持久存储。这个写入过程具有一定延迟，由后台线程异步执行。
- 记录Binlog：在提交时，InnoDB将事务信息记录到Binlog中。Binlog用于主从复制，记录事务相关信息，包括时间戳、数据库名、表名、事务ID和SQL语句等，用于在从库上同步主库的操作。
