暂无图片
暂无图片
13
暂无图片
暂无图片
暂无图片

浅聊openGauss逻辑架构

6709

浅聊 openGauss 逻辑架构

        openGauss数据库是一款由华为主导、各个生态合作伙伴共同建设的开源关系型数据库管理系统,开源发行协议遵从木兰宽松许可证v2。
        openGauss数据库源于PostgreSQL-XC项目,内核源于Postgres 9.2.4,总代码量约120W行,其中内核代码约95W行。华为结合企业级场景需求,深度融合其在数据库领域多年的经验,新增或修改了内核代码约70W行,内核代码修改比例约占总内核代码量的74%。保留了原先PostgreSQL的接口和公共函数代码(约25W行),仅对这些代码做了适当优化,这样也使得openGauss与现有的PG生态兼容性较好。
        总体而言,华为主导的openGauss开源项目着重在数据库架构、事务管理、存储引擎、SQL优化器、以及鲲鹏芯片做了大量优化,以实现其企业级关键价值特性:高性能、高安全、易运维、全开放。
        第一次听说openGauss的小伙伴本能反应可能是:什么国产数据库? 那都是外国人的事情!openGauss应该算是PostgreSQL的增强版。
        “数据库是外国人的事情” 这个观点适合20年前;当武汉达梦、人大金仓、南大通用、神舟通用等传统国产数据库兴起的时候,这个观点应该改为“数据库是中国人可以搞的事情”;2020年11月,PingCAP宣布完成D轮融资2.7亿美元,创造了全球数据库历史新的里程碑,其分布式开源数据库TiDB目前在国产数据库中排名第一位。同月,阿里宣布山东移动核心系统正式上跑“OceanBase”,使得用户处理效率提升30%,数据容量由7TB压缩为0.7TB,存储投入成本降低90%,同时,凭借着OceanBase、PolarDB、AnalyticDB等数据库,稳居Gartner魔力四象限的领导者地位。同时,华为的GaussDB和腾讯的TDSQL等数据库也均入选Gartner魔力四象限。这些都是国产数据库的突破,标志着国产数据库已经得到了国际认可。随着诸多国产数据库的新闻报道,我们看到了一个又一个国产数据库入驻核心行业(互联网、金融、电力、政府等等)的案例,国产数据库已进入百花齐放的时代,“数据库这件事中国人做没有问题”,而且从当前行业发展趋势看,我国的数据库技术正在朝着分布式、云化、以及国产化的道路快速发展,AI4DB、数据库自治等技术也将得到广泛应用,相信在不久的将来,面对数据库的应用场景,国产数据库可以和“外国人”的数据库有相同的话语权。
        那么,关于openGauss,个人认为用“PG增强版”这个概念替代很不合适。数据库内核是数据库的核心所在,openGauss的内核修改量高达74%,这基本上可以算是“脱胎换骨”般的改造,并且从根本上解决了部分PG原生架构所带来的缺陷(如,事务ID回卷等)。由于PG的公共函数和接口部分代码做了保留,我们在openGauss里面能看到PG的影子很正常,但核心技术和发展规划与PG有很大不同,否则当初就合并到PG社区了。
        openGauss数据库于2020年6月30日对外宣布开源,本人也是在7月份开始接触openGauss数据库相关资料。作为DBA出身的IT民工(本来想说是IT工匠,结果发现还不够格,嘿嘿…),本能的想先看看数据库的架构介绍,通过架构可以很好的了解数据库的组成模块及相关技术原理,对熟悉openGauss数据库有很大帮助,毕竟一个能随心所欲“拆解”数据库的人才是一个优秀的数据库工程师嘛。
        遗憾的是,在源码包的doc目录里面可以找到下面所示的逻辑结构图,但官方资料里面暂时还没有详细的解析。
逻辑架构图.png
        鉴于对这张图比较感兴趣,于是本人参考了部分PG文档和openGauss文档、结合部分源代码,对逻辑架构图理解如下:

==================内核部分======================

        图中,绿色部分属于openGauss数据库的内核部分,该部分总代码量在95万行左右,在PostgreSQL9.2.4的基础上,华为修改和新增了70万行核心代码,着重在架构、事务、存储引擎、优化器以及鲲鹏芯片上做了深度优化。

==================线程管理======================

最左侧部分属于openGauss后台线程部分,通过对该部分的理解,我们可以了解到数据库在运行时,后台都有哪些工作要做。
线程管理.png
– 业务处理线程
        业务处理线程负责处理客户端请求的任务,当客户端发送连接请求给postmaster管理线程后,postmaster线程会分配相应的业务处理子线程(命名为gaussdb)给客户端使用,后面该客户端的请求和操作由该业务处理子线程负责。
当业务处理子线程接收到前端发送过来的查询(SQL)后,会使用openGauss的SQL引擎对SQL语句进行词法解析、语法解析、语义解析、查询重写等处理操作,然后使用查询优化器生成最小代价的查询路径计划。SQL执行器会按照已制定的最优执行计划对SQL语句进行执行,并将执行结果反馈给客户端。

