mysql的statement模式主从不一致分析

what：

　　mysql中binglog使用statement模式会出现，数据同步时：主从数据不一致问题。

 

why：

　　主要原因有两个：

　　1、记录的sql上下文不全，例如：下面例子的RC场景；

　　2、mysql版本迭代，新功能加入，导致不同版本之间的能力不同，从而导致数据不一致。例如：sleep函数在老版本中没有。

 

具体例子（sql上下文不全）：

　　说下MySQL5.0之前为啥事务的隔离机制是RC（'read-committed）并且存储格式是Statement时会出现主从复制数据不一致问题。

创建表：

 

 把自动提交关闭 执行两个会话：

 

 

 

 

此时查看会话1的提交结果：

dba> select * from t1;

+------+------+

| b1 | b2 |

+------+------+

| 1 | 4 |

| 2 | 8 |

| 3 | 4 |

| 4 | 8 |

| 5 | 4 |

+------+------+

5 rows in set (0.00 sec)

这个结果不会有任何问题。

STATEMENT模式下的主从情况：

假设在RC隔离级别下支持STATEMENT格式的binlog，并且binlog是打开的。binlog的记录顺序是按照事务commit顺序为序的。那么显而易见，binlog中的顺序为：

会话2：

dba> set tx_isolation='read-committed';

dba> BEGIN;

dba> update t1 set b2=4 where b2=2;

dba> commit;

会话1：

dba> set tx_isolation='read-committed';

dba> BEGIN;（开启事务）

dba> update t1 set b2=8 where b2=4;

#会话1进行提交

dba> commit;

那么此时在主从复制的从库上看到的结果应为：

dba> select * from t1;

+------+------+

| b1 | b2 |

+------+------+

| 1 | 8 |

| 2 | 8 |

| 3 | 8 |

| 4 | 8 |

| 5 | 8 |

+------+------+

5 rows in set (0.00 sec)

可见，在RC隔离级别下，如果支持STATEMENT格式的binlog，是有可能导致主从数据不一致的！

Row和mixed的模式情况：

那么你可能会问，在RC隔离级别下，如果binlog格式为ROW或者MIXED，难道就不会有主从数据不一致的风险吗？答案是肯定的，如果binlog的格式是ROW或者MIXED，在RC隔离级别下，不会导致主从数据不一致。为什么呢？

因为ROW或者MIXED格式的binlog，是基于数据的变动。在进行update或者delete操作，记录到binlog，同时会把数据的原始记录写入到binlog。所以日志文件会比Statement大些，上述演示过程，binlog的记录顺序仍然是按照事务的commit顺序为序的，binlog的顺序仍然为：

会话2：

dba> set tx_isolation='read-committed';

dba> BEGIN;

dba> update t1 set b2=4 where b2=2;

dba> commit;

 

会话1：

dba> set tx_isolation='read-committed';

dba> BEGIN;（开启事务）

dba> update t1 set b2=8 where b2=4;

#会话1进行提交

dba> commit;

 

在从库仍然是按照这个binlog的执行时序，进行更新操作。但不同之处在于。会话2的update操作：

dba> update t1 set b2=4 where b2=2;

写入到binlog时，会把原始的记录也记录下来。它是这样记录的：

update dba.t1

where

b1=1

b2=2

set

b1=1

b2=4

 

update dba.t1

where

b1=3

b2=2

set

b1=3

b2=4

update dba.t1

where

b1=5

b2=2

set

b1=5

b2=4

从库上会话2的更新操作完成之后，接着执行会话1的更新操作：

dba> update t1 set b2=8 where b2=4;

binlog中的记录为：

update dba.t1

where

b1=2

b2=4

set

b1=2

b2=8

update dba.t1

where

b1=4

b2=4

set

b1=4

b2=8

这样从库看到的结果就是：

dba> select * from t1;

+------+------+

| b1 | b2 |

+------+------+

| 1 | 4 |

| 2 | 8 |

| 3 | 4 |

| 4 | 8 |

| 5 | 4 |

+------+------+

5 rows in set (0.00 sec)

这样，主从数据就是一致的。