图解｜Linux内核低精度定时器原理
内容提要
在Linux操作系统中，定时器扮演关键角色，用于执行延迟任务。Linux内核有高精度和低精度两种定时器。低精度定时器基于时钟中断实现，使用时间轮数据结构快速查找到期定时器。定时器根据超时时间存放在不同级别的数组中，每个数组有一个到期指针。定时器在时钟中断中执行，到期指针移动到下一个位置。内核使用timer_list对象表示定时器，通过add_timer函数添加定时器，run_timer_list函数执行到期定时器。
延伸解读
低精度定时器的适用场景
低精度定时器基于时钟中断，精度由HZ值决定，通常为1毫秒。其运行成本较低，适合对时间精度要求不高的延迟任务。高精度定时器虽可达纳秒级，但成本更高。因此，在不需要高精度的场合，低精度定时器是更经济实用的选择。
时间轮如何实现高效查找
时间轮通过数组索引直接定位到期定时器，时间复杂度为O(1)，优于平衡二叉树等O(log n)结构。数组每个槽位存放相同超时时间的定时器链表，到期指针随每次时钟中断移动，从而快速执行到期定时器。
多级数组节省内存的设计
为避免超大数组，内核将32位超时时间划分为5个等级，第一级数组256个槽位，其余各级64个。超时时间越小，存放的数组层级越低。仅第一级数组的定时器会被直接执行，其他级别通过级联操作重新插入，从而在有限内存下管理大范围超时。
定时器的添加与执行流程
内核用timer_list对象表示定时器，包含到期时间、回调函数等。add_timer()函数将定时器插入对应级别数组的链表中。时钟中断触发时，run_timer_list()执行第一级数组到期指针指向的定时器，并移动指针；当第一级执行完一轮，级联函数将下一级定时器重新插入，确保所有定时器最终被执行。
Q&A
Linux内核中的低精度定时器是如何工作的？
低精度定时器依赖于时钟中断实现，使用时间轮数据结构快速查找到期定时器，时间复杂度为log(1)。
低精度定时器的精度由什么决定？
低精度定时器的精度由HZ值决定，通常设置为每秒1000次，即每1毫秒一次时钟中断。
为什么不全面使用高精度定时器？
高精度定时器虽然精度更高，但运行成本也更高，因此在对时间精度要求不高的场合，低精度定时器更经济实用。
时间轮数据结构是如何存储定时器的？
时间轮通过数组保存定时器，索引为定时器的过期时间，定时器根据超时时间存放在不同级别的数组中。
内核如何执行到期的定时器？
内核通过到期指针选择到期的定时器执行，执行完后指针移动到下一个位置，确保定时器按时执行。
Linux内核中如何添加定时器？
可以使用add_timer函数添加定时器，首先创建timer_list对象并设置到期时间和回调函数。
