双缓冲区需用原子状态机(0/1/2)避免锁争抢,写入线程快速memcpy至空闲buffer,刷盘线程异步io_uring提交并fsync保障持久化,配合元数据文件与内存屏障防崩溃丢日志。

双缓冲区怎么配才不丢日志又不卡主线程
双缓冲区不是简单开两块内存来回切,核心是让写日志的线程(业务线程)永远能快速 memcpy 到空闲 buffer,而刷盘线程只动另一块「已满」的 buffer。关键在状态同步——不能靠锁争抢 buffer 所有权,得用原子状态机。
-
std::atomic<int></int>控制 buffer 状态:0=空闲、1=正在写入、2=待刷盘,切换必须 compare_exchange_strong - 写入线程发现当前 buffer 状态为 2,立刻尝试原子切换另一 buffer;若失败(说明刷盘线程刚取走),就丢弃或 fallback 到临时堆分配(需限流)
- 刷盘线程取 buffer 前先原子置为 2,取完立即置为 0;绝不阻塞等待,buffer 为空时直接 yield 或 sleep(0)
- buffer 大小建议 4MB~16MB:太小导致频繁切换、上下文多;太大则单次 write() 阻塞风险高,且 mmap 映射成本上升
异步刷盘用 io_uring 还是 libaio?Linux 下选前者
libaio 在 ext4/xfs 上实际仍是同步路径封装,真正零拷贝+无锁提交得靠 io_uring 的 IORING_OP_WRITE + IOSQE_ASYNC 标志。但注意内核版本和文件打开标志。
- 文件必须用
O_DIRECT | O_SYNC打开,否则io_uring会退化成普通 write - buffer 内存需用
posix_memalign(4096, size)对齐,否则io_uring提交直接返回-EINVAL - 别复用同一个
io_uring_sqe结构体:每次提交前必须重置user_data和flags,否则 completion 可能乱序触发 - 提交失败时(如
-EAGAIN),不能重试,应把 buffer 挂到 pending 队列,等下一轮 submit 轮询时再推
std::string_view 日志拼接为什么比 std::ostringstream 快 3x
日志格式固定(如 "%T %L %M [%F:%L]")时,std::ostringstream 的流操作符重载、locale 检查、动态扩容全是冗余开销。真实压测中,std::string_view + 预分配 buffer + fmt::format_to 是更优解。
- 避免在日志宏里调用
std::to_string():它分配堆内存,且线程不安全(某些 libc 实现) - 时间戳优先用
clock_gettime(CLOCK_MONOTONIC, &ts),而非std::chrono::system_clock::now(),后者可能触发时区计算 - 文件名/行号用
__FILE_NAME__(GCC 12+)替代__FILE__,省掉路径字符串截取 - 所有日志 entry 先写入 thread_local
char[4096]缓冲区,再整体 memcpy 到双缓冲区,避免多次小拷贝
崩溃后如何保证最后 500ms 日志不丢
靠 io_uring 的 IORING_SETUP_IOPOLL 不够,它只加速提交,不保持久化。真要抗崩溃,得结合 fsync + O_DSYNC + ring buffer 持久化状态。
- 刷盘线程每次成功完成
IORING_OP_WRITE后,立即对文件 fd 执行一次fsync()—— 别省,这是唯一跨断电的保障 - 双缓冲区的「已刷盘」状态必须落盘:用一个独立的元数据文件,每次刷完追加一行
"offset:123456789,ts:1712345678",启动时读最后一行恢复 - 进程退出前,强制调用
io_uring_queue_drain()清空 pending sqe,并等待所有 cqes 完成,再关 fd - 别依赖 atexit():信号(如 SIGKILL)下不触发,改用
sigaction捕获SIGTERM/SIGINT,并设SA_RESTART
最麻烦的其实是 buffer 切换和 io_uring 完成队列的竞态:一个 buffer 被标记为「待刷盘」,但还没被 submit,此时进程崩溃,这部分日志就丢了。所以元数据文件的更新时机必须卡在 submit() 成功之后、cq 提交之前——这个窗口只有几微秒,得用内存屏障 std::atomic_thread_fence(std::memory_order_release) 锁住。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











