miniob-introduction.md 10.6 KB
Newer Older
羽飞's avatar
羽飞 已提交
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 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204
# OceanBase大赛miniob代码架构框架设计和说明

# miniob代码结构说明

## 背景
miniob设计的目标是让不熟悉数据库设计和实现的同学能够快速的了解与深入学习数据库内核,期望通过miniob相关训练之后,能够对各个数据库内核模块的功能与它们之间的关联有所了解,并能够在使用时,设计出高效的SQL。面向的对象主要是在校学生,并且诸多模块做了简化,比如不考虑并发操作。

## miniob结构
miniob作为一个具有“基本”功能的数据库,包含了需要的基本功能模块。包括

- 网络模块:负责与客户端交互,收发客户端请求与应答;

- SQL解析:将用户输入的SQL语句解析成语法树;

- 执行计划缓存:执行计划缓存模块会将该 SQL第一次生成的执行计划缓存在内存中,后续的执行可以反复执行这个计划,避免了重复查询优化的过程(未实现)。

- 语义解析模块:将生成的语法树,转换成数据库内部数据结构(部分实现);

- 查询缓存:将执行的查询结果缓存在内存中,下次查询时,可以直接返回(未实现);

- 查询优化:根据一定规则和统计数据,调整/重写语法树。当前实现为空,留作实验题目;

- 计划执行:根据语法树描述,执行并生成结果;

- 会话管理:管理用户连接、调整某个连接的参数;

- 元数据管理:记录当前的数据库、表、字段和索引元数据信息;

- 客户端:作为测试工具,接收用户请求,向服务端发起请求。


SQL的执行流程可以参考 

![SQL 请求执行流程](images/miniob-introduction-sql-flow.png)

## 各模块工作原理介绍
### seda异步事件框架

miniob使用了seda框架,在介绍其它模块之前有必要先了解一下seda。
SEDA全称是:stage event driver architecture,它旨在结合事件驱动和多线程模式两者的优点,从而做到易扩展,解耦合,高并发。
各个stage之间的通信由event来传递,event的处理由stage的线程池异步处理。线程池内部会维护一个事件队列。
在miniob中,从接收请求开始,到SQL解析、查询优化、计划执行都使用event来传递数据,并且可以通过seda来配置线程池的个数。

### 服务端启动过程

虽然代码是模块化的,并且面向对象设计思想如此流行,但是很多同学还是喜欢从main函数看起。那么就先介绍一下服务端的启动流程。

main函数参考 main@src/observer/main.cpp。启动流程大致如下:

解析命令行参数 parse_parameter@src/observer/main.cpp

加载配置文件    Ini::load@deps/common/conf/ini.cpp

初始化日志       init_log@src/observer/init.cpp

初始化seda      init_seda@src/observer/init.cpp

初始化网络服务 init_server@src/observer/main.cpp

启动网络服务    Server::serve@src/net/server.cpp

建议把精力更多的留在核心模块上,以更快的了解数据库的工作。


### 网络模块
网络模块代码参考src/observer/net,主要是Server类。
在这里,采用了libevent作为网络IO工具。libevent的工作原理可以参考libevent官方网站。
网络服务启动时,会监听端口,接受到新的连接,会将新的连接描述字加入到libevent中。在有网络事件到达时(一般期望是新的消息到达),libevent会调用我们注册的回调函数(参考Server::recv@src/observer/net/server.cpp)。当连接接收到新的消息时,我们会创建一个SessionEvent(参考seda中的事件概念),然后交由seda调度。

### SQL解析
SQL解析模块是接收到用户请求,开始正式处理的第一步。它将用户输入的数据转换成内部数据结构,一个语法树。
解析模块的代码在`src/observer/sql/parser`下,其中`lex_sql.l`是词法解析代码,`yacc_sql.y`是语法解析代码,`parse_defs.h`中包含了语法树中各个数据结构。
对于词法解析和语法解析,原理概念可以参考《编译原理》。
其中词法解析会把输入(这里比如用户输入的SQL语句)解析成成一个个的“词”,称为token。解析的规则由自己定义,比如关键字SELECT,或者使用正则表达式,比如`"[A-Za-z_]+[A-Za-z0-9_]*"` 表示一个合法的标识符。
对于语法分析,它根据词法分析的结果(一个个token),按照编写的规则,解析成“有意义”的“话”,并根据这些参数生成自己的内部数据结构。比如`SELECT * FROM T`,可以据此生成一个简单的查询语法树,并且知道查询的`columns`是"*",查询的`relation`是"T"。
NOTE:在查询相关的地方,都是用关键字relation、attribute,而在元数据中,使用table、field与之对应。

### 计划执行
在miniob的实现中,SQL解析之后,就直接跳到了计划执行,中间略去了很多重要的阶段,但是不影响最终结果。
计划执行的代码在`src/observer/sql/executor/`下,主要参考`execute_stage.cpp`的实现。

### seda编程注意事项
seda使用异步事件的方式,在线程池中调度。每个事件(event),再每个阶段完成处理后,都必须调用done接口。比如 

- event->done(); // seda异步调用event的善后处理

- event->done_immediate(); // seda将直接在当前线程做event的删除处理

- event->done_timeout(); // 一般不使用

当前Miniob为了方便和简化,都执行`event->done_immediate`