– 日志写线程
        日志写线程在openGauss中被命名为WalWriter线程。该线程负责将内存中的预写日志(WAL)页数据刷新到预写日志文件中,确保那些已提交的事务都被永久记录,不会丢失。
        预写日志(WAL)和主流数据库中常见的重做日志功能类似,里面记录了openGauss数据文件的变更操作,数据库在执行SQL操作时会先将这些变更操作记录在预写日志文件中,然后才定期刷数据至数据文件中。
        日志写线程在postmaster 线程启动后就会启动,当这个线程的刷盘频率无法满足系统需求时,其他常规的后端线程仍然有权限执行预写日志页的刷盘操作。如果日志写线程意外崩溃,则Postmaster线程会认为整个openGauss后端线程崩溃,此时将调用SIGQUIT强制关闭所有后端线程,重置共享内存以恢复后端线程。
        WalWriter进程的写间隔时间由参数wal_writer_delay控制,默认200ms调用一次写日志操作。

– 数据页写线程
        数据页写线程在openGauss数据库中应该包含两个线程:PageWriter和BgWriter。
        操作系统数据块大小一般是4k,数据库一般是8k/16k/32k,openGauss默认是8kb,这样就有可能造成页面断裂问题,一个数据库数据块刷到操作系统的过程中可能发生因宕机而造成块损坏从而导致数据库无法启动的问题。pagewriter线程负责将脏页数据拷贝至双写(double-writer)区域并落盘,然后将脏页转发给bgwriter子线程进行数据下盘操作,这样可以防止该现象的发生,因为如果发生数据页"折断"的问题,就会从双写空间里找到完整的数据页进行恢复。
        bgwriter线程(BgWriter)主要负责对共享缓冲区的脏页数据进行下盘操作,目的是让数据库线程在进行用户查询时可以很少或者几乎不等待写动作的发生(写动作由后端写线程完成)。这样的机制同样也减少了检查点造成的性能下降。后端写线程将持续的把脏页面刷新到磁盘上,所以在检查点到来的时候,只有少量页面需要刷新到磁盘上。但是这样还是增加了I/O的总净负荷,因为以前的检查点间隔里,一个重复弄脏的页面可能只会冲刷一次,而现在一个检查点间隔内,后端写进程可能会写好几次。但在大多数情况下,连续的低负荷要比周期性的尖峰负荷好一些,毕竟数据库稳定十分重要。
        如果bgwriter的刷盘操作不能保证数据库拥有充足的可用共享缓冲区,那么常规的后端线程仍然有权发出刷盘操作。
        bgwriter线程也是随着Postmaster线程启动而启动,我们在执行recovery操作的时候也会启动该线程。Postmaster线程可以调用SIGTERM正常关闭,也可以调用SIGQUIT强制关闭。如果bgwriter线程意外崩溃,则Postmaster线程会认为整个openGauss后端线程崩溃,此时将调用SIGQUIT强制关闭所有后端线程,重置共享内存以恢复后端线程。

– 检查点线程
        检查点线程(Checkpointer)一般会周期性的发起数据库检查点,检查点(CHECKPOINT)是一个事务日志中的点,所有数据文件都在这个点被更新,然后将数据脏页刷新到磁盘的数据文件中,确保数据库一致。
        当数据库从崩溃状态恢复后,已经做过checkpoint的更改就不再需要从预写日志中恢复,这大大加快了数据库系统crash后的恢复速度。
        openGauss的检查点有全量检查点和增量检查点。增量检查点开关打开的时候将不再使用full_page_writes防止页面折断,而是依赖双(double-writer)特性保护,当增量检查点打开后会小批量分阶段的滚筒式进行脏页刷盘,同时更新lsn信息,回收不需要的xlog日志。

– 统计线程
        统计线程在openGauss数据库中被命名为StatCollector,该线程负责统计openGauss数据库的信息,这些信息包括:物理硬件资源使用信息、对象属性及使用信息、SQL运行信息、会话信息、锁信息、线程信息等,并且将这些收集到的统计信息保存在pgstat.stat文件中。这些统计信息经常被用来做性能分析、故障分析、健康检查和状态监控等。

– 日志发送线程和日志接收线程
        日志发送线程在openGauss中被命名为WalSender,这个线程主要是在openGauss主备环境中,主节点上运行,发送预写日志给备节点。
        日志接收线程在openGauss中被命名为WalReceiver,这个线程主要是在openGauss主备环境中,备节点上运行,接收预写日志记录。
说到主备,还有以下几个线程:
        主备通讯线程(RemoteSrv)
        日志下盘线程(WalRcvWriter) --> 将接收到的WAL records刷新到备机的WAL日志里
        并行恢复线程(ParallelRecov) --> 读取WAL日志内容,在备机进行并行恢复
        集群心跳监测线程(Heartbeater)

