将PostgreSQL插件移植到openGauss指导

2022-05-25 14:15:53

1 概述

PostgreSQL社区提供了丰富的插件，但由于openGauss和PostgreSQL存在一定的差异，如线程/进程模型、系统表和视图等，无法直接为openGauss所用，不可避免的需要在插件上做整改。

本文档主要对Postgresql插件移植到openGauss的过程提供指导说明，旨在让开发人员对PG插件所需要的修改有一个具体的了解，基于该文档，可基本实现PG插件移植到openGauss。

2 约束

由于openGauss与PostgreSQL在内核上存在不少差异，这篇文档未能覆盖所有这些差异，因此仅依赖该文档有可能无法实现PG插件的完全迁移，部分差异需要开发者深入内核源码识别，然后可将识别出来的差异补充到该博客的第9章对应小节的表格中，有任何问题可在博客下方留言讨论。

3 移植步骤

1) 将PG插件的代码拷贝到openGauss源码的contrib目录下

2) 配置环境变量，需要将数据库的bin和lib加在操作系统的环境变量PATH和LD_LIBRARY_PATH中

3) 到插件目录下，执行make && make install，编译安装插件。

4) 编译成功后，到数据库中执行create extension extension_name即可使用。

通常步骤3和4不会直接成功，需要一些必须的修改。下面分类别说明移植PG插件所需要做的修改。

4 Makefile文件

1) 当前有两种方式支持插件编译，一种是依赖源码编译，一种是用pgxs的方式编译，支持插件在一个已经安装的数据库服务上进行编译。建议选择前者的方式，如果采用后者，需要定义USE_PGXS，但是可能出现部分头文件找不到的问题，这时候需要到源码拷贝头文件到目标目录。

ifdef USE_PGXS PG_CONFIG = pg_config  PGXS := $(shell $(PG_CONFIG) --pgxs)  include $(PGXS)  else  subdir = contrib/pg_freespacemap  top_builddir = ../..  include  $(top_builddir)/src/Makefile.global  include  $(top_srcdir)/contrib/contrib-global.mk  endif

2) -fPIC 作用于编译阶段，告诉编译器产生与位置无关代码(Position-Independent Code)。使用-fPIC，可以使得动态库可以被多个程序共享。不加fPIC加载的so，要在加载时根据加载到的位置再次重定位。

override CPPFLAGS :=$(filter-out -fPIE,  $(CPPFLAGS)) -fPIC

5 类型转换

1) ANSI C规定，void指针可以复制给其他任意类型的指针，其他任意类型的指针也可以复制给void指针，他们之间复制不需要强制类型转换。但是c++不支持，需要做强制类型转换。

buffer = palloc(MAX_LINESIZE);  ->  buffer = (char*)palloc(MAX_LINESIZE);

2) 部分c++编译器不支持const char*到char*的隐式转换，需要做强制类型转换。

6 函数声明

1) C语言中并没有重载和类这些特性，编译出的符号与C++不同，例如print(int i)，不会被编译为_print_int，而是直接编译为_print等。因此如果直接在C++中调用C的函数会失败，例如调用print(3)，c++中实际上会去找_print_int(3)，这样就会找不到。加上extern “C”，指示编译器这部分代码按C语言来进行编译，而不是C++。

extern PGDLLEXPORT Datum  orafce_to_char_timestamp(PG_FUNCTION_ARGS);  ->  extern  "C" PGDLLEXPORT Datum  orafce_to_char_timestamp(PG_FUNCTION_ARGS);

可以通过nm -D so文件查看生成的符号。

7 安全函数整改

1) 推荐使用安全函数（可见securec.h），并对二手游戏账号交易安全函数的返回值作检查，openGauss定义了几个常用的检查宏，如下。

