关于数据库:MySQL中sp运行check表版本更新流程解析

GreatSQL社区原创内容未经受权不得随便应用，转载请分割小编并注明起源。
GreatSQL是MySQL的国产分支版本，应用上与MySQL统一。
作者： wuyy
文章起源：GreatSQL社区原创

MySQL的sp运行SQL语句两个步骤介绍
代码跟踪
常识利用
总结

一、MySQL的sp运行sql语句两个步骤介绍

MySQL的sp运行SQL语句须要执行2个步骤：prepare和execute。第一次执行的时候先执行prepare，进行相干语句parse、itemize、fix_fields等操作，而后才开始进行execute操作。等第二次再执行该sp的时候就间接运行execute而不须要再次进行反复的prepare操作，这样能够节俭sp运行时候反复prepare的开销。然而，对于表操作就有一个问题产生，那就是如果执行第二遍的时候表的构造产生扭转了，那么不进行reprepare而间接execute是会产生谬误的。因而，本文章的目标在于寻找sp屡次运行时候如何确认表版本更新并进行正确的操作。

先看上面的例子：CREATE TABLE t1 (a INT, b VARCHAR(10));INSERT INTO t1 VALUES (1,'11');INSERT INTO t1 VALUES (2,'21');MySQL> select * from t1;+------+------+| a    | b    |+------+------+|    1 | 11   ||    2 | 21   |+------+------+2 rows in set (0.01 sec)DELIMITER $$CREATE PROCEDURE p1()BEGINupdate t1 set b='aa' where a=1;END $$DELIMITER ;MySQL> call p1; #这里第一次操作，因而会先执行update这句SQL的prepare再进行execute。Query OK, 1 row affected (0.05 sec)MySQL> select * from t1;+------+------+| a    | b    |+------+------+|    1 | aa   ||    2 | 21   |+------+------+2 rows in set (0.01 sec)MySQL> call p1; #这里第二次操作，间接执行update这句SQL的execute。Query OK, 0 rows affected (13.78 sec)#接着咱们执行表构造的更新。MySQL> alter table t1 add i int;Query OK, 0 rows affected (0.41 sec)Records: 0  Duplicates: 0  Warnings: 0#而后再次执行sp，就会发现这次执行了这句SQL的prepare再进行execute。MySQL> call p1;Query OK, 0 rows affected (34.24 sec)

二、代码跟踪

当初跟踪一下这个sp看看下面在哪里check表版本并且能正确执行reprepare的。

