TiDB SQL Parser 的实现

PingCAP发布了TiDB的源码阅读系列文章,让我们可以比较系统的去学习了解TiDB的内部实现。最近的一篇《SQL 的一生》,从整体上讲解了一条SQL语句的处理流程,从网络上接收数据,MySQL协议解析和转换,SQL语法解析,查询计划的制定和优化,查询计划执行,到最后返回结果。

其中,SQL Parser的功能是把SQL语句按照SQL语法规则进行解析,将文本转换成抽象语法树(AST),这部分功能需要些背景知识才能比较容易理解,我尝试做下相关知识的介绍,希望能对读懂这部分代码有点帮助。

TiDB是使用goyacc根据预定义的SQL语法规则文件parser.y生成SQL语法解析器。我们可以在TiDB的Makefile文件中看到这个过程,先build goyacc工具,然后使用goyacc根据parser.y生成解析器parser.go

1
2
3
4
5
6
goyacc:
 $(GOBUILD) -o bin/goyacc parser/goyacc/main.go

parser: goyacc
 bin/goyacc -o /dev/null parser/parser.y
 bin/goyacc -o parser/parser.go parser/parser.y 2>&1 ...

goyaccyacc的Golang版,所以要想看懂语法规则定义文件parser.y,了解解析器是如何工作的,先要对Lex & Yacc有些了解。

# Lex & Yacc 介绍

Lex & Yacc 是用来生成词法分析器和语法分析器的工具,它们的出现简化了编译器的编写。Lex & Yacc 分别是由贝尔实验室的Mike LeskStephen C. Johnson在1975年发布。对于Java程序员来说,更熟悉的是ANTLRANTLR 4 提供了 Listener+Visitor 组合接口, 不需要在语法定义中嵌入actions,使应用代码和语法定义解耦。Spark的SQL解析就是使用了ANTLRLex & Yacc 相对显得有些古老,实现的不是那么优雅,不过我们也不需要非常深入的学习,只要能看懂语法定义文件,了解生成的解析器是如何工作的就够了。我们可以从一个简单的例子开始:

上图描述了使用Lex & Yacc构建编译器的流程。Lex根据用户定义的patterns生成词法分析器。词法分析器读取源代码,根据patterns将源代码转换成tokens输出。Yacc根据用户定义的语法规则生成语法分析器。语法分析器以词法分析器输出的tokens作为输入,根据语法规则创建出语法树。最后对语法树遍历生成输出结果,结果可以是产生机器代码,或者是边遍历 AST 边解释执行。

从上面的流程可以看出,用户需要分别为Lex提供patterns的定义,为 Yacc 提供语法规则文件,Lex & Yacc 根据用户提供的输入文件,生成符合他们需求的词法分析器和语法分析器。这两种配置都是文本文件,并且结构相同:

1
2
3
4
5
... definitions ...
%%
... rules ...
%%
... subroutines ...

文件内容由 %% 分割成三部分,我们重点关注中间规则定义部分。对于上面的例子,Lex 的输入文件如下:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
...
%%
/* 变量 */
[a-z]    {
            yylval = *yytext - 'a';
            return VARIABLE;
         }   
/* 整数 */
[0-9]+   {
            yylval = atoi(yytext);
            return INTEGER;
         }
