[MySQL 5.6] GTID实现、运维变化及存在的bug
[MySQL 5.6] GTID实现、运维变化及存在的bug
http://www.tuicool.com/articles/NjqQju
深入mysql源码
由于之前没太多深入关注gtid，这里给自己补补课，本文是我看文档和代码的整理记录。
本文的主要目的是记下跟gtid相关的backtrace，用于以后的问题排查。另外也会讨论目前在MySQL5.6.11版本中存在的bug。
前言：什么是GTID
什么是GTID呢， 简而言之，就是全局事务ID(global transaction identifier )，最初由google实现，官方MySQL在5.6才加入该功能，本文的起因在于5.6引入一大堆的gtid相关变量，深感困惑。
去年年中的时候，也写过一片简短的博客，大致介绍了下gtid是什么，http://mysqllover.com/?p=87 。本文也不打算太多文字的介绍，因为网络上已经有大量的类似文章。
GTID的格式类似于：
7a07cd08-ac1b-11e2-9fcf-0010184e9e08:1
这是在我的一台服务器上生成的gtid记录，它在binlog中表现的事件类型就是：
GTID_LOG_EVENT:用于表示随后的事务的GTID
另外还有两种类型的GTID事件：
ANONYMOUS_GTID_LOG_EVENT ：匿名GTID事件类型（暂且不论）
PREVIOUS_GTIDS_LOG_EVENT： 用于表示当前binlog文件之前已经执行过的GTID集合，记录在Binlog文件头，例如：
# at 120 #130502 23:23:27 server id 119821 end_log_pos 231 CRC32 0x4f33bb48 Previous-GTIDs # 10a27632-a909-11e2-8bc7-0010184e9e08:1, # 7a07cd08-ac1b-11e2-9fcf-0010184e9e08:1-1129
这个字符串，用“：”分开，前面表示这个服务器的server_uuid，这是一个128位的随机字符串，在第一次启动时生成（函数generate_server_uuid），对应的variables是只读变量server_uuid。 它能以极高的概率保证全局唯一性，并存到文件DATA/auto.cnf中。因此要注意保护这个文件不要被删除或修改，不然就麻烦了。
第二部分是一个自增的事务ID号，事务id号+server_uuid来唯一标示一个事务。
除了单独的GTID外，还有一个GTID SET的概念。一个GTID SET的表示类似于：
7a07cd08-ac1b-11e2-9fcf-0010184e9e08:1-31
GTID_EXECUTED和GTID_PURGED是典型的GTID SET类型变量；在一个复制拓扑中，GTID_EXECUTED 可能包含好几组数据，例如：
mysql> show global variables like ‘%gtid_executed%’\G
*************************** 1. row ***************************
Variable_name: gtid_executed
Value: 10a27632-a909-11e2-8bc7-0010184e9e08:1-4,
153c0406-a909-11e2-8bc7-0010184e9e08:1-3,
7a07cd08-ac1b-11e2-9fcf-0010184e9e08:1-31,
f914fb74-a908-11e2-8bc6-0010184e9e08:1
本文讨论的内容包括：
一.主库上的gtid产生及记录
二.备库如何使用GTID复制
三.主备运维的变化
四.MySQL5.6.11存在的bug
一、主库上的Gtid
a.相关变量
主库上每个事务的Gtid包括变化的部分和不变的部分。在讨论之前，要弄清楚GTID维护的四个变量：
GTID_PURGED ：已经被删除的binlog的事务，它是GTID_EXECUTED的子集，从MySQL5.6.9开始，该变量无法被设置。
GTID_OWNED : 表示正在执行的事务的gtid以及对应的线程ID。
例如如下：
mysql> show global variables like ‘%gtid_owned%’\G
*************************** 1. row ***************************
Variable_name: gtid_owned
Value: 7a07cd08-ac1b-11e2-9fcf-0010184e9e08:11560057#67:11560038#89:11560059#7:11560034#32:11560053#56:11560052#112:11560055#128:11560054#65:11559997#96:11560056#90:11560051#85:11560058#39:11560061#12:11560060#125:11560035#62:11560062#5
1 row in set (0.01 sec)
GTID_EXECUTED 表示已经在该实例上执行过的事务； 执行RESET MASTER 会将该变量置空; 我们还可以通过设置GTID_NEXT执行一个空事务，来影响GTID_EXECUTED
GTID_NEXT 是SESSION级别变量，表示下一个将被使用的GTID
在内存中也维护了与GTID_PURGED， GTID_OWNED, GTID_EXECUTED相对应的全局对象gtid_state。
gtid_state中维护了三个集合，其中logged_gtids对应GTID_EXECUTED， lost_gtids对应GTID_PURGED，owned_gtids对应GTID_OWNED
b.如何分配和使用GTID
在主库执行一个事务的过程中，关于Gtid主要涉及到以下几个部分：
事务开始，执行第一条SQL时 ，在写入第一个“BEGIN” 的QUERY EVENT 之前， 为binlog cache 的Group_cache中分配一个group(Group_cache::add_logged_group)，并写入一个Gtid_log_event，此时并未为其分配事务id,backtrace 如下：
handler::ha_write_row->binlog_log_row->write_locked_table_maps->THD::binlog_write_table_map->binlog_start_trans_and_stmt->binlog_cache_data::write_event->Group_cache::add_logged_group
暂时还不清楚什么时候一个事务里会有多个gtid的group_cache.
在binlog group commit的flush阶段 ：
第一步，调用Group_cache::generate_automatic_gno来为当前线程生成一个gtid，分配给thd->owned_gtid，并加入到owned_gtids中，backtrace如下：
MYSQL_BIN_LOG::process_flush_stage_queue->MYSQL_BIN_LOG::flush_thread_caches->binlog_cache_mngr::flush->binlog_cache_data::flush->gtid_before_write_cache->Group_cache::generate_automatic_gno->Gtid_state::acquire_ownership->Owned_gtids::add_gtid_owner
也就是说，直到事务完成，准备把binlog刷到binlog cache时，才会去为其分配gtid.
当gtid_next的类型为AUTOMATIC时，调用generate_automatic_gno生成事务id(gno)，分配流程大概如下：
1.gtid_state->lock_sidno(automatic_gtid.sidno) , 为当前sidno加锁，分配过程互斥
2.gtid_state->get_automatic_gno(automatic_gtid.sidno); 获取事务ID
|–>初始化候选(candidate)gno为1
|–>从logged_gtids[$sidno]中扫描，获取每个gno区间(iv)：
|–>当candidate < iv->start（或者MAX_GNO，如果iv为NULL）时，判断candidate是否有被占用，如果没有的话，则使用该candidate，从函数返回，否则candidate++，继续本步骤
|–>将candidate设置为iv->end，iv指向下一个区间，继续第二步
从该过程可以看出，这里兼顾了区间存在碎片的场景，有可能分配的gno并不是全局最大的gno. 不过在主库不手动设置gtid_next的情况下，我们可以认为主库上的gno总是递增的。
3.gtid_state->acquire_ownership(thd, automatic_gtid);
|–>加入到owned_gtids集合中(owned_gtids.add_gtid_owner)，并赋值给thd->owned_gtid= gtid
4.gtid_state->unlock_sidno(automatic_gtid.sidno); 解锁
第二步， 调用Gtid_state::update_on_flush将当前事务的grid加入到logged_gtids中,backtrace如下：
MYSQL_BIN_LOG::process_flush_stage_queue->MYSQL_BIN_LOG::flush_thread_caches->binlog_cache_mngr::flush->binlog_cache_data::flush->MYSQL_BIN_LOG::write_cache->Gtid_state::update_on_flush
在bin log group commit的commit阶段
调用Gtid_state::update_owned_gtids_impl 从owned_gtids中将当前事务的gtid移除,backtrace 如下：
MYSQL_BIN_LOG::ordered_commit->MYSQL_BIN_LOG::finish_commit->Gtid_state::update_owned_gtids_impl
上述步骤涉及到的是对logged_gtids和owned_gtids的修改。而lost_gtids除了启动时维护外，就是在执行Purge操作时维护。
例如，当我们执行purge binary logs to ‘mysql-bin.000205′ 时， mysql-bin.index先被更新掉，然后再根据index文件找到第一个binlog文件的PREVIOUS_GTIDS_LOG_EVENT事件，更新lost_gtids集合，backtrace如下：
purge_master_logs->MYSQL_BIN_LOG::purge_logs->MYSQL_BIN_LOG::init_gtid_sets->read_gtids_from_binlog->Previous_gtids_log_event::add_to_set->Gtid_set::add_gtid_encoding->Gtid_set::add_gno_interval
关于binlog group commit，参见之前写的博客： http://mysqllover.com/?p=581
c.如何持久化GTID
当重启MySQL后，我们看到GTID_EXECUTED和GTID_PURGED和重启前是一致的。
持久化GTID，是通过全局对象gtid_state来管理的。gtid_state在系统启动时调用函数gtid_server_init分配内存；如果打开了binlog，则会做进一步的初始化工作：
quoted code:
5419 if (mysql_bin_log.init_gtid_sets(
5420 const_cast<Gtid_set *>(gtid_state->get_logged_gtids()),
5421 const_cast<Gtid_set *>(gtid_state->get_lost_gtids()),
5422 opt_master_verify_checksum,
5423 true/*true=need lock*/))
5424 unireg_abort(1);
gtid_state 包含3个gtid集合：logged_gtids， lost_gtids， owned_gtids，前两个都是gtid_set类型, owned_gtids类型为Owned_gtids
MYSQL_BIN_LOG::init_gtid_sets 主要用于初始化logged_gtids和lost_gtids,该函数的逻辑简单描述下：
1.扫描mysql-index文件，搜集binlog文件名，并加入到filename_list中
2.从最后一个文件开始往前读，依次调用函数read_gtids_from_binlog：
|–>打开binlog文件，如果读取到PREVIOUS_GTIDS_LOG_EVENT事件
(1)无论如何，将其加入到logged_gtids（prev_gtids_ev->add_to_set(all_gtids)）
(2)如果该文件是第一个binlog文件，将其加入到lost_gtids（prev_gtids_ev->add_to_set(prev_gtids)）中.
|–>获取GTID_LOG_EVENT事件
(1) 读取该事件对应的sidno，sidno= gtid_ev->get_sidno(false);
这是一个32位的整型，用sidno来代表一个server_uuid，从1开始计算，这主要处于节省内存的考虑。维护在全局对象global_sid_map中。
当sidno还没加入到map时，调用global_sid_map->add_sid(sid)，sidno从1开始递增。
(2) all_gtids->ensure_sidno(sidno)
all_gtids是gtid_set类型，可以理解为一个集合，ensure_sidno就是要确保这个集合至少可以容纳sidno个元素
(3) all_gtids->_add_gtid(sidno, gtid_ev->get_gno()
将该事件中记录的gtid加到all_gtids[sidno]中(最终调用Gtid_set::add_gno_interval，这里实际上是把(gno, gno+1)这样一个区间加入到其中，这里
面涉及到区间合并，交集等操作 )
当第一个文件中既没有PREVIOUS_GTIDS_LOG_EVENT， 也没有GTID_LOG_EVENT时，就继续读上一个文件
如果只存在PREVIOUS_GTIDS_LOG_EVENT事件，函数read_gtids_from_binlog返回GOT_PREVIOUS_GTIDS
如果还存在GTID_LOG_EVENT事件，返回GOT_GTIDS
这里很显然存在一个问题，即如果在重启前，我们并没有使用gtid_mode，并且产生了大量的binlog，在这次重启后，我们就可能需要扫描大量的binlog文件。这是一个非常明显的Bug， 后面再集中讨论。
3.如果第二部扫描，没有到达第一个文件，那么就从第一个文件开始扫描，和第2步流程类似，读取到第一个PREVIOUS_GTIDS_LOG_EVENT事件，并加入到lost_gtids中。
简单的讲，如果我们一直打开的gtid_mode，那么只需要读取第一个binlog文件和最后一个binlog文件，就可以确定logged_gtids和lost_gtids这两个GTID SET了。
二、备库上的GTID
a.如何保持主备GTID一致
由于在binlog中记录了每个事务的GTID，因此备库的复制线程可以通过设置线程级别GTID_NEXT来保证主库和备库的GTID一致。
默认情况下，主库上的thd->variables.gtid_next.type为AUTOMATIC_GROUP，而备库为GTID_GROUP
备库SQL线程gtid_next输出：
(gdb) p thd->variables.gtid_next $2 = { type = GTID_GROUP, gtid = { sidno = 2, gno = 1127, static MAX_TEXT_LENGTH = 56 }, static MAX_TEXT_LENGTH = 56 }
C/C++ 中的 gdb 也是一个类似的命令行 debugger，只是用来调试 C/C++ 而已，使用的模式跟Python的pdb/ipdb相似，具体可参考 用GDB调试程序。
这些变量在执行Gtid_log_event时被赋值：Gtid_log_event::do_apply_event，大体流程为：
1.rpl_sidno sidno= get_sidno(true); 获取sidno
2.thd->variables.gtid_next.set(sidno, spec.gtid.gno); 设置gtid_next
3.gtid_acquire_ownership_single(thd);
|–>检查该gtid是否在logged_gtids集合中，如果在的话，则返回（gtid_pre_statement_checks会忽略该事务）
|–>如果该gtid已经被其他线程拥有，则等待(gtid_state->wait_for_gtid(thd, gtid_next))，否则将当前线程设置为owner(gtid_state->acquire_ownership(thd, gtid_next))
在上面提到，有可能当前事务的GTID已经在logged_gtids中，因此在执行Rows_log_event::do_apply_event或者mysql_execute_command函数中，都会去调用函数gtid_pre_statement_checks
该函数也会在每个SQL执行前，检查gtid是否合法，主要流程包括：
1.当打开选项enforce_gtid_consistency时，检查DDL是否被允许执行（thd->is_ddl_gtid_compatible()），若不允许，返回GTID_STATEMENT_CANCEL
2.检查当前SQL是否会产生隐式提交并且gtid_next被设置（gtid_next->type != AUTOMATIC_GROUP），如果是的话，则会抛出错误ER_CANT_DO_IMPLICIT_COMMIT_IN_TRX_WHEN_GTID_NEXT_IS_SET 并返回GTID_STATEMENT_CANCEL，注意这里会导致bug#69045
3.对于BEGIN/COMMIT/ROLLBACK/(SET OPTION 或者 SELECT )且没有使用存储过程/ 这几种类型的SQL，总是允许执行，返回GTID_STATEMENT_EXECUTE
4.gtid_next->type为UNDEFINED_GROUP，抛出错误ER_GTID_NEXT_TYPE_UNDEFINED_GROUP，返回GTID_STATEMENT_CANCEL
5.gtid_next->type == GTID_GROUP且thd->owned_gtid.sidno == 0时， 返回GTID_STATEMENT_SKIP
其中第五步中处理了函数gtid_acquire_ownership_single的特殊情况
b.备库如何发起DUMP请求
引入GTID，最大的好处当然是我们可以随心所欲的切换主备拓扑结构了。在一个正常运行的复制结构中，我们可以在备库简单的执行如下SQL：
CHANGE MASTER TO MASTER_USER=’$USERNAME’, MASTER_HOST=’ ‘, MASTER_PORT=’ ‘, MASTER_AUTO_POSITION=1;
打开GTID后，我们就无需指定binlog文件或者位置，MySQL会自动为我们做这些事情。这里的关键就是MASTER_AUTO_POSITION。IO线程连接主库，可以大概分为以下几步：
1.IO线程在和主库建立TCP链接后，会去获取主库的uuid（get_master_uuid），然后在主库上设置一个用户变量@slave_uuid(io_thread_init_commands)
2.之后，在主库上注册SLAVE（register_slave_on_master）
在主库上调用register_slave来注册备库，将备库的host,user,password,port,server_id等信息记录到slave_list哈希中。
3.调用request_dump，开始向主库请求数据，这里分两种情况：
MASTER_AUTO_POSITION=0时，向主库发送命令的类型为COM_BINLOG_DUMP，这是传统的请求BINLOG的模式
MASTER_AUTO_POSITION=1时，命令类型为COM_BINLOG_DUMP_GTID，这是新的方式。
这里我们只讨论第二种。第二种情况下，会先去读取备库已经执行的gtid集合
quoted code in rpl_slave.cc :
2974 if (command == COM_BINLOG_DUMP_GTID)
2975 {
2976 // get set of GTIDs
2977 Sid_map sid_map(NULL/*no lock needed*/);
2978 Gtid_set gtid_executed(&sid_map);
2979 global_sid_lock->wrlock();
2980 gtid_state->dbug_print();
2981 if (gtid_executed.add_gtid_set(mi->rli->get_gtid_set()) != RETURN_STATUS_OK ||
2982 gtid_executed.add_gtid_set(gtid_state->get_logged_gtids()) !=
2983 RETURN_STATUS_OK)
构建完成发送包后，发送给主库。
在主库上接受到命令后，调用入口函数com_binlog_dump_gtid，流程如下：
1.slave_gtid_executed.add_gtid_encoding(packet_position, data_size) ;读取备库传来的GTID SET
2.读取备库的uuid(get_slave_uuid)，被根据uuid来kill僵尸线程(kill_zombie_dump_threads)
这也是之前SLAVE IO线程执行SET @SLAVE_UUID的用处。
3.进入mysql_binlog_send函数：
|–>调用MYSQL_BIN_LOG::find_first_log_not_in_gtid_set，从最后一个Binlog开始扫描，获取文件头部的PREVIOUS_GTIDS_LOG_EVENT，如果它是slave_gtid_executed的子集，保存当前binlog文件名，否则继续向前扫描。
这一步的目的就是为了找出备库执行到的最后一个Binlog文件。
|–>从这个文件头部开始扫描，遇到GTID_EVENT时，会去判断该GTID是否包含在slave_gtid_executed中：
Gtid_log_event gtid_ev(packet->ptr() + ev_offset,
packet->length() – checksum_size,
p_fdle);
skip_group= slave_gtid_executed->contains_gtid(gtid_ev.get_sidno(sid_map),
gtid_ev.get_gno());
主库通过GTID决定是否可以忽略事务，从而决定执行开始的位置
注意，在使用MASTER_LOG_POSITION后，就不要指定binlog的位置，否则会报错。
三、运维操作
a.如何忽略复制错误
当备库复制出错时，传统的跳过错误的方法是设置sql_slave_skip_counter,然后再START SLAVE。
但如果打开了GTID，就会设置失败：
mysql> set global sql_slave_skip_counter = 1;
ERROR 1858 (HY000): sql_slave_skip_counter can not be set when the server is running with @@GLOBAL.GTID_MODE = ON. Instead, for each transaction that you want to skip, generate an empty transaction with the same GTID as the transaction
提示的错误信息告诉我们，可以通过生成一个空事务来跳过错误的事务。
我们手动产生一个备库复制错误：
Last_SQL_Error: Error ‘Unknown table ‘test.t1” on query. Default database: ‘test’. Query: ‘DROP TABLE `t1` /* generated by server */’
查看binlog中，该DDL对应的GTID为7a07cd08-ac1b-11e2-9fcf-0010184e9e08:1131
在备库上执行：
mysql> STOP SLAVE;
Query OK, 0 rows affected (0.00 sec)
mysql> SET SESSION GTID_NEXT = ’7a07cd08-ac1b-11e2-9fcf-0010184e9e08:1131′;
Query OK, 0 rows affected (0.00 sec)
mysql> BEGIN; COMMIT;
Query OK, 0 rows affected (0.00 sec)
Query OK, 0 rows affected (0.00 sec)
mysql> SET SESSION GTID_NEXT = AUTOMATIC;
Query OK, 0 rows affected (0.00 sec)
mysql> START SLAVE;
再查看show slave status，就会发现错误事务已经被跳过了。这种方法的原理很简单，空事务产生的GTID加入到GTID_EXECUTED中，这相当于告诉备库，这个GTID对应的事务已经执行了。
b.重指主库
使用change master to …. , MASTER_AUTO_POSITION=1；
注意在整个复制拓扑中，都需要打开gtid_mode
c.新的until条件
5.6提供了新的util condition，可以根据GTID来决定备库复制执行到的位置
SQL_BEFORE_GTIDS：在指定的GTID之前停止复制
SQL_AFTER_GTIDS ：在指定的GTID之后停止复制
判断函数为Relay_log_info::is_until_satisfied
d.适当减小binlog文件的大小
如果开启GTID，理论上最好调小每个binlog文件的最大值，以缩小扫描文件的时间。
四、存在的bug
bug#69097 ， 即使关闭了gtid_mode，也会在启动时去扫描binlog文件。
当在重启前没有使用gtid_mode，重启后可能会去扫描所有的binlog文件，如果Binlog文件很多的话，这显然是不可接受的。
bug#69096 ，无法通过GTID_NEXT_LIST来跳过复制错误，因为默认编译下，GTID_NEXT_LIST未被编译进去。
TODO:GTID_NEXT_LIST的逻辑上面均未提到，有空再看。
bug#69095 ，将备库的复制模式设置为STATEMENT/MIXED。 主库设置为ROW模式，执行DML 会导致备库复制中断
Last_SQL_Error: Error executing row event: ‘Cannot execute statement: impossible to write to binary log since statement is in row format and BINLOG_FORMAT = STATEMENT.’
判断报错的backtrace：
handle_slave_worker->slave_worker_exec_job->Rows_log_event::do_apply_event->open_and_lock_tables->open_and_lock_tables->lock_tables->THD::decide_logging_format
解决办法：将备库的复制模式设置为’ROW’ ，保持主备一致
该bug和GTID无关
bug#69045 , 当主库执行类似 FLUSH PRIVILEGES这样的动作时，如果主库和备库都开启了gtid_mode，会导致复制中断
Last_SQL_Error: Error ‘Cannot execute statements with implicit commit inside a transaction when @@SESSION.GTID_NEXT != AUTOMATIC or @@SESSION.GTID_NEXT_LIST != NULL.’ on query. Default database: ”. Query: ‘flush privileges’
也是一个很低级的bug，在MySQL5.6.11版本中，如果有可能导致隐式提交的事务， 则gtid_next必须等于AUTOMATIC，对备库复制线程而言，很容易就中断了，判断逻辑在函数gtid_pre_statement_checks中
参考文档
2.MySQL5.6.11源代码
http://mysql.taobao.org/monthly/2020/05/09/
GTID的生成和使用由以下几步组成：
主服务器更新数据时，会在事务前产生GTID，一同记录到binlog日志中。
binlog传送到从服务器后，被写入到本地的relay log中。从服务器读取GTID，并将其设定为自己的GTID（GTID_NEXT系统）。
sql线程从relay log中获取GTID，然后对比从服务器端的binlog是否有记录。
如果有记录，说明该GTID的事务已经执行，从服务器会忽略。
如果没有记录，从服务器就会从relay log中执行该GTID的事务，并记录到binlog。
GTID_OWNED:
表示正在执行的事务的GTID以及其对应的线程ID。
Scope : Global, Session
Dynamic : No
Type : String
如果GDIT_OWNED是全局变量，它包含所有当前服务器上正在使用的GTIDs和使用它们的线程IDs。这个变量主要用于并行复制，从而可以查看一个事务是否已经被另一个线程处理。这个线程会拥有所处理事务的ownership。@@global.grid_owned会显示出GTID和它的owner。当事务处理完成，线程会释放ownership. 如果GDIT_OWNED是session变量，它包含一个seesion正在使用的GTID。这个变量对测试和debug会很有帮助
gtid在各个mysql节点的binlog里面都是全局唯一
f
GTID的生成和使用由以下几步组成：
主服务器更新数据时，会在事务前产生GTID，一同记录到binlog日志中。
binlog传送到从服务器后，被写入到本地的relay log中。从服务器读取GTID，并将其设定为自己的GTID（GTID_NEXT系统）。
sql线程从relay log中获取GTID，然后对比从服务器端的binlog是否有记录。
如果有记录，说明该GTID的事务已经执行，从服务器会忽略。
如果没有记录，从服务器就会从relay log中执行该GTID的事务，并记录到binlog。
GTID_OWNED:
表示正在执行的事务的GTID以及其对应的线程ID。
Scope : Global, Session
Dynamic : No
Type : String
如果GDIT_OWNED是全局变量，它包含所有当前服务器上正在使用的GTIDs和使用它们的线程IDs。这个变量主要用于并行复制，从而可以查看一个事务是否已经被另一个线程处理。这个线程会拥有所处理事务的ownership。@@global.grid_owned会显示出GTID和它的owner。当事务处理完成，线程会释放ownership. 如果GDIT_OWNED是session变量，它包含一个seesion正在使用的GTID。这个变量对测试和debug会很有帮助
gtid在各个mysql节点的binlog里面都是全局唯一
f
