Event Loop是C++异步编程的核心，通过死循环监听和处理I/O、定时器及自定义事件，实现非阻塞操作。其核心组件包括任务队列、I/O多路复用管理器（如epoll）、定时器管理（常用小根堆）和循环控制机制。基本流程为：执行到期定时任务→轮询I/O事件→处理就绪事件回调→执行普通任务。通常采用单线程串行执行以避免锁竞争，通过eventfd或pipe唤醒阻塞的epoll_wait，确保跨线程任务提交安全。结合RAII与高效数据结构可构建轻量级高性能异步框架，为理解Boost.Asio等库奠定基础。
在C++异步编程中，事件循环（Event Loop）是实现非阻塞I/O和任务调度的核心机制。它通过不断监听和处理事件来驱动程序运行，常见于网络库、GUI框架和高并发服务中。要从零实现一个轻量级的Event Loop模型，需要理解其基本结构与关键组件。
事件循环的基本原理
Event Loop本质上是一个死循环，负责收集并分发事件。这些事件可能来自文件描述符（如socket）、定时器、用户自定义任务等。循环主体通常包含以下步骤：
- 检查是否有待执行的回调任务
- 轮询I/O多路复用接口（如epoll、kqueue、select）获取就绪事件
- 将就绪事件对应的处理器加入执行队列
- 依次执行队列中的事件回调
整个过程在一个线程中串行执行，避免了锁竞争，适合单线程高性能场景。
核心组件设计
一个可用的Event Loop应包含以下几个关键部分：
立即学习“C++免费学习笔记（深入）”；
1. 事件队列（Task Queue）
用于存放用户提交的异步任务。可以使用STL的std::queue配合std::function实现通用任务包装。
2. I/O事件管理器
封装底层多路复用系统调用。以Linux下的epoll为例：
- 创建epoll实例（
epoll_create） - 注册/修改/删除文件描述符关注的事件（
epoll_ctl） - 等待事件到来（
epoll_wait）
每个socket或fd绑定一个事件回调，在事件触发时被调用。
3. 定时器管理
支持延迟执行或周期性任务。常用数据结构为小根堆（std::priority_queue）或时间轮。每个定时任务记录到期时间与回调函数，每次循环前检查是否超时。
4. 循环控制
提供run()启动循环，quit()退出循环。可通过设置标志位控制循环终止。
简单代码框架示例
以下是简化版Event Loop的大致结构：
class EventLoop {
public:
void run() {
running_ = true;
while (running_) {
// 执行到期的定时任务
runPendingTimers();
// 处理IO事件（最多等待1ms）
poll(1);
// 执行普通任务
runInLoopTasks();
}
}
void quit() {
running_ = false;
}
void submit(std::function cb) {
{
std::lock_guard lock(mutex_);
tasks_.push(std::move(cb));
}
wakeup(); // 唤醒阻塞中的poll
} private:
void poll(int timeout_ms) {
int num_events = epoll_wait(epollfd, events_, MAX_EVENTS, timeout_ms);
for (int i = 0; i handler = static_cast>(events[i].data.ptr);
if (events[i].events & EPOLLIN) {
handler->onRead();
}
}
}
void wakeup() {
uint64_t one = 1;
write(wakeup_fd_, &one, sizeof(one)); // 用于唤醒阻塞的epoll_wait
}
bool running_;
std::queue> tasks_;
std::mutex mutex_;
int epoll_fd_;
struct epoll_event events_[MAX_EVENTS];
int wakeup_fd_; // eventfd 或 pipe 用于唤醒 };
线程安全与跨线程调用
Event Loop通常绑定到创建它的线程。若其他线程需提交任务，必须通过submit()方法将任务放入队列，并触发一次唤醒（如写eventfd）。这样可保证所有回调都在同一个线程执行，避免加锁开销。
对于复杂的异步逻辑，可结合std::future和std::promise实现结果传递，但注意回调仍应在loop线程中完成。
扩展方向
实际工程中，可在此基础上添加：
- 更高效的定时器结构（如基于时间轮）
- 支持多种IO事件（读、写、错误）
- Channel类抽象事件源
- TimerQueue管理定时任务
- 支持Signal事件处理
基本上就这些。C++没有内置Event Loop，但凭借其灵活的资源管理和RAII特性，非常适合构建高性能异步系统。掌握这一模型，有助于深入理解libuv、Boost.Asio、muduo等异步库的工作原理。