– 清理线程
        首先我们说一下为什么需要清理线程呢?
        那是因为openGauss默认使用MVCC(Multi-Version Concurrency Control)来保证事务的原子性和隔离性。而MVCC机制使得数据库的更新和删除记录实际不会被立即删除并释放存储空间,而是标记为历史快照版本,openGauss使用MVCC机制和这些历史快照实现数据的读写不冲突。但是这样会使得操作频繁的表积累大量的过期数据,占用磁盘空间,当扫描查询数据时,需要更多的IO消耗,降低查询效率。所以需要一个线程对这些过期数据进行清理,并回收存储空间。
        autovacuum线程就是这个后台清理线程,负责回收表或B-Tree索引中已经删除的行所占据的存储空间,这个线程也是由一个发起线程和一个执行线程组成,在openGauss中分别被命名为AutoVacLauncher和AutoVacWorker。
        当autovacuum参数打开后,AutoVacLauncher线程会由Postmaster线程启动,并且会不断地将数据库需要做vacuum的对象信息保存在共享内存中,当表上被删除或更新的记录数超过设定的阈值( 表中(update,delte记录) >= autovacuum_vacuum_scale_factor* reltuples(表上记录数) + autovacuum_vacuum_threshold ) 时,调用AutoVacWorker线程对这个表的存储空间执行回收清理工作。
        当需要发起数据库vacuum的时候,AutoVacLauncher线程会在共享内存设置相应的flag,然后发送信号给Postmaster线程,postmaster线程收到信号后,只知道需要启动一个AutoVacWorker子线程连接共享内存,AutoVacWorker子线程将从共享内存获取待清理的任务信息,并执行对象的清理回收工作。

– 归档线程
        归档线程在openGauss数据库中被命名为WalWriter,当数据库归档周期(archive_timeout)到达的时候,由postmaster调用归档线程(WalWriter),强制切换预写日志,并执行归档操作。

– 管理线程
        管理线程也就是指postmaster线程,在openGauss中被命名为GaussMaster。
        管理线程可以看作是一个消息转发中心,比如说,前端程序发送一个启动信息给管理线程,管理线程根据收到的信息会立即fork()一个子线程,这个子线程对请求进行身份验证成功后成为后端线程。
        管理线程也会参与操作系统方面的操作,比如,启停数据库。但其本身不参与openGauss数据库内的基本操作,它只是在必要的时刻启动相应的子线程去完成操作,当某些后台线程Crash掉后,管理线程还会负责重置该线程。
        管理线程在启动时会创建共享内存和信号量池,但原则上是不会干涉它们。另外,它也不是后端PGPROC数组的成员,因此它不参与锁管理器操作也不做共享内存的操作,这样会使其更简单、更可靠。
        管理线程几乎都是通过重置共享内存使得单个后端线程从崩溃中恢复过来,如果它对共享内存也做大量操作,那么它很容易与后端线程一起崩溃。

除了图中提到的线程以外,还有一些线程需要简单了解一下:

– 轻量锁监控线程
        轻量级锁监控线程在openGauss中被命名为LWLockMonitor,轻量级锁(LWLock)主要提供对共享内存的互斥访问,比如Clog buffer(事务提交状态缓存)、Shared buffers(数据页缓存)、Substran buffer(子事务缓存)等。该轻量级锁监控线程主要检测轻量级锁(LWLock)产生的死锁。

– 审计线程
        审计线程在openGauss数据库中被命名为Auditor,这个线程使用重定向的方式从管理线程、后台线程以及其他子线程获取审计数据,并保存在审计文件中。审计文件的尺寸和保留时间可以使用postgresql.conf配置文件的参数进行配置,如果达到任一个限制,则审计线程会停止对当前审计文件的写入,重新创建一个审计文件,开始写入审计信息。

– 系统日志线程
        系统日志线程在openGauss数据库中被命名为SysLogger,和审计线程一样,也是使用重定向的方式捕获管理线程、后台线程以及其他子线程的stderr输出,并写入一组日志文件中。可以使用log_rotation_age和log_rotation_size参数设置日志文件的保留时间的尺寸限制,当达到任一限制时,syslogger线程将关闭对当前日志文件的写入,重新创建日志文件并执行后续的写入。

– 告警检测线程
        告警检测线程在openGauss数据库中被命名为AlarmChecker,是openGauss的告警检测线程。

– JOB线程(JobScheduler)
        JOB线程其实和autovacuum一样,也分为调度线程和工作线程。
        调度线程JobScheduler会根据pg_job表里面定义的JOB周期,对已经过期的JOB进行调用,由Jobworker线程执行实际的JOB任务。

– 百分比统计线程
        百分比统计线程在openGauss数据库中被命名为PercentileJob,该线程根据percentile参数设置的值计算sql响应时间的百分比信息。目前openGauss的percentile参数仅支持80和95。

– 服务启动线程
        服务启动线程在openGauss数据库中被命名为StartupProcess,主要负责openGauss启动时的线程初始化或者执行recovery操作。

– 子线程回收线程
        子线程回收线程在openGauss数据库中被命名为Reaper,主要负责回收处于die状态的子线程。

==================通信管理======================

通信管理.png
– 通信协议处理
        这部分主要涉及的是openGauss数据库所使用的前端和后端协议,根据连接的状态不同,存在几种不同的子协议,如:启动、查询、函数调用、COPY、终止等。

– 控制命令信号处理
        信号是一种软件中断机制,openGauss数据库线程之间的通讯是离不开这些信号的,比如常见的SIGTERM、SIGQUIT、SIGCHILD、SIGUSR1、SIGUSR2等,这些信号在openGauss的线程源代码中随处可见。
