作者:柳湛宇(花名:乌淄)
浙江大学-软件工程-在读硕士、StoneDB 内核研发实习生
MySQL 所使用的解析器(即 Lexer 和 Parser 的组合)是嵌入了 C/C++语言的 yacc/lex 组合,在 linux/GNU 体系上,这一组合的实现是 GNU Bison/Flex,即 Flex 负责生成 tokens, Bison 负责语法解析。
对于 Bison,请参阅[1]
Bison 本是一个自底向上(Bottom-Up)的解析器,但是由于历史原因,MySQL 语法编写的规则是以自顶向下(Top-Down)的,这将会产生一些问题,我们首先简要介绍这两种解析模式。
更多详细讲解,请参阅[2]
当我们在谈论自底向上和自顶向下两种解析模式时,局面是我们手上已经有了编写完成的语法规则和将输入语句词法解析完成后的 token 数组,而之后的任务总体上就是构建语法解析树。
以下 yacc 语法约束和匹配序列(「例 1」)用于展示两种解析模式的不同。
exp1:
'a' 'b' | 'b' 'c';
exp2:
'x' 'y' 'z' | 'a' exp3;
exp3:
'c' 'd' | exp1 'd';
以a b c d
作为输入序列。
自底向上的解析模式类似于进行「拼图」。对每一个入栈后 token 组成的序列,都尽可能尝试将其规约(reduce)成一个语法规则中规定的表达式并将新的表达式压栈。在达到 token 数组末尾时,栈中的表达式应且仅应匹配一个顶层表达式,如果因为规约顺序不符合实际表达式顺序而无法匹配到顶层表达式,则应当进行回溯并尝试新的规约选择。
对于例 1,自底向上解析模式的解析步骤为:
a
不能被规约(没有可以匹配
a
的表达式子项)
a b
可以被规约:
exp1 c d
被规约为
exp1 exp3
exp1 exp3
无法被规约
a b
规约为
exp1
exp1 c
无法被规约
exp1 c d
可以被规约:
exp1 c d
无法被规约
a b
无法被规约
a b c
可以被规约:
a exp1 d
可以被规约为
a exp3
a exp3
可以被规约:
a exp3
可以被规约为
exp2
a b c d
「成功匹配表达式」
exp2
a b c
可以被规约为
a exp1
a exp1 d
可以被规约:
自顶向下的表达式类似于「多叉树的先序遍历」。对于给定的每一个 token 子序列,都尝试断言(Assertion)其匹配一个表达式,并进一步递归地考察:
❝1.这个序列是否能通过断言匹配该表达式的子选项;
❞
2.断言匹配子选项后,其对应改规则可归约的子串是否匹配子选项中的表达式。
每当断言失败时,同样进行回溯,来尝试匹配不同的表达式或表达式内不同的子选项,直至构建正确的语法解析树或匹配失败而报错。
对于例 1,自顶向下解析模式的解析步骤为:
a b c d
匹配
exp1
的第一个子选项
'a' 'b'
exp1
的第二个子选项
'b' 'c'
和
exp2
的第一个子选项
'x' 'y' 'z'
,此处省略这些步骤;
a b c d
匹配
exp2
的第二个子选项
'a' exp3
b c
匹配
exp1
b c
匹配
'a' 'b'
b c
匹配
'b' 'c'
a b c d
「匹配」
exp2
b c d
匹配
exp3
b c d
匹配
'c' 'd'
b c d
匹配
exp1 'd'
自顶向下的解析模式更符合人类阅读和编写语法文件的习惯,其将断言和回溯动作提前,将实际的匹配动作置于解析的后半段。这样的模式缺点在于,它需要回溯的次数更多,同时语法愈发复杂,如果没有合适的断言顺序(实际上对于不同的 SQL 语句,最优的断言顺序也不尽相同),就会有更多冗余的比较分支和更深的有效回溯长度。
由于 MySQL 因历史原因选择了易读的自顶向下的解析模式,其在语法解析时,会产生二义性带来的两种冲突(conflict):移位/规约(shift/reduce)冲突和规约/规约(reduce/reduce)冲突,而使用自底向上解析模式的 posgres[3]则不会产生这两种冲突。
首先简要介绍自底向上分析方法的移位(shift)和规约(reduce)操作。按自底向上的解析模式,解析器对输入符号串从左到右扫描,读取输入并与语法规则比较,其中:
对于如下语法定义:
simpleStrSeq:
'a' 'b' 'c' | 'e' 'f' 'g';
处理输入串a b c
时,处理前两个 token 时都会将其直接放入语法栈,因为它们匹配simpleStrSeq
表达式。
对于如下语法定义:
%type<int> num
%%
product:
num '*' num;
plus:
product '*' product;
%%
处理输入串1 * 2 + 3 * 4
时,在处理到符号2
时,会将语法栈中现有的1 * 2
规约(reduce)为product
,进一步地,会在处理到4
时将3 * 4
规约为product
,将product + product
规约为plus
。
上述的移位和规约操作是针对自底向上范式提出的,因此使用自顶向下顺序编写语法约束,就会产生移位/规约冲突与规约/规约冲突:
对于如下语法定义:
%type<int> num
%%
numToken:
numToken '+' numToken | num;
%%
❝当处理输入
❞1 + 2 + 3
时,处理到符号2
时,解析器既可以仅仅将其视作numToken
的第二个子选项,移入(shift)语法栈,也可以将其与语法栈中部分内容结合组成1 + 2
,匹配成为一个numToken
表达式。因此,这个输入合法语法树(指最终结果只有一个顶层表达式)就有 2 个:
对于如下语法定义:
%type<int> num
%%
numToken:
numToken '+' numToken | numToken '*' numToken | num;
%%
❝当处理输入
❞1 + 2 * 3
时,解析器既可以将2
其视作numToken
的第 1 个子选项的后半部分规约为加法,也可以将其视作numToken
第 2 个与子项的前半副本,规约为乘法。因此,这个输入合法语法树(指最终结果只有一个顶层表达式)就有 2 个:
我们之前提到,由于历史原因和可读性考虑,MySQL 的 yacc 语法文件采用自顶向下的编写方式,它引入了上述两种语法冲突。产生冲突的原因是,自顶向下的解析方法需要层层进行断言与子表达式的匹配,而在更顶层的子表达式无法在实际上以自底向上执行的 Bison 解析器中直接确定匹配选项。
这意味着语法冲突并不总是意味着语句的二义性而导致解析失败(对于确实需要指定关联性和优先级的操作符,MySQL 也对它们进行了%left
、%right
、%nonassoc
),事实上 MySQL 的问题是广泛存在的 shift/reduce 冲突引起的断言失败数量增加,进而使得解析时间变长。
正如我们从上图中看到的,MySQL 各个版本中都有相当数量的 shift/reduce 冲突,但除了图中显示的 MySQL 4.0 中存在的 4 个会导致解析二义性的 reduce/reduce 冲突[4],shift/reduce 冲突不会使得解析器最终得到正确的结果,因此 MySQL8.0 的态度是:
❝1.We do not accept any reduce/reduce conflicts
❞
2.We should not introduce new shift/reduce conflicts any more.
从上图中可以看到,MySQL 8.0 版本降低了语法文件中的 shift/reduce 冲突数量,且随着版本不断更新,目前这一冲突数量已下降到了 63[5](通过语法文件中的%expect
语句显式声明)。
MySQL 8.0 做出了很多努力来达到这一成果。其中最关键一点在于对 query 语句整体格式的重构。MySQL 8.0 以前,相同的语法结构(如 create select 和 select 语句都是用的参数列表,select、update 和 delete 语句中都需要使用的 table 列表等)会直接被不同类型的语句直接引用,而没有做额外的约束。
在 MySQL 8.0 中,它同意了所有语句的语法结构,将共用的子结构段进行了进一步的约束和封装,这使得自顶向下的断言可以更快地匹配到对应的语法,同时也能体现于结构上的简洁性。
以下是 MySQL 5.7 到 MySQL 8.0 上层语法结构对比一览:
可以看出 MySQL 8.0 使得整体架构更加清晰有序。
同时,8.0 将部分只有一处定义的语法结构展开到上层结构的子选项中,这样的操作以增加边缘功能的代码行数、降低可读性为代价减少了 shift/reduce 冲突。此外,MySQL 8.0 通过显示定义两个伪 token:%left KEYWORD_USED_AS_IDENT
和%left KEYWORD_USED_AS_KEYWORD
来显式地声明对以关键字作为标识符的行为,减少了解析过程中二义性因其的断言失败。
从整体上看,关系数据库系统对于典型的 SQL 语句在语法解析阶段的耗时很短,几乎可以忽略不计,因此 MySQL 维持其自顶向下解析结构以获得语法文件的可读性和可扩展性是可以理解的。我们可以看到 MySQL 8.0 并没有对将语法解析模块更改成类似 Posgres 那样 LALR 的模式以消除语法冲突,而是尽可能地将语法树表达的更加简洁,进而使其对基于 MySQL 语法进行扩展和兼容的开发者更加友好。
加入微信群:添加社区助理-小石侠;加入钉钉群:扫描下方钉钉群二维码。
本文分享自微信公众号 - StoneDB(StoneDB2021)。
如有侵权,请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”,欢迎正在阅读的你也加入,一起分享。
|