日前，IvorySQL 4.0 发布，该版本新增了兼容 Oracle 包功能的新特性。
为了各人可以或许更好地理解和使用 IvorySQL 4.0，本文将扼要介绍实现此功能时的计划思路。
Oracle 的包是什么？
包是包含了逻辑上相关的 PL/SQL 范例、变量、常量、子过程、游标和异常的一个模式对象。包被编译并存储在数据库中，多个应用可以共享包的内容。
包总是有一个包规范，包规范中声明了公有对象，这些公有对象可以在包外被引用。
假如公有对象中包含了游标或子过程，则包必须有一个包体。包体必须界说公有游标和公有子过程的代码。包体也可以声明并界说私有对象，私有对象不能在包外被引用，但可用于包内使用。最后，包体可以有一个初始化部分，这部分用于初始化变量，做一些一次性的设置步调和异常处理。修改包体的时候，可以不修改包规范或引用包的公有对象的数据库对象，因此可以认为包体是一个黑盒。
IvorySQL 中包的实现
从内容来看，包体与嵌套子过程类似，包规范只是界说包体对外的接口，因此，从实现角度来看，包的实现过程可以和嵌套子过程类似。
我们重要处理的工作有如下几个方面：包的创建、更新、实例化、删除以及外部过程对包规范中包对象的引用。
- 包的创建： 修改 psql 语法，使 psql 能将整个包的创建语句团体发到服务器，在服务器中增加包的创建语法，语法结构基本上和普通函数类似，因此与函数类似，无需在 SQL 端展开。包创建经过语法解析后走 DDL 流程，调用包的创建函数，将包的内容存储到系统表里面去。
- 包的更新： 在 SQL 端支持更新语法，经语法解析后，调用包的更新函数，更新系统表内容，调用 plisql_package_Handler 走一遍 pl_gram.y，并失效包规范元组或包体元组，这样避免在运行时编译包和包体。
- 包的删除： 必要在 SQL 端支持其删除语法，经语法解析后，调用包的删除函数，删除系统表该包的内容。
- 包的实例化： 在第一次引用包的时候，假如包的内容没有在内存中(具体来说是一个 hash 表，类似于 portal 的 hash 表存储)，则调用包的实例化函数，将包重新实例化，实例化实在是调用 PL/iSQL 端的 compile 函数，将包规范与包体重新编译，并将编译的结果放在当进步程的内存里，包的实例化应该是将包与包体的团体内容加载到内存中。
- 包对象引用： 在 parse 阶段，提供查找包规范中的变量，范例、子过程的接口，优先在本模式下查找包中范例，然后查找系统表中的范例，在查找子过程时，优先在嵌套函数、包中、系统表中查找。
- 包的失效与包的状态： 包中假如全是常量与范例，则包无状态，否则包是有状态的。包的状态在访问包的变量与函数时设置，在重修包时，会让包的本地实例失效，并且本地重新编译实例化，其他进程的包实例，假如包是有状态的，访问包中变量或范例，则初次访问报包的状态丢失错误，厥后正常访问。
IvorySQL 中包的计划
新增的系统表与缓存
为了存储包体与包规范内容，新增了 2 个系统表：
系统表名称作用pg_package.h存储包规范内容pg_package_body.h存储包体内容对应的系统缓存则有 4 个：
系统缓存名称作用PKGBODYOID根据包体的 OID 查找包体的元组PKGBODYPKGID根据包规范的 OID 查找包体的元组PKGNAMEARGSNSP根据包名和模式的 OID 查找包的元组PKGOID根据包规范的 OID 查找包的元组包的实例化
包的实例化，类似于函数编译，是将用字符串界说的数据，转换成结构化数据。包的内容是由包规范和包体两部分构成，因此，包的编译必要进行一些特殊处理。增加相应的新函数分别编译包规范和包体，并将结果缓存到哈希表中。
另外，为了处理在删除包与包体的时候，本地缓存会失效，在创建包缓存的时候，注册一个包的失效函数，用来处理包的失效时，必要清除包的缓存状态。- /* register invalid cache */
- CacheRegisterSyscacheCallback(PKGBODYOID, InvalidatePackageCacheCallback, (Datum) 0);
- CacheRegisterSyscacheCallback(PKGOID, InvalidatePackageCacheCallback, (Datum) 0);
包的缓存状态用一个 char 来表现，目前只用到三位 bit，0x01 表现包规范被更新了，0x02 表现包是否有包体，0x04 表现包体被更新了。
包中对象的引用
提供查找包中函数、范例、变量的接口，供 parse 阶段使用，以下是部分函数列表。
函数名称参数返回值说明LookupPkgTypeByTypenameConst List* names，Bool missing_okPkgType*根据语法阶段构造范例名称列表，查看是否是包中的范例。LookupPkgVarByvarnamesConst List _names, Bool missing_okPkgVar*根据变量名称，查看是否是包中的变量LookupPkgEntryByTypenameconst List *names, bool missing_okPkgEntry 根据名称，返回包中属性（范例或变量）LookupPkgFuncParseState *pstate, List *fargs, FuncCall *fnFuncExpr根据函数名称，查看是否是包中的函数在 PL/iSQL 非包内函数使用包的范例时，只需将范例的地点引用过来，而使用变量时，则需做一份本地映射，当涉及到该类的变量赋值时，必要进行特殊处理。一般来说，重要是切换到包的内存上下文，然后调用包的赋值函数。
函数形参或返回值引用包的范例
该部分必要修改 pg_proc 系统表的结构，必要增加字段来记载参数范例和返回值范例的名称，故在系统表中增加参数范例名称和返回值范例名称两列即可解决。
类似于 proargnames，增加 protypenames 用于记载参数范例的范例名称，增加 rettypename 记载返回值范例的名称。只有当相关项引用包的范例时赋值，不然为空。
因为 protypnames 是一个 text 数组，因此当有一个函数参数是包中范例时，该数组就不为空，且参数范例为包的项是由 TypeName 结构字符序列化得到，其他非包的参数范例为空字符串。
standard 包
支持 sys 模式下的 standard 包，可以不用带包名进行访问包中规范的对象，用户可以自行创建 standard 包。
DISCARD PACKAGE 语法
该功能是为兼容 PostgreSQL 的 DISCARD 功能做的，目前 PostgreSQL 支持 DISCARD SEQUENCE、DISCARD TEMP、DISCARD PLAN 等用来删除当前 session 的序列、临时表以及计划等缓存，并且 DISCARD ALL 支持删除本 session 的 PORTAL、临时表、计划、序列等临时存储。
IvorySQL 支持 DISCARD PACKAGE 语法，并且在 DISCARD ALL 中调用函数删除本 session 的包缓存。
逻辑备份还原支持包
在 pg_dump 工具中，包功能也得到了支持，用户可以使用 pg_dump 对包功能在内的数据进行备份恢复。
总结
以上就是实现兼容 Oracle 包功能时的计划思路。
通过包的情势将相关的功能模块化，使得数据库的过程、函数、变量和其他编程元素组织在一起形成自包含单元，便于管理和维护。由于实现细节隐藏在包体中，进步了代码的安全性和可维护性。包体中的代码在第一次调用时被加载到内存中，后续调用可以直接使用，减少了解析和加载时间。
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。 |