关于通信管理这一部分的技术内容,有兴趣的小伙伴也可以参考PG的文档。

==================SQL引擎======================

SQL引擎部分包含了整个SQL处理流程所需要的模块:
SQL引擎.png

– SQL解析
        当客户端发送SQL语句,服务端业务处理线程接收后,首先会对接收到的SQL语句进行解析,这些解析依次包括词法解析(将用户输入的SQL语句拆解成单词(Token)序列,并识别出关键字、标识、常量等,确定每个词固有的词性)、语法解析(根据SQL的标准定义语法规则,使用词法分析中产生的词去匹配语法规则,如果一个SQL语句能够匹配一个语法规则,则生成对应的抽象语法树)、语义解析(对语法树进行有效检查,检查语法树中对应的表、列、函数、表达式等是否有对应的元数据,将抽象语法树转换为逻辑执行计划)。

– SQL查询重写
        当SQL语句生成逻辑执行计划后,即到了SQL查询重写阶段,利用已有语句特征和关系代数运算(如,交换律、结合律、分配律等)来生成更高效的等价语句。

– SQL优化
        SQL优化依赖于SQL的查询重写,它根据生成的高效等价SQL语句,枚举不同的候选执行路径,这些执行路径互相等价但是执行效率不同,经过对他们进行执行代价的计算,最终获得一个最优的执行路径。
        这里所说的执行代价比如:处理一条元组的CPU代价、加载一个数据页的IO代价、如果是分布式数据库,数据元组的传输代价。
        至于根据哪些统计信息计算这些代价呢? 比如:根据表的元组数、字段宽度、NULL记录比率、distinct值、MCV值(表每一列的高频词汇)、HB值(直方图,不包含MCV值)等表的特征值,以及一定的代价计算模型,计算出每一个执行步骤的不同执行方式的输出元组数和执行代价(cost)。

– SQL执行
        SQL执行工作由SQL执行器完成,而SQL执行器在数据库的整个体系结构中起承上启下的作用,上联优化器,下联存储。当SQL执行器接收到优化器返回的执行计划树后,遍历整个执行树,根据每个算子的不同特征进行初始化(比如:HashJoin这个算子,在初始化阶段会进行Hash表的初始化,这个初始化主要是内存分配)。
        初始化完毕后就进入了执行阶段,执行器会对执行树进行迭代遍历,通过从磁盘读取数据,根据执行树的具体逻辑完成查询语义。
        最后将是执行器的清理阶段,这里主要是释放内存,清理资源。

– DDL命令处理
        DDL的命令也需要执行基本的词法解析、语法解析和语义解析等操作,但是基本不需要做什么优化处理。DDL命令在被解析完毕后,查询对应的数据字典后就可以开始执行更新操作。

– 存储过程解析
        存储过程是一组可以完成特定功能的SQL语句集合,经编译后存储在数据库中。存储过程的执行效率比逐条执行的SQL语句高很多,因为普通的sql语句,每次都会对SQL进行解析、编译、执行,而存储过程只是在第一次执行时进行解析、编译、执行,以后都是对结果进行调用。而存储过程解析工作就是在SQL引擎模块中完成。

==================存储引擎======================

存储引擎.png
数据库存储引擎主要解决的问题是:
        1.存储的数据必须保证原子性(A)、一致性©、隔离性(I)、持久性(D)
        2.支持高并发读写、高性能读写
        3.充分发挥硬件的性能,解决数据的高效存储和检索能力

– 行存引擎
        openGauss的行存引擎是将表按行存储到硬盘分区上,支持高并发读写、低时延。主要面向OLTP场景设计,OLTP即就是在线联机事务处理,它的特点是随机小IO操作频繁,数据变化较大,常见于那些交易型事务处理场景,例如:银行交易系统、订货发货系统等。
        openGauss的行存引擎使用MVCC多版本并发控制,MVCC机制在更新的时候并不是就地更新,而是在原有页面中保留上一个版本,转而在这个页面(如果空间不够则会在新页面中)中创建一个新的版本进行历史版本的累计与更新。相应的页面中会同时存有不同版本的同一行数据,当拿到不同快照版本的事务时,事务之间对这一条数据的读写互不冲突,有着很好的并发性能,对历史版本的检索可以在页面本身或者临近页面进行,也不需要额外的CPU开销和IO开销,效率非常高。

– 列存引擎
        列存引擎主要面向OLAP场景设计,OLAP即就是在线联机分析处理,常见于分析决策型使用场景,如:某公司决策层想要获得今年某产品在各个区域的销售情况统计信息,这就建议使用列存引擎。
        列存引擎的存储基本单位是CU(Compression Unit,压缩单元),表里面一列的一部分数据组成的压缩数据块就可以称为CU。 行存引擎是以行为单位来管理,而列存引擎则将整个表按照不同列划分为若干个CU,以CU为单位进行管理。