#首先看一下这个sp波及的instr。MySQL> show procedure code p1;+-----+---------------------------------------+| Pos | Instruction                           |+-----+---------------------------------------+|   0 | stmt "update t1 set b='aa' where a=1" |+-----+---------------------------------------+1 row in set (0.01 sec)能够看到这个sp只波及了sp_instr_stmt::execute的运行，因而跟踪一下代码找到sp_lex_instr::validate_lex_and_execute_core，能够发现这个函数外面有一个有限while循环，如果发现is_invalid()的话就从新执行parse动作，如果！is_invalid()就间接执行exec_core，这个跟下面的运行步骤就对的上了。然而表构造变更后在哪里被断定为rc=true的呢，那就从reset_lex_and_exec_core这个函数持续跟踪上来。bool sp_lex_instr::validate_lex_and_execute_core(THD *thd, uint *nextp,                                                 bool open_tables) {  while (true) {    if (is_invalid() || (m_lex->has_udf() && !m_first_execution)) {      LEX *lex = parse_expr(thd, thd->sp_runtime_ctx->sp);    }    bool rc = reset_lex_and_exec_core(thd, nextp, open_tables);    if (!rc) return false;    thd->clear_error();    invalidate();  }}#跟踪代码发现有一个check_and_update_table_version函数是用来check表版本是否统一的#打印堆栈看一下代码调用过程：Thread 51 "mysqld" hit Breakpoint 6, check_and_update_table_version (thd=0x7fff70001060, tables=0x7fff702c4e20,     table_share=0x7fff70297640) at /mysql/sql/sql_base.cc:37223722   if (!tables->is_table_ref_id_equal(table_share)) {(gdb) bt#0  check_and_update_table_version (thd=0x7fff70001060, tables=0x7fff702c4e20, table_share=0x7fff70297640)    at /mysql/sql/sql_base.cc:3722#1  0x0000000003340f71 in open_and_process_table (thd=0x7fff70001060, lex=0x7fff702c2650, tables=0x7fff702c4e20,     counter=0x7fff702c26a8, prelocking_strategy=0x7fffec2e7478, has_prelocking_list=false, ot_ctx=0x7fffec2e7368)    at /MySQL/sql/sql_base.cc:5223#2  0x000000000333f788 in open_tables (thd=0x7fff70001060, start=0x7fffec2e7488, counter=0x7fff702c26a8, flags=0,     prelocking_strategy=0x7fffec2e7478) at /mysql/sql/sql_base.cc:5968#3  0x0000000003343c96 in open_tables_for_query (thd=0x7fff70001060, tables=0x7fff702c4e20, flags=0)    at /MySQL/sql/sql_base.cc:6958#4  0x0000000003514334 in Sql_cmd_dml::execute (this=0x7fff702c6138, thd=0x7fff70001060)    at /MySQL/sql/sql_select.cc:543#5  0x0000000003475097 in mysql_execute_command (thd=0x7fff70001060, first_level=false)    at /MySQL/sql/sql_parse.cc:3832#6  0x00000000033075c6 in sp_instr_stmt::exec_core (this=0x7fff70249a80, thd=0x7fff70001060, nextp=0x7fffec2eac38)    at /MySQL/sql/sp_instr.cc:1008#7  0x00000000033052ed in sp_lex_instr::reset_lex_and_exec_core (this=0x7fff70249a80, thd=0x7fff70001060,     nextp=0x7fffec2eac38, open_tables=false) at /mysql/sql/sp_instr.cc:457#8  0x00000000033060a4 in sp_lex_instr::validate_lex_and_execute_core (this=0x7fff70249a80, thd=0x7fff70001060,     nextp=0x7fffec2eac38, open_tables=false) at /mysql/sql/sp_instr.cc:741#9  0x0000000003306748 in sp_instr_stmt::execute (this=0x7fff70249a80, thd=0x7fff70001060, nextp=0x7fffec2eac38)    at /MySQL/sql/sp_instr.cc:925#10 0x00000000032f4d74 in sp_head::execute (this=0x7fff7018e7a0, thd=0x7fff70001060, merge_da_on_success=true)    at /MySQL/sql/sp_head.cc:2272#11 0x00000000032f80e1 in sp_head::execute_procedure (this=0x7fff7018e7a0, thd=0x7fff70001060, args=0x0)    at /MySQL/sql/sp_head.cc:2977#能够发现open_tables函数调用了这个函数，这个函数调用了ask_to_reprepare，#在sp运行中这个ask_to_reprepare返回的是true。因而这里就解开了之前的问题，#为何表版本更新了会return true而后从新进行parse操作。static bool check_and_update_table_version(THD *thd, TABLE_LIST *tables,                                           TABLE_SHARE *table_share) {  if (!tables->is_table_ref_id_equal(table_share)) {    /*      Version of the table share is different from the      previous execution of the prepared statement, and it is      unacceptable for this SQLCOM.    */    if (ask_to_reprepare(thd)) return true;    /* Always maintain the latest version and type */    tables->set_table_ref_id(table_share);  }  return false;}

三、常识利用

如果想开发一种动静表类型，须要每次执行sp都从新parse这个表，那就能够借用这个ask_to_reprepare函数来保障屡次执行sp的时候都会进行从新reprepare。

四、总结

在MySQL的sp操作中波及表操作的sql语句肯定会执行check_and_update_table_version这个函数，每次会依据这个函数的后果来确定要不要从新parse该sql语句，如果没有版本扭转就间接进行execute操作，如果有扭转就从新parse，先prepare再execute，这样能够保障每次执行sp的SQL语句的时候表构造肯定是最新的。

Enjoy GreatSQL :)

## 对于 GreatSQL

GreatSQL是由万里数据库保护的MySQL分支，专一于晋升MGR可靠性及性能，反对InnoDB并行查问个性，是实用于金融级利用的MySQL分支版本。

相干链接： GreatSQL社区 Gitee GitHub Bilibili

GreatSQL社区：

社区博客有奖征稿详情：https://greatsql.cn/thread-10...

技术交换群：

微信：扫码增加GreatSQL社区助手微信好友，发送验证信息加群。