/* 操作符 */
[-+()=/*\n] { return *yytext; }
/* 跳过空格 */
[ \t]    ;
/* 其他格式报错 */
.        yyerror("invalid character");
%%
...

上面只列出了规则定义部分,可以看出该规则使用正则表达式定义了变量、整数和操作符等几种token。例如整数token的定义如下:

1
2
3
4
[0-9]+  {
            yylval = atoi(yytext);
            return INTEGER; 
        }

当输入字符串匹配这个正则表达式,大括号内的动作会被执行:将整数值存储在变量 yylval 中,并返回 token 类型 INTEGERYacc

再来看看 Yacc 语法规则定义文件:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
%token INTEGER VARIABLE
%left '+' '-'
%left '*' '/'
...
%%

program:
        program statement '\n' 
        |
        ;

statement:
        expr                    { printf("%d\n", $1); }
        | VARIABLE '=' expr     { sym[$1] = $3; }
        ;
        
expr:
        INTEGER
        | VARIABLE              { $$ = sym[$1]; }
        | expr '+' expr         { $$ = $1 + $3; }
        | expr '-' expr         { $$ = $1 - $3; }
        | expr '*' expr         { $$ = $1 * $3; }
        | expr '/' expr         { $$ = $1 / $3; }
        | '(' expr ')'          { $$ = $2; }
        ;

%%
...

第一部分定义了 token 类型和运算符的结合性。四种运算符都是左结合,同一行的运算符优先级相同,不同行的运算符,后定义的行具有更高的优先级。

语法规则使用了BNF定义。BNF 可以用来表达上下文无关(context-free)语言,大部分的现代编程语言都可以使用 BNF 表示。上面的规则定义了三个产生式产生式冒号左边的项(例如 statement)被称为非终结符INTEGERVARIABLE 被称为终结符,它们是由 Lex 返回的 token终结符只能出现在产生式的右侧。可以使用产生式定义的语法生成表达式:

1
2
3
4
5
expr -> expr * expr
     -> expr * INTEGER
     -> expr + expr * INTEGER
     -> expr + INTEGER * INTEGER
     -> INTEGER + INTEGER * INTEGER

解析表达式是生成表达式的逆向操作,我们需要归约表达式到一个非终结符Yacc 生成的语法分析器使用自底向上的归约(shift-reduce)方式进行语法解析,同时使用堆栈保存中间状态。还是看例子,表达式x + y * z的解析过程:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
1    . x + y * z
2    x . + y * z
3    expr . + y * z
4    expr + . y * z
5    expr + y . * z
6    expr + expr . * z
7    expr + expr * . z
8    expr + expr * z .
9    expr + expr * expr .
10   expr + expr .
11   expr .
12   statement .
13   program  .

点(.)表示当前的读取位置,随着 . 从左向右移动,我们将读取的token压入堆栈,当发现堆栈中的内容匹配了某个产生式的右侧,则将匹配的项从堆栈中弹出,将该产生式左侧的非终结符压入堆栈。这个过程持续进行,直到读取完所有的tokens,并且只有启始非终结符(本例为 program)保留在堆栈中。

产生式右侧的大括号中定义了该规则关联的动作,例如:

1
expr:  expr '*' expr         { $$ = $1 * $3; }

我们将堆栈中匹配该产生式右侧的项替换为产生式左侧的非终结符,本例中我们弹出 expr '*' expr,然后把 expr 压回堆栈。 我们可以使用 $position 的形式访问堆栈中的项,$1引用的是第一项,$2引用的是第二项,以此类推。$$ 代表的是归约操作执行后的堆栈顶。本例的动作是将三项从堆栈中弹出,两个表达式相加,结果再压回堆栈顶。

上面例子中语法规则关联的动作,在完成语法解析的同时,也完成了表达式求值。一般我们希望语法解析的结果是一棵抽象语法树(AST),可以这么定义语法规则关联的动作:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
...
%%
...
expr:
    INTEGER             { $$ = con($1); }
    | VARIABLE          { $$ = id($1); }
    | expr '+' expr     { $$ = opr('+', 2, $1, $3); }
    | expr '-' expr     { $$ = opr('-', 2, $1, $3); }
    | expr '*' expr     { $$ = opr('*', 2, $1, $3); } 
    | expr '/' expr     { $$ = opr('/', 2, $1, $3); }
    | '(' expr ')'      { $$ = $2; }
    ; 
%%
nodeType *con(int value) {
    ...
}
nodeType *id(int i) {
    ...
}
nodeType *opr(int oper, int nops, ...) {
    ...
}    

上面是一个语法规则定义的片段,我们可以看到,每个规则关联的动作不再是求值,而是调用相应的函数,该函数会返回抽象语法树的节点类型 nodeType,然后将这个节点压回堆栈,解析完成时,我们就得到了一颗由 nodeType 构成的抽象语法树。对这个语法树进行遍历访问,可以生成机器代码,也可以解释执行。

至此,我们大致了解了Lex & Yacc的原理。其实还有非常多的细节,例如如何消除语法的歧义,但我们的目的是读懂TiDB的代码,掌握这些概念已经够用了。

# goyacc 简介

goyacc 是golang版的 Yacc。和 Yacc的功能一样,goyacc 根据输入的语法规则文件,生成该语法规则的go语言版解析器。goyacc 生成的解析器 yyParse 要求词法分析器符合下面的接口:

1
2
3
4
type yyLexer interface {
 Lex(lval *yySymType) int
 Error(e string)
}

或者

1
2
3
4
5
type yyLexerEx interface {
 yyLexer
 // Hook for recording a reduction.
 Reduced(rule, state int, lval *yySymType) (stop bool) // Client should copy *lval.
}

TiDB没有使用类似 Lex 的工具生成词法分析器,而是纯手工打造,词法分析器对应的代码是 parser/lexer.go, 它实现了 goyacc 要求的接口:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
...
// Scanner implements the yyLexer interface.
type Scanner struct {
 r   reader
 buf bytes.Buffer

 errs         []error
 stmtStartPos int

 // For scanning such kind of comment: /*! MySQL-specific code */ or /*+ optimizer hint */
 specialComment specialCommentScanner

 sqlMode mysql.SQLMode
}
// Lex returns a token and store the token value in v.
// Scanner satisfies yyLexer interface.
// 0 and invalid are special token id this function would return:
// return 0 tells parser that scanner meets EOF,
// return invalid tells parser that scanner meets illegal character.
func (s *Scanner) Lex(v *yySymType) int {
 tok, pos, lit := s.scan()
 v.offset = pos.Offset
 v.ident = lit
 ...
}
// Errors returns the errors during a scan.
func (s *Scanner) Errors() []error {
 return s.errs
}

另外lexer 使用了字典树技术进行 token 识别,具体的实现代码在parser/misc.go

# TiDB SQL Parser的实现

终于到了正题。有了上面的背景知识,对TiDB 的 SQL Parser 模块会相对容易理解一些。先看SQL语法规则文件parser.ygoyacc 就是根据这个文件生成SQL语法解析器的。

parser.y 有6500多行,第一次打开可能会被吓到,其实这个文件仍然符合我们上面介绍过的结构:

1
2
3
4
5
... definitions ...
%%
... rules ...
%%
... subroutines ...

parser.y 第三部分 subroutines 是空白没有内容的, 所以我们只需要关注第一部分 definitions 和第二部分 rules

第一部分主要是定义token的类型、优先级、结合性等。注意 union 这个联合体结构体:

1
2
3
4
5
6
7
%union {
 offset int // offset
 item interface{}
 ident string
 expr ast.ExprNode
 statement ast.StmtNode
}

该联合体结构体定义了在语法解析过程中被压入堆栈的的属性和类型。

压入堆栈的可能是终结符,也就是 token,它的类型可以是itemident

这个也可能是非终结符,即产生式的左侧,它的类型可以是 exprstatementitemident

goyacc 根据这个 union 在解析器里生成对应的 struct 是:

1
2
3
4
5
6
7
8
type yySymType struct {
 yys       int
 offset    int // offset
 item      interface{}
 ident     string
 expr      ast.ExprNode
 statement ast.StmtNode
}

在语法解析过程中,非终结符会被构造成抽象语法树(AST)的节点 ast.ExprNodeast.StmtNode。抽象语法树相关的数据结构都定义在 ast 包中,它们大都实现了 ast.Node 接口:

1
2
3
4
5
6
7
// Node is the basic element of the AST.
// Interfaces embed Node should have 'Node' name suffix.
type Node interface {
 Accept(v Visitor) (node Node, ok bool)
 Text() string
 SetText(text string)
}

这个接口有一个 Accept 方法,接受 Visitor 参数,后续对 AST 的处理,主要依赖这个 Accept 方法,以 Visitor 模式遍历所有的节点以及对 AST 做结构转换。

1
2
3
4
5
// Visitor visits a Node.
type Visitor interface {
 Enter(n Node) (node Node, skipChildren bool)
 Leave(n Node) (node Node, ok bool)
}

例如 plan.preprocess 是对 AST 做预处理,包括合法性检查以及名字绑定。

union 后面是对 token非终结符 按照类型分别定义:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
/* 这部分的token是 ident类型 */
%token <ident>
    ...
 add   "ADD"
 all    "ALL"
 alter   "ALTER"
 analyze   "ANALYZE"
 and   "AND"
 as   "AS"
 asc   "ASC"
 between   "BETWEEN"
 bigIntType  "BIGINT"
    ...

/* 这部分的token是 item 类型 */   
%token <item>
    /*yy:token "1.%d"   */ floatLit        "floating-point literal"
 /*yy:token "1.%d"   */ decLit          "decimal literal"
 /*yy:token "%d"     */ intLit          "integer literal"
 /*yy:token "%x"     */ hexLit          "hexadecimal literal"
 /*yy:token "%b"     */ bitLit          "bit literal"

 andnot  "&^"
 assignmentEq ":="
 eq  "="
 ge  ">="
    ...

/* 非终结符按照类型分别定义 */
%type <expr>
    Expression   "expression"
 BoolPri    "boolean primary expression"
 ExprOrDefault   "expression or default"
 PredicateExpr   "Predicate expression factor"
 SetExpr    "Set variable statement value's expression"
    ...

%type <statement>
 AdminStmt   "Check table statement or show ddl statement"
 AlterTableStmt   "Alter table statement"
 AlterUserStmt   "Alter user statement"
 AnalyzeTableStmt  "Analyze table statement"
 BeginTransactionStmt  "BEGIN TRANSACTION statement"
 BinlogStmt   "Binlog base64 statement"
    ...
 
%type   <item>
 AlterTableOptionListOpt  "alter table option list opt"
 AlterTableSpec   "Alter table specification"
 AlterTableSpecList  "Alter table specification list"
 AnyOrAll   "Any or All for subquery"
 Assignment   "assignment"
    ...

%type <ident>
 KeyOrIndex  "{KEY|INDEX}"
 ColumnKeywordOpt "Column keyword or empty"
 PrimaryOpt  "Optional primary keyword"
 NowSym   "CURRENT_TIMESTAMP/LOCALTIME/LOCALTIMESTAMP"
 NowSymFunc  "CURRENT_TIMESTAMP/LOCALTIME/LOCALTIMESTAMP/NOW"
    ...

第一部分的最后是对优先级和结合性的定义:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
...
%precedence sqlCache sqlNoCache
%precedence lowerThanIntervalKeyword
%precedence interval
%precedence lowerThanStringLitToken
%precedence stringLit
...
%right   assignmentEq
%left  pipes or pipesAsOr
%left  xor
%left  andand and
%left  between
...

parser.y文件的第二部分是SQL语法的产生式和每个规则对应的 aciton 。SQL语法非常复杂,parser.y 的大部分内容都是产生式的定义。

SQL 语法可以参照MySQL参考手册的SQL Statement Syntax 部分,例如 SELECT 语法的定义如下:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
SELECT
    [ALL | DISTINCT | DISTINCTROW ]
      [HIGH_PRIORITY]
      [STRAIGHT_JOIN]
      [SQL_SMALL_RESULT] [SQL_BIG_RESULT] [SQL_BUFFER_RESULT]
      [SQL_CACHE | SQL_NO_CACHE] [SQL_CALC_FOUND_ROWS]
    select_expr [, select_expr ...]
    [FROM table_references
      [PARTITION partition_list]
    [WHERE where_condition]
    [GROUP BY {col_name | expr | position}
      [ASC | DESC], ... [WITH ROLLUP]]
    [HAVING where_condition]
    [ORDER BY {col_name | expr | position}
      [ASC | DESC], ...]
    [LIMIT {[offset,] row_count | row_count OFFSET offset}]
    [PROCEDURE procedure_name(argument_list)]
    [INTO OUTFILE 'file_name'
        [CHARACTER SET charset_name]
        export_options
      | INTO DUMPFILE 'file_name'
      | INTO var_name [, var_name]]
    [FOR UPDATE | LOCK IN SHARE MODE]]

我们可以在 parser.y 中找到 SELECT 语句的产生式:

1
2
3
4
5
6
7
8
9
SelectStmt:
 "SELECT" SelectStmtOpts SelectStmtFieldList OrderByOptional SelectStmtLimit SelectLockOpt
    { ... }
|   "SELECT" SelectStmtOpts SelectStmtFieldList FromDual WhereClauseOptional SelectStmtLimit SelectLockOpt
    { ... }  
|   "SELECT" SelectStmtOpts SelectStmtFieldList "FROM"
 TableRefsClause WhereClauseOptional SelectStmtGroup HavingClause OrderByOptional
 SelectStmtLimit SelectLockOpt
    { ... } 

产生式 SelectStmtSELECT 语法是对应的。

我省略了大括号中的 action ,这部分代码会构建出 ASTast.SelectStmt 节点:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
type SelectStmt struct {
 dmlNode
 resultSetNode

 // SelectStmtOpts wraps around select hints and switches.
 *SelectStmtOpts
 // Distinct represents whether the select has distinct option.
 Distinct bool
 // From is the from clause of the query.
 From *TableRefsClause
 // Where is the where clause in select statement.
 Where ExprNode
 // Fields is the select expression list.
 Fields *FieldList
 // GroupBy is the group by expression list.
 GroupBy *GroupByClause
 // Having is the having condition.
 Having *HavingClause
 // OrderBy is the ordering expression list.
 OrderBy *OrderByClause
 // Limit is the limit clause.
 Limit *Limit
 // LockTp is the lock type
 LockTp SelectLockType
 // TableHints represents the level Optimizer Hint
 TableHints []*TableOptimizerHint
}

可以看出,ast.SelectStmt 结构体内包含的内容和 SELECT 语法也是一一对应的。

其他的产生式也都是根据对应的 SQL 语法来编写的。从 parser.y 的注释看到,这个文件最初是用工具BNF 转化生成的,从头手写这个规则文件,工作量会非常大。

完成了语法规则文件 parser.y 的定义,就可以使用 goyacc 生成语法解析器:

1
bin/goyacc -o parser/parser.go parser/parser.y 2>&1

TiDB对 lexerparser.go 进行了封装,对外提供 parser.yy_parser 进行SQL语句的解析:

1
2
3
4
// Parse parses a query string to raw ast.StmtNode.
func (parser *Parser) Parse(sql, charset, collation string) ([]ast.StmtNode, error) {
    ...
}

最后,我写了一个简单的例子,使用TiDB的 SQL Parser 进行SQL语法解析,构建出 AST,然后利用 visitor 遍历 AST

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
package main

import (
 "fmt"
 "github.com/pingcap/tidb/parser"
 "github.com/pingcap/tidb/ast"
)

type visitor struct{}

func (v *visitor) Enter(in ast.Node) (out ast.Node, skipChildren bool) {
 fmt.Printf("%T\n", in)
 return in, false
}

func (v *visitor) Leave(in ast.Node) (out ast.Node, ok bool) {
 return in, true
}

func main() {

 sql := "SELECT /*+ TIDB_SMJ(employees) */ emp_no, first_name, last_name " +
  "FROM employees USE INDEX (last_name) " +
  "where last_name='Aamodt' and gender='F' and birth_date > '1960-01-01'"

 sqlParser := parser.New()
 stmtNodes, err := sqlParser.Parse(sql, "", "")
 if err != nil {
  fmt.Printf("parse error:\n%v\n%s", err, sql)
  return
 }
 for _, stmtNode := range stmtNodes {
  v := visitor{}
  stmtNode.Accept(&v)
 }
}

我实现的 visitor 什么也没干,只是输出了节点的类型。 这段代码的运行结果如下,依次输出遍历过程中遇到的节点类型:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
*ast.SelectStmt
*ast.TableOptimizerHint
*ast.TableRefsClause
*ast.Join
*ast.TableSource
*ast.TableName
*ast.BinaryOperationExpr
*ast.BinaryOperationExpr
*ast.BinaryOperationExpr
*ast.ColumnNameExpr
*ast.ColumnName
*ast.ValueExpr
*ast.BinaryOperationExpr
*ast.ColumnNameExpr
*ast.ColumnName
*ast.ValueExpr
*ast.BinaryOperationExpr
*ast.ColumnNameExpr
*ast.ColumnName
*ast.ValueExpr
*ast.FieldList
*ast.SelectField
*ast.ColumnNameExpr
*ast.ColumnName
*ast.SelectField
*ast.ColumnNameExpr
*ast.ColumnName
*ast.SelectField
*ast.ColumnNameExpr
*ast.ColumnName

了解了TiDB SQL Parser 的实现,我们就有可能实现TiDB当前不支持的语法,例如添加内置函数,也为我们学习查询计划以及优化打下了基础。希望这篇文章对你能有所帮助。

Licensed under CC BY-NC-SA 4.0
comments powered by Disqus