binlog必须按事务提交顺序写入，以确保主从数据一致和崩溃恢复正确；若顺序错乱（如t2先于t1写入），会导致从库重放错误、pitr失败，根本原因常是组提交未启用或双1参数不匹配。
事务提交顺序直接决定 binlog 是否能完整记录已提交事务，错序会导致主从不一致或崩溃后数据丢失。
为什么 binlog 必须按事务提交顺序写入
binlog 不是实时捕获 SQL，而是依赖事务提交事件触发写入。如果多个事务并发提交，但 binlog 写入顺序与实际 commit 顺序不一致（比如 T2 先写入 binlog，T1 后写入），就会破坏“逻辑时序”。主从复制、基于时间点的恢复（PITR）都依赖这个顺序——从库按 binlog 顺序重放，跳过或颠倒会直接导致数据错乱。
常见错误现象：mysql-bin.000003 中出现 T3 的 event 在 T1 之前，但 SHOW MASTER STATUS 显示 T1 已提交；用 mysqlbinlog --base64-output=DECODE-ROWS -v 查看时发现行事件 timestamp 与 COMMIT 时间戳明显倒挂。
- 根本原因常是未启用组提交（Group Commit），或
sync_binlog和innodb_flush_log_at_trx_commit配置不匹配 - MySQL 5.6+ 默认启用 BLGC（Binary Log Group Commit），但若
innodb_support_xa=OFF或binlog_format=STATEMENT下某些函数触发隐式降级，可能绕过组提交路径 - 只读事务不写 binlog，但若混入
SELECT ... FOR UPDATE又未真正修改数据，也可能干扰日志队列调度
两阶段提交（2PC）如何强制顺序对齐
MySQL 用 prepare-commit 机制把 InnoDB 的物理提交和 Server 层的逻辑日志绑定在一起。关键不是“谁先写”，而是“谁控制 commit 的最终许可”：只有 binlog 写成功，InnoDB 才能把 redo log 从 PREPARE 状态刷成 COMMIT。这保证了 binlog 记录的事务，redo log 一定已持久化；反过来，如果 binlog 写失败，InnoDB 就回滚，避免“有日志无数据”。
容易踩的坑：innodb_support_xa=OFF 会跳过 XA 协议校验，导致 prepare 阶段不写 redo log，或 binlog 写完后崩溃，InnoDB 恢复时无法判断该事务是否该提交——此时 SHOW ENGINE INNODB STATUS 可能显示 TRANSACTIONS 区域有 hanging 的 prepare 事务。
- 必须保持
innodb_support_xa=ON（MySQL 5.7.7+ 默认开启，不可关闭） -
sync_binlog=1和innodb_flush_log_at_trx_commit=1要配对使用，否则 prepare 成功但 binlog 未 fsync，崩溃后 recovery 可能误判 - 不要手动在
FLUSH LOGS或RESET MASTER期间执行大事务，这些操作会清空 binlog cache 并强制 rotate，打断组提交队列
sync_binlog=N 时顺序还能保证吗
能，但仅限于“组内顺序”，不等于“全局强顺序”。sync_binlog=N 表示每 N 个事务的 binlog cache 合并写入一次文件系统 page cache，再统一 fsync。只要这 N 个事务本身是按提交顺序排队进入 BLGC 队列的，它们在 binlog 文件里的位置就是严格的提交顺序。
性能/兼容性影响：sync_binlog=100 可显著降低 IOPS，但在主库突然宕机时，最多丢失最近 99 个已提交事务的 binlog 记录——从库会卡在缺失的位置，需人工介入比对 gtid_executed 或 Relay_Master_Log_File/Exec_Master_Log_Pos。
- 线上环境慎用
sync_binlog=0：OS 缓存不可靠，断电即丢 binlog，且无法参与 crash recovery 判定 -
sync_binlog值应与业务 RPO（恢复点目标）对齐，金融类系统必须为 1；分析型从库可设为 10~100，但需配套监控Binlog_cache_disk_use和Binlog_cache_use比率 - 注意
max_binlog_size触发的自动 rotate 会中断当前 group，新文件开头的事务未必是“下一个提交”的事务，而是新 group 的第一个
真正难调试的不是配置本身，而是当 binlog_format=MIXED 遇上 UUID() 函数时，MySQL 临时切到 ROW 格式，却因 row image 不完整（binlog_row_image=MINIMAL）导致从库解析失败——这种顺序断裂不会报错，但会在某次主从切换后暴露为数据差异。
