{
    "componentChunkName": "component---src-templates-blog-blog-detail-tsx",
    "path": "/blog/tidb-source-code-reading-20",
    "result": {"pageContext":{"blog":{"id":"Blogs_110","title":"TiDB 源码阅读系列文章（二十）Table Partition","tags":["TiDB 源码阅读","社区"],"category":{"name":"产品技术解读"},"summary":"本篇文章主要介绍 Table Partition 在 TiDB 中的实现。","body":"## Table Partition\n\n### 什么是 Table Partition\n\nTable Partition 是指根据一定规则，将数据库中的一张表分解成多个更小的容易管理的部分。从逻辑上看只有一张表，但是底层却是由多个物理分区组成。相信对有关系型数据库使用背景的用户来说可能并不陌生。\n\nTiDB 正在支持分区表这一特性。在 TiDB 中分区表是一个独立的逻辑表，但是底层由多个物理子表组成。物理子表其实就是普通的表，数据按照一定的规则划分到不同的物理子表类内。程序读写的时候操作的还是逻辑表名字，TiDB 服务器自动去操作分区的数据。\n\n### 分区表有什么好处？\n\n1.  优化器可以使用分区信息做分区裁剪。在语句中包含分区条件时，可以只扫描一个或多个分区表来提高查询效率。\n\n2.  方便地进行数据生命周期管理。通过创建、删除分区、将过期的数据进行 高效的归档，比使用 Delete 语句删除数据更加优雅，打散写入热点，将一个表的写入分散到多个物理表，使得负载分散开，对于存在 Sequence 类型数据的表来说（比如 Auto Increament ID 或者是 create time 这类的索引）可以显著地提升写入吞吐。\n\n### 分区表的限制\n\n1.  TiDB 默认一个表最多只能有 1024 个分区 ，默认是不区分表名大小写的。\n\n2.  Range, List, Hash 分区要求分区键必须是 INT 类型，或者通过表达式返回 INT 类型。但 Key 分区的时候，可以使用其他类型的列（BLOB，TEXT 类型除外）作为分区键。\n\n3.  如果分区字段中有主键或者唯一索引的列，那么有主键列和唯一索引的列都必须包含进来。\n\n\n4.  TiDB 的分区适用于一个表的所有数据和索引。不能只对表数据分区而不对索引分区，也不能只对索引分区而不对表数据分区，也不能只对表的一部分数据分区。\n\n### 常见分区表的类型\n\n*   Range 分区：按照分区表达式的范围来划分分区。通常用于对分区键需要按照范围的查询，分区表达式可以为列名或者表达式 ，下面的 employees 表当中 p0, p1, p2, p3 表示 Range 的访问分别是  (min, 1991), [1991, 1996), [1996, 2001), [2001, max) 这样一个范围。\n\n    ```sql\n    CREATE  TABLE employees (\n    id INT  NOT  NULL,\n    fname VARCHAR(30),\n    separated DATE  NOT  NULL\n    )\n    \n    PARTITION BY RANGE ( YEAR(separated) ) (\n    PARTITION p0 VALUES LESS THAN (1991),\n    PARTITION p1 VALUES LESS THAN (1996),\n    PARTITION p2 VALUES LESS THAN (2001),\n    PARTITION p3 VALUES LESS THAN MAXVALUE\n    );\n    \n    ```\n\n*   List 分区：按照 List 中的值分区，主要用于枚举类型，与 Range 分区的区别在于 Range 分区的区间范围值是连续的。\n\n*   Hash 分区：Hash 分区需要指定分区键和分区个数。通过 Hash 的分区表达式计算得到一个 INT 类型的结果，这个结果再跟分区个数取模得到具体这行数据属于那个分区。通常用于给定分区键的点查询，Hash 分区主要用来分散热点读，确保数据在预先确定个数的分区中尽可能平均分布。\n\n*   Key 分区：类似 Hash 分区，Hash 分区允许使用用户自定义的表达式，但 Key 分区不允许使用用户自定义的表达式。Hash 仅支持整数分区，而 Key 分区支持除了 Blob 和 Text 的其他类型的列作为分区键。\n\n## TiDB Table Partition 的实现\n\n本文接下来按照 TiDB 源码的 [release-2.1](https://github.com/pingcap/tidb/tree/release-2.1) 分支讲解，部分讲解会在 [source-code](https://github.com/pingcap/tidb/tree/source-code) 分支代码，目前只支持 Range 分区所以这里只介绍 Range 类型分区 Table Partition 的源码实现，包括 create table、select 、add partition、insert 、drop partition 这五种语句。\n\n### create table\n\ncreate table 会重点讲构建 Partition 的这部分，更详细的可以看 [TiDB 源码阅读系列文章（十七）DDL 源码解析](https://pingcap.com/blog-cn/tidb-source-code-reading-17/)，当用户执行创建分区表的SQL语句，语法解析（Parser）阶段会把 SQL 语句中 Partition 相关信息转换成 [ast.PartitionOptions](https://github.com/pingcap/tidb/blob/release-2.1/ast/ddl.go)，下文会介绍。接下来会做一系列 Check，分区名在当前的分区表中是否唯一、是否分区 Range 的值保持递增、如果分区键构成为表达式检查表达式里面是否是允许的函数、检查分区键必须是 INT 类型，或者通过表达式返回 INT 类型、检查分区键是否符合一些约束。\n\n解释下分区键，在分区表中用于计算这一行数据属于哪一个分区的列的集合叫做分区键。分区键构成可能是一个字段或多个字段也可以是表达式。\n\n```go\n// PartitionOptions specifies the partition options.\ntype PartitionOptions struct {\nTp          model.PartitionType\nExpr        ExprNode\nColumnNames []*ColumnName\nDefinitions []*PartitionDefinition\n}\n\t​\n// PartitionDefinition defines a single partition.\ntype PartitionDefinition struct {\nName     model.CIStr\nLessThan []ExprNode\nMaxValue bool\nComment  string\n}\n\t\n```\n\n`PartitionOptions` 结构中 Tp 字段表示分区类型，`Expr` 字段表示分区键，`ColumnNames` 字段表示 Columns 分区，这种类型分区又分为 Range columns 分区和 List columns 分区，这种分区目前先不展开介绍。`PartitionDefinition` 其中 Name 字段表示分区名，`LessThan` 表示分区 Range 值，`MaxValue` 字段表示 Range 值是否为最大值，`Comment` 字段表示分区的描述。\n\n[CreateTable](https://github.com/pingcap/tidb/blob/release-2.1/ddl/ddl_api.go#L905) Partition 部分主要流程如下：\n\n1. 把上文提到语法解析阶段会把 SQL语句中 Partition 相关信息转换成 `ast.PartitionOptions` , 然后 [buildTablePartitionInfo](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L41) 负责把 `PartitionOptions` 结构转换 `PartitionInfo`,  即 Partition 的元信息。\n\n2. [checkPartitionNameUnique](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L88) 检查分区名是否重复，分表名是不区分大小写的。\n\n3. 对于每一分区 Range 值进行 Check，[checkAddPartitionValue](https://github.com/pingcap/tidb/blob/release-2.1/ddl/table.go#L469) 就是检查新增的 Partition 的 Range 需要比之前所有 Partition 的 Range 都更大。\n\n4. TiDB 单表最多只能有 [1024 个分区](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L329) ，超过最大分区的限制不会创建成功。\n\n5. 如果分区键构成是一个包含函数的表达式需要检查表达式里面是否是允许的函数 [checkPartitionFuncValid](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L107)。\n\n6. 检查分区键必须是 INT 类型，或者通过表达式返回 INT 类型，同时检查分区键中的字段在表中是否存在 [checkPartitionFuncType](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L149)。\n\n7. 如果分区字段中有主键或者唯一索引的列，那么多有主键列和唯一索引列都必须包含进来。即：分区字段要么不包含主键或者索引列，要么包含全部主键和索引列 [checkRangePartitioningKeysConstraints](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L348)。\n\n8. 通过以上对 `PartitionInfo` 的一系列 check 主要流程就讲完了，需要注意的是我们没有对 `PartitionInfo` 的元数据持久化单独存储而是附加在 [TableInfo](https://github.com/pingcap/tidb/blob/release-2.1/model/model.go#L142) Partition 中。\n\n### add partition\n\nadd partition 首先需要从 SQL 中解析出来 Partition 的元信息，然后对当前添加的分区会有一些 Check 和限制，主要检查是否是分区表、分区名是已存在、最大分区数限制、是否 Range 值保持递增，最后把 Partition 的元信息 [PartitionInfo](https://github.com/pingcap/tidb/blob/release-2.1/model/model.go#L308) 追加到 Table 的元信息 [TableInfo](https://github.com/pingcap/tidb/blob/release-2.1/model/model.go#L142)中，具体如下:\n\n1. 检查是否是分区表，若不是分区表则报错提示。\n\n2. 用户的 SQL 语句被解析成将 [ast.PartitionDefinition](https://github.com/pingcap/tidb/blob/release-2.1/ast/ddl.go#L880) 然后 [buildPartitionInfo](https://github.com/pingcap/tidb/blob/release-2.1/ddl/ddl_api.go#L2123) 做的事就是保存表原来已存在的分区信息例如分区类型，分区键，分区具体信息，每个新分区分配一个独立的 PartitionID。\n\n3. TiDB 默认一个表最多只能有 [1024 个分区](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L329)，超过最大分区的限制会报错。\n\n4. 对于每新增一个分区需要检查 Range 值进行 Check，[checkAddPartitionValue](https://github.com/pingcap/tidb/blob/release-2.1/ddl/table.go#L469) 简单说就是检查新增的 Partition 的 Range 需要比之前所有 Partition 的 Range 都更大。\n\n5. [checkPartitionNameUnique](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L88) 检查分区名是否重复，分表名是不区分大小写的。\n\n6. 最后把 Partition 的元信息 [PartitionInfo](https://github.com/pingcap/tidb/blob/release-2.1/model/model.go#L308) 追加到 Table 的元信息 [TableInfo](https://github.com/pingcap/tidb/blob/release-2.1/model/model.go#L142).Partition 中，具体实现在这里 [updatePartitionInfo](https://github.com/pingcap/tidb/blob/release-2.1/ddl/table.go#L459)。\n\n### drop partition\n\ndrop partition 和 drop table 类似，只不过需要先找到对应的 Partition ID，然后删除对应的数据，以及修改对应 Table 的 Partition 元信息，两者区别是如果是 drop table 则删除整个表数据和表的 [TableInfo](https://github.com/pingcap/tidb/blob/release-2.1/model/model.go#L142) 元信息，如果是 drop partition 则需删除对应分区数据和 [TableInfo](https://github.com/pingcap/tidb/blob/release-2.1/model/model.go#L142) 中的 Partition 元信息，删除分区之前会有一些 Check 具体如下:\n\n1. 只能对分区表做 [drop partition 操作](https://github.com/pingcap/tidb/blob/release-2.1/ddl/ddl_api.go#L1355)，若不是分区表则报错提示。\n\n2. [checkDropTablePartition](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L269) 检查删除的分区是否存在，TiDB 默认是不能删除所有分区，如果想删除最后一个分区，要用 drop table 代替。\n\n3. [removePartitionInfo](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L283) 会把要删除的分区从 Partition 元信息删除掉，删除前会做[checkDropTablePartition](https://github.com/pingcap/tidb/blob/release-2.1/ddl/partition.go#L269) 的检查。\n\n4. 对分区表数据则需要拿到 PartitionID 根据插入数据时候的编码规则构造出 StartKey 和 EndKey 便能包含对应分区 Range 内所有的数据，然后把这个范围内的数据删除，点击查看 [具体代码实现](https://github.com/pingcap/tidb/blob/release-2.1/ddl/delete_range.go#L250)。\n\n5. 编码规则：\n\n    Key： `tablePrefix_rowPrefix_partitionID_rowID`\n\n    startKey： `tablePrefix_rowPrefix_partitionID`\n\n    endKey： `tablePrefix_rowPrefix_partitionID + 1`\n\n\n6.  删除了分区，同时也将删除该分区中的所有数据。如果删除了分区导致分区不能覆盖所有值，那么插入数据的时候会报错。\n\n### Select 语句\n\nSelect 语句重点讲 Select Partition 如何查询的和分区裁剪（Partition Pruning），更详细的可以看 [TiDB 源码阅读系列文章（六）Select 语句概览](https://pingcap.com/blog-cn/tidb-source-code-reading-6/) 。\n\n一条 SQL 语句的处理流程，从 Client 接收数据，MySQL 协议解析和转换，SQL 语法解析，逻辑查询计划和物理查询计划执行，到最后返回结果。那么对于分区表是如何查询表里的数据的，其实最主要的修改是 [逻辑查询计划](https://github.com/pingcap/tidb/blob/release-2.1/planner/core/rule_partition_processor.go#L39) 阶段，举个例子：如果用上文中 employees 表作查询, 在 SQL 语句的处理流程前几个阶段没什么不同，但是在逻辑查询计划阶段，[rewriteDataSource](https://github.com/pingcap/tidb/blob/release-2.1/planner/core/rule_partition_processor.go#L46) 将 DataSource 重写了变成 Union All 。每个 Partition id 对应一个 Table Reader。\n\n```sql\nselect * from employees\n```\n\n等价于：\n\n```sql\nselect * from (union all\nselect * from p0 where id < 1991\nselect * from p1 where id < 1996\nselect * from p2 where id < 2001\nselect * from p3 where id < MAXVALUE)\n```\n\n通过观察 `EXPLAIN` 的结果可以证实上面的例子，如图 1，最终物理执行计划中有四个 Table Reader 因为 employees 表中有四个分区，`Table Reader` 表示在 TiDB 端从 TiKV 端读取，`cop task` 是指被下推到 TiKV 端分布式执行的计算任务。\n\n![EXPLAN 输出](https://img1.www.pingcap.com/prod/1_c11e10302d.png)\n\n<div class=\"caption-center\">图 1：EXPLAIN 输出</div>\n\n用户在使用分区表时，往往只需要访问其中部分的分区, 就像程序局部性原理一样，优化器分析 `FROM` 和 `WHERE` 子句来消除不必要的分区，具体还要优化器根据实际的 SQL 语句中所带的条件，避免访问无关分区的优化过程我们称之为分区裁剪（Partition Pruning），具体实现在 [这里](https://github.com/pingcap/tidb/blob/release-2.1/planner/core/rule_partition_processor.go#L70)，分区裁剪是分区表提供的重要优化手段，通过分区的裁剪，避免访问无关数据，可以加速查询速度。当然用户可以刻意利用分区裁剪的特性在 SQL 加入定位分区的条件，优化查询性能。\n\n### Insert 语句\n\n[Insert 语句](https://pingcap.com/blog-cn/tidb-source-code-reading-4/) 是怎么样写入 Table Partition ?\n\n其实解释这些问题就可以了：\n\n1.  普通表和分区表怎么区分？\n\n2.  插入数据应该插入哪个 Partition？\n\n3.  每个 Partition 的 RowKey 怎么编码的和普通表的区别是什么？\n\n4.  怎么将数据插入到相应的 Partition 里面?\n\n普通 Table 和 Table Partition 也是实现了 Table 的接口，load schema 在初始化 Table 数据结构的时候，如果发现 `tableInfo` 里面没有 Partition 信息，则生成一个普通的 `tables.Table`，普通的 Table 跟以前处理逻辑保持不变，如果 `tableInfo` 里面有 Partition 信息，则会生成一个 `tables.PartitionedTable`，它们的区别是 RowKey 的编码方式：\n\n*  每个分区有一个独立的 Partition ID，Partition ID 和 Table ID 地位平等，每个 Partition 的 Row 和 index 在编码的时候都使用这个 Partition 的 ID。\n\n*  下面是 [PartitionRecordKey](https://github.com/pingcap/tidb/blob/release-2.1/table/tables/partition.go#L171) 和普通表 [RecordKey](https://github.com/pingcap/tidb/blob/release-2.1/table/tables/tables.go#L261) 区别。\n\n    *  分区表按照规则编码成 Key-Value pair：\n\n       Key: `tablePrefix_rowPrefix_partitionID_rowID`  \n    \n       Value: `[col1, col2, col3, col4]`\n\n    *  普通表按照规则编码成 Key-Value pair：\n\n       Key: `tablePrefix_rowPrefix_tableID_rowID`  \n    \n       Value: `[col1, col2, col3, col4]`\n\n*  通过 [locatePartition](https://github.com/pingcap/tidb/blob/release-2.1/table/tables/partition.go#L177) 操作查询到应该插入哪个 Partition，目前支持 RANGE 分区插入到那个分区主要是通过范围来判断，例如在 employees 表中插入下面的 sql，通过计算范围该条记录会插入到 p3 分区中，接着调用对应 Partition 上面的 [AddRecord](https://github.com/pingcap/tidb/blob/release-2.1/table/tables/tables.go#L406) 方法，将数据插入到相应的 Partition 里面。\n\n   `INSERT  INTO employees VALUES (1, 'PingCAP TiDB', '2003-10-15'),`\n\n*  插入数据时，如果某行数据不属于任何 Partition，则该事务失败，所有操作回滚。如果 Partition 的 Key 算出来是一个 `NULL`，对于不同的 Partition 类型有不同的处理方式：\n\n    *  对于 Range Partition：该行数据被插入到最小的那个 Partition\n\n    *  对于 List partition：如果某个 Partition 的 Value List 中有 `NULL`，该行数据被插入那个 Partition，否则插入失败\n\n    *  对于 Hash 和 Key Partition：`NULL` 值视为 0，计算 Partition ID 将数据插入到对应的 Partition\n\n*  在 TiDB 分区表中分区字段插入的值不能大于表中 Range 值最大的上界，否则会报错\n\n## End\n\nTiDB 目前支持 Range 分区类型，点击查看 [具体及细节](https://github.com/pingcap/tidb/tree/source-code)。剩余其它类型的分区类型正在开发中，后面陆续会和大家见面，敬请期待。它们的源码实现读者届时可以自行阅读，流程和文中上述描述类似。\n\n> 点击查看更多 [TiDB 源码阅读系列文章](https://pingcap.com/zh/blog/?tag=TiDB%20%E6%BA%90%E7%A0%81%E9%98%85%E8%AF%BB)","date":"2018-10-26","author":"肖亮亮","fillInMethod":"writeDirectly","customUrl":"tidb-source-code-reading-20","file":null,"relatedBlogs":[]}}},
    "staticQueryHashes": ["1327623483","1820662718","3081853212","3430003955","3649515864","4265596160","63159454"]}