std::pmr::monotonic_buffer_resource本质是单次分配、不可回收的内存块，不支持释放后归还线程局部缓存，也不具备多线程安全的allocate/deallocate能力；它无法满足thread-cache pool所需的无锁freelist、批量归还和分段中心池等关键机制。
为什么不能直接用 std::pmr::monotonic_buffer_resource
它本质是单次分配、不可回收的内存块，不支持“释放后归还给线程局部缓存”，也不支持多线程并发 allocate/deallocate 安全。真正的 thread-cache pool 需要：每个线程独占一个小型 freelist（无锁）、跨线程回收时能安全“批量归还”到中心池——而 std::pmr 体系里没有现成组件支撑这个模式。
std::atomic + std::shared_ptr 能否实现无锁 freelist？
不能。常见错误是用 std::atomic<node></node> 实现单链表 freelist，但仅靠 load/store 无法保证 ABA 问题下的正确性；而 compare_exchange_weak 虽可解决 ABA，但若配合 std::shared_ptr（其控制块操作非 lock-free），会引入隐藏锁或性能抖动。实测中，GCC libstdc++ 的 shared_ptr 构造/析构在部分版本中调用 __gnu_cxx::__exchange_and_add，底层可能用 lock xadd。
更稳妥的做法是：用裸指针 + std::atomic<uintptr_t></uintptr_t> 手动拼接 tag（如低 2 位存 epoch），或直接使用 std::atomic<node></node> 配合 hazard pointer / epoch-based reclamation ——但后者已超出“轻量 thread-cache”范畴。
实际推荐路径：
立即学习“C++免费学习笔记（深入）”；
- 小对象（≤ 256B）：用
std::atomic<node></node>+compare_exchange_weak+ 简单计数器防 ABA（例如每次 pop/push 同时递增版本号） - 避免动态分配节点元数据：freelist 节点就复用用户内存的前 sizeof(Node) 字节，不额外 new
- 线程局部 freelist 容量设为固定值（如 64 或 128），满则批量 flush 到 central pool
central pool 怎么和 thread-cache 协同而不锁全局？
central pool 不需要完全无锁，只需避免高频争抢。典型做法是分段：按对象大小划分多个 CentralFreeList（如 16B/32B/64B/…/2048B），每段内部用一个 std::mutex 保护。因为线程只会在 size-class 对齐后访问对应段，冲突概率大幅下降。
关键细节：
- thread-cache 归还内存时，不是逐个插入 central pool，而是攒够 N 个（如 32 个）再一次性链表拼接 + 加锁插入——把 M 次加锁降为 ⌈M/N⌉ 次
- central pool 分配时，优先尝试无锁从自身 freelist 取；失败再加锁，并顺便把其他空闲段合并进来（lazy coalescing）
- 不要让 central pool 管理所有内存页：它只管“已切分的小块”，大块内存（> 2KB）走 mmap/mmap + madvise(DONTNEED)，绕过 cache 层
如何保证线程退出时不泄漏 thread-cache 中的内存？
C++ 标准不保证线程局部存储（TLS）析构顺序，thread_local 对象的 destructor 可能在 central pool 已销毁后才运行。直接在 destructor 里 flush 会 crash。
可行方案只有两个：
- 用
pthread_key_create+pthread_setspecific（POSIX），注册 key 的 destructor 回调，在线程终止时由 libc 保证调用时机早于 main() 返回 - 改用“惰性回收”：不主动 flush，而是将 thread-cache 内存标记为 “owned by dead thread”，由某个守护线程定期扫描并回收（需维护线程生命周期表）
前者更轻量，但 Windows 上需用 TlsAlloc 替代；后者通用但增加复杂度。生产环境建议前者 + 条件编译封装。
真正难处理的是 fork() 后的子进程——thread-cache 内存变成孤儿，且无法被父进程感知。此时必须在 fork 前清空所有 thread-cache（pthread_atfork 注册 prepare handler），否则子进程可能 double-free。
