Postgresql源码(117)libpq的两套实现(socket/shm_mq)

2023-12-19 12:52

本文主要是介绍Postgresql源码(117)libpq的两套实现(socket/shm_mq),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

libpq的通信方式

libpq提供了两套通信方式

  • socket
  • shm_mq

分别实现在下面两个文件中

  • pqcomm.c
  • pqmq.c

什么时候用socket通信?

除了下述并行场景,其他场景全部使用socket通信。

static const PQcommMethods PqCommSocketMethods = {.comm_reset = socket_comm_reset,.flush = socket_flush,.flush_if_writable = socket_flush_if_writable,.is_send_pending = socket_is_send_pending,.putmessage = socket_putmessage,.putmessage_noblock = socket_putmessage_noblock
};

什么时候使用mq通信?

并行框架中会将子进程的libpq的通信改成mq通信,用于子进程给父进程发送错误信息。

static const PQcommMethods PqCommMqMethods = {.comm_reset = mq_comm_reset,.flush = mq_flush,.flush_if_writable = mq_flush_if_writable,.is_send_pending = mq_is_send_pending,.putmessage = mq_putmessage,.putmessage_noblock = mq_putmessage_noblock
};

使用MQ通信需要用pq_redirect_to_shm_mq函数指定使用的dsm和mq。

注意这个pq_mq_handle是申请在dsm上的,专门用于并行框架。

void
pq_redirect_to_shm_mq(dsm_segment *seg, shm_mq_handle *mqh)
{PqCommMethods = &PqCommMqMethods;pq_mq_handle = mqh;whereToSendOutput = DestRemote;FrontendProtocol = PG_PROTOCOL_LATEST;on_dsm_detach(seg, pq_cleanup_redirect_to_shm_mq, (Datum) 0);
}

使用位置在并行框架子进程入口

void ParallelWorkerMain(...)
{......// 拿到父进程在共享内存中申请mq的内存其实地址error_queue_space = shm_toc_lookup(toc, PARALLEL_KEY_ERROR_QUEUE, false);// 用自己的woker num偏移得到自己的mqmq = (shm_mq *) (error_queue_space +ParallelWorkerNumber * PARALLEL_ERROR_QUEUE_SIZE);// 配置PGPROC到mq上shm_mq_set_sender(mq, MyProc);// mq是单纯的mq抽象,用的时候一般使用mq handle,在这里包装一层成为mqhmqh = shm_mq_attach(mq, seg, NULL);// 配置libpq的消息队列为mqhpq_redirect_to_shm_mq(seg, mqh);// 记录父进程的pid为leader pidpq_set_parallel_leader(fps->parallel_leader_pid,fps->parallel_leader_backend_id);
}

配置好后,子进程已经记录了父进程的pid,在子进程中需要发送消息时:

int
mq_putmessage(...)
{...for (;;){// 先把书库放入mq中,flush到共享内存result = shm_mq_sendv(pq_mq_handle, iov, 2, true, true);if (pq_mq_parallel_leader_pid != 0){... // 这里只有子进程能走进来,通知父进程读取SendProcSignal(pq_mq_parallel_leader_pid,PROCSIG_PARALLEL_MESSAGE,pq_mq_parallel_leader_backend_id);...}}if (result != SHM_MQ_WOULD_BLOCK)break;(void) WaitLatch(MyLatch, WL_LATCH_SET | WL_EXIT_ON_PM_DEATH, 0,WAIT_EVENT_MESSAGE_QUEUE_PUT_MESSAGE);ResetLatch(MyLatch);CHECK_FOR_INTERRUPTS();}...
}

子进程发完了,信息会留存在mq中。然后给父进程发信号。

父进程收到kill过来的信号,进入信号处理函数(函数已经绑定sigusr1了),标记ParallelMessagePending

void
procsignal_sigusr1_handler(SIGNAL_ARGS)
{...if (CheckProcSignal(PROCSIG_PARALLEL_MESSAGE))HandleParallelMessageInterrupt();...
}void
HandleParallelMessageInterrupt(void)
{InterruptPending = true;ParallelMessagePending = true;SetLatch(MyLatch);
}

等下次调用CHECK_FOR_INTERRUPTS宏,执行ProcessInterrupts时处理具体的消息。

在函数中会shm_mq_receive接受子进程发到mq中的消息。

void
HandleParallelMessages(void)
{...HOLD_INTERRUPTS();......res = shm_mq_receive(pcxt->worker[i].error_mqh, &nbytes,&data, true);if (res == SHM_MQ_WOULD_BLOCK)break;else if (res == SHM_MQ_SUCCESS){StringInfoData msg;initStringInfo(&msg);appendBinaryStringInfo(&msg, data, nbytes);HandleParallelMessage(pcxt, i, &msg);pfree(msg.data);}elseereport(ERROR,(errcode(ERRCODE_OBJECT_NOT_IN_PREREQUISITE_STATE),errmsg("lost connection to parallel worker")));}}}...RESUME_INTERRUPTS();
}

