MySQL 二进制日志复制、GTID 复制与半同步复制