folly::fiber 是基于用户态栈的轻量级协程,与C++20协程无关;它运行于FiberManager调度器,需用addTask提交任务并调loopUntilNoReady启动,禁止阻塞调用、跨线程共享或持有已结束fiber的栈对象。

folly::fiber 是什么,和 C++20 协程有什么区别
folly::fiber 不是 C++20 co_await 那套东西,它是基于用户态栈的轻量级协程(goroutine-style),运行在 FiberManager 调度器上,不依赖语言标准,也不需要编译器特殊支持。它更像 Go 的 goroutine 或 Lua 的 coroutine:手动切换、共享线程、无栈大小限制(默认 1MB,可配),但和 std::jthread 或 std::coroutine_handle 完全无关。
你用它不是为了写“现代 C++ 协程代码”,而是为了解决高并发 I/O 密集型任务中线程开销太大的问题——比如一个服务要同时处理数万连接,又不想用 epoll + 手写状态机。
怎么启动一个 fiber 并让它跑起来
核心就三步:创建 FiberManager、用 addTask 提交函数对象、调用 loopUntilNoReady() 启动调度。别直接 new Fiber 或调 resume(),那是底层接口,容易崩。
-
FiberManager是 per-thread 的,通常每个线程一个,不要跨线程共享 - 传给
addTask的 lambda / 函数对象必须是可移动的,捕获引用要格外小心——fiber 可能在线程间迁移(如果启用了enableFiberMigration()) - 不能在 fiber 内调用阻塞系统调用(如
read()、sleep()),否则整个线程卡死;必须用 folly 封装的异步版本,比如asyncSocket->read()
示例:
立即学习“C++免费学习笔记(深入)”;
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
FiberManager fm;
fm.addTask([] {
LOG(INFO) << "I'm in a fiber";
// 注意:这里不能写 std::this_thread::sleep_for(...)
});
fm.loopUntilNoReady(); // 进入调度循环
fiber 里怎么等异步 I/O(比如网络读写)
folly fiber 的 I/O 等待靠的是 FiberManager::wait() + Promise 机制,但你几乎不用手写 Promise。真正该用的是 folly::wangle::AsyncSocket 和配套的 read()/write() 方法,它们内部会自动把当前 fiber 挂起,并在事件就绪后唤醒。
- 必须用
AsyncSocket,不是int fd;普通 socket fd 调read()会阻塞线程 - socket 必须绑定到同一个
EventBase,且该EventBase要和FiberManager关联(通过FiberManager::setEventBase()) - 错误时抛出
std::system_error,不是返回 -1;检查what()里的errno值,比如Connection refused
常见错法:auto data = socket->read(1024); —— 这行会挂起 fiber 直到数据来,没问题;但若 socket 未设置 setReadCallback() 或未 attach 到 EventBase,程序直接 abort。
fiber 生命周期和内存安全最容易踩的坑
fiber 栈是 malloc 出来的堆内存,默认生命周期由 FiberManager 自动管理:fiber 函数返回后,栈立刻释放。但如果你在 fiber 里起了子线程、注册了异步回调、或把 this 指针传给了外部对象,就可能访问已释放栈上的局部变量。
- 绝对不要在 fiber 函数里 return 后还让别的线程访问它的局部变量(包括
std::string、std::vector) - 别在 fiber 里用
std::shared_ptr<this>然后把它交给EventBase::runInEventBaseThread(),因为 fiber 结束后this可能已被 delete -
FiberManager析构前必须确保所有 fiber 已结束,否则析构会 hang 住(它会等所有 fiber 返回)
调试时看到 double free or corruption 或 use-after-free,八成是 fiber 栈上对象被外部持有太久。
fiber 的复杂点不在 API 多难记,而在于它把“栈生命周期”从线程维度移到了 fiber 维度,但 C++ 没语法支持这种转移——所有不自觉的指针逃逸都会变成悬垂指针。
