列存有以下优势:
        1.CU的数据特征一般比较相似,适合压缩且压缩比很高,节省大量的磁盘空间;
        2.在多列表中,如果仅访问少数几个列,在这种场景中可以很大程度减少需要读取的数据量,大幅降低IO消耗,提升查询性能;
        3.基于列批量数据向量运算,结合向量化执行引擎,CPU的缓存命中率比较高,OLAP性能更好;
        4.列存表同样支持基本的DML操作和MVCC多版本控制,从使用角度看兼容性比较好,基本对用户是透明的。

– 内存引擎
        内存表、也就是指MOT内存引擎,作为在openGauss中与传统基于磁盘的行存储、列存储并存的一种高性能存储引擎,基于全内存态的数据存储,为openGauss提供了高吞吐的实时数据处理分析能力和极低的事务处理延时,在不同的业务负载场景下,可以达到其他引擎事务处理能力的3~10倍。
        内存引擎之所以有较强的事务处理能力,并不是简单地因为它是基于内存而非磁盘,更多的是因为它的索引结构以及整体的数据组织都是基于Masstree模型实现的,Masstree架构的乐观并发控制和高效的缓存块利用率使得openGauss可以全面地利用内存中可以实现的无锁化数据及索引结构、高效的数据管控、基于NUMA架构的内存管控、优化的数据处理算法及事务管理机制等。
        需要注意的是,全内存态存储并不代表着内存引擎中处理的数据会因为系统故障而丢失,相反,内存引擎有着与openGauss的原有机制相兼容的并行持久化、检查点能力(CALC逻辑一致性异步检查点),使得内存引擎有着与其他存储引擎相同的容灾能力以及主备副本带来的高可靠能力。
        详细的内存引擎关键技术介绍大家可以参考《openGauss数据库核心技术》这本书。

– CSN快照
        CSN(Commit Sequence Number)即就是待提交事务的序列号(一个64位无符号自增长整数),常用于多版本可见性判断和MVCC机制,在openGauss内部使用CSN作为逻辑的时间戳,模拟数据库内部的时序。
        openGauss在MVCC机制下,每个事务都有一个单独的事务状态存储区域,记录了该事务的状态信息和CSN信息。每个非只读操作都会取得一个事务号(xid),当事务提交的时候openGauss会向前推进CSN,同时,会将当前的CSN与事务的xid映射关系保存在CSN log中。
        openGauss事务启动时会创建一个CSN快照,CSN快照创建的过程大致步骤可以理解为:在事务启动的那一时刻,会遍历当前所有活动的(还未提交)事务,记录在一个活动Transaction的ID数组中;选择所有活跃事务中最小的TransactionID,记录在xmin中,选择所有已提交事务中最大的TransactionID,加1后记录在xmax中。
CSN快照.png
[图片来源]https://blog.csdn.net/cuichao1900/article/details/100394777
那么:
        所有事务ID小于xmin的事务可以被认为已经完成,即事务已提交,其所做的修改对当前快照可见;
        所有事务ID大于或等于xmax的事务可以被认为是正在执行,其所做的修改对当前快照不可见;
        对于事务ID处在 [xmin, xmax)区间的事务, 需要结合活跃事务列表与事务提交日志CLOG,判断其所作的修改对当前快照是否可见。

– 空闲空间管理
        openGauss使用MVCC多版本并发控制机制,更新和删除操作并不会在页面中删除数据本身,这样在数据库长时间运行后会有大量的历史版本保存在存储空间中,造成空间膨胀。为了解决这一问题,存储引擎内部需要定期对历史数据进行清理,以保证数据库的健康运行。
        存储空间的清理分为页面级的清理、表级清理、数据库级清理等。
        页面级的清理机制称为heap_page_prune,这是一种较为轻量化的清理方式,这种机制由页面的空闲空间阈值触发,仅改动页面本身,不改动对应的索引页面,可以很好的解决同一条数据记录的历史遗留版本。
        表级别和数据库级别的清理机制称为vacuum,vacuum清理机制的触发可以由用户手动触发,也可以根据参数阈值后台自动触发。vacuum操作除了清理废旧的元组数据以外,还会对索引进行清理以释放存储空间,同时也会更新对应的统计信息。

– 锁管理器
        锁管理器对事务并发访问过程中数据库对象的加锁操作进行管理,判断两个事务访问同一个对象的时候加的锁的类型是否相容,是否允许事务在相应对象上加锁。锁管理器对事务并发过程中使用的锁进行记录、追踪和管理。

– 大内存缓冲区管理
        大内存缓冲区介于数据存储引擎和外部文件系统之间,常用来同外部文件系统进行page页面交换并作缓冲,对内存共享页面的脏页进行LRU算法淘汰并刷盘,保证内存使用的高效,减少磁盘的访问。

– 索引管理
        索引可以有效提升数据的访问效率,索引管理主要管理的是索引结构,包括索引创建、更改、删除等。

– 存储管理适配
        存储管理适配指的就是对存储介质层的管理,对不同的存储介质进行适配封装,对上层数据页面访问屏蔽底层真正存储系统的差异,例如管理HDD的使用、管理SSD的使用。

