一、描述
存储过程是一组可以完成特定功能的SQL语句集，经编译后存储在数据库中
statement语句（DDL、DML、导出及管理语句等）、异常处理、流程控制
二、创建存储过程
系统做语句分析，如果没有出现词、语法等的错误则存入系统表mysql.proc中
三、调用存储过程
1、编译
存储过程体中的语句集会被解析为一组指令集
存储过程的执行就是从该组指令集的第一个指令开始顺序执行
系统对存储过程的解析是以语句或结构为单位的，该部分处理在YACC中完成
注意：语句和指令之间并非一对一的对应关系
2、优化
优化的目标为去除无用指令、使用捷径更新跳转路径和压缩指令集
优化针对流程控制语句和结构
(1) 遍历所有指令，标记会跳转到的指令opt_mark(...)
从第1条指令开始遍历；遍历规则依各指令中指示下一条执行指令的位置（m_ip+1、m_dest、m_cont_dest）进行深度优先遍历
追踪连续跳转至最后一个指令位置（已有跳转标记、自指向和闭环）opt_shortcut_jump(...)
(2) 压缩指令及顺序更新
去除不会被使用的指令（无跳转标记）；后续指令前移，并更新位置信息（m_ip）opt_move(...)；更新跳转指令中的跳转位置信息set_destination(...)
3、执行
当调用存储过程的命令（CALL...）发送到服务端时，该语句会被解析并触发对系统表mysql.proc的读取以及对存储过程语句集的解析，在该解析过程中会创建sp_head对象以及sp_instr各子类的对象，生成指令集并进行优化（如果此存储过程在当前session中已被调用过，则解析后的相关信息会被存储在缓存中，此时可略过db_load_routine()中各步骤，直接使用）
在执行指令集之前，需将传入的参数进行对应项的改写与填充，并根据指令类型的不同进行不同的处理，并最终由net_end_statement()将结果集发送回客户端
4、基本流程示意
四、类图
1、类间关系
Class sp_head，定义了存储过程相关变量、结构以及公用的方法和接口
指令共16种，每个指令对应一个Class sp_instr的子类并通过接口处理执行
Class sp_instr_set_trigger_field和Class sp_instr_freturn分别对应触发器和自定义函数
2、策略模式
sp_instr抽象类提供策略执行接口execute()和exec_core()，m_ip为指令本身的序号
sp_instr_opt_meta::m_dest为跳转序号
16个子类实现执行算法，设置相关序号
sp_head::m_instr维护策略实例集
sp_head::execute()设置运行时具体策略的选用
五、指令集
打开动态游标、部分declare语句、SET语句、LEAVE语句、LOOP结构、IF结构、CASE 结构、REPEAT结构和WHILE结构会被拆分为多条指令
其余和statement语句则不会被拆分为多条指令，即自身就对应一条指令
下面对这些语句做一下简单说明：
1、DECLARE handler_type HANDLER FOR condition_value[,...] sp_statement;
此语句会被拆分为3部分：
1)记录handler信息指令，对应 sp_instr_hpush_jump子类，指定跳转位置
2)sp_statement 代表处理器指令，是用户自定义的语句部分
3)根据handler类型指定跳转位置，对应 sp_instr_hreturn子类
2、DECLARE var_name[,...] type [DEFAULT value];
此语句随定义var_name的个数被拆分成若干赋值指令，对应sp_instr_set子类
3、DECLARE <游标名称> CURSOR FOR <SELECT 语句>;
定义静态游标指令，对应sp_instr_cpush子类，负责记录cursor信息
4、SET var_name = expr [, var_name = expr];
此语句随定义var_name的个数被拆分成若干赋值指令。若var_name为存储过程的局部变量，则指令对应sp_instr_set子类
若var_name为系统或用户级变量，则指令对应sp_instr_stmt子类
5、OPEN <游标名称>;
打开静态游标指令，对应sp_instr_copen子类，负责执行<SELECT 语句>
6、DECLARE <游标名称> REF CURSOR;
定义动态游标指令，对应sp_instr_cpush子类，负责记录cursor信息
7、OPEN <游标名称> FOR <SELECT 语句>;
打开动态游标，此语句会被拆分为2部分：
1)定义动态游标指令，对应sp_instr_cpush子类，负责记录cursor信息
2)打开动态游标指令，对应sp_instr_copen子类，负责执行<SELECT 语句>
8、FETCH <游标名称> INTO <局部变量>;
获取结果指令，对应sp_instr_cfetch子类，负责从游标中获取数据
9、CLOSE <游标名称>;
关闭游标指令，对应sp_instr_cclose子类
10、IF <判断条件> THEN <执行体> END IF;
此语句会被拆分为3部分：
1)条件判断指令，对应 sp_instr_jump_if_not子类，指定跳转位置
2)<执行体> 代表指令集，包是用户自定义的语句部分
3)分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
11、IF <判断条件> THEN <执行体1> ELSE <执行体2> END IF;
此语句会被拆分为4部分：
1)条件判断指令，对应 sp_instr_jump_if_not子类，指定跳转位置
2)<执行体1> 代表指令集，是用户自定义的语句部分
3)分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
4)<执行体2> 代表指令集，是用户自定义的语句部分
12、ITERATE<标签名>;
分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
13、LEAVE <标签名>;
分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
如果在跳出当前的BEGIN...END语句块中存在handler，则会在sp_instr_jump子类之前增加删除handler记录的指令，对应sp_instr_hpop子类
如果在跳出当前的BEGIN...END语句块中存在cursor，则会在sp_instr_jump子类之前增加删除cursor记录的指令，对应sp_instr_cpop子类
14、LOOP <执行体> END LOOP;
此语句会被拆分为2部分：
1)<执行体>代表指令集，是用户自定义的语句部分
2)分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
15、CASE WHEN <条件1> THEN <执行语句1> ELSE <执行语句X> END CASE;
CASE结构体中可有若干WHEN...THEN...复合语句，此处只对单一情况做说明，此时语句会被拆分为4部分：
1)条件判断指令，对应 sp_instr_jump_if_not子类，指定跳转位置
2)<执行语句1>代表指令集，是用户自定义的语句部分
3)分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
4)<执行语句X>代表指令集，是用户自定义的语句部分
对于语句中不存在ELSE <执行语句X>，则第4)部分变为错误信息记录指令，对应 sp_instr_error子类
16、CASE <判定条件> WHEN <值1> THEN <执行语句1> ELSE <执行语句X> END CASE ;
CASE结构体中可有若干WHEN...THEN...复合语句，此处只对单一情况做说明，此时语句会被拆分为5部分：
1)表达式计算指令，对应sp_instr_set_case_expr子类，计算<判定条件>
2)<值1>条件判断指令，对应 sp_instr_jump_if_not子类，指定跳转位置
3)<执行语句1>代表指令集，是用户自定义的语句部分
4)分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
5)<执行语句 X>代表指令集，是用户自定义的语句部分
对于语句中不存在ELSE <执行语句X>，则第5)部分变为错误信息记录指令，对应sp_instr_error子类
17、REPEAT <执行体> UNTIL<退出条件> END REPEAT;
此循环结构被拆分为2部分：
1)<执行体>代表指令集，是用户自定义的语句部分
2)条件判断指令，对应 sp_instr_jump_if_not子类，指定跳转位置
18、WHILE <执行条件> DO <执行体> END WHILE;
此循环结构被拆分为3部分：
1)条件判断指令，对应 sp_instr_jump_if_not子类，指定跳转位置
2)<执行体>代表指令集，是用户自定义的语句部分
3)分支跳转指令，对应 sp_instr_jump子类，指定跳转位置
19、[begin_label:] BEGIN [statement_list] END [end_label]
[statement_list]代表指令集，是用户自定义的语句部分
如果在当前BEGIN...END语句块中存在handler，则会在语句末尾增加删除handler记录的指令，对应sp_instr_hpop子类
如果在当前BEGIN...END语句块中存在cursor，则会在语句末尾增加删除cursor记录的指令，对应sp_instr_cpop子类
六、实例
|
存储过程语句集 |
指令集 |
|
create procedure proc_scursor() |
|
|
begin |
|
|
declare done, tmp int default(0); |
sp_instr_set |
|
|
sp_instr_set |
|
declare cur cursor for select * from test.t; |
sp_instr_cpush |
|
declare continue handler for sqlstate '02000' set done = 1; |
sp_instr_hpush_jump |
|
|
sp_instr_set |
|
|
sp_instr_hreturn |
|
open cur; |
sp_instr_copen |
|
repeat |
|
|
fetch cur into tmp; |
sp_instr_cfetch |
|
if not done then |
sp_instr_jump_if_not |
|
select tmp; |
sp_instr_stmt |
|
end if; |
|
|
until done end repeat; |
sp_instr_jump_if_not |
|
close cur; |
sp_instr_cclose |
|
|
sp_instr_hpop |
|
end |
sp_instr_cpop |
