mysql.gtid_executed表的更新机制