– 日志管理
        传统数据库一般都采用串行刷日志的设计,因为日志有顺序依赖关系,即:一个事务产生的多条redo/undo记录的前后顺序依赖关系很强。
        在日志管理这部分,openGauss主要对日志系统进行了并行设计,采用多个Log Writer线程并行写的机制,打散串行刷日志的锁控制瓶颈,充分发挥SSD的多通道IO处理能力。
在做并行日志系统设计时,关键设计点包括以下几点:
        1.整个事务的WAL日志不能拆分到多个事务日志共享缓冲区,必须写到一个事务共享缓冲区中;
        2.故障恢复时,并行回放WAL日志必须按照LSN(日志序列号)的大小顺序恢复;
        3.每个事务结束前需要保证对应的事务日志LSN已经刷盘完成;
        4.事务分配事务日志共享缓冲区时,与NUMA架构适配。

– 并行日志回放
        并行日志的回放指的是将重做日志中已记录的数据文件变更操作重新应用到系统/页面中的过程,这个过程通常发生在实例故障恢复抑或者是主备实例之间的数据同步过程中的备机实例上(即主实例的改动需要在备机实例回放重做,以达到主备实例状态一致)。
        openGauss数据库为了能够充分利用CPU多核的特点,加快数据库异常后恢复及备机实例日志回放的速度,在备机的日志回放中使用了多线程并行回放技术。整个并行回放系统由分配模块和回放模块组成,分配模块负责解析日志并分配日志给回放模块,而回放模块负责将解析后的日志进行实际回放操作。
        因为事务的提交和操作之间的顺序对于数据一致性至关重要,所以重做日志中每条记录都有一个64位无符号整数的日志序列号(LSN)。openGauss为了提升整体并行回放机制的可靠性,会在对每一个页面执行回放动作之前,对事务日志中的LSN和页面结构中的Last_LSN进行校验,以保证回放过程中数据库系统的一致性。
        openGauss默认有4个并行回放线程,当然这个也可以使用参数recovery_max_workers调整。

– 增量检查点
        数据库中事务对数据文件操作的持久化与事务提交不是同步的,即也就是说,事务提交需要对应的重做日志强制刷盘,但是并不强制要求对应的数据页被刷盘,这样就使得当数据库实例从崩溃状态恢复时,需要对重做日志进行回放,读取所有没有被刷盘的数据页进行恢复,这样就使得日志回放代价较高,故障恢复时间较长。
        数据库检查点可以让存储引擎将数据缓冲区中的脏页写入磁盘中,并记录信息到日志文件和控制文件。当数据库实例从崩溃状态恢复时,可以直接从检查点时刻的LSN位置开始执行回放,降低数据库的日志回放代价,缩小故障恢复时间。
        但由于检查点本身需要将缓冲区的所有脏页刷盘,从而造成每次检查点时刻对数据库实例造成了较大的物理IO压力,导致数据库运行性能波动较大,较大的性能波动对于核心业务系统可能造成灾难性故障。
为了解决检查点造成的数据库性能波动问题,openGauss数据库引入了增量检查点机制,默认1分钟执行一次。
        在增量检查点机制下,会维护一个按照LSN顺序递增排列的脏页面队列,定期由pagewriter线程对这些队列中的脏页进行刷盘操作,并记录已被刷盘的脏页最新的LSN(recLSN)。当触发增量检查点的时候,并不是等待所有脏页刷盘,而是使用当前脏页队列的recLSN作为检查点LSN位置,这样的增量检查点使得整个数据库系统IO性能更加平滑,且系统故障恢复时间更短。
        pagewriter线程在前面的线程管理部分已经做过基本介绍,当增量检查点机制打开时,不再使用full_page_writes防止半页写问题,而是依赖双写(double-writer)特性保护。pagewriter线程将脏数据页拷贝到双写(double-writer)区域并落盘,然后将脏页转发给bgwriter子线程进行数据下盘操作,这样就防止了数据页"折断"故障的发生。

– NUMA化数据架构
1.openGauss根据鲲鹏处理器的多核NUMA架构特点,做了一系列的相关优化:
比如:
        采用NUMA绑核的方式尽量减少跨核内存访问的时延问题;
        为了充分发挥鲲鹏多核算力优势,使用并行日志系统设计、CLog分区等,大幅提升OLTP系统的处理性能。
2.openGauss基于鲲鹏芯片所使用的ARMv8.1架构,利用LSE扩展指令集替代传统的CAS指令实现高效的原子操作,从而提升多线程间同步性能,XLog写入性能等。

==================安全管理======================

安全管理.png
        高安全是openGauss数据库给企业带来的重要价值之一,为了有效保障用户隐私数据、防止信息泄露,构建了由内而外的数据库安全保护措施。
        openGauss的安全机制充分考虑了数据库可能的接入方,包括DBA、用户、应用程序以及通过攻击途径连接数据库的攻击者等。

– 身份管理
        在身份管理方面,openGauss使用了一系列的认证机制来实现,通过认证模块限制用户对数据库的访问,通过口令认证、证书认证等机制保障认证过程中的安全,通过黑白名单限制访问IP,通过数据库属性或用户属性限制连接数。

