分析openGauss包内集合类型的实现方法

2024-03-06 08:30
文章标签 分析 类型 实现 方法 集合 opengauss 包内

本文主要是介绍分析openGauss包内集合类型的实现方法，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

前言

Oracle中集合类型覆盖了Postgresql数组的功能，在Oracle用户中时非常常用的。

尤其是包内定义的集合类型，在SPEC定义后即可直接使用，scope也只在包在生效，使用非常灵活。

开源PG因为有数组没有实现这部分语法，下面对openGauss的包内集合类型实现方法做一些分析。

总结

  • 构造类型：plpgsql_build_tableType
  • 构造变量：build_array_type_from_elemtype
  • 一层嵌套var中没有nesttable
    • {1,2,3,4}直接存到var中。
  • 两层嵌套var中有nesttable，从nesttable构造子元素，然后插到var中。
    • nesttable构造{1,2,3}、nesttable构造{1,2}、nesttable构造{1,2,3,4,5}
    • 三个元素插入var中：{{1,2,3}, {1,2}, {1,2,3,4,5}}
  • 三层嵌套var中有两层nesttable
    • 最底层nesttable构造基础类型数组两个，例如{1,2,3,4,5}、{1,2}
    • 中间层包装最底层数组{ {1,2,3,4,5}、{1,2} }
    • 顶层包装中间层数组{ { {1,2,3,4,5}、{1,2} } }

在这里插入图片描述

底层用的还是PG的数组。核心逻辑都在evalSubsciptsNested函数附近。

用例

drop schema if exists pkg_val_1 cascade;
drop schema if exists pkg_val_2 cascade;create schema pkg_val_1;
create schema pkg_val_2;set current_schema = pkg_val_2;
set behavior_compat_options='allow_procedure_compile_check';--test package val assign
create or replace package pck1 is
type r3 is table of float;
vc r3;
type r4 is table of r3;
vd r4;
type r5 is table of r4;
ve r5;
end pck1;
/
create or replace package body pck1 is
end pck1;
/create or replace package pck2 is
ve int;
procedure p1;
end pck2;
/
create or replace package body pck2  is
procedure p1 as 
begin
pck1.vc(1) := 1;
pck1.vc(2) := 2 + pck1.vc(1);
pck1.vd(1) := pck1.vc;
pck1.vd(2) := pck1.vc;
pck1.ve(1) := pck1.vd;
raise info '% % % %', pck1.vc(1), pck1.vd(1)(1), pck1.vd(1)(1), pck1.ve(1)(1)(2);
end;
end pck2;
/
call pck2.p1();

3 pck1编译

create or replace package pck1 is
type r3 is table of float;
vc r3;
type r4 is table of r3;
vd r4;
type r5 is table of r4;
ve r5;
end pck1;
/

堆栈

CreatePackageCommandPackageSpecCreateplpgsql_package_validatorplpgsql_pkg_compiledo_pkg_compileplpgsql_yyparse

变量列表和PG的差异

区别openGaussPostgreSQL
变量数u_sess->plsql_cxt.curr_compile_context->plpgsql_nDatumsplpgsql_nDatums
变量列表u_sess->plsql_cxt.curr_compile_context->plpgsql_Datumsplpgsql_Datums
包变量数u_sess->plsql_cxt.curr_compile_context->plpgsql_pkg_nDatums无
包变量列表u_sess->plsql_cxt.curr_compile_context->plpgsql_Datums无

怎么区分编包函数编函数？

u_sess->plsql_cxt.curr_compile_context->plpgsql_curr_compileplpgsql_curr_compile非空则是编函数，使用u_sess->plsql_cxt.curr_compile_context->plpgsql_nDatumsu_sess->plsql_cxt.curr_compile_context->plpgsql_Datumsplpgsql_curr_compile空则是编包函数，使用u_sess->plsql_cxt.curr_compile_context->plpgsql_pkg_nDatumsu_sess->plsql_cxt.curr_compile_context->plpgsql_Datums注意变量列表是一套plpgsql_Datums

命名空间区别：

openGaussPostgreSQL
命名空间区别u_sess->plsql_cxt.curr_compile_context->ns_topns_top
命名空间结构体区别int itemtype;PLpgSQL_nsitem_type itemtype;
int itemno;int itemno;
struct PLpgSQL_nsitem* prev;struct PLpgSQL_nsitem *prev;
char name[FLEXIBLE_ARRAY_MEMBER];char name[FLEXIBLE_ARRAY_MEMBER];
char* pkgname;
char* schemaName;

