InnoDBrow_id边界溢出验证

         跟同学聊到row_id一个边界问题&＃xff0c;这里详细说明下。

         InnoDB表若没有定义主键&＃xff0c;会使用系统的一个默认递增row_id (dict_sys->row_id)作为主键。每次插入一行加1&＃xff0c;到达最大值循环复用。

         需要注意的是&＃xff0c;虽然dict_sys->row_id 被定义为一个unsigned long long, 但由于这个主键值只有6个字节&＃xff0c;因此最大值是2^48。 row_id超过这个值还是会递增&＃xff0c;只是写入的时候只取低位&＃xff0c;可以认为是做取模操作。

问题

         这就涉及到一个问题&＃xff0c;一个长期运行的MySQL里&＃xff0c;如果频繁插入删除行&＃xff08;像日志类的表&＃xff09;&＃xff0c;即使最终表规模不是很大&＃xff0c;仍可能会出现值row_id重用。而我们知道作为主键值&＃xff0c;是不能重复的。

         假设出现这种情况&＃xff0c;在一个表里&＃xff0c;新插入的一行的row_id与某一个年代久远的行的row_id出现冲突&＃xff0c;会肿么样&＃xff1f;

验证

         其实本来这里只需要一个结论。本文的目的还是跟大家探讨一种验证的方法。有了上面的信息&＃xff0c;我们可以考虑设计如下的复现步骤&＃xff1a;

1)    创建一张无主键空表

2)   gdb设置dict_sys->row_id为1

3)  往空表插入若干行

4)   gdb设置dict_sys->row_id为2^48

5)   再插入若干行

6)   看结果

结论

         可以看到&＃xff0c;行(1),(2)被覆盖了。

         比较合理点的方案应该是像MySQL的表内自增主键一样&＃xff0c;报个duplicate-key error.