– 访问控制
        在访问控制方面,用户以某个角色登录数据库系统后,通过基于角色的访问控制机制获得相应的数据库资源和对象访问权限,用户每次在访问数据库对象时,均需要使用存取控制机制进行权限校验。为了解决系统管理员用户权限高度集中的问题,openGauss系统引入了三权分立角色模型,在该模型中,安全管理员负责用户角色的创建,系统管理员对创建的用户进行赋权(不再拥有创建角色和用户的权限、也不再拥有查看和维护数据库审计日志的权限、同时还不再拥有管理其他用户模式及对象的权限),审计管理员则审计所有用户的操作行为。

– 通信加密
        用户对对象的访问操作本质上是对数据的管理,包括增加、删除、修改、查询等操作。数据在存储、传输、处理、显示等阶段都会面临信息泄露的风险。
        openGauss提供了数据加密、数据脱敏、加密数据导入导出等机制保障数据的隐私安全。
        另外,openGauss还将引入全程加密技术,数据在客户端进行加密后进入服务端,服务端基于密文场景,对密文进行查询和检索。并且,openGauss将构建基于可信硬件的可信计算能力,在可信硬件中,完成对数据的解密和计算,计算完毕后再加密返回,构成完整的openGauss全程加密方案架构。

– 审计
openGauss针对用户所关心的行为提供了基础审计能力,审计内容包括事件的发起者、事件的发生时间和事件的内容。
openGauss可以从以下维度做审计:
        用户的登录、注销审计;
        数据库启动、停止、恢复审计;
        用户越权访问、锁定、解锁审计;
        数据库对象的DDL、DML以及函数的操作审计;
        权限的赋权和回收审计;
        以及参数修改审计等。
        openGauss将这些审计所产生的内容以二进制格式单独存储于文件中,审计管理员可以通过pg_query_audit()函数查看审计日志内容。

==================公共能力======================

        橙色部分的代码量大约在25W行左右,这一部分主要包含一些接口驱动、公共函数、数据字典等,大部分与PostgreSQL兼容,openGauss对这部分的代码主要做了一些优化改进,这样也使得openGauss可以兼容绝大部分postgreSQL的应用程序,复用部分PG生态。

==================客户端驱动====================

客户端驱动.png

– CLI
        CLI,这里的CLI指的就是openGauss自带的gsql客户端。
        gsql是openGauss提供在命令行下运行的数据库连接工具,可以通过此工具连接服务器并对其进行操作和维护。
        gsql的基本功能包括:连接数据库、执行SQL语句、执行元命令。
        其中,元命令可以帮助管理员查看数据库对象的信息、查询缓存区信息、格式化SQL输出结果,以及连接到新的数据库等。
        gsql还有一些高级特性,比如:变量设置、自定义提示符设置、客户端操作历史记录设置等。

– JDBC
        JDBC(Java Database Connectivity,Java数据库连接)是一种用于执行SQL语句的Java API,可以为多种关系数据库提供统一访问接口,应用程序可基于它操作数据。 openGauss库提供了对JDBC 4.0特性的支持,需要使用JDK1.8版本编译程序代码,不支持JDBC桥接ODBC方式。

– ODBC
        ODBC(Open Database Connectivity,开放数据库互连)是由Microsoft公司基于X/OPEN CLI提出的用于访问数据库的应用程序编程接口。应用程序通过ODBC提供的API与数据库进行交互,增强了应用程序的可移植性、扩展性和可维护性。
openGauss目前提供对ODBC 3.5的支持。
注意:当前数据库ODBC驱动基于开源版本,对于tinyint、smalldatetime、nvarchar2类型,在获取数据类型的时候,可能会出现不兼容。

– Libpq
        openGauss没有对这个接口在应用程序开发场景下的使用做验证。所以使用这个接口做应用程序开发存在未知风险,所以不推荐用户使用这个接口做应用程序开发。推荐用户使用ODBC或JDBC接口来替代。

==================通用组件======================

通用组件.png

– 数据字典
        数据字典可以看做是数据库的元数据,所谓元数据就是描述数据属性的一些数据。
        用户可以通过查询系统表的内容获取数据库相关信息,如:表的属性信息、数据库的属性信息、数据类型的属性信息等。
        在SQL执行的过程中辅助执行语义的解析。

– 内存管理
        内存管理模块负责根据openGauss数据库的参数配置,规划数据库各种内存的分配。例如:使用max_process_memory参数控制数据库节点可用内存的最大峰值,使用work_mem参数控制SQL内部排序和Hash表写入临时磁盘之前可以使用的内存大小等。

– 数据类型
        数据类型支撑了数据库的访问和计算,它定义了数据库中数据的属性。表的每一列都属于一种数据类型,数据库根据数据类型使用对应的函数对数据内容进行操作,例如:openGauss可对数值型数据进行加、减、乘、除操作等。

– 内置函数
        函数是在数据库内定义的子程序,数据库通过内置函数可以实现特定的功能需求,比如:数学计算、数据库管理、数据库信息查询等操作。

==================OM&CM======================

蓝色部分的代码主要是华为自研的客户端和服务器端工具,帮助用户更好地维护openGauss。

==================工具=========================

工具.png

