思考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”
建议继续学习:
- 思考mysql内核之初级系列1--- mysql的启动过程 (阅读:2376)
- 思考mysql内核之初级系列4--innodb缓冲区管理 (阅读:2337)
- 思考mysql内核之初级系列7---innodb的hash表实现 (阅读:2273)
- 思考mysql内核之初级系列11---innodb的页编号 (阅读:2171)
- 思考mysql内核之初级系列9---innodb动态数组的实现 (阅读:2109)
- 思考mysql之初级系列10---mysql内核调试方法 (阅读:2171)
- 思考mysql内核之初级系列14---innodb的旧式记录结构 (阅读:2085)
- 思考mysql内核之初级系列13---innodb的簇页管理 (阅读:2025)
- 思考mysql内核之初级系列5---information_schema不是innodb数据字典 (阅读:1912)
- 思考mysql内核之初级系列6---innodb文件管理 (阅读:1917)
扫一扫订阅我的微信号:IT技术博客大学习
- 作者:yzyangwanfu 来源: 杨万富的专栏
- 标签: mysql内核
- 发布时间:2010-07-25 09:45:57
- 思考mysql内核之初级系列1--- mysql的启动过程
- 思考mysql内核之初级系列4--innodb缓冲区管理
- 思考mysql内核之初级系列7---innodb的hash表实现
- 思考mysql内核之初级系列11---innodb的页编号
- 思考mysql内核之初级系列9---innodb动态数组的实现
- 思考mysql之初级系列10---mysql内核调试方法
- 思考mysql内核之初级系列14---innodb的旧式记录结构
- 思考mysql内核之初级系列13---innodb的簇页管理
- 思考mysql内核之初级系列5---information_schema不是innodb数据字典
- 思考mysql内核之初级系列6---innodb文件管理
- [66] Oracle MTS模式下 进程地址与会话信
- [66] Go Reflect 性能
- [65] 如何拿下简短的域名
- [59] android 开发入门
- [59] 图书馆的世界纪录
- [59] IOS安全–浅谈关于IOS加固的几种方法
- [58] 【社会化设计】自我(self)部分――欢迎区
- [53] 视觉调整-设计师 vs. 逻辑
- [47] 界面设计速成
- [46] 读书笔记-壹百度:百度十年千倍的29条法则