3.1 pck1编译结果

  • 语法解析时走plpgsql_build_tableType函数构造类型。
  • 语法解析时走build_array_type_from_elemtype构造集合类型。

从编译结果来看：

  1. 一层嵌套表类型，只需要自己的datatype是_float8数组类型就ok了，参考下图中变量"vc"。
  2. 两层嵌套表类型，var会创建nest_table变量指向内层数组类型，参考下图中变量"vd"。
  3. 三层嵌套表类型，var会创建nest_table变量→nest_table变量，两层变量记录内层数组类型，参考下图中变量"ve"。

请添加图片描述

3.2 调用者pck2执行结果

create or replace package pck2 is
ve int;
procedure p1;
end pck2;
/
create or replace package body pck2  is
procedure p1 as 
begin
pck1.vc(1) := 1;
pck1.vc(2) := 2 + pck1.vc(1);
pck1.vd(1) := pck1.vc;
pck1.vd(2) := pck1.vc;
pck1.ve(1) := pck1.vd;
raise info '% % % %', pck1.vc(1), pck1.vd(1)(1), pck1.vd(1)(1), pck1.ve(1)(1)(2);
end;
end pck2;
/call pck2.p1();

pck1.vc(1) := 1;

PLpgSQL_stmt_assign

PLpgSQL_stmt_assign = { cmd_type = 1, lineno = 3, varno = 11, expr = {dtype = 7, dno = 0, query = "SELECT 1"}, sqlString = "pck1.vc(1) := 1;"
}

varno = 11 PLpgSQL_tableelem

PLpgSQL_tableelem = {dtype = 6, dno = 11, ispkg = false, subscript = {query = "SELECT 1"}, tableparentno = 10, parenttypoid = 0, parenttypmod = 0, tabletypoid = 0, tabletypmod = 0, tabletyplen = 0,elemtypoid = 0, elemtyplen = 0, elemtypbyval = false, elemtypalign = 0 '\000', assignattrno = -1, pkg_name = 0x0, pkg = 0x0
}

运行时exec_assign_expr

  1. 计算右值：exec_eval_expr得到1。
  2. 结果赋值：exec_assign_value，赋值中走PLPGSQL_DTYPE_TABLEELEM分支。通过tableparentno=10找到数组结构，然后往数组结构中赋值即可。

pck1.vc(2) := 2 + pck1.vc(1);

PLpgSQL_stmt_assign

PLpgSQL_stmt_assign = { cmd_type = 1, lineno = 4, varno = 12, expr = {dtype = 7, dno = 0, query = "SELECT 2 + pck1.vc[1]"}, sqlString = "pck1.vc(2) := 2 + pck1.vc(1);"
}

varno = 12 PLpgSQL_tableelem

PLpgSQL_tableelem = {dtype = 6, dno = 12, ispkg = false, subscript = {query = "SELECT 2"}, tableparentno = 10, parenttypoid = 0, parenttypmod = 0, tabletypoid = 0, tabletypmod = 0, tabletyplen = 0,elemtypoid = 0, elemtyplen = 0, elemtypbyval = false, elemtypalign = 0 '\000', assignattrno = -1, pkg_name = 0x0, pkg = 0x0
}

运行时：和上述类似。

pck1.vd(1) := pck1.vc;

PLpgSQL_stmt_assign

PLpgSQL_stmt_assign = { cmd_type = 1, lineno = 5, varno = 14, expr = {dtype = 7, dno = 0, query = "SELECT pck1.vc"}, sqlString = "pck1.vd(1) := pck1.vc;"
}

varno = 14 PLpgSQL_tableelem

PLpgSQL_tableelem = {dtype = 6, dno = 14, ispkg = false, subscript = {query = "SELECT 1"}, tableparentno = 13, parenttypoid = 0, parenttypmod = 0, tabletypoid = 0, tabletypmod = 0, tabletyplen = 0,elemtypoid = 0, elemtyplen = 0, elemtypbyval = false, elemtypalign = 0 '\000', assignattrno = -1, pkg_name = 0x0, pkg = 0x0
}

运行时：

  1. 右值计算：exec_eval_expr拿到vc数组。
  2. 左值计算：exec_assign_value进入PLPGSQL_DTYPE_TABLEELEM。开始找数组target
    • 1 找到的目标数组是{dtype = 0, dno = 3, refname = 'vd'}，然后找到nested_table指向的{dtype = 0, dno = 9, ispkg = true, refname = "vd_nest"}
    • 2 这里会递归进入exec_assign_value，这次的目标是dno=9的vd_nest。
    • 3 把值赋给dno=9的vd_nest。

