openGauss之TidScan

一. 前言

​ 在openGauss中,TidScan是指过滤谓词中包含ctid信息时,不再全表扫描然后通过eqal比对的方式进行计划,而是通过那到ctid谓词,直接通过tid获取到元组,然后再应用其他的过滤条件来过滤通过ticd获取到的元组。如下所示:

本文主要讲述代码中是如何实现tidscan的。

二. 执行计划生成

执行计划生成的入口在set_plain_rel_pathlist,如下为主要的代码实现流程:

复制代码
set_plain_rel_pathlist
    if (rel->orientation == REL_ROW_ORIENTED)
        create_tidscan_paths(root, rel);
            tidquals = TidQualFromBaseRestrictinfo(rel);
                foreach (l, rel->baserestrictinfo) {
                    rlst = TidQualFromExpr((Node*)rinfo->clause, rel->relid);
                        if (is_opclause(expr)) {      // 等于类型的谓词条件
                            if (IsTidEqualClause((OpExpr*)expr, varno))   // 判断是不是谓词意见是ctid=xxx
                                if (node->opno != TIDEqualOperator)  // 仅仅谓词条件包含tid时才支持生成tidscan
                                     return false;
                         } else {
                         .... // 处理其他类型的谓词条件,比如in等场景
                         }
                }
            if (tidquals != NIL)
                add_path(root, rel, (Path*)create_tidscan_path(root, rel, tidquals));
                    TidPath* pathnode = makeNode(TidPath);
                    pathnode->path.pathtype = T_TidScan;
                    cost_tidscan(&pathnode->path, root, rel, tidquals);
                        foreach (l, tidquals) {
                            if (IsA(lfirst(l), ScalarArrayOpExpr)) {
                                ntuples += estimate_array_length(arraynode); // 如果是in的场景,那么代价为数组的长度
                             else if (IsA(lfirst(l), CurrentOfExpr)) {
                                ntuples++;   // 非数组的场景,tid访问的代价均为1
                             } else {
                                 ntuples++;
                             }
            }             
    }
三. TidScan算子实现

​ ExecTidScan的实现入口在ExecTidScan函数中,主要根据ctid的谓词条件转换成tid数组,依次取tid数组的位置信息拿到元组返回,主要流程如下所示:

复制代码
ExecTidScan
    ExecScan
        ExecScanFetch
            TidNext   // 使用tid直接扫描元组
                TidListCreateByRecursion(node, RELATION_CREATE_BUCKET(heap_relation)); // tid谓词条件转换成tid数组
                    if (expr && IsA(expr, ScalarArrayOpExpr)) {
                        for (i = 0; i < ndatums; i++) {
                            tid_list[num_tids++] = *itemptr;  // 谓词条件转成的tid数组
                        }
                    }
                    tidstate->tss_TidList = tid_list; // 将需要扫描的数组保存在state中
                    tidstate->tss_NumTids = num_tids;
                    tidstate->tss_TidPtr = -1;   // tss_TidPtr指的是当前取tss_TidList哪个下标值去读元组数据
                TidFetchTuple
                    InitTidPtr(node, b_backward);
                        node->tss_TidPtr++;   // 下边++,因此每次TidNext能拿到下一个tid对应的元组
                    ItemPointerData tid = tid_list[node->tss_TidPtr];  // 拿到元组的地址
                    tableam_tops_tuple_fetch_row_version  // 根据tid拿到元组的数据
        if (qual == NULL || ExecQual(qual, econtext)) {   //应用其他的谓词条件,如第一章节中的job = 'ccc'等其他谓词条件
            ....
        }
相关推荐
0000ysl17 分钟前
数据库基础-函数&约束
数据库
JavaPub-rodert37 分钟前
Etcd用的是Raft算法
数据库·github·etcd·raft
编程乐趣41 分钟前
FlexLabs.Upsert:EF Core插件推荐,支持多数据库的Upsert功能
数据库
dogplays1 小时前
dbeaver无法连接Oracle报错:ORA-17800、ORA-12514
数据库·oracle
Acrelhuang1 小时前
8.3MW屋顶光伏+光储协同:上海汽车变速器低碳工厂的能源革命-安科瑞黄安南
大数据·数据库·人工智能·物联网·数据库开发
桂月二二2 小时前
Vue3服务端渲染深度解析:从Nuxt3架构到性能优化实战
性能优化·架构
崖山数据库系统YashanDB2 小时前
YashanDB json语法
数据库
陈三一2 小时前
关于多数据源下Spring声明式事务管理失效问题的分析与解决
数据库·spring
我有医保我先冲2 小时前
SQL复杂查询与性能优化全攻略
数据库·sql·性能优化
烧瓶里的西瓜皮2 小时前
Go语言从零构建SQL数据库引擎(2)
数据库·sql·golang