Linux timerfd 如何让单进程处理周期任务:CLOCK_MONOTONIC、超时读取与漂移边界
来源:17golang原创
时间:2026-08-30 18:19:44 185浏览 收藏
一个单进程事件循环里既要处理 socket,又要每隔 10 秒刷新一次缓存时,单独再塞一个 sleep 线程往往会把关闭、超时和负载控制弄复杂。Linux 的 timerfd 可以把定时器变成文件描述符,和 epoll 放进同一个等待集合;真正需要留意的是时钟选择、过期次数读取,以及任务执行超过周期时的积压语义。
周期任务如果要和 I/O 统一调度,优先用 timerfd_create(CLOCK_MONOTONIC, TFD_CLOEXEC),再用 timerfd_settime 设置首次等待和重复间隔;每次可读时必须 read 一个完整的 uint64_t,返回值大于 1 说明事件循环曾经错过了多个周期。
- CLOCK_MONOTONIC 适合测量间隔,不会因为管理员校准墙上时间而倒退。
- timerfd_settime 的 it_value 决定首次到期,it_interval 决定之后的重复周期。
- read 返回累计过期次数;它不是“本次只触发一次”的布尔值。
- 周期任务耗时超过间隔时,要根据业务选择补偿、跳过还是降频,不能只改 epoll 超时。
先把基线说清:定时器为什么要进入 epoll
传统的 sleep(10) 会让当前线程在等待期间无法处理 socket;信号定时器又把控制流拆到了异步处理函数里。timerfd 的不同点是它返回一个普通文件描述符,epoll_wait 只关心“哪个 fd 现在可读”,业务代码仍在同一个循环里运行。

这也给了一个可量化的基线:不增加工作线程、不改变 socket 处理路径,只增加一个 timerfd 和一个 epoll 事件项。后续观察重点不是“有没有回调”,而是每次 read 得到的过期次数是否长期大于 1。
两个参数决定首次到期和重复周期
timerfd_create 的第一个参数选择计时基准。周期刷新、心跳和重试间隔通常使用 CLOCK_MONOTONIC;它不会因 clock_settime 调整实时时钟而改变速率。如果程序需要把系统挂起时间也算进去,再评估 CLOCK_BOOTTIME,不要把两者混成“都一样的单调时钟”。
timerfd_settime 接收 struct itimerspec。it_value 两个字段都为零表示停用;只要其中一个非零,定时器就会启动。it_interval 为零时只触发一次,设置为非零才会形成周期。
int fd = timerfd_create(CLOCK_MONOTONIC, TFD_CLOEXEC | TFD_NONBLOCK);
struct itimerspec spec = {
.it_value = { .tv_sec = 2, .tv_nsec = 0 },
.it_interval = { .tv_sec = 10, .tv_nsec = 0 }
};
timerfd_settime(fd, 0, &spec, NULL);

真正的检查点是 read 返回的过期次数
把 fd 加入 epoll 后,事件循环收到可读通知时要读取一个 uint64_t。这个数表示自上次成功读取以来,定时器到期了多少次。假设间隔是 10 秒,而刷新函数执行了 26 秒,下一次读到的值可能是 2 或 3,具体取决于读取时机;它不是简单的“定时器又响了一次”。
uint64_t expirations = 0;
ssize_t n = read(timer_fd, &expirations, sizeof expirations);
if (n == sizeof expirations) {
refresh_cache(expirations);
} else if (n
生产日志建议同时记录 expirations、任务耗时和任务名称。连续出现大于 1,说明处理能力已经追不上周期,应该调整任务拆分、周期或积压策略,而不是把这个数字抹成 1。
结果对比:补偿执行、跳过执行和降频怎么选
| 策略 | 适合场景 | 处理 expirations 的方式 |
|---|---|---|
| 补偿 | 每个周期都必须完成,例如账务采样 | 按次数补做,但设置最大补偿上限 |
| 跳过 | 只关心最新状态,例如缓存刷新 | 记录次数,当前只执行一次 |
| 降频 | 任务持续超时 | 暂时延长 interval,并告警观察 |
选策略前先看任务是否幂等。不可重复执行的任务不能看到 expirations=3 就循环调用三次;可以把次数当作延迟指标,交给下一轮调度或人工复核。
常见问题:timerfd 的边界怎么判断
timerfd 和 sleep 最大的区别是什么?
timerfd 是可被 epoll 监听的文件描述符,等待期间事件循环还能处理其他 fd;sleep 只暂停当前线程。
为什么用了 CLOCK_MONOTONIC 还要考虑 CLOCK_BOOTTIME?
CLOCK_MONOTONIC 不计算系统挂起时间,设备唤醒后不会把挂起期间当成经过的间隔;需要“挂起也算时间”的场景才考虑 CLOCK_BOOTTIME。
read 为什么必须读取 8 个字节?
timerfd 的到期计数以 uint64_t 提供。读取不完整时不能把事件当作成功处理,应按错误或暂时不可读分支记录。
过期次数一直大于 1,先调哪个参数?
先确认任务实际耗时和是否存在长临界区,再决定拆分任务、增加 interval 或采用跳过策略;只改 epoll_wait 的超时不会减少 timerfd 已累计的到期次数。
收尾检查清单
上线前至少核对五件事:fd 使用 TFD_CLOEXEC,非阻塞模式与事件循环一致;时钟选择符合是否计入挂起时间的需求;it_value 与 it_interval 的零值语义明确;read 成功后检查完整字节数;日志持续记录过期次数并对大于 1 设置告警。做到这些,timerfd 才是事件循环的一部分,而不是换了名字的 sleep。
-
208 收藏
-
444 收藏
-
426 收藏
-
387 收藏
-
242 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 485次学习