总结

在这里插入图片描述

这篇关于分析openGauss包内集合类型的实现方法的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/779422。

相关文章

Java中流式并行操作parallelStream的原理和使用方法

Java中流式并行操作parallelStream的原理和使用方法

《Java中流式并行操作parallelStream的原理和使用方法》本文详细介绍了Java中的并行流（parallelStream）的原理、正确使用方法以及在实际业务中的应用案例,并指出在使用并行流... 目录Java中流式并行操作parallelStream0. 问题的产生1. 什么是parallelS
阅读更多...
MySQL数据库双机热备的配置方法详解

MySQL数据库双机热备的配置方法详解

《MySQL数据库双机热备的配置方法详解》在企业级应用中,数据库的高可用性和数据的安全性是至关重要的,MySQL作为最流行的开源关系型数据库管理系统之一,提供了多种方式来实现高可用性,其中双机热备（M... 目录1. 环境准备1.1 安装mysql1.2 配置MySQL1.2.1 主服务器配置1.2.2 从
阅读更多...
C++中unordered_set哈希集合的实现

C++中unordered_set哈希集合的实现

《C++中unordered_set哈希集合的实现》std::unordered_set是C++标准库中的无序关联容器,基于哈希表实现,具有元素唯一性和无序性特点,本文就来详细的介绍一下unorder... 目录一、概述二、头文件与命名空间三、常用方法与示例1. 构造与析构2. 迭代器与遍历3. 容量相关4
阅读更多...
C++中悬垂引用(Dangling Reference) 的实现

C++中悬垂引用(Dangling Reference) 的实现

《C++中悬垂引用(DanglingReference)的实现》C++中的悬垂引用指引用绑定的对象被销毁后引用仍存在的情况,会导致访问无效内存,下面就来详细的介绍一下产生的原因以及如何避免,感兴趣... 目录悬垂引用的产生原因1. 引用绑定到局部变量，变量超出作用域后销毁2. 引用绑定到动态分配的对象，对象
阅读更多...
SpringBoot基于注解实现数据库字段回填的完整方案

SpringBoot基于注解实现数据库字段回填的完整方案

《SpringBoot基于注解实现数据库字段回填的完整方案》这篇文章主要为大家详细介绍了SpringBoot如何基于注解实现数据库字段回填的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以了解... 目录数据库表pom.XMLRelationFieldRelationFieldMapping基础的一些代
阅读更多...
Java HashMap的底层实现原理深度解析

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述：HashMap的宏观结构二、核心数据结构解析1. 数组（桶数组）2. 链表节点（Node
阅读更多...
Java AOP面向切面编程的概念和实现方式

Java AOP面向切面编程的概念和实现方式

《JavaAOP面向切面编程的概念和实现方式》AOP是面向切面编程,通过动态代理将横切关注点（如日志、事务）与核心业务逻辑分离,提升代码复用性和可维护性,本文给大家介绍JavaAOP面向切面编程的概... 目录一、AOP 是什么？二、AOP 的核心概念与实现方式核心概念实现方式三、Spring AOP 的关
阅读更多...
Nginx分布式部署流程分析

Nginx分布式部署流程分析

《Nginx分布式部署流程分析》文章介绍Nginx在分布式部署中的反向代理和负载均衡作用,用于分发请求、减轻服务器压力及解决session共享问题,涵盖配置方法、策略及Java项目应用,并提及分布式事... 目录分布式部署NginxJava中的代理代理分为正向代理和反向代理正向代理反向代理Nginx应用场景
阅读更多...
Python版本信息获取方法详解与实战

Python版本信息获取方法详解与实战

《Python版本信息获取方法详解与实战》在Python开发中,获取Python版本号是调试、兼容性检查和版本控制的重要基础操作,本文详细介绍了如何使用sys和platform模块获取Python的主... 目录1. python版本号获取基础2. 使用sys模块获取版本信息2.1 sys模块概述2.1.1
阅读更多...
Python实现字典转字符串的五种方法

Python实现字典转字符串的五种方法

《Python实现字典转字符串的五种方法》本文介绍了在Python中如何将字典数据结构转换为字符串格式的多种方法,首先可以通过内置的str()函数进行简单转换;其次利用ison.dumps()函数能够... 目录1、使用json模块的dumps方法：2、使用str方法：3、使用循环和字符串拼接：4、使用字符
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2