#define check_memcpy_s(r)  securec_check_c((r), "", "") #define check_memmove_s(r)  securec_check_c((r), "", "")  #define check_memset_s(r)  securec_check_c((r), "", "")  #define check_strcpy_s(r)  securec_check_c((r), "", "")  #define check_strncpy_s(r)  securec_check_c((r), "", "")  #define check_strcat_s(r)  securec_check_c((r), "", "")  #define check_strncat_s(r)  securec_check_c((r), "", "")  #define check_gets_s(r)  securec_check_ss_c((r), "", "")  #define check_sprintf_s(r)  securec_check_ss_c((r), "", "")  #define check_snprintf_s(r)  securec_check_ss_c((r), "", "")  #define check_scanf_s(r)  securec_check_ss_c((r), "", "")

下面是安全函数整改的示例。

memcpy(d, u, clen);  ->  check_memcpy_s(memcpy_s(d, strlen(d), u, clen));
为了方便和完全地作安全函数整改，这里提供一个查找危险函数的正则表达式。


(wmemcpy\()|(wmemove\()|(memmove\()|(wcscpy\()|(wcsncpy\()|(strcat\()|(wcscat\()|(strncat\()|(wcsncat\()|(strtok\()|(wcstok\()|(sprintf\()|(swprintf\()|(vsprintf\()|(vswprintf\()|(snprintf\()|(vsnprintf\()|(vsnprintf_truncated\()|(snprintf_truncated\()|(scanf\()|(wscanf\()|(vscanf\()|(vwscanf\()|(fscanf\()|(fwscanf\()|(vfscanf\()|(vfwscanf\()|(sscanf\()|(swscanf\()|(vsscanf\()|(vswscanf\()|(gets\()|(strcpy\()|(strcpy\()|(strncpy\()|(strncpy\()|(strcat\()|(strncat\()|(memcpy\()|(memcpy\()|(memset\()|(memset\()
8 变量转换

1) 对比PostgreSQL，openGauss收集了原有的全局变量，将其收集在了g_instance、t_thrd、u_sess（分别是全局变量、线程变量和会话变量）等结构体内，因此需要作相应替换（通过编译报错体现，需要到内核代码层面查看变量具体存放位置）。插件的全局变量可通过nm -D so | grep ‘B’排查。（具体见7.7）

econtext = error_context_stack;  ->  econtext = t_thrd.log_cxt.error_context_stack;
2) PG采用进程模型，用户会话进来时会创建一个独立的进程去处理，此时插件定义的全局变量在该进程内就是唯一的会话变量。而openGauss采用线程模型，所有会话共享同一份全局变量，因此需要将全局变量修改为会话变量。对于只读的全局变量，保持原样即可，而对于多次修改的变量，需要作如下修改。

a. 如果不考虑在线程池模式下使用插件，将全局变量修改为THR_LOCAL变量，即线程变量，因为用户会话进来会创建一个独立的线程。

b. 如果需要线程池，就需要作额外的修改。线程池模式下，一个用户会话可能会切换多个线程，单纯的将全局变量改为线程变量，在切换线程时会丢失对该变量的修改。openGauss提供了插件自定义会话变量的方式，具体实现如下。（以dblink为例）

  1. 内核侧在u_sess中定义一个指针数组extension_session_vars_array，和标识数组大小的变量extension_session_vars_array_size，数组用于存放插件会话变量的结构体。

typedef struct knl_session_attr_common {…uint32 extension_session_vars_array_size;void** extension_session_vars_array;  } knl_session_attr_common;

  1. 插件侧需定义一个全局的下标变量，用于获取数组元素，并且提供set_extension_index函数，内核侧会调用该函数来设置下标。示例如下。

static uint32 dblink_index;void set_extension_index(uint32 index) {dblink_index = index;  }

  1. 此外，插件侧还需要定义步骤1提到的会话变量结构体，存放该插件自身所有的会话变量，以及提供函数init_session_vars，主要是初始化该结构体，并把指针存放在数组的对应下标位置。示例如下。

#include "commands/extension.h" typedef struct dblink_session_context {remoteConn* pconn;HTAB* remoteConnHash;} dblink_session_context;     
void init_session_vars(void) {      RepallocSessionVarsArrayIfNecessary();dblink_session_context* psc = (dblink_session_context*)MemoryContextAllocZero(u_sess->self_mem_cxt, sizeof(dblink_session_context));      u_sess->attr.attr_common.extension_session_vars_array[dblink_index] = psc;       psc->pconn = NULL;    psc->remoteConnHash = NULL;  }

  1. 最终，在插件使用会话变量时，根据下标到数组中获取对应的结构体指针即可。

dblink_session_context* get_session_context()  {    if (u_sess->attr.attr_common.extension_session_vars_array[dblink_index] == NULL) {    init_session_vars();    }    return  (dblink_session_context*)u_sess->attr.attr_common.extension_session_vars_array[dblink_index];  }    void example() {    remoteConn* pconn = get_session_context()->pconn;  }

具体方案实现可见社区PR，插件整改可参考其中对dblink的整改。

9 其他

除了上述修改点，还存在很多一些较为细节的地方，其中包括有C和C++的差异，例如在C++中new关键字不能作标识符等；大多数还是openGauss和PostgreSQL内核上的差异，下文会对这些差异作详细说明。此外，有些插件可能是基于PG内核新特性开发的，openGauss并不支持，可以考虑将特性整合到插件，必要时修改内核。

下面列举openGauss和PostgreSQL（REL_13_STABLE）内核上的差异，第2章中提到该部分需要不断更新完善，目前仅列出极少部分。

9.1 API

序号

API_01

PostgreSQL

void table_close(Relation relation, LOCKMODE lockmode);

openGauss

#define heap_close(r,l) relation_close(r,l) void relation_close(Relation relation, LOCKMODE lockmode);

作用

close any relation

差异

名称不同

序号

API_02

PostgreSQL

Relation table_open(Oid relationId, LOCKMODE lockmode)

openGauss

Relation heap_open(Oid relationId, LOCKMODE lockmode, int2 bucketid=-1);

作用

open a heap relation by relation OID

差异

名称不同；openGauss的heap_open增加了一个可选参数bucketid

9.2 系统表

序号

SYSTAB_01

系统表

pg_class

差异

openGauss新增字段：reltoastidxid, reldeltarelid, reldeltaidx, relcudescrelid, relcudescidx, relhasoids, relhaspkey, relcmprs, relhasclusterkey, relrowmovement, parttype, relfrozenxid64, relbucket, relbucketkey

PostgreSQL 新增字段：relrowsecurity, relforcerowsecurity, relispopulated, relispartition, relrewrite , relminmxid , relpartbound relkind

字段可选值差异：PostgreSQL中用p和I表示分区表和分区索引，openGauss用字段parttype表示。

备注

具体描述可见《开发者指南》-系统表和系统视图-系统表-PG_CLASS

9.3 系统视图

序号

SYSVIEW_01

系统表

pg_tables

差异

openGauss新增字段：tablecreator, created, last_ddl_time PostgreSQL 新增字段：rowsecurity

备注

具体描述可见《开发者指南》-系统表和系统视图-系统视图-PG_TABLES

9.4 系统函数

9.5 LOCK

9.6 Memory Context

9.7 全局变量

PostgreSQL

openGauss

作用域

error_context_stack

t_thrd.log_cxt.error_context_stack

Thread

WalSndCaughtUp

t_thrd.walsender_cxt.walSndCaughtUp

Thread

disable_cost

g_instance.cost_cxt.disable_cost

Instance

cpu_tuple_cost

u_sess->attr.attr_sql.cpu_tuple_cost

cpu_tuple_cost

10 常见错误信息

1) 编译安装时报错：dangerous relocation: unsupported relocation

解决方法：参考4.2，在Makefile中添加下面一句。

override CPPFLAGS :=$(filter-out -fPIE,  $(CPPFLAGS)) -fPIC

2) 编译安装时报错：error: invalid conversion from ‘void’ to ‘char’ [-fpermissive]

解决方法：参考5类型转换

3) create extension时报错：could not find function “xxx” in file “xxx.so”

解决方法：参考6函数声明。

将PostgreSQL插件移植到openGauss指导

END

 

上一篇：postgresql之同步流复制陷阱


下一篇：JS编程建议——60：比较函数调用模式