思考mysql内核之初级系列2---我可以为你服务什么？(摘自老杨)

Alex取了个号，客户经理小张负责办理alex的服务。

1）服务清单

小张：“先生，我可以为你服务什么么？”

Alex：“厄，我要一碗红烧肉。”

小张：“没有”

Alex：“厄，那来碗拉面”

小张：“没有”

Alex：“那有些啥？”

小张：“可以查看sql目录下sql_yacc.yy文件，不过你用的这个5.1.7没有该文件，只有相对应的sql_yacc.cpp文件。你可以使用5.1的其它版本的该文件，比如5.1.34。这里有个6.0.4的sql_yacc.yy文件，你先看下。”

Alex：“啊？那不是要先看lex与yacc。”

小张：“推荐你不必看lex与yacc，我大概给你说说，只要看语法规则就可以了。

每条语法规则包括一个左部和一个右部，左右部之间用冒号’:’来分隔，规则结尾处要用分号”;”标记，所以一条语法规则的格式如下：

nonterminal : BODY;

其中nonterminal是一个非终结符，右部的BODY是一个由终结符和非终结符组成的串、可以为空，请看几个例子,语法1：

create: CREATE opt_table_options TABLE_SYM opt_if_not_exists table_ident create2

语法2：

create: CREATE DATABASE opt_if_not_exists ident opt_create_database_options

从中，我们可以看出语法1是创建表的，语法是创建数据库的。正常情况下，小写字母表示非终结符，用大写字母表示终结符，终结符是前面定义的。

%token CREATE /* SQL-2003-R */

这两个create语法可以合并成一个，中间用‘|’分割，表示’或’：

create: CREATE opt_table_options TABLE_SYM opt_if_not_exists table_ident create2

| CREATE DATABASE opt_if_not_exists ident opt_create_database_options

非终结进一步往下进行扩展，比如看下

opt_if_not_exists:

/* empty */

| IF not EXISTS;

/*empty*/这一行表示用户用户没有输入该子句，看下这个语句：

Create table t1(id int,varchar(20));

“Create”被create语法中的“CREATE”命中，“table”被“TABLE_SYM”命中，opt_if_not_exists对应的为空。而下面一个语句就会命中：

Create table if not exists t1(id int,varchar(20));

”

Alex：“多谢，也就是说，符合规范的语句就会被识别，从而被执行，是这样么。”

小张：“可以勉强这么讲”

2）语言的转换

Alex：“小张，我问你哈，语句后面的大括号是什么意思啊。”

小张：“括号里面表示的是触发了语义动作，设置了ts_cmd_type的值为创建表空间。

create:

//省略了一些内容

| CREATE TABLESPACE tablespace_info

{

Lex->alter_tablespace_info->ts_cmd_type= CREATE_TABLESPACE;

}

//省略了一些内容

”

alex：“我看到里面有$$,$1，这些是什么含义啊”

小张：“你看下面一个表达式。

A :B C D

其中A的语义值为＄＄，B、C、D的语义值依次为＄1，＄2，＄3。为了表达得更清晰，看下面的表达式，左边的expr的值应该等于右边的expr的值

expr: '(' expr ')'

{$$=$2;}

”

Alex：“不太对啊，你看下这个表达式，$3从哪里来的，只有两个值啊：get_select_lex、derived_table_list。

select_derived:

get_select_lex

{

LEX *lex= Lex;

if ($1->init_nested_join(lex->thd))

MYSQL_YYABORT;

}

derived_table_list

{

LEX *lex= Lex;

/* for normal joins, $3 != NULL and end_nested_join() != NULL,

for derived tables, both must equal NULL */

if (!($$= $1->end_nested_join(lex->thd)) && $3)

MYSQL_YYABORT;

if (!$3 && $$)

{

my_parse_error(ER(ER_SYNTAX_ERROR));

MYSQL_YYABORT;

}

}

;

”

小张：“这个情况我们要讲下，有些语法需要在识别出句型的一部分时就完成一些动作，这里我们看到了第一个大括号。Yacc会自动设置一个非终结符$ACT，该$ACT解析为空。

select_derived: get_select_lex $ACT derived_table_list

因此第二个大括号里面的$3就是derived_table_list

”

Alex：“谢谢，我明白一点了。其实yy文件产生的作用就是语句串转化为Lex语法结构。然后系统根据Lex语法结构进行处理。那么是不是可以说，只要通过语句，就可以执行。”

小张：“早着呢，还有语义检查，比如查询的列名不存在，以及权限检查，优化等等。要确保安全，不然你直接来句查了bingxi有多少存款，这可不行。”

3)所谓的5级安全

Alex：“这个安全，是不是所谓的5级安全，B1，B2等等啥的。”

小张：“这两个没有关联，不过你提到了，我就给你提提。

1级安全：以前啊，公司老总算了算，就像DBA。独自管着账本呢，不安全。

2级安全：董事会觉得不安全，就加了个审计员。很多数据库里面都有。但是呢，也不安全，老总把审计员搞定了。合谋合谋。

3级安全：搞了个三权分离，所谓的安全员，保卫科。账本锁起来。不过也不安全，保存账本的安全室不结识，打个洞就进去了。

4级安全：结构化编程，于是进不去了。

5级安全：没有最安全，只有更安全，没有达到这个的。

”

Alex：“有点意思，小张，我要开个户，你给讲讲这个的流程吧。”

小张：“你带身份证了”

Alex：“没带”

小张：“那明天吧”

Alex：“ok”