elog如何发送错误日志?

无论是并发时的子进程,还是普通进程,调用elog发送日志都会经过两步:

errstart(int elevel, const char *domain)    做一些初始化和配置errfinish(const char *filename, int lineno, const char *funcname)调用EmitErrorReport发送错误

EmitErrorReport负责将日志发送到client和server log

EmitErrorReport/* Send to server log, if enabled */if (edata->output_to_server)send_message_to_server_log(edata);/* Send to client, if enabled */if (edata->output_to_client)send_message_to_frontend(edata);

这里发送到client的日志send_message_to_frontend中,会走libpq的逻辑:

  1. 普通场景libpq使用PqCommSocketMethods的实现,将日志发送给客户端。
  2. 并发场景子进程中libpq使用PqCommMqMethods的实现,将日志发送给父进程。

这篇关于Postgresql源码(117)libpq的两套实现(socket/shm_mq)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/512243

相关文章

Python使用python-can实现合并BLF文件

《Python使用python-can实现合并BLF文件》python-can库是Python生态中专注于CAN总线通信与数据处理的强大工具,本文将使用python-can为BLF文件合并提供高效灵活... 目录一、python-can 库:CAN 数据处理的利器二、BLF 文件合并核心代码解析1. 基础合

Python使用OpenCV实现获取视频时长的小工具

《Python使用OpenCV实现获取视频时长的小工具》在处理视频数据时,获取视频的时长是一项常见且基础的需求,本文将详细介绍如何使用Python和OpenCV获取视频时长,并对每一行代码进行深入解析... 目录一、代码实现二、代码解析1. 导入 OpenCV 库2. 定义获取视频时长的函数3. 打开视频文

golang版本升级如何实现

《golang版本升级如何实现》:本文主要介绍golang版本升级如何实现问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录golanwww.chinasem.cng版本升级linux上golang版本升级删除golang旧版本安装golang最新版本总结gola

PostgreSQL的扩展dict_int应用案例解析

《PostgreSQL的扩展dict_int应用案例解析》dict_int扩展为PostgreSQL提供了专业的整数文本处理能力,特别适合需要精确处理数字内容的搜索场景,本文给大家介绍PostgreS... 目录PostgreSQL的扩展dict_int一、扩展概述二、核心功能三、安装与启用四、字典配置方法

SpringBoot中SM2公钥加密、私钥解密的实现示例详解

《SpringBoot中SM2公钥加密、私钥解密的实现示例详解》本文介绍了如何在SpringBoot项目中实现SM2公钥加密和私钥解密的功能,通过使用Hutool库和BouncyCastle依赖,简化... 目录一、前言1、加密信息(示例)2、加密结果(示例)二、实现代码1、yml文件配置2、创建SM2工具

Mysql实现范围分区表(新增、删除、重组、查看)

《Mysql实现范围分区表(新增、删除、重组、查看)》MySQL分区表的四种类型(范围、哈希、列表、键值),主要介绍了范围分区的创建、查询、添加、删除及重组织操作,具有一定的参考价值,感兴趣的可以了解... 目录一、mysql分区表分类二、范围分区(Range Partitioning1、新建分区表:2、分

MySQL 定时新增分区的实现示例

《MySQL定时新增分区的实现示例》本文主要介绍了通过存储过程和定时任务实现MySQL分区的自动创建,解决大数据量下手动维护的繁琐问题,具有一定的参考价值,感兴趣的可以了解一下... mysql创建好分区之后,有时候会需要自动创建分区。比如,一些表数据量非常大,有些数据是热点数据,按照日期分区MululbU

MySQL中查找重复值的实现

《MySQL中查找重复值的实现》查找重复值是一项常见需求,比如在数据清理、数据分析、数据质量检查等场景下,我们常常需要找出表中某列或多列的重复值,具有一定的参考价值,感兴趣的可以了解一下... 目录技术背景实现步骤方法一:使用GROUP BY和HAVING子句方法二:仅返回重复值方法三:返回完整记录方法四:

IDEA中新建/切换Git分支的实现步骤

《IDEA中新建/切换Git分支的实现步骤》本文主要介绍了IDEA中新建/切换Git分支的实现步骤,通过菜单创建新分支并选择是否切换,创建后在Git详情或右键Checkout中切换分支,感兴趣的可以了... 前提:项目已被Git托管1、点击上方栏Git->NewBrancjsh...2、输入新的分支的

Python实现对阿里云OSS对象存储的操作详解

《Python实现对阿里云OSS对象存储的操作详解》这篇文章主要为大家详细介绍了Python实现对阿里云OSS对象存储的操作相关知识,包括连接,上传,下载,列举等功能,感兴趣的小伙伴可以了解下... 目录一、直接使用代码二、详细使用1. 环境准备2. 初始化配置3. bucket配置创建4. 文件上传到os