MySQL源码：MYSQL存储过程和函数的分析原理及缓存机制.docVIP

MySQL源码：MYSQL存储过程/函数的分析原理及缓存机制 前言：我个人认为，有关MYSQL存储过程/函数在MYSQL中的实现比较粗糙，可扩展性不够好，其实现的耦合性太高，所以主要讲一些它的原理方面的内容，但有可能在某些方面理解不够好或者有些不正确的地方，欢迎指正，谢谢！ 在MYSQL中，同样有很多类型的系统对象，包括表、视图、存储过程、存储函数等，但由于MYSQL的插件式存储引擎及其它实现方面的特点，其每一种对象的缓存方式都不同，或者说这些对象的缓存不是通过一种统一的方式来管理的，每一种对象的缓存都是有自己的特点，并且缓存的内容也有很大的差异，下面再叙述一下存储过程（PLSQL）缓存方式。 MYSQL数据库管理系统中的存储过程/函数也是有缓存机制的，存储过程/函数实际上是用户通过创建存储过程的语句创建好的系统对象，它具有指定的名字、类型（存储过程/函数）及要执行的语句序列等。例如下面就是一个创建过程的语句： create procedure p() begin declare a int default 100; declare b int default 1000; declare d int default 1000; begin declare c varchar(100) default hello world; insert into my values(a, c); end; end; 上面创建的过程名字为p，下面定义了一些变量并且都赋了初始值，一对BEGIN及END标志了一个语句块的内容，语句块可以嵌套定义，比如上面就在第一对BEGIN及END之间又定义了一对BEGIN及END，每一个语句块中又可以单独定义自己的变量，同时这些变量又有自己的可见性范围，假设在内层语句块中定义了一个变量，在外层同时又定义了一个同名的变量，那么在内层引用这个变量时实际上是内层定义的变量，而这个变量在外层是不可见的，可以引用到的只能是外层定义的变量。 在实现上（基于源代码的分析），一个存储过程/函数分析后会得到一个sp_head结构体对象，这个对象唯一对应一个存储过程，而每一个语句块对应一个sp_pcontext结构对象，这个对象之间存在着父子关系，一个父亲可以有多个孩子，一个孩子只能有一个父亲，比如上面例子中的存储过程语句，整体的存储过程P就对应一个sp_head结构体对象，第一个BEGIN对应的语句块是父sp_pcontext，而其中又包括了一个语句块，这个语句块是父语句块的一个子语句块，在分析之后同样会生成一个sp_pcontext对象，它是一个子语句块对象，sp_pcontext结构体内有一个成员m_parent，它会指向父语句块，实际上这个语句块可以被称为一个“上下文环境”，因为它是可以被看作像C语言中的一个语句块，比如用{}括起来的一段代码一样。 在进行语法分析sp_compile时，MYSQL会对每一条分析的语句都生成相应的指令，这些指令都被顺序存储到类型为DYNAMIC_ARRAY的动态数组m_instr中，这是用来存储所有的这个存储过程的指令的，比如对于上面语句“declare b int default 1000;”，系统首先会分配一个变量的存储空间，变量被放在sp_pcontext对象中，也是通过一个动态数组m_vars来存储的，因为变量是语句块级的，而上面这条语句还对应的一个操作就是给这个变量赋初始值，所以系统要创建一个指令给这个变量设置初值，这个指令为sp_instr_set，每一个指令都需要实现一个执行函数exec_core，这个函数是一个虚函数，每一种指令的执行都要实现自己的执行函数，就比如上面这个设置变量的指令，它的实现是调用了函数set_variable来给指定的变量设置指定的初始值即可。 对于不同的操作，有不同的指令，MYSQL包括的指令有：sp_instr_stmt（执行SQL语句的指令）、sp_instr_set（设置变量的指令）、sp_instr_set_trigger_field（设置触发器中涉及到NEW/OLD变量的值的指令）、sp_instr_jump、sp_instr_jump_if_not（执行跳转指令）、sp_instr_freturn（函数返回指令）、sp_instr_cpush（游标声明指令）、sp_instr_copen（打开游标的指令）、sp_instr_cclose（关闭游标的指令）、sp_instr_cfetch（从游标取数据的指令）等，在PLSQL中涉及到这些操作后，都会创建相应的指令，并加入到sp_head的指令动态数组中，执行时会通过顺序或者跳转的方式执行。 在PLSQL中，本人最感兴趣的是变量的引用，包括本地变量及上层语句块的变量的引用，系统是如何正确的找到相