在event完成之后,seda会调用event的回调函数。通过 `event->push_callback` 放置回调函数,在event完成后,会按照`push_callback`的反向顺序调用回调函数。
注意,如果执行某条命令后,长时间没有返回结果,通过pstack也无法找到执行那条命令的栈信息,就需要检查下,是否有event没有调用done操作。
当前的几种event流程介绍:

`recv@server.cpp`接收到用户请求时创建`SessionEvent`并交给`SessionStage`

`SessionStage`处理`SessionEvent`并创建`SQLStageEvent`,流转->

`ParseStage` 处理 `SQLStageEvent` 流转到->

`ResolveStage` 流转 `SQLStageEvent` ->

`QueryCacheStage` 流转 `SQLStageEvent` ->

`PlanCacheStage` 流转 `SQLStageEvent` ->

`OptimizeStage` 流转 `ExecutionPlanEvent` ->

`ExecuteStage` 处理 `ExecutionPlanEvent` 并创建 `StorageEvent`,流转到->

`DefaultStorageStage` 处理 `StorageEvent`

### 元数据管理模块
元数据是指数据库一些核心概念,包括db、table、field、index等,记录它们的信息。比如db,记录db文件所属目录;field,记录字段的类型、长度、偏移量等。这里的代码现在没有单独拆分出来,目前位于`src/observer/storage/common`中,文件名中包含`meta`关键字。

### 客户端
这里的客户端提供了一种测试miniob的方法。从标准输入接收用户输入,将请求发给服务端,并展示返回结果。这里简化了输入的处理,用户输入一行,就认为是一个命令。

### 通信协议
miniob采用TCP通信,纯文本模式,使用'\0'作为每个消息的终结符。
注意:测试程序也使用这种方法,***请不要修改协议,后台测试程序依赖这个协议***
注意:返回的普通数据结果中不要包含'\0',也不支持转义处理。

### 参赛/训练营建议
在做miniob的题目时,不要做一个题目再看下一个题目,团队中多个同学分别做自己的题目时,也不要一直单独作战,因为完成课题时,需要修改的模块会有非常多的重叠,因此建议团队尽量统筹规划,避免代码冲突以及“越走越难”。

# 参考
- 《数据库系统实现》
- 《数据库系统概念》
- 《flex_bison》  flex/bison手册
- [flex开源源码](https://github.com/westes/flex)
- [bison首页](https://www.gnu.org/software/bison/)
- [cmake官方手册](https://cmake.org/)
- [libevent官网](https://libevent.org/)
- [SEDA wiki百科](https://en.wikipedia.org/wiki/Staged_event-driven_architecture)
- [OceanBase数据库文档](https://www.oceanbase.com/docs)
- [OceanBase开源网站](https://github.com/oceanbase/oceanbase)

# 附录-编译安装测试
## 编译环境
miniob使用cmake管理,要求cmake版本至少3.10,编译的C++标准是C++14,所以使用的编译器需要支持C++14。

编译器推荐使用gcc或clang,使用Windows操作系统的同学,建议使用Linux虚拟机或docker编译,程序会最终在Linux操作系统上测试。

使用MacOS的同学,注意默认编译器是clang,即使使用命令gcc,实际编译器可能也是clang。

miniob 的开发环境依赖的组件比较多,搭建开发环境可能需要比较多的时间,同学们可以直接使用Docker来开发,具体参考 [MiniOB Docker 开发](https://hub.docker.com/r/oceanbase/miniob)

NOTE:clang编译器有些表现与gcc不一致,官方测试后台使用gcc,如果后续测试出现编译错误,可以更换为gcc测试。

## 编译
参考源码中 [如何构建MiniOB](./how_to_build.md) 文件。

## 运行服务端
编译完成后,执行 
```bash
observer -s miniob.sock -f observer.ini
``` 
可以运行服务端程序。

其中
- -f表示参数`observer.ini`是配置文件。目前提供了样本配置文件,在源码的etc目录下
- -s 表示使用unix socket 来进行测试。可以指定自己的文件名。
- -p参数,可以覆盖配置文件中指定的端口号,注意修改代码时不要调整这个参数。
训练营和测试后端会使用unix socket 来进行测试。

示例:

![running-the-server](images/miniob-introduction-running-the-server.png)

## 运行客户端

默认直接执行obclient即可。obclient从标准输入中接受输入,每收到一行数据,就向服务端发送请求,并等待应答。

可以通过命令行参数修改客户端连接的服务端信息:

```bash
obclient [ip] [port] 
```

或者

```bash
obclient -s miniob.sock
```

其中 -s 使用指定unix socket 文件连接observer,如果启动observer时也指定了unix socket。

![running-the-client](images/miniob-introduction-running-the-client.png)

# FAQ

- 命令没有加分号解析失败,比如 `help`命令

miniob 是功能非常简单的数据库,语法解析也做得非常简单。所有的命令都需要加上分号`;`

- YYYY-m-d是否是正确的日期
比如 2021-1-2 是否正确日期?是正确的。
> 输出的时候要求一定要是 YYYY-mm-dd输出(2021-01-02),但是输入的时候,没有那么严格要求。

- 增加CPP/H 文件是否需要更新CMakeLists.txt
不需要。Cmake文件中使用自动探测的方式。加了新的源代码,再执行一遍  cmake .. 就可以自动探测到新加的源文件。