当前位置:首页 > 文章列表 > 文章 > linux > Linux timerfd 怎样避免定时器读事件丢失

Linux timerfd 怎样避免定时器读事件丢失

来源:17golang原创 2026-10-20 02:40:14 0浏览 收藏

在 Linux 事件循环里,timerfd 最容易被误读成“每次变成可读,就代表一个定时器周期”。真正的语义是:内核把自上次成功读取以来发生的到期次数累计起来,read 一次返回一个 uint64_t 计数。事件循环如果只做固定的 count++,忙了一段时间后就会把多个周期压成一个。

记住三个核心判断
  • 可读通知表示“至少有一次到期”,不表示只到期一次。
  • 读取缓冲区必须至少 8 字节,并把返回的累计数当成业务输入。
  • 非阻塞模式下的 EAGAIN 表示当前已经读空,不是定时器故障。

先区分“可读”与“到期次数”

调用 timerfd_create 得到的文件描述符可以交给 poll 或 epoll。周期定时器连续到期时,内核不会为每一次到期都排一条独立的字节流,而是维护一个到期计数。只要计数大于零,文件描述符就保持可读;一次成功的 read 会把当前累计值取走。

这意味着事件循环可能看到“只来了一次 POLLIN”,但随后读出 5。这不是五个通知丢成一个,而是五次到期被一个计数完整表达。适合做周期补偿的程序应据此推进逻辑;只想做“有事就唤醒”的程序,也至少要读掉计数,避免文件描述符一直保持可读。

timerfd可读通知与累计到期次数的静态结构说明图
图1:timerfd 的可读通知与累计到期次数关系;这是原创静态结构说明图,不是运行截图。

read 必须接收完整的 uint64_t 计数

创建定时器时可以直接使用非阻塞和自动关闭标志,再设置首次到期时间与周期。下面的示例只展示计时器和一次读取的边界,不把示例输出伪装成真实运行结果。

#include 
#include 
#include 
#include 

int make_timerfd(void) {
    // 非阻塞让事件循环可以在没有新计数时立即返回。
    int fd = timerfd_create(CLOCK_MONOTONIC, TFD_NONBLOCK | TFD_CLOEXEC);
    if (fd == -1) {
        return -1; // 创建失败时把 errno 留给调用方处理。
    }

    struct itimerspec spec = {0};
    spec.it_value.tv_sec = 1;       // 首次到期等待 1 秒。
    spec.it_interval.tv_sec = 1;    // 之后每 1 秒重复一次。
    if (timerfd_settime(fd, 0, &spec, NULL) == -1) {
        close(fd);                  // 设置失败时释放已创建的描述符。
        return -1;
    }
    return fd;
}

int consume_timerfd(int fd, uint64_t *expired) {
    // 内核返回的是累计到期次数,缓冲区必须容纳完整 uint64_t。
    ssize_t n = read(fd, expired, sizeof(*expired));
    if (n == (ssize_t)sizeof(*expired)) {
        return 1; // expired 可能大于 1,不能固定当成一次。
    }
    if (n == -1 && (errno == EAGAIN || errno == EWOULDBLOCK)) {
        return 0; // 当前没有新计数,回到 poll/epoll 等待。
    }
    if (n == -1 && errno == EINTR) {
        return 0; // 被信号打断时由外层循环重新等待并读取。
    }
    return -1; // 其他错误或异常长度需要记录并进入故障处理。
}

read 成功时的数值才是本轮应处理的周期数。若返回 EINTR,可以由外层事件循环重试;若返回 EAGAIN,则说明当前计数已经被读空。缓冲区小于 8 字节时,内核会返回 EINVAL,这通常是类型或长度写错,而不是定时器没有触发。

事件循环不要用固定加一掩盖积压

假设定时器周期为 100 毫秒,而处理线程被其他工作占用 550 毫秒。下一次唤醒时,读出的计数可能是 5 或 6,具体取决于到期时刻。正确的处理方式是记录这次计数,并明确业务策略:逐个补偿、合并为一次刷新,还是只关心“至少发生过”。

uint64_t expired = 0;
int status = consume_timerfd(timer_fd, &expired);
if (status == 1) {
    // 用累计数驱动补偿或统计,不把一次可读事件硬编码成 1。
    total_expired += expired;
    run_periodic_work(expired);
} else if (status == -1) {
    // 记录 errno 或异常长度,避免把真实读错误当成普通空闲。
    report_timer_read_failure(timer_fd);
}

如果业务不需要逐周期补偿,也可以把 expired 转成一次“需要刷新”的信号,但要保留累计数用于指标,否则线程偶发阻塞时无法知道积压程度。反过来,逐个补偿也不能无限追赶:应设置单轮上限,并把剩余积压交给下一轮,避免定时任务反过来拖垮事件循环。

timerfd事件循环中计数消费与非阻塞错误边界说明图
图2:事件循环围绕 timerfd 的计数消费、EAGAIN、EINTR 与真实错误边界,是原创静态结构说明图。

上线前检查关闭、重置和监控边界

首先确认只由一个明确的消费方读取同一个 timerfd;多个线程或多个事件循环同时读,会让“谁消费了哪一批计数”变得难以解释。其次,在重置定时器前记录旧计数是否已经处理,避免把重置动作和业务丢失混在一起。最后,关闭文件描述符,尤其是创建失败或注册事件循环失败的分支。

建议至少记录三类指标:每次读出的累计次数、单轮处理次数上限和处理耗时。若累计次数频繁大于 1,说明处理线程经常落后于定时器周期;若出现读错误或计数长期不变,则分别检查描述符生命周期、事件注册和错误处理路径。这样能区分“内核正确合并了到期事件”和“程序根本没有消费事件”。

常见问题

一次 poll 返回可读,为什么 read 出来的不是 1?

因为 timerfd 返回的是自上次成功读取以来的累计到期次数。事件循环只保证有计数,不保证每个周期对应一个独立通知。

EAGAIN 是否说明定时器丢事件?

在非阻塞模式下,EAGAIN 表示这次读取时没有可用的新计数。应回到 poll/epoll 等待;真正需要关注的是成功读取的累计值和处理延迟。

版本声明
本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
Linux systemd 怎样限制服务可用的网络地址族Linux systemd 怎样限制服务可用的网络地址族
上一篇
Linux systemd 怎样限制服务可用的网络地址族
Linux epoll 怎样区分水平与边沿触发
下一篇
Linux epoll 怎样区分水平与边沿触发
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • PubMedQA数据集详解:生物医学问答基准、功能与应用指南
    PubMedQA
    深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
    553次使用
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    604次使用
  • LMArena是什么?伯克利AI模型评估平台使用指南与功能解析
    LMArena
    LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
    631次使用
  • 斯坦福HELM:大语言模型Holistic Evaluation整体评估框架详解
    HELM
    深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
    586次使用
  • MMBench详解:多模态大模型基准测试、功能特点与使用指南
    MMBench
    MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
    410次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议 和 隐私政策
返回登录
  • 重置密码