0

0

如何使用std::pmr::synchronized_pool_resource实现线程安全的内存池? (C++17特性)

尼克

尼克

发布时间:2026-01-19 04:43:16

|

413人浏览过

|

来源于php中文网

原创

std::pmr::synchronized_pool_resource 本身线程安全,allocate/deallocate 自动串行化,但 release() 非线程安全;fallback resource 必须可重入;pool_options 控制块分配粒度而非总内存上限;不可与 monotonic_buffer_resource 混用;跨线程 deallocate 要求使用同一 resource 实例。

如何使用std::pmr::synchronized_pool_resource实现线程安全的内存池? (c++17特性)

std::pmr::synchronized_pool_resource 本身已线程安全,无需额外加锁

它内部封装了 std::pmr::pool_options 和一个带互斥保护的内存池结构,所有 allocate() / deallocate() 调用自动串行化。你直接在多线程中使用同一个实例即可,不用 wrap 成 std::shared_ptr 或手动加 std::mutex —— 那反而会引入不必要开销或死锁风险。

常见错误是误以为“同步”只指 pool 内部块分配同步,而忽略其对上游 memory resource(如 fallback resource)的调用仍需线程安全。如果设置了非线程安全的 fallback(比如裸 std::pmr::new_delete_resource()),那 fallback 分支仍是安全的(因为 new/delete 本身线程安全),但若换成自定义 fallback,就必须确保它自己可重入。

  • 默认 fallback 是 std::pmr::new_delete_resource(),线程安全
  • 构造时传入的 upstream resource 必须支持多线程并发调用 allocate/deallocate
  • 不要在多个线程里同时调用 release() —— 它不是线程安全的,会清空内部所有缓存块

如何控制 pool 的大小与增长策略(pool_options)

std::pmr::synchronized_pool_resource 构造时可传入 std::pmr::pool_options,它有两个关键字段:max_blocks_per_chunklargest_required_pool_block。它们不控制总内存上限,而是影响 chunk 划分粒度和小对象复用效率。

例如:设置 largest_required_pool_block = 128,意味着所有 ≤128 字节的分配请求走 pool 内部块管理;更大的请求直接转发给 upstream。这个值设太小会导致大量小 chunk 碎片,设太大则浪费空间或降低复用率。

立即学习C++免费学习笔记(深入)”;

SophNet
SophNet

专业的AI开发工具平台,让AI集成变得简单高效。

下载
std::pmr::pool_options opts{
    .max_blocks_per_chunk = 32,        // 每次向 upstream 申请的 chunk 最多切出 32 块
    .largest_required_pool_block = 256 // ≥256 字节的分配直接 bypass pool
};
  • 默认 largest_required_pool_block 是 0,表示“由实现决定”,通常为 512 左右,不可移植
  • max_blocks_per_chunk 影响内存局部性:值越大,单个 chunk 寿命越长,但可能长期占用不释放
  • 这两个参数不影响线程安全性,只影响性能与内存驻留行为

与 std::pmr::monotonic_buffer_resource 的关键区别

别混淆二者:前者是可回收、多线程安全、带块复用的池;后者是仅追加、单线程友好、不可回收的缓冲区。如果你在线程内反复创建/销毁临时容器(如 std::pmr::vector),synchronized_pool_resource 能复用内存;而 monotonic_buffer_resource 在生命周期结束前无法释放任何块,即使中间 clear() 了 vector。

典型误用场景:把 synchronized_pool_resource 当作式资源用,在函数退出时期望自动清理——它不会自动释放,必须显式调用 release()(且只能由单一线程调用)或靠析构(析构是线程安全的,但会阻塞其他线程直到完成)。

  • synchronized_pool_resource 的析构函数会等待所有当前 pending 操作完成,再释放所有 chunk
  • monotonic_buffer_resource 析构时才一次性归还全部内存,无同步开销
  • 没有“线程局部 pool”的标准封装,如需 TLV 效果,得配合 thread_local 变量手动管理

实际使用时最容易被忽略的陷阱

最隐蔽的问题是:**跨线程传递由该 resource 分配的对象(如 std::pmr::string)后,在另一线程调用 deallocate —— 这是允许的,但必须确保那个线程使用的 resource 实例是同一个对象(而非副本)**。因为 deallocate 需要定位原始 chunk,依赖 resource 实例的内部状态。

另一个坑是混用不同 resource 实例初始化的容器:比如用 A 分配的 std::pmr::vector,却用 B 的 allocator 调用 shrink_to_fit(),这会导致 undefined behavior —— 所有分配器操作必须严格绑定到同一个 std::pmr::polymorphic_allocator 实例(即同一 resource 地址)。

  • 永远用 std::pmr::polymorphic_allocator<t>{&resource}</t> 构造容器,而不是保存 resource 指针再动态构造 allocator
  • 避免将 synchronized_pool_resource 对象放在栈上并传给异步任务——它可能在任务启动前就析构了
  • 调试时注意:ASan/TSan 对 PMR 分配器的支持有限,内存泄漏报告可能指向 upstream 而非 pool 本身

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1010

2023.08.02

resource是什么文件
resource是什么文件

Resource文件是一种特殊类型的文件,它通常用于存储应用程序或操作系统中的各种资源信息。它们在应用程序开发中起着关键作用,并在跨平台开发和国际化方面提供支持。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

181

2023.12.20

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

443

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

605

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

765

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

377

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

本专题整合了java多线程相关教程,阅读专题下面的文章了解更多详细内容。

32

2026.01.21

C++多线程相关合集
C++多线程相关合集

本专题整合了C++多线程相关教程,阅读专题下面的的文章了解更多详细内容。

29

2026.01.21

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

76

2026.03.11

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
CSS3 教程
CSS3 教程

共18课时 | 7万人学习

Sass 教程
Sass 教程

共14课时 | 0.9万人学习

Pandas 教程
Pandas 教程

共15课时 | 1.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号