– 客户端命令行工具
        客户端命令行工具,这里典型的代表就是gsql,这个在CLI部分已经做了简单解释,这就不再重复解释。

– 数据库实例控制工具
openGauss常见的实例控制工具,例如:
        gaussdb(启动数据库);
        gs_ctl(启停数据库、加载配置文件、主备状态切换和查询等);
        gs_initdb(初始化数据库实例,生成数据库目录、系统表并创建默认的数据库和模板数据库等)。

– 物理备份/恢复工具
        openGauss提供了gs_basebackup工具做基础的物理备份。
        gs_basebackup的实现目标是对数据库文件进行二进制拷贝,远程执行gs_basebackup时,需要使用系统管理员账户。
这个工具当前支持热备份模式和压缩格式备份。
        数据恢复操作比较简单,因为gs_basebackup是对数据库按二进制进行备份,因此恢复时可以直接拷贝替换原有的文件,或者直接在备份的库上启动数据库。
        另外,openGauss还提供了gs_backup工具帮助用户备份集群各个节点的二进制应用程序、参数文件(postgresql.conf)、客户端认证文件(pg_hba.conf)

– 逻辑导入导出工具
        在逻辑导入导出工具部分,openGauss主要向大家提供了gs_dump和gs_dumpall工具。
        gs_dump工具可以帮助用户以纯文本格式、目录归档格式、tar归档格式、以及用户自定义格式对一个数据库的对象导出,这些对象包括模式、表、视图等。
        gs_dumpall工具可以以纯文档格式导出openGauss数据库的所有数据,包括默认数据库postgres的数据、自定义数据库的数据、以及openGauss所有数据库公共的全局对象。
        在数据库恢复方面,纯文本的备份数据可以直接使用gsql工具导入,通过-f参数指定备份文本即可。
        关于其他格式的备份集恢复,可以使用gs_restore工具完成。该工具可以将备份文件内容导入数据库中,也可以导入到指定文本文件中,等效于直接使用gs_dump导出为纯文本格式。

– OM安装
        OM是openGauss的运维管理模块(Operation Manager)。提供集群日常运维、配置管理的管理接口、工具。
        openGauss提供了gs_om工具帮助大家对openGauss数据库实例进行维护,包括启动openGauss、停止openGauss、查询openGauss状态、生成静态配置文件、刷新动态配置文件、显示帮助信息和显示版本号信息的功能。

– CM监控
        CM监控,CM是集群管理模块(Cluster Manager),由CM Agent、CM Monitor和CM Server组成。CM模块这个常见于分布式的gauss数据库,负责集群内高可用。管理和监控分布式系统中各个功能单元和物理资源运行情况,确保整个系统稳定运行。
但是这个模块在当前的openGauss中还没有看到,至于openGauss的分布式架构后面会不会发布暂时还不清楚,个人还是比较期待openGauss的分布式架构。

CM组件:
        CM Agent:负责监控所在主机上主备GTM、CN、主备DN的运行状态并将状态上报给CM Server。同时负责执行CM Server下发的仲裁指令。集群的每台主机上均有CM Agent进程。CM Server会将集群的拓扑信息保存在ETCD。
        OM Monitor:看护CM Agent的定时任务,其唯一的任务是在CM Agent停止的情况下将CM Agent重启。如果CM Agent重启不了,则整个主机不可用,需要人工干预。
        CM Server:根据CM Agent上报的实例状态判定当前状态是否正常,是否需要修复,并下发指令给CM Agent执行。

==================硬件&OS平台===================

硬件平台.png

– ARM+openEuler
        ARM+openEuler,这里的ARM主要指的就是华为的鲲鹏处理器,目前在鲲鹏处理器上,openGauss支持的操作系统是openEuler和麒麟V10 这两款Linux操作系统,openEuler是华为发布的开源Linux操作系统,支持x86架构和鲲鹏ARM架构处理器,目前已发布的版本有openEuler 20.03LTS和openEuler 20.09LTS。

– x86+CentOS
        在x86平台上,openGauss目前支持CentOS和openEuler这两款Linux操作系统。
        CetnOS操作系统推荐版本是CentOS7.6
        openEuler操作系统推荐版本是20.03LTS

==================打完收功,介绍完毕===============

        到这里,openGauss逻辑架构部分基本介绍完毕,希望以上内容对大家理解openGauss数据库有所帮助。
        以上介绍内容属于个人理解,欢迎各位专家提出宝贵意见,以便及时纠正错误(我可不想误导小伙伴,哈哈),期待华为能早日推出openGauss逻辑架构和物理架构的官方讲解资料为大家做权威讲解。

最后修改时间:2021-03-05 11:00:33
「喜欢这篇文章,您的关注和赞赏是给作者最好的鼓励」
关注作者
4人已赞赏
【版权声明】本文为墨天轮用户原创内容,转载时必须标注文章的来源(墨天轮),文章链接,文章作者等基本信息,否则作者和墨天轮有权追究责任。如果您发现墨天轮中有涉嫌抄袭或者侵权的内容,欢迎发送邮件至:contact@modb.pro进行举报,并提供相关证据,一经查实,墨天轮将立刻删除相关内容。

评论