背景 现有一个交易系统，每次交易都会更新余额。出账扣减余额，入账增加余额。为了保证资金安全，余额发生扣减时，需要比较现有余额与扣减金额大小，若扣减金额大于现有余额，扣减余额不足，扣减失败。 余额表（省去其他字段）结构如下： CREATE TABLE `account` ( `id` bigint(20) NOT NULL, `balance` bigint(20) DEFAULT NULL, PRIMARY KEY (`id`) ) ENGINE = InnoDB DEFAULT CHARSET = utf8mb4 COLLATE = utf8mb4_bin; 更新余额方法语序如下： 由于存在并发更新余额的情况，在 t3 时刻，使用写锁锁住该行记录。这样就能保证事务执行期间不会有其他事务提交变更。 现在我们假设有两个事务正在发执行该语序，执行顺序如图所示。 假设 id=1 记录 balance=1000，事务隔离等级为 RR。小伙伴们可以根据这个执行时序可以先思考下 t3,t5,t6,t7 结果。 注： 以上时序，顺序执行。但是事务 1 执行到 t3 时刻，t4 时刻，事务 .... 有更新！ 锁住余额，为何还会更新异常？ mysql
程序通事