postgresql扩展机制是不修改内核的模块化插件体系，由.control控制文件、.sql脚本和.so共享库三部分组成，通过create extension原子化执行校验、注册、脚本执行与动态库加载。
如果您希望深入理解 PostgreSQL 如何通过外部模块动态增强核心能力，或需要自行开发定制化扩展，则必须掌握其扩展机制的底层行为与 Extension 的加载逻辑。以下是解析该机制的关键路径：
一、扩展的构成三要素
PostgreSQL 扩展并非单一文件，而是由控制文件、SQL 脚本和可选共享库共同组成的模块化单元。控制文件（extension_name.control）声明版本、依赖及加载路径；SQL 脚本（extension_name--x.y.sql）定义数据类型、函数、操作符等对象；共享库（extension_name.so）实现 C 函数逻辑，仅在需底层计算或系统调用时必需。
1、控制文件必须放置于 $SHAREDIR/extension/ 目录下，且文件名须与扩展名严格一致。
2、SQL 脚本中所有对象创建语句均在目标数据库的当前 schema 中执行，除非显式指定 SCHEMA 选项。
3、共享库需通过 MODULE_PATHNAME 宏引用，并在编译时链接 postgres.h 及对应函数接口头文件。
二、CREATE EXTENSION 的五阶段执行流程
该命令并非简单执行 SQL，而是一套受事务保护的原子化注册过程。PostgreSQL 内部调用 CreateExtensionInternal() 函数，依次完成合法性校验、依赖解析、元数据写入、脚本执行与库加载。
1、调用 check_valid_extension_name() 验证扩展名是否符合标识符规范，禁止含特殊字符或保留字。
2、查询系统表 pg_extension 确认同名扩展未被安装，若存在且未指定 IF NOT EXISTS 则报错退出。
3、为扩展分配唯一 oid 并插入 pg_extension，同时在 pg_depend 中记录依赖关系。
4、按控制文件中指定的 default_version 查找对应 SQL 文件，逐行解析并执行其中的 DDL 和 DML。
5、若 SQL 中包含 AS 'MODULE_PATHNAME', 'func_name' 形式的函数定义，则动态加载共享库并绑定符号。
三、扩展加载时的共享库绑定机制
共享库的加载发生在 SQL 脚本执行过程中，而非 CREATE EXTENSION 命令起始阶段。PostgreSQL 使用 dlopen()（Unix-like）或 LoadLibrary()（Windows）打开库文件，并通过 dlsym() 或 GetProcAddress() 获取函数地址。该过程要求库导出函数必须使用 PG_FUNCTION_INFO_V1 宏注册元信息。
1、C 源文件中必须包含 PG_MODULE_MAGIC 宏，以确保 ABI 兼容性验证通过。
2、每个导出函数需以 Datum func_name(PG_FUNCTION_ARGS) 签名声明，并在末尾调用 PG_RETURN_* 宏返回结果。
3、编译时需链接 -lpgcommon -lpgport 等 PostgreSQL 运行时库，且不能依赖外部未打包的动态链接库。
四、扩展卸载的逆向清理逻辑
DROP EXTENSION 不仅删除用户可见对象，还需回滚全部依赖关联。系统通过 pg_depend 表反向追踪所有由该扩展创建的对象，并按依赖拓扑顺序逐层删除，确保无残留引用。
1、首先检查是否存在其他扩展或用户对象依赖当前扩展，若有则拒绝卸载并提示具体依赖项。
2、从 pg_depend 中提取所有 classid = 'pg_class'::regclass 且 objid 属于该扩展的对象 OID 列表。
3、对列表中每个 OID，调用对应对象类型的删除函数，如 RemoveRelationById() 删除表，DeleteFunctionById() 删除函数。
4、清空 pg_extension 和 pg_depend 中对应记录，释放扩展 OID。
五、扩展开发中的关键钩子与接口
PostgreSQL 提供多层级钩子（Hook）机制，允许扩展在核心流程中注入自定义逻辑。典型场景包括查询重写、执行器拦截、WAL 日志过滤等。这些钩子通过全局函数指针变量暴露，扩展可在 _PG_init() 初始化函数中注册。
1、在扩展的 C 源文件中定义 _PG_init() 函数，该函数在库首次加载时自动调用。
2、修改全局钩子指针，例如将 ExecutorStart_hook 指向自定义函数，即可在每个查询执行前介入。
3、钩子函数内部必须调用原钩子（若存在），以维持系统行为一致性，避免破坏事务或 MVCC 语义。
4、所有钩子注册操作必须在 _PG_init() 中完成，不可在 SQL 脚本或运行时动态修改。
