在Linux服务器开发中,定时器无处不在——心跳检测、超时重传、定时任务调度。很多同学只会用sleep()或简单的alarm(),却对底层机制一知半解。本文将带你从应用层到内核层,彻底搞懂Linux定时器的实现。
1 从一个面试题说起
面试官:Linux下有哪些实现定时器的方法?它们各有什么优缺点?
菜鸟:额,我知道sleep(3)可以延时…
高手:主要有5种方式——sleep/alarm(精度低)、settimer(周期触发)、timerfd(融入epoll)、时间堆(高性能)、时间轮(大量定时器)。选择哪种取决于精度要求和应用场景。
今天我们就沿着这个问题,一一剖析这些实现。
2 应用层定时器
2.1 sleep与alarm
#include<unistd.h>#include<signal.h>// sleep:进程休眠指定秒数sleep(5);// 精度秒级,挂起进程// alarm:在指定秒数后发送SIGALRM信号voidsig_handler(intsigno){printf("定时器触发!\n");}signal(SIGALRM,sig_handler);alarm(3);// 3秒后触发,只触发一次精度只有秒级,且alarm通过信号处理,存在信号丢失和异步安全问题。
2.2 setitimer
#include<sys/time.h>structitimervaltick;tick.it_value.tv_sec=0;// 首次触发时间tick.it_value.tv_usec=100000;// 100ms后首次触发tick.it_interval.tv_sec=0;// 周期触发间隔tick.it_interval.tv_usec=100000;// 每100ms触发一次setitimer(ITIMER_REAL,&tick,NULL);// 同样通过SIGALRM信号处理支持微秒级精度和周期性触发,但仍受限于信号处理机制。
3 融入事件循环的timerfd
3.1 为什么需要timerfd?
信号最大的问题是难以与epoll/select等I/O多路复用机制配合。信号中断后,你无法确定是哪个fd就绪,还得处理EINTR错误。timerfd应运而生——它把定时器变成了一个文件描述符!
3.2 timerfd实现
#include<sys/timerfd.h>#include<sys/epoll.h>inttimerfd=timerfd_create(CLOCK_MONOTONIC,TFD_NONBLOCK);structitimerspecnew_value;new_value.it_value.tv_sec=1;// 首次1秒后到期new_value.it_value.tv_nsec=0;new_value.it_interval.tv_sec=0;// 之后每500ms到期new_value.it_interval.tv_nsec=500000000;timerfd_settime(timerfd,0,&new_value,NULL);// 加入epoll统一管理epoll_ctl(epfd,EPOLL_CTL_ADD,timerfd,&ev);在epoll循环中:
uint64_texp;read(timerfd,&exp,sizeof(uint64_t));// 必须读,否则会重复触发printf("定时器到期 %llu 次\n",exp);纳秒级精度,完美融入epoll事件循环,不会丢失定时事件(read会返回到期次数)。
4 定时器的底层实现
讲完应用层,我们从内核源码角度看看定时器是如何实现的。
4.1 时间车轮(Time Wheel)
Linux 2.4内核使用时间轮算法管理定时器。内核把未来时间分成多个槽(slot),每个槽挂接一个定时器链表。
[0]->timer1 ->timer5[1]->timer3[2]->NULL...[511]->timer2 ->timer4 指针每tick移动一次,时间复杂度O(1)这种结构在定时器数量很大时效率极高,但精度受tick频率限制(通常1ms到10ms)。
4.2 红黑树(高精度定时器hrtimer)
现代Linux内核(2.6.16+)引入了高精度定时器hrtimer,基于红黑树实现。
红黑树节点按到期时间排序
每次取最左边的节点(最近到期)
到期后执行回调,并从树中删除
插入和删除复杂度O(log n)
// 内核中定义一个hrtimerstructhrtimertimer;hrtimer_init(&timer,CLOCK_MONOTONIC,HRTIMER_MODE_REL);timer.function=my_callback;hrtimer_start(&timer,ktime_set(0,500000000),HRTIMER_MODE_REL);// 500ms后回调4.3 时钟中断与Tickless
传统内核依赖固定的时钟中断(如1000Hz),每次中断检查定时器。但在空闲时频繁中断会耗电。
Tickless内核动态编程硬件定时器,只在最近一个定时器到期时才产生中断。这样CPU可以长时间睡眠,极大节省功耗(手机、笔记本受益明显)。
5 高性能服务器中的时间轮实现
在高并发场景(如百万长连接),每个连接都可能有定时器。此时红黑树的O(log n)开销也显得昂贵,工业界常用多层级时间轮:
classTimerWheel{// 5个轮子,分别对应1ms, 20ms, 400ms, 8s, 160sconstintWHEEL_SIZE=256;vector<list<Timer*>>wheels[5];voidadd_timer(Timer*t){// 根据超时时间选择层级intlevel=get_level(t->expire);intslot=(t->expire>>(level*8))&0xFF;wheels[level][slot].push_back(t);}voidtick(){// 当前时间推进一个单位// 如果是第0层的本轮刻度走完,就级联下降上层}};Nginx、Linux内核网络协议栈都使用了多级时间轮来管理大量连接的超时。
6 总结与选型建议
| 定时器方案 | 精度 | 性能 | 适用场景 |
|---|---|---|---|
| alarm/sleep | 秒级 | 低 | 简单脚本 |
| setitimer | 微秒 | 中 | 单进程周期任务 |
| timerfd | 纳秒 | 中 | 需集成事件循环的服务 |
| 时间堆(红黑树) | 纳秒 | O(log n) | 定时器数量适中 |
| 时间轮 | 取决于tick | O(1) | 海量定时器(10万+) |
选择建议:
- 写小工具用setitimer或sleep
- 网络服务首选timerfd,配合epoll完美工作
- 实现Reactor/Proactor框架,内部用时间轮管理连接超时
- 做游戏服务器,混合使用:红黑树处理技能冷却,